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-3754807-1339195425/watcher-3754807-1339195425 -o /tmp/evaluation-result-3754807-1339195425/solver-3754807-1339195425 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754807-1339195425.wbo 2089795515 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.01 2.01 2.00 3/179 22650
/proc/meminfo: memFree=28837808/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[startup+0.0636501 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22650
/proc/meminfo: memFree=28837808/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100316 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22650
/proc/meminfo: memFree=28837808/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300281 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22650
/proc/meminfo: memFree=28837808/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22650
/proc/meminfo: memFree=28837808/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/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.01 2.01 2.00 3/183 22654
/proc/meminfo: memFree=28778528/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=24632 CPUtime=0.41 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 8093 0 0 0 29 12 0 0 20 0 1 0 385669313 25223168 5381 33554432000 4194304 6006132 140736938149008 140736938142112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 6158 5381 156 443 0 5711 0
[pid=22653] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22653/stat : 22653 (cp2_pre.sh) S 22651 22650 18714 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 385669356 9367552 276 33554432000 4194304 5064252 140736234953808 140736234952512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22653/statm: 2287 276 234 213 0 72 0
[pid=22654] ppid=22653 vsize=40616 CPUtime=1.06 cores=1,3,5,7
/proc/22654/stat : 22654 (coprocessor) R 22653 22650 18714 0 -1 4202496 8008 0 0 0 105 1 0 0 20 0 1 0 385669356 41590784 9484 33554432000 4194304 6586260 140735968425136 140735968420504 4676458 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22654/statm: 10154 9484 190 584 0 9566 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 83544
[startup+3.10035 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 22654
/proc/meminfo: memFree=28777660/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=132280 CPUtime=3.08 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) R 22650 22650 18714 0 -1 4202496 24774 16467 0 0 78 21 205 4 20 0 1 0 385669313 135454720 30004 33554432000 4194304 6006132 140736938149008 140736938142112 4619227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 33070 30004 177 443 0 32623 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 141428
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 22662
/proc/meminfo: memFree=28544008/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=361656 CPUtime=6.28 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) R 22650 22650 18714 0 -1 4202496 26533 16467 0 0 392 27 205 4 20 0 1 0 385669313 370335744 88372 33554432000 4194304 6006132 140736938149008 140736938141368 4537205 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 90414 88372 177 443 0 89967 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 370804
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22664
/proc/meminfo: memFree=27500176/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=249360 CPUtime=1.01 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 37329 0 0 0 92 9 0 0 20 0 1 0 385670481 255344640 56183 33554432000 4194304 5208918 140735436423584 140735435372984 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 62340 56184 70 248 0 62089 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1372336
[startup+25.5005 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 22671
/proc/meminfo: memFree=26379664/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1380468 CPUtime=13.8 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 171035 0 0 0 1319 61 0 0 20 0 1 0 385670481 1413599232 313815 33554432000 4194304 5208918 140735436423584 140735436421432 4211188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 345117 313815 104 248 0 344866 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 2503444
[startup+51.1005 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 22678
/proc/meminfo: memFree=26351536/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1391568 CPUtime=39.4 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 173798 0 0 0 3878 62 0 0 20 0 1 0 385670481 1424965632 320666 33554432000 4194304 5208918 140735436423584 140735436421544 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 347892 320666 104 248 0 347641 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2514544
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 22713
/proc/meminfo: memFree=26342432/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1612260 CPUtime=90.6 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 175578 0 0 0 8997 63 0 0 20 0 1 0 385670481 1650954240 324999 33554432000 4194304 5208918 140735436423584 140735436421432 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 403065 324999 104 248 0 402814 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 2735236
[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 22749
/proc/meminfo: memFree=26303172/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1627616 CPUtime=150.59 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 180144 0 0 0 14994 65 0 0 20 0 1 0 385670481 1666678784 330056 33554432000 4194304 5208918 140735436423584 140735436421432 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 406904 330056 104 248 0 406653 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 2750592
[startup+222.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 22832
/proc/meminfo: memFree=25403696/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 189677 0 0 0 140968 70 0 0 20 0 1 0 385670481 1703968768 354920 33554432000 4194304 5208918 140735436423584 140735436421432 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 416008 354920 104 248 0 415757 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2787008
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 22867
/proc/meminfo: memFree=21958456/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1664824 CPUtime=1470.36 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 189861 0 0 0 146966 70 0 0 20 0 1 0 385670481 1704779776 355101 33554432000 4194304 5208918 140735436423584 140735436421432 4211162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 416206 355101 104 248 0 415955 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2787800
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22867
/proc/meminfo: memFree=21957724/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1665484 CPUtime=1530.35 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 190033 0 0 0 152965 70 0 0 20 0 1 0 385670481 1705455616 355273 33554432000 4194304 5208918 140735436423584 140735436421432 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 416371 355273 104 248 0 416120 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2788460
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 22870
/proc/meminfo: memFree=21956916/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1666144 CPUtime=1590.34 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 190219 0 0 0 158964 70 0 0 20 0 1 0 385670481 1706131456 355459 33554432000 4194304 5208918 140735436423584 140735436421432 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 416536 355459 104 248 0 416285 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2789120
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22870
/proc/meminfo: memFree=21956060/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1666936 CPUtime=1650.33 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 190466 0 0 0 164962 71 0 0 20 0 1 0 385670481 1706942464 355696 33554432000 4194304 5208918 140735436423584 140735436421432 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 416734 355696 104 248 0 416483 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2789912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22871
/proc/meminfo: memFree=21955052/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1667596 CPUtime=1710.32 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 190698 0 0 0 170961 71 0 0 20 0 1 0 385670481 1707618304 355923 33554432000 4194304 5208918 140735436423584 140735436421432 4205761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 416899 355923 104 248 0 416648 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2790572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22871
/proc/meminfo: memFree=21949600/32873648 swapFree=7376/7376
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1672636 CPUtime=1770.3 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 192112 0 0 0 176959 71 0 0 20 0 1 0 385670481 1712779264 357337 33554432000 4194304 5208918 140735436423584 140735436421432 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 418159 357337 104 248 0 417908 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2795612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22871
/proc/meminfo: memFree=21949476/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1672768 CPUtime=1788.41 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 192129 0 0 0 178769 72 0 0 20 0 1 0 385670481 1712914432 357354 33554432000 4194304 5208918 140735436423584 140735436421432 4205165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 418192 357354 104 248 0 417941 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2795744
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22871
/proc/meminfo: memFree=21949476/32873648 swapFree=7372/7372
[pid=22650] ppid=22648 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22650/stat : 22650 (npSolver-wbo.sh) S 22648 22650 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385669313 9367552 274 33554432000 4194304 5064252 140737455775984 140737455774896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 2287 274 233 213 0 72 0
[pid=22651] ppid=22650 vsize=1104680 CPUtime=11.65 cores=1,3,5,7
/proc/22651/stat : 22651 (npSolver-wbo) S 22650 22650 18714 0 -1 4202496 29136 16467 0 0 828 128 205 4 20 0 1 0 385669313 1131192320 158429 33554432000 4194304 6006132 140736938149008 140736938140416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22651/statm: 276170 158429 178 443 0 275723 0
[pid=22663] ppid=22651 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22663/stat : 22663 (satsolver.sh) S 22651 22650 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385670480 9367552 267 33554432000 4194304 5064252 140734517467616 140734517466528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22663/statm: 2287 267 226 213 0 72 0
[pid=22664] ppid=22663 vsize=1672768 CPUtime=1788.41 cores=1,3,5,7
/proc/22664/stat : 22664 (glucose) R 22663 22650 18714 0 -1 4202496 192129 0 0 0 178769 72 0 0 20 0 1 0 385670481 1712914432 357354 33554432000 4194304 5208918 140735436423584 140735436421432 4205165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22664/statm: 418192 357354 104 248 0 417941 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2795744
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22650 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=344427
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=336796
# CPU time returned by wait4() is 11.6812
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.06
CPU user time (s): 1798.02
CPU system time (s): 2.04
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 3057828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3444
system time used= 1.3368
maximum resident set size= 1214268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1169368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138
involuntary context switches= 31
runsolver used 3.09353 second user time and 8.5657 second system time
The end