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-3713633-1338186009/watcher-3713633-1338186009 -o /tmp/evaluation-result-3713633-1338186009/solver-3713633-1338186009 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713633-1338186009.wbo 1601311634 HOME HOME
running on 4 cores: 1,3,5,7
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.04 2.03 2.00 3/180 28416
/proc/meminfo: memFree=31210716/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[startup+0.0576961 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 28416
/proc/meminfo: memFree=31210716/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 28416
/proc/meminfo: memFree=31210716/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 28416
/proc/meminfo: memFree=31210716/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 28416
/proc/meminfo: memFree=31210716/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 28418
/proc/meminfo: memFree=31198252/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=34876 CPUtime=1.49 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) R 28416 28416 22152 0 -1 4202496 3247 0 0 0 148 1 0 0 20 0 1 0 284667937 35713024 4751 33554432000 4194304 5990268 140735920876336 140735920871576 4807347 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 8719 4751 136 439 0 8276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44024
[startup+3.10027 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 28418
/proc/meminfo: memFree=31160956/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=68212 CPUtime=3.09 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) R 28416 28416 22152 0 -1 4202496 7034 0 0 0 306 3 0 0 20 0 1 0 284667937 69849088 12468 33554432000 4194304 5990268 140735920876336 140735920871912 4523217 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 17053 12468 140 439 0 16610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77360
[startup+6.30034 s]
/proc/loadavg: 2.11 2.05 2.01 3/184 28423
/proc/meminfo: memFree=31126668/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=69004 CPUtime=6.28 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) R 28416 28416 22152 0 -1 4202496 8310 30962 0 0 323 58 227 20 20 0 1 0 284667937 70660096 12679 33554432000 4194304 5990268 140735920876336 140735920870064 5177872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 17251 12679 153 439 0 16808 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 78152
[startup+12.7004 s]
/proc/loadavg: 2.10 2.05 2.01 3/184 28430
/proc/meminfo: memFree=30795580/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=7.31 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 14302 31477 0 0 406 73 227 25 20 0 1 0 284667937 180088832 36682 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 36682 164 439 0 43524 0
[pid=28429] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28429/stat : 28429 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284668670 9367552 267 33554432000 4194304 5064252 140736908121616 140736908120528 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 2287 267 226 213 0 72 0
[pid=28430] ppid=28429 vsize=183716 CPUtime=5.35 cores=1,3,5,7
/proc/28430/stat : 28430 (glucose) R 28429 28416 22152 0 -1 4202496 31655 0 0 0 522 13 0 0 20 0 1 0 284668670 188125184 41219 33554432000 4194304 5208918 140736574932416 140736574930088 4211605 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28430/statm: 45929 41219 104 248 0 45678 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 377880
[startup+25.5005 s]
/proc/loadavg: 2.08 2.05 2.00 3/184 28430
/proc/meminfo: memFree=30795424/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=7.31 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 14302 31477 0 0 406 73 227 25 20 0 1 0 284667937 180088832 36682 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 36682 164 439 0 43524 0
[pid=28429] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28429/stat : 28429 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284668670 9367552 267 33554432000 4194304 5064252 140736908121616 140736908120528 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 2287 267 226 213 0 72 0
[pid=28430] ppid=28429 vsize=183716 CPUtime=18.15 cores=1,3,5,7
/proc/28430/stat : 28430 (glucose) R 28429 28416 22152 0 -1 4202496 31698 0 0 0 1802 13 0 0 20 0 1 0 284668670 188125184 41262 33554432000 4194304 5208918 140736574932416 140736574930088 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28430/statm: 45929 41262 104 248 0 45678 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 377880
[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.00 3/184 28431
/proc/meminfo: memFree=30792680/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=7.31 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 14302 31477 0 0 406 73 227 25 20 0 1 0 284667937 180088832 36682 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 36682 164 439 0 43524 0
[pid=28429] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28429/stat : 28429 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284668670 9367552 267 33554432000 4194304 5064252 140736908121616 140736908120528 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 2287 267 226 213 0 72 0
[pid=28430] ppid=28429 vsize=184000 CPUtime=43.75 cores=1,3,5,7
/proc/28430/stat : 28430 (glucose) R 28429 28416 22152 0 -1 4202496 31776 0 0 0 4362 13 0 0 20 0 1 0 284668670 188416000 41340 33554432000 4194304 5208918 140736574932416 140736574930168 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28430/statm: 46000 41340 104 248 0 45749 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 378164
[startup+102.307 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 28431
/proc/meminfo: memFree=30788656/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=7.31 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 14302 31477 0 0 406 73 227 25 20 0 1 0 284667937 180088832 36682 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 36682 164 439 0 43524 0
[pid=28429] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28429/stat : 28429 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284668670 9367552 267 33554432000 4194304 5064252 140736908121616 140736908120528 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 2287 267 226 213 0 72 0
[pid=28430] ppid=28429 vsize=216264 CPUtime=94.95 cores=1,3,5,7
/proc/28430/stat : 28430 (glucose) R 28429 28416 22152 0 -1 4202496 32368 0 0 0 9482 13 0 0 20 0 1 0 284668670 221454336 41927 33554432000 4194304 5208918 140736574932416 140736574930264 4211625 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28430/statm: 54066 41927 105 248 0 53815 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 410428
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 28431
/proc/meminfo: memFree=30784936/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=7.31 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 14302 31477 0 0 406 73 227 25 20 0 1 0 284667937 180088832 36682 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 36682 164 439 0 43524 0
[pid=28429] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28429/stat : 28429 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284668670 9367552 267 33554432000 4194304 5064252 140736908121616 140736908120528 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 2287 267 226 213 0 72 0
[pid=28430] ppid=28429 vsize=218620 CPUtime=154.93 cores=1,3,5,7
/proc/28430/stat : 28430 (glucose) R 28429 28416 22152 0 -1 4202496 32919 0 0 0 15480 13 0 0 20 0 1 0 284668670 223866880 42478 33554432000 4194304 5208918 140736574932416 140736574930264 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28430/statm: 54655 42478 105 248 0 54404 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 412784
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 28438
/proc/meminfo: memFree=30807260/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=7.31 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 14302 31477 0 0 406 73 227 25 20 0 1 0 284667937 180088832 36682 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 36682 164 439 0 43524 0
[pid=28429] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 28582
/proc/meminfo: memFree=30949180/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=168888 CPUtime=85.37 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 29362 0 0 0 8528 9 0 0 20 0 1 0 284795627 172941312 38049 33554432000 4194304 5208918 140734607036144 140734607034104 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 42222 38049 104 248 0 41971 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 363052
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28582
/proc/meminfo: memFree=30941944/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=169212 CPUtime=145.36 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 29445 0 0 0 14527 9 0 0 20 0 1 0 284795627 173273088 38670 33554432000 4194304 5208918 140734607036144 140734607033992 4211156 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 42303 38670 104 248 0 42052 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 363376
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 28590
/proc/meminfo: memFree=31004092/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=169548 CPUtime=205.35 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 29524 0 0 0 20526 9 0 0 20 0 1 0 284795627 173617152 38749 33554432000 4194304 5208918 140734607036144 140734607034104 4229296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 42387 38749 104 248 0 42136 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 363712
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28677
/proc/meminfo: memFree=30664928/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=169548 CPUtime=265.34 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 29530 0 0 0 26525 9 0 0 20 0 1 0 284795627 173617152 38755 33554432000 4194304 5208918 140734607036144 140734607034104 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 42387 38755 104 248 0 42136 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 363712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28678
/proc/meminfo: memFree=27758584/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=173708 CPUtime=325.33 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 30515 0 0 0 32523 10 0 0 20 0 1 0 284795627 177876992 40246 33554432000 4194304 5208918 140734607036144 140734607033896 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 43427 40246 104 248 0 43176 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 367872
[startup+1662.3 s]
/proc/loadavg: 2.29 2.09 2.03 3/183 28683
/proc/meminfo: memFree=24254040/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=174140 CPUtime=385.32 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 30629 0 0 0 38520 12 0 0 20 0 1 0 284795627 178319360 40464 33554432000 4194304 5208918 140734607036144 140734607033992 4229251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 43535 40464 104 248 0 43284 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 368304
[startup+1722.3 s]
/proc/loadavg: 2.44 2.15 2.05 3/180 28687
/proc/meminfo: memFree=27810144/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=175464 CPUtime=445.32 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 30913 0 0 0 44519 13 0 0 20 0 1 0 284795627 179675136 40748 33554432000 4194304 5208918 140734607036144 140734607033992 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 43866 40748 104 248 0 43615 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 369628
[startup+1782.3 s]
/proc/loadavg: 2.75 2.30 2.10 3/183 28691
/proc/meminfo: memFree=22939872/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=176124 CPUtime=505.3 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 31087 0 0 0 50517 13 0 0 20 0 1 0 284795627 180350976 40922 33554432000 4194304 5208918 140734607036144 140734607033992 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 44031 40922 104 248 0 43780 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 370288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.60 2.29 2.11 3/184 28694
/proc/meminfo: memFree=22004720/32873844 swapFree=6872/6872
[pid=28416] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28416/stat : 28416 (npSolver-wbo.sh) S 28414 28416 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284667937 9367552 274 33554432000 4194304 5064252 140733793640784 140733793639696 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28416/statm: 2287 274 233 213 0 72 0
[pid=28417] ppid=28416 vsize=175868 CPUtime=1276.66 cores=1,3,5,7
/proc/28417/stat : 28417 (npSolver-wbo) S 28416 28416 22152 0 -1 4202496 20082 73082 0 0 477 83 127038 68 20 0 1 0 284667937 180088832 35146 33554432000 4194304 5990268 140735920876336 140735920867776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28417/statm: 43967 35146 164 439 0 43524 0
[pid=28574] ppid=28417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28574/stat : 28574 (satsolver.sh) S 28417 28416 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284795627 9367552 267 33554432000 4194304 5064252 140734480614624 140734480613536 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28574/statm: 2287 267 226 213 0 72 0
[pid=28575] ppid=28574 vsize=176124 CPUtime=523.41 cores=1,3,5,7
/proc/28575/stat : 28575 (glucose) R 28574 28416 22152 0 -1 4202496 31114 0 0 0 52328 13 0 0 20 0 1 0 284795627 180350976 40949 33554432000 4194304 5208918 140734607036144 140734607033992 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28575/statm: 44031 40949 104 248 0 43780 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 370288
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1798.45
CPU system time (s): 1.66575
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 451592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 1.66575
maximum resident set size= 221304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 449912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 681
involuntary context switches= 2873
runsolver used 3.15752 second user time and 8.49571 second system time
The end