runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3694917-1338074109/watcher-3694917-1338074109 -o /tmp/evaluation-result-3694917-1338074109/solver-3694917-1338074109 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694917-1338074109.opb 573249000 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 4998
/proc/meminfo: memFree=28245516/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[startup+0.07303 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 4998
/proc/meminfo: memFree=28245516/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 4998
/proc/meminfo: memFree=28245516/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300243 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 4998
/proc/meminfo: memFree=28245516/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70022 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 4998
/proc/meminfo: memFree=28245516/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 5000
/proc/meminfo: memFree=28226348/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=35556 CPUtime=1.49 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) R 4998 4998 1501 0 -1 4202496 3276 0 0 0 148 1 0 0 20 0 1 0 273536933 36409344 6329 33554432000 4194304 5873084 140734238470304 140734238467176 4779689 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4999/statm: 8889 6329 146 410 0 8471 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44704
[startup+3.10029 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 5000
/proc/meminfo: memFree=28154372/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=79764 CPUtime=2.13 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 7188 0 0 0 206 7 0 0 20 0 1 0 273536933 81678336 12787 33554432000 4194304 5873084 140734238470304 140734238466728 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4999/statm: 19941 12787 162 410 0 19523 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 88912
heavy processes:
[startup+6.30027 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 5002
/proc/meminfo: memFree=28117364/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=83956 CPUtime=5.78 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 8034 19746 0 0 241 147 179 11 20 0 1 0 273536933 85970944 13594 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 27 0 0
/proc/4999/statm: 20989 13594 173 410 0 20571 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 93104
[startup+12.7004 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 5008
/proc/meminfo: memFree=28002488/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=7.58 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 9083 40378 0 0 243 147 345 23 20 0 1 0 273536933 86847488 13808 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 27 0 0
/proc/4999/statm: 21203 13808 173 410 0 20785 0
[pid=5007] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5007/stat : 5007 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273537721 9367552 266 33554432000 4194304 5064252 140734105504864 140734105503776 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5007/statm: 2287 266 226 213 0 72 0
[pid=5008] ppid=5007 vsize=124880 CPUtime=4.8 cores=0,2,4,6
/proc/5008/stat : 5008 (glucose_static) R 5007 4998 1501 0 -1 4202496 19304 0 0 0 475 5 0 0 20 0 1 0 273537721 127877120 27522 33554432000 4194304 4896791 140736536158384 140736536155640 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5008/statm: 31220 27522 77 172 0 31046 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 227988
[startup+25.5003 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 5020
/proc/meminfo: memFree=28102064/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=24.84 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 13170 121906 0 0 250 148 2014 72 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5019] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5019/stat : 5019 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273539447 9367552 266 33554432000 4194304 5064252 140735562279904 140735562278816 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5019/statm: 2287 266 226 213 0 72 0
[pid=5020] ppid=5019 vsize=64152 CPUtime=0.34 cores=0,2,4,6
/proc/5020/stat : 5020 (glucose_static) R 5019 4998 1501 0 -1 4202496 5736 0 0 0 33 1 0 0 20 0 1 0 273539447 65691648 10587 33554432000 4194304 4896791 140735358644432 140735357593224 4229275 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5020/statm: 16038 10588 58 172 0 15864 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 167260
[startup+51.1005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 5026
/proc/meminfo: memFree=27999396/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=29.64 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 15164 162488 0 0 254 148 2467 95 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5025] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5025/stat : 5025 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273539927 9367552 267 33554432000 4194304 5064252 140733487249712 140733487248624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5025/statm: 2287 267 226 213 0 72 0
[pid=5026] ppid=5025 vsize=122256 CPUtime=21.14 cores=0,2,4,6
/proc/5026/stat : 5026 (glucose_static) R 5025 4998 1501 0 -1 4202496 18742 0 0 0 2108 6 0 0 20 0 1 0 273539928 125190144 26896 33554432000 4194304 4896791 140735157602064 140735157599320 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5026/statm: 30564 26896 76 172 0 30390 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 225364
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5026
/proc/meminfo: memFree=27988724/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=29.64 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 15164 162488 0 0 254 148 2467 95 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5025] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5025/stat : 5025 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273539927 9367552 267 33554432000 4194304 5064252 140733487249712 140733487248624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5025/statm: 2287 267 226 213 0 72 0
[pid=5026] ppid=5025 vsize=123900 CPUtime=72.33 cores=0,2,4,6
/proc/5026/stat : 5026 (glucose_static) R 5025 4998 1501 0 -1 4202496 19291 0 0 0 7227 6 0 0 20 0 1 0 273539928 126873600 27928 33554432000 4194304 4896791 140735157602064 140735157599320 4225148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5026/statm: 30975 27928 76 172 0 30801 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 227008
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 5029
/proc/meminfo: memFree=28014284/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=107.07 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 16212 183183 0 0 255 149 10194 109 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5028] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5028/stat : 5028 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 273547672 9367552 266 33554432000 4194304 5064252 140735648374272 140735648373184 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5028/statm: 2287 266 226 213 0 72 0
[pid=5029] ppid=5028 vsize=123356 CPUtime=54.87 cores=0,2,4,6
/proc/5029/stat : 5029 (glucose_static) R 5028 4998 1501 0 -1 4202496 18959 0 0 0 5483 4 0 0 20 0 1 0 273547672 126316544 27577 33554432000 4194304 4896791 140735362409360 140735362406568 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5029/statm: 30839 27577 76 172 0 30665 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 226464
[startup+222.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5032
/proc/meminfo: memFree=28006384/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=184.99 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 17257 203905 0 0 257 149 17972 121 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
################
# More data... #
################
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=125180 CPUtime=187.62 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 20656 0 0 0 18756 6 0 0 20 0 1 0 273612396 128184320 28221 33554432000 4194304 4896791 140735120189904 140735120187336 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 31295 28221 77 172 0 31121 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 228288
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27554936/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=125180 CPUtime=247.61 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21032 0 0 0 24755 6 0 0 20 0 1 0 273612396 128184320 26065 33554432000 4194304 4896791 140735120189904 140735120187416 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 31295 26065 77 172 0 31121 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 228288
Solver just ended. Dumping a history of the last processes samples
[startup+1024 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27547772/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=125180 CPUtime=269.3 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21179 0 0 0 26924 6 0 0 20 0 1 0 273612396 128184320 26577 33554432000 4194304 4896791 140735120189904 140735120187416 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 31295 26577 77 172 0 31121 0
Current children cumulated CPU time (s) 1023.46
Current children cumulated vsize (KiB) 228288
[startup+1030.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27546780/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=125180 CPUtime=275.7 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21179 0 0 0 27564 6 0 0 20 0 1 0 273612396 128184320 26577 33554432000 4194304 4896791 140735120189904 140735120187416 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 31295 26577 77 172 0 31121 0
Current children cumulated CPU time (s) 1029.86
Current children cumulated vsize (KiB) 228288
[startup+1036.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27557516/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=106212 CPUtime=282.1 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21533 0 0 0 28203 7 0 0 20 0 1 0 273612396 108761088 24001 33554432000 4194304 4896791 140735120189904 140735120187416 4223867 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 26553 24001 77 172 0 26379 0
Current children cumulated CPU time (s) 1036.26
Current children cumulated vsize (KiB) 209320
[startup+1040 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27557888/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=106212 CPUtime=285.3 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21677 0 0 0 28523 7 0 0 20 0 1 0 273612396 108761088 24001 33554432000 4194304 4896791 140735120189904 140735120187416 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 26553 24001 77 172 0 26379 0
Current children cumulated CPU time (s) 1039.46
Current children cumulated vsize (KiB) 209320
[startup+1041.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27557968/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=106212 CPUtime=286.9 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21819 0 0 0 28683 7 0 0 20 0 1 0 273612396 108761088 24001 33554432000 4194304 4896791 140735120189904 140735120187416 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 26553 24001 77 172 0 26379 0
Current children cumulated CPU time (s) 1041.06
Current children cumulated vsize (KiB) 209320
[startup+1042.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27558092/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=106212 CPUtime=287.7 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21819 0 0 0 28763 7 0 0 20 0 1 0 273612396 108761088 24001 33554432000 4194304 4896791 140735120189904 140735120187416 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 26553 24001 77 172 0 26379 0
Current children cumulated CPU time (s) 1041.86
Current children cumulated vsize (KiB) 209320
[startup+1042.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27557968/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=754.16 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20400 269117 0 0 263 149 74844 160 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464120 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
[pid=5159] ppid=4999 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (satsolver.sh) S 4999 4998 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273612395 9367552 266 33554432000 4194304 5064252 140736770390880 140736770389792 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5159/statm: 2287 266 226 213 0 72 0
[pid=5160] ppid=5159 vsize=106212 CPUtime=288.11 cores=0,2,4,6
/proc/5160/stat : 5160 (glucose_static) R 5159 4998 1501 0 -1 4202496 21819 0 0 0 28804 7 0 0 20 0 1 0 273612396 108761088 24001 33554432000 4194304 4896791 140735120189904 140735120187416 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5160/statm: 26553 24001 77 172 0 26379 0
Current children cumulated CPU time (s) 1042.27
Current children cumulated vsize (KiB) 209320
[startup+1042.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5176
/proc/meminfo: memFree=27557968/32873648 swapFree=7372/7372
[pid=4998] ppid=4996 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4998/stat : 4998 (runPb2satCp2.sh) S 4996 4998 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273536932 9367552 274 33554432000 4194304 5064252 140736778449424 140736778448336 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4998/statm: 2287 274 233 213 0 72 0
[pid=4999] ppid=4998 vsize=84812 CPUtime=1042.35 cores=0,2,4,6
/proc/4999/stat : 4999 (pb2sat) S 4998 4998 1501 0 -1 4202496 20424 291542 0 0 263 149 103655 168 20 0 1 0 273536933 86847488 13809 33554432000 4194304 5873084 140734238470304 140734238464616 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 27 0 0
/proc/4999/statm: 21203 13809 173 410 0 20785 0
Current children cumulated CPU time (s) 1042.35
Current children cumulated vsize (KiB) 93960
Child status: 0
Real time (s): 1042.97
CPU time (s): 1042.47
CPU user time (s): 1039.19
CPU system time (s): 3.2715
CPU usage (%): 99.9513
Max. virtual memory (cumulated for all children) (KiB): 307848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1039.19
system time used= 3.2715
maximum resident set size= 158044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313441
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1204760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 1307
runsolver used 2.39064 second user time and 6.33504 second system time
The end