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-3754276-1339185102/watcher-3754276-1339185102 -o /tmp/evaluation-result-3754276-1339185102/solver-3754276-1339185102 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754276-1339185102.wbo 548959549 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.00 2.00 2.00 3/177 5337
/proc/meminfo: memFree=29901092/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[startup+0.0303469 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5337
/proc/meminfo: memFree=29901092/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100349 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5337
/proc/meminfo: memFree=29901092/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5337
/proc/meminfo: memFree=29901092/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700296 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5337
/proc/meminfo: memFree=29901092/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5351
/proc/meminfo: memFree=29854504/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=0.46 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 3638 6573 0 0 8 2 35 1 20 0 1 0 384638809 11911168 2363 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2363 167 443 0 2461 0
[pid=5350] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5350/stat : 5350 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384638858 9367552 267 33554432000 4194304 5064252 140736934207536 140736934206448 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5350/statm: 2287 267 226 213 0 72 0
[pid=5351] ppid=5350 vsize=39656 CPUtime=1 cores=1,3,5,7
/proc/5351/stat : 5351 (glucose) R 5350 5337 23558 0 -1 4202496 7163 0 0 0 99 1 0 0 20 0 1 0 384638858 40607744 7980 33554432000 4194304 5208918 140735834873872 140735834872280 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5351/statm: 9914 7980 95 248 0 9663 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 69584
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5365
/proc/meminfo: memFree=29877488/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=2.75 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4391 23877 0 0 9 2 253 11 20 0 1 0 384638809 11911168 2363 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2363 167 443 0 2461 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 20780
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5393
/proc/meminfo: memFree=29882216/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=5.2 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4638 37423 0 0 9 3 494 14 20 0 1 0 384638809 11911168 2363 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2363 167 443 0 2461 0
[pid=5389] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5389/stat : 5389 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384639331 9367552 266 33554432000 4194304 5064252 140736389790592 140736389789504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5389/statm: 2287 266 226 213 0 72 0
[pid=5390] ppid=5389 vsize=15996 CPUtime=1.07 cores=1,3,5,7
/proc/5390/stat : 5390 (glucose) R 5389 5337 23558 0 -1 4202496 3456 0 0 0 106 1 0 0 20 0 1 0 384639331 16379904 2917 33554432000 4194304 5208918 140736695970128 140736695968280 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 3999 2917 104 248 0 3748 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 45924
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5414
/proc/meminfo: memFree=29855656/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=5.2 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4638 37423 0 0 9 3 494 14 20 0 1 0 384638809 11911168 2363 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2363 167 443 0 2461 0
[pid=5389] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5389/stat : 5389 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384639331 9367552 266 33554432000 4194304 5064252 140736389790592 140736389789504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5389/statm: 2287 266 226 213 0 72 0
[pid=5390] ppid=5389 vsize=34736 CPUtime=7.46 cores=1,3,5,7
/proc/5390/stat : 5390 (glucose) R 5389 5337 23558 0 -1 4202496 4900 0 0 0 745 1 0 0 20 0 1 0 384639331 35569664 8232 33554432000 4194304 5208918 140736695970128 140736695967992 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 8684 8232 104 248 0 8433 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 64664
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5428
/proc/meminfo: memFree=29828672/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=25.28 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4745 46276 0 0 9 3 2497 19 20 0 1 0 384638809 11911168 2363 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2363 167 443 0 2461 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 20780
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5500
/proc/meminfo: memFree=29774316/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=60440 CPUtime=13.18 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 5653 0 0 0 1316 2 0 0 20 0 1 0 384642599 61890560 14635 33554432000 4194304 5208918 140734911982128 140734911980072 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 15110 14635 104 248 0 14859 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 90368
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5500
/proc/meminfo: memFree=29760912/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=72336 CPUtime=64.39 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 9175 0 0 0 6430 9 0 0 20 0 1 0 384642599 74072064 17655 33554432000 4194304 5208918 140734911982128 140734911980216 4229720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 18084 17655 104 248 0 17833 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 102264
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5500
/proc/meminfo: memFree=29671968/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=121656 CPUtime=124.37 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 13128 0 0 0 12419 18 0 0 20 0 1 0 384642599 124575744 28729 33554432000 4194304 5208918 140734911982128 140734911980120 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 30414 28729 104 248 0 30163 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 151584
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5500
/proc/meminfo: memFree=29646620/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 5590
/proc/meminfo: memFree=29526120/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=227460 CPUtime=1384.12 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 79587 0 0 0 138242 170 0 0 20 0 1 0 384642599 232919040 44989 33554432000 4194304 5208918 140734911982128 140734911980280 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 56865 44989 105 248 0 56614 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 257388
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5590
/proc/meminfo: memFree=29498976/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=147372 CPUtime=1444.1 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 81314 0 0 0 144235 175 0 0 20 0 1 0 384642599 150908928 34490 33554432000 4194304 5208918 140734911982128 140734911979976 4229471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 36843 34490 105 248 0 36592 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 177300
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5590
/proc/meminfo: memFree=29544828/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=228536 CPUtime=1504.08 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 83569 0 0 0 150227 181 0 0 20 0 1 0 384642599 234020864 46779 33554432000 4194304 5208918 140734911982128 140734911980280 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 57134 46779 105 248 0 56883 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 258464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5591
/proc/meminfo: memFree=29549460/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=229460 CPUtime=1564.07 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 85036 0 0 0 156222 185 0 0 20 0 1 0 384642599 234967040 49540 33554432000 4194304 5208918 140734911982128 140734911979976 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 57365 49540 105 248 0 57114 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 259388
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5591
/proc/meminfo: memFree=29467736/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=230220 CPUtime=1624.06 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 86491 0 0 0 162217 189 0 0 20 0 1 0 384642599 235745280 54843 33554432000 4194304 5208918 140734911982128 140734911979976 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 57555 54843 105 248 0 57304 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 260148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5594
/proc/meminfo: memFree=29534396/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=181352 CPUtime=1684.04 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 88947 0 0 0 168210 194 0 0 20 0 1 0 384642599 185704448 42154 33554432000 4194304 5208918 140734911982128 140734911979976 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 45338 42154 105 248 0 45087 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 211280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=29503332/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=234476 CPUtime=1744.02 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 89895 0 0 0 174206 196 0 0 20 0 1 0 384642599 240103424 54328 33554432000 4194304 5208918 140734911982128 140734911979976 4229780 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 58619 54328 105 248 0 58368 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 264404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=29549916/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=185104 CPUtime=1762.23 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 90988 0 0 0 176025 198 0 0 20 0 1 0 384642599 189546496 39339 33554432000 4194304 5208918 140734911982128 140734911980280 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 46276 39339 105 248 0 46025 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 215032
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=29549916/32873844 swapFree=7120/7120
[pid=5337] ppid=5335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5337/stat : 5337 (npSolver-wbo-I.) S 5335 5337 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384638809 9367552 275 33554432000 4194304 5064252 140736687708832 140736687707744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5337/statm: 2287 275 233 213 0 72 0
[pid=5338] ppid=5337 vsize=11632 CPUtime=37.87 cores=1,3,5,7
/proc/5338/stat : 5338 (npSolver-wbo) S 5337 5337 23558 0 -1 4202496 4847 55425 0 0 10 3 3752 22 20 0 1 0 384638809 11911168 2364 33554432000 4194304 6006132 140734229731248 140734229722656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5338/statm: 2908 2364 168 443 0 2461 0
[pid=5498] ppid=5338 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5498/stat : 5498 (satsolver.sh) S 5338 5337 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384642598 9367552 267 33554432000 4194304 5064252 140736376419296 140736376418208 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5498/statm: 2287 267 226 213 0 72 0
[pid=5499] ppid=5498 vsize=185104 CPUtime=1762.23 cores=1,3,5,7
/proc/5499/stat : 5499 (glucose) R 5498 5337 23558 0 -1 4202496 90988 0 0 0 176025 198 0 0 20 0 1 0 384642599 189546496 39339 33554432000 4194304 5208918 140734911982128 140734911980280 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5499/statm: 46276 39339 105 248 0 46025 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 215032
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.14
CPU user time (s): 1797.89
CPU system time (s): 2.24866
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 309468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.24866
maximum resident set size= 272488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 454
involuntary context switches= 1926
runsolver used 3.51946 second user time and 8.41172 second system time
The end