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-3753139-1339210312/watcher-3753139-1339210312 -o /tmp/evaluation-result-3753139-1339210312/solver-3753139-1339210312 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753139-1339210312.wbo 554458536 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/179 14678
/proc/meminfo: memFree=31308220/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[startup+0.0655341 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 14678
/proc/meminfo: memFree=31308220/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100301 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 14678
/proc/meminfo: memFree=31308220/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300287 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 14678
/proc/meminfo: memFree=31308220/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700305 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 14678
/proc/meminfo: memFree=31308220/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14695
/proc/meminfo: memFree=31274016/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=0.12 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 4242 5484 0 0 9 2 0 1 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=14691] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14691/stat : 14691 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387155637 9367552 267 33554432000 4194304 5064252 140733887755392 140733887754304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14691/statm: 2287 267 226 213 0 72 0
[pid=14692] ppid=14691 vsize=53164 CPUtime=1.34 cores=1,3,5,7
/proc/14692/stat : 14692 (glucose) R 14691 14678 9784 0 -1 4202496 11532 0 0 0 132 2 0 0 20 0 1 0 387155638 54439936 11681 33554432000 4194304 5208918 140735804876320 140735804874152 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14692/statm: 13291 11681 103 248 0 13040 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 91440
[startup+3.10041 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14699
/proc/meminfo: memFree=31237380/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=0.12 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 4242 5484 0 0 9 2 0 1 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=14691] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14691/stat : 14691 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387155637 9367552 267 33554432000 4194304 5064252 140733887755392 140733887754304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14691/statm: 2287 267 226 213 0 72 0
[pid=14692] ppid=14691 vsize=53164 CPUtime=2.94 cores=1,3,5,7
/proc/14692/stat : 14692 (glucose) R 14691 14678 9784 0 -1 4202496 11741 0 0 0 292 2 0 0 20 0 1 0 387155638 54439936 11885 33554432000 4194304 5208918 140735804876320 140735804874152 4212834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14692/statm: 13291 11885 103 248 0 13040 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 91440
[startup+6.30042 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14716
/proc/meminfo: memFree=31270968/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=0.12 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 4242 5484 0 0 9 2 0 1 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=14691] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14691/stat : 14691 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387155637 9367552 267 33554432000 4194304 5064252 140733887755392 140733887754304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14691/statm: 2287 267 226 213 0 72 0
[pid=14692] ppid=14691 vsize=53164 CPUtime=6.13 cores=1,3,5,7
/proc/14692/stat : 14692 (glucose) R 14691 14678 9784 0 -1 4202496 12741 0 0 0 611 2 0 0 20 0 1 0 387155638 54439936 11873 33554432000 4194304 5208918 140735804876320 140735804874408 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14692/statm: 13291 11873 104 248 0 13040 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 91440
[startup+12.7005 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14748
/proc/meminfo: memFree=31235560/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=0.12 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 4242 5484 0 0 9 2 0 1 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=14691] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14691/stat : 14691 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387155637 9367552 267 33554432000 4194304 5064252 140733887755392 140733887754304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14691/statm: 2287 267 226 213 0 72 0
[pid=14692] ppid=14691 vsize=53732 CPUtime=12.54 cores=1,3,5,7
/proc/14692/stat : 14692 (glucose) R 14691 14678 9784 0 -1 4202496 14000 0 0 0 1251 3 0 0 20 0 1 0 387155638 55021568 12102 33554432000 4194304 5208918 140735804876320 140735804874408 4229157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14692/statm: 13433 12102 104 248 0 13182 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 92008
[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14811
/proc/meminfo: memFree=31224692/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=0.12 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 4242 5484 0 0 9 2 0 1 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=14691] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14691/stat : 14691 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387155637 9367552 267 33554432000 4194304 5064252 140733887755392 140733887754304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14691/statm: 2287 267 226 213 0 72 0
[pid=14692] ppid=14691 vsize=66016 CPUtime=25.33 cores=1,3,5,7
/proc/14692/stat : 14692 (glucose) R 14691 14678 9784 0 -1 4202496 14605 0 0 0 2529 4 0 0 20 0 1 0 387155638 67600384 15245 33554432000 4194304 5208918 140735804876320 140735804874184 4229021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14692/statm: 16504 15245 104 248 0 16253 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 104292
[startup+51.1005 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14937
/proc/meminfo: memFree=31235208/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=43.55 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 6482 25454 0 0 17 3 4319 16 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=14904] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14904/stat : 14904 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387159982 9367552 267 33554432000 4194304 5064252 140734618307872 140734618306784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14904/statm: 2287 267 226 213 0 72 0
[pid=14905] ppid=14904 vsize=57580 CPUtime=7.48 cores=1,3,5,7
/proc/14905/stat : 14905 (glucose) R 14904 14678 9784 0 -1 4202496 12915 0 0 0 746 2 0 0 20 0 1 0 387159982 58961920 12531 33554432000 4194304 5208918 140737094539504 140737094537656 4210737 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14905/statm: 14395 12531 104 248 0 14144 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 95856
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15192
/proc/meminfo: memFree=31256480/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=82.82 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 8722 46002 0 0 25 4 8221 32 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=15097] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15097/stat : 15097 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387163912 9367552 267 33554432000 4194304 5064252 140736350389552 140736350388464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15097/statm: 2287 267 226 213 0 72 0
[pid=15098] ppid=15097 vsize=65640 CPUtime=19.4 cores=1,3,5,7
/proc/15098/stat : 15098 (glucose) R 15097 14678 9784 0 -1 4202496 13624 0 0 0 1937 3 0 0 20 0 1 0 387163912 67215360 15471 33554432000 4194304 5208918 140735432234880 140735432232744 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15098/statm: 16410 15471 104 248 0 16159 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 103916
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15483
/proc/meminfo: memFree=31220368/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=125.9 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 10962 65570 0 0 33 5 12505 47 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=15314] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/21643/stat : 21643 (glucose) R 21642 14678 9784 0 -1 4202496 13014 0 0 0 1676 2 0 0 20 0 1 0 387296173 67215360 14620 33554432000 4194304 5208918 140734968950528 140734968948392 4229824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21643/statm: 16410 14620 104 248 0 16159 0
Current children cumulated CPU time (s) 1421.39
Current children cumulated vsize (KiB) 103916
[startup+1482.3 s]
/proc/loadavg: 1.98 1.97 1.98 3/183 22010
/proc/meminfo: memFree=31251136/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1447.89 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 80402 674748 0 0 287 38 143917 547 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=21852] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21852/stat : 21852 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387300502 9367552 267 33554432000 4194304 5064252 140736805730096 140736805729008 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21852/statm: 2287 267 226 213 0 72 0
[pid=21853] ppid=21852 vsize=71296 CPUtime=33.48 cores=1,3,5,7
/proc/21853/stat : 21853 (glucose) R 21852 14678 9784 0 -1 4202496 14533 0 0 0 3345 3 0 0 20 0 1 0 387300502 73007104 15577 33554432000 4194304 5208918 140737138521824 140737138519688 4212856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21853/statm: 17824 15577 104 248 0 17573 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 109572
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 22315
/proc/meminfo: memFree=31228964/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1532.94 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 84882 714271 0 0 304 40 152372 578 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=22272] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22272/stat : 22272 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387309011 9367552 267 33554432000 4194304 5064252 140736586565008 140736586563920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=57716 CPUtime=8.4 cores=1,3,5,7
/proc/22273/stat : 22273 (glucose) R 22272 14678 9784 0 -1 4202496 13235 0 0 0 837 3 0 0 20 0 1 0 387309011 59101184 12333 33554432000 4194304 5208918 140733788031200 140733788029352 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22273/statm: 14429 12333 104 248 0 14178 0
Current children cumulated CPU time (s) 1541.34
Current children cumulated vsize (KiB) 95992
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 22540
/proc/meminfo: memFree=30778872/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1572.57 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 87122 734350 0 0 312 41 156308 596 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=22468] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22468/stat : 22468 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387312976 9367552 267 33554432000 4194304 5064252 140735489253552 140735489252464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22468/statm: 2287 267 226 213 0 72 0
[pid=22469] ppid=22468 vsize=66620 CPUtime=28.75 cores=1,3,5,7
/proc/22469/stat : 22469 (glucose) R 22468 14678 9784 0 -1 4202496 14514 0 0 0 2872 3 0 0 20 0 1 0 387312976 68218880 15395 33554432000 4194304 5208918 140734824712208 140734824710072 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22469/statm: 16655 15395 104 248 0 16404 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 104896
[startup+1662.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/181 22555
/proc/meminfo: memFree=26308720/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1615.64 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 89362 754204 0 0 320 42 160592 610 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=22554] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22554/stat : 22554 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387317285 9367552 266 33554432000 4194304 5064252 140734196255824 140734196254736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22554/statm: 2287 266 226 213 0 72 0
[pid=22555] ppid=22554 vsize=82792 CPUtime=45.66 cores=1,3,5,7
/proc/22555/stat : 22555 (glucose) R 22554 14678 9784 0 -1 4202496 15161 0 0 0 4563 3 0 0 20 0 1 0 387317285 84779008 18967 33554432000 4194304 5208918 140735735142064 140735735139928 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22555/statm: 20698 18967 104 248 0 20447 0
Current children cumulated CPU time (s) 1661.3
Current children cumulated vsize (KiB) 121068
[startup+1722.3 s]
/proc/loadavg: 2.98 2.25 2.08 2/177 22599
/proc/meminfo: memFree=29822168/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1711.21 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 93842 793698 0 0 336 45 170095 645 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=22598] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22598/stat : 22598 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387326844 9367552 267 33554432000 4194304 5064252 140735812660928 140735812659840 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2287 267 226 213 0 72 0
[pid=22599] ppid=22598 vsize=57852 CPUtime=10.07 cores=1,3,5,7
/proc/22599/stat : 22599 (glucose) R 22598 14678 9784 0 -1 4202496 12378 0 0 0 1004 3 0 0 20 0 1 0 387326844 59240448 12555 33554432000 4194304 5208918 140735565445008 140735565442856 4212690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22599/statm: 14463 12555 104 248 0 14212 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 96128
[startup+1782.3 s]
/proc/loadavg: 2.68 2.32 2.11 3/181 22632
/proc/meminfo: memFree=29357316/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1752.74 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 96082 813557 0 0 345 46 174222 661 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=22623] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22623/stat : 22623 (satsolver.sh) S 14679 14678 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387330998 9367552 267 33554432000 4194304 5064252 140736150124432 140736150123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22623/statm: 2287 267 226 213 0 72 0
[pid=22624] ppid=22623 vsize=66620 CPUtime=28.54 cores=1,3,5,7
/proc/22624/stat : 22624 (glucose) R 22623 14678 9784 0 -1 4202496 14301 0 0 0 2851 3 0 0 20 0 1 0 387330998 68218880 15383 33554432000 4194304 5208918 140736339941760 140736339939624 4213212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22624/statm: 16655 15383 104 248 0 16404 0
Current children cumulated CPU time (s) 1781.28
Current children cumulated vsize (KiB) 104896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.11 s]
/proc/loadavg: 2.48 2.30 2.11 3/181 22635
/proc/meminfo: memFree=28342144/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1799.96 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 96089 829240 0 0 345 46 178940 665 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=22633] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22633/stat : 22633 (cp2_post.sh) S 14679 14678 9784 0 -1 4202496 609 224 0 0 0 0 0 0 20 0 1 0 387335721 9367552 265 33554432000 4194304 5064252 140734938770256 140734938768544 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22633/statm: 2287 265 225 213 0 72 0
[pid=22635] ppid=22633 vsize=10184 CPUtime=0.11 cores=1,3,5,7
/proc/22635/stat : 22635 (coprocessor) R 22633 14678 9784 0 -1 4202496 2015 0 0 0 8 3 0 0 20 0 1 0 387335721 10428416 1694 33554432000 4194304 6586260 140734381420000 140734381417016 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22635/statm: 2546 1694 148 584 0 1958 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 48460
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.11 s]
/proc/loadavg: 2.48 2.30 2.11 3/181 22635
/proc/meminfo: memFree=28342144/32873844 swapFree=6904/6904
[pid=14678] ppid=14676 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (npSolver-wbo-It) S 14676 14678 9784 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387155623 9367552 274 33554432000 4194304 5064252 140736414600528 140736414599440 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2287 274 233 213 0 72 0
[pid=14679] ppid=14678 vsize=19980 CPUtime=1799.96 cores=1,3,5,7
/proc/14679/stat : 14679 (npSolver-wbo) S 14678 14678 9784 0 -1 4202496 96089 829240 0 0 345 46 178940 665 20 0 1 0 387155623 20459520 4047 33554432000 4194304 6006132 140733371678528 140733371669376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14679/statm: 4995 4047 176 443 0 4548 0
[pid=22633] ppid=14679 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22633/stat : 22633 (cp2_post.sh) S 14679 14678 9784 0 -1 4202496 609 224 0 0 0 0 0 0 20 0 1 0 387335721 9367552 265 33554432000 4194304 5064252 140734938770256 140734938768544 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22633/statm: 2287 265 225 213 0 72 0
[pid=22635] ppid=22633 vsize=10184 CPUtime=0.11 cores=1,3,5,7
/proc/22635/stat : 22635 (coprocessor) R 22633 14678 9784 0 -1 4202496 2015 0 0 0 8 3 0 0 20 0 1 0 387335721 10428416 1694 33554432000 4194304 6586260 140734381420000 140734381417016 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22635/statm: 2546 1694 148 584 0 1958 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 48460
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14678 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=860443
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=127916
# CPU time returned by wait4() is 1799.99
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.12
CPU time (s): 1800.07
CPU user time (s): 1792.93
CPU system time (s): 7.14
CPU usage (%): 99.9415
Max. virtual memory (cumulated for all children) (KiB): 121068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.86
system time used= 7.12792
maximum resident set size= 79136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 577448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11509
involuntary context switches= 2653
runsolver used 6.18406 second user time and 17.6273 second system time
The end