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-3755013-1339188778/watcher-3755013-1339188778 -o /tmp/evaluation-result-3755013-1339188778/solver-3755013-1339188778 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755013-1339188778.wbo 1293205103 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.01 2.00 2/179 880
/proc/meminfo: memFree=31503728/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[startup+0.029524 s]
/proc/loadavg: 2.06 2.01 2.00 2/179 880
/proc/meminfo: memFree=31503728/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100174 s]
/proc/loadavg: 2.06 2.01 2.00 2/179 880
/proc/meminfo: memFree=31503728/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300122 s]
/proc/loadavg: 2.06 2.01 2.00 2/179 880
/proc/meminfo: memFree=31503728/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700113 s]
/proc/loadavg: 2.06 2.01 2.00 2/179 880
/proc/meminfo: memFree=31503728/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 887
/proc/meminfo: memFree=31497124/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=3092 CPUtime=0.18 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 1449 2181 0 0 2 0 16 0 20 0 1 0 385006299 3166208 377 33554432000 4194304 6006132 140736119846528 140736119840720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/881/statm: 773 377 158 443 0 326 0
[pid=886] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/886/stat : 886 (satsolver.sh) S 881 880 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385006319 9367552 267 33554432000 4194304 5064252 140733716209776 140733716208688 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/886/statm: 2287 267 226 213 0 72 0
[pid=887] ppid=886 vsize=8496 CPUtime=1.28 cores=0,2,4,6
/proc/887/stat : 887 (glucose) R 886 880 31464 0 -1 4202496 2654 0 0 0 128 0 0 0 20 0 1 0 385006319 8699904 1636 33554432000 4194304 5208918 140736437130848 140736437128936 4229299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/887/statm: 2124 1636 96 248 0 1873 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29884
[startup+3.10034 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 887
/proc/meminfo: memFree=31491100/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=3092 CPUtime=0.18 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 1449 2181 0 0 2 0 16 0 20 0 1 0 385006299 3166208 377 33554432000 4194304 6006132 140736119846528 140736119840720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/881/statm: 773 377 158 443 0 326 0
[pid=886] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/886/stat : 886 (satsolver.sh) S 881 880 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385006319 9367552 267 33554432000 4194304 5064252 140733716209776 140733716208688 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/886/statm: 2287 267 226 213 0 72 0
[pid=887] ppid=886 vsize=12848 CPUtime=2.88 cores=0,2,4,6
/proc/887/stat : 887 (glucose) R 886 880 31464 0 -1 4202496 3306 0 0 0 288 0 0 0 20 0 1 0 385006319 13156352 2790 33554432000 4194304 5208918 140736437130848 140736437128792 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/887/statm: 3212 2790 96 248 0 2961 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34236
[startup+6.30037 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 887
/proc/meminfo: memFree=31480120/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=3092 CPUtime=0.18 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 1449 2181 0 0 2 0 16 0 20 0 1 0 385006299 3166208 377 33554432000 4194304 6006132 140736119846528 140736119840720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/881/statm: 773 377 158 443 0 326 0
[pid=886] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/886/stat : 886 (satsolver.sh) S 881 880 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385006319 9367552 267 33554432000 4194304 5064252 140733716209776 140733716208688 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/886/statm: 2287 267 226 213 0 72 0
[pid=887] ppid=886 vsize=22644 CPUtime=6.08 cores=0,2,4,6
/proc/887/stat : 887 (glucose) R 886 880 31464 0 -1 4202496 3724 0 0 0 608 0 0 0 20 0 1 0 385006319 23187456 4735 33554432000 4194304 5208918 140736437130848 140736437128712 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/887/statm: 5661 4735 96 248 0 5410 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44032
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 894
/proc/meminfo: memFree=31440972/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=6.97 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 2997 9476 0 0 7 2 686 2 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
[pid=893] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/893/stat : 893 (satsolver.sh) S 881 880 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385007000 9367552 267 33554432000 4194304 5064252 140737164443168 140737164442080 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/893/statm: 2287 267 226 213 0 72 0
[pid=894] ppid=893 vsize=43140 CPUtime=5.68 cores=0,2,4,6
/proc/894/stat : 894 (glucose) R 893 880 31464 0 -1 4202496 9198 0 0 0 566 2 0 0 20 0 1 0 385007000 44175360 9408 33554432000 4194304 5208918 140735336582064 140735336580152 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/894/statm: 10785 9408 96 248 0 10534 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 72736
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 901
/proc/meminfo: memFree=31402280/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=6.97 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 2997 9476 0 0 7 2 686 2 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
[pid=893] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/893/stat : 893 (satsolver.sh) S 881 880 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385007000 9367552 267 33554432000 4194304 5064252 140737164443168 140737164442080 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/893/statm: 2287 267 226 213 0 72 0
[pid=894] ppid=893 vsize=54632 CPUtime=18.48 cores=0,2,4,6
/proc/894/stat : 894 (glucose) R 893 880 31464 0 -1 4202496 9692 0 0 0 1846 2 0 0 20 0 1 0 385007000 55943168 12450 33554432000 4194304 5208918 140735336582064 140735336580008 4229107 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/894/statm: 13658 12450 96 248 0 13407 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 84228
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 922
/proc/meminfo: memFree=31448284/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=40.59 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 4000 23766 0 0 9 3 4036 11 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
[pid=921] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/921/stat : 921 (satsolver.sh) S 881 880 31464 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385010363 9367552 266 33554432000 4194304 5064252 140733684028080 140733684026992 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/921/statm: 2287 266 226 213 0 72 0
[pid=922] ppid=921 vsize=33136 CPUtime=10.45 cores=0,2,4,6
/proc/922/stat : 922 (glucose) R 921 880 31464 0 -1 4202496 6882 0 0 0 1043 2 0 0 20 0 1 0 385010364 33931264 7797 33554432000 4194304 5208918 140735666334672 140735666332616 4205743 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/922/statm: 8284 7797 96 248 0 8033 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 62732
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 958
/proc/meminfo: memFree=31455476/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=74.05 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 4519 35102 0 0 10 3 7374 18 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
[pid=942] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/942/stat : 942 (satsolver.sh) S 881 880 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385013711 9367552 266 33554432000 4194304 5064252 140734957067840 140734957066752 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/942/statm: 2287 266 226 213 0 72 0
[pid=943] ppid=942 vsize=30028 CPUtime=28.17 cores=0,2,4,6
/proc/943/stat : 943 (glucose) R 942 880 31464 0 -1 4202496 7060 0 0 0 2816 1 0 0 20 0 1 0 385013711 30748672 7160 33554432000 4194304 5208918 140735092249008 140735092246872 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/943/statm: 7507 7160 96 248 0 7256 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 59624
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 1082
/proc/meminfo: memFree=31419200/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=153.11 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 4994 67576 0 0 11 3 15269 28 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
[pid=1067] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1067/stat : 1067 (satsolver.sh) S 881 880 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385021620 9367552 267 33554432000 4194304 5064252 140734558274672 140734558273584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1067/statm: 2287 267 226 213 0 72 0
[pid=1068] ppid=1067 vsize=21100 CPUtime=9.08 cores=0,2,4,6
/proc/1068/stat : 1068 (glucose) R 1067 880 31464 0 -1 4202496 3570 0 0 0 908 0 0 0 20 0 1 0 385021620 21606400 3604 33554432000 4194304 5208918 140736061469440 140736061467528 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1068/statm: 5275 3604 102 248 0 5024 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 50696
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1103
/proc/meminfo: memFree=31408176/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=205.28 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 5227 91129 0 0 11 3 20480 34 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
[pid=1102] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1102/stat : 1102 (satsolver.sh) S 881 880 31464 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026840 9367552 267 33554432000 4194304 5064252 140736603396720 140736603395632 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1102/statm: 2287 267 226 213 0 72 0
[pid=1103] ppid=1102 vsize=21088 CPUtime=16.87 cores=0,2,4,6
/proc/1103/stat : 1103 (glucose) R 1102 880 31464 0 -1 4202496 4338 0 0 0 1687 0 0 0 20 0 1 0 385026840 21594112 4853 33554432000 4194304 5208918 140736898382976 140736898380920 4229552 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1103/statm: 5272 4853 102 248 0 5021 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 50684
Solver just ended. Dumping a history of the last processes samples
[startup+222.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1103
/proc/meminfo: memFree=31408176/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=205.28 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) S 880 880 31464 0 -1 4202496 5227 91129 0 0 11 3 20480 34 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
[pid=1102] ppid=881 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1102/stat : 1102 (satsolver.sh) S 881 880 31464 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026840 9367552 267 33554432000 4194304 5064252 140736603396720 140736603395632 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1102/statm: 2287 267 226 213 0 72 0
[pid=1103] ppid=1102 vsize=21088 CPUtime=17.07 cores=0,2,4,6
/proc/1103/stat : 1103 (glucose) R 1102 880 31464 0 -1 4202496 4338 0 0 0 1707 0 0 0 20 0 1 0 385026840 21594112 4853 33554432000 4194304 5208918 140736898382976 140736898380920 4229344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1103/statm: 5272 4853 102 248 0 5021 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 50684
[startup+222.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1103
/proc/meminfo: memFree=31408176/32873844 swapFree=8656/8656
[pid=880] ppid=878 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/880/stat : 880 (npSolver-wbo.sh) S 878 880 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385006299 9367552 274 33554432000 4194304 5064252 140735522298672 140735522297584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/880/statm: 2287 274 233 213 0 72 0
[pid=881] ppid=880 vsize=11300 CPUtime=222.46 cores=0,2,4,6
/proc/881/stat : 881 (npSolver-wbo) R 880 880 31464 0 -1 4202496 5245 98306 0 0 11 3 22197 35 20 0 1 0 385006299 11571200 2284 33554432000 4194304 6006132 140736119846528 140736119837424 4969414 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/881/statm: 2825 2284 168 443 0 2378 0
Current children cumulated CPU time (s) 222.46
Current children cumulated vsize (KiB) 20448
Child status: 0
Real time (s): 222.606
CPU time (s): 222.497
CPU user time (s): 222.095
CPU system time (s): 0.401938
CPU usage (%): 99.9513
Max. virtual memory (cumulated for all children) (KiB): 91412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.095
system time used= 0.401938
maximum resident set size= 56996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 447
involuntary context switches= 534
runsolver used 0.420936 second user time and 1.3068 second system time
The end