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-3753828-1339201764/watcher-3753828-1339201764 -o /tmp/evaluation-result-3753828-1339201764/solver-3753828-1339201764 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753828-1339201764.wbo 1146524535 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.01 2.00 3/179 15051
/proc/meminfo: memFree=30592768/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[startup+0.00787803 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15051
/proc/meminfo: memFree=30592768/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10029 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15051
/proc/meminfo: memFree=30592768/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300257 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15051
/proc/meminfo: memFree=30592768/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700206 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15051
/proc/meminfo: memFree=30592768/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 15072
/proc/meminfo: memFree=30570784/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=0.17 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 2308 5430 0 0 13 2 1 1 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15064] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15064/stat : 15064 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303710 9367552 267 33554432000 4194304 5064252 140736008210032 140736008208944 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15064/statm: 2287 267 226 213 0 72 0
[pid=15065] ppid=15064 vsize=29064 CPUtime=1.3 cores=1,3,5,7
/proc/15065/stat : 15065 (glucose) R 15064 15051 8666 0 -1 4202496 6897 0 0 0 129 1 0 0 20 0 1 0 386303710 29761536 6380 33554432000 4194304 5208918 140734290659680 140734290657528 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15065/statm: 7266 6380 105 248 0 7015 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 67560
[startup+3.10041 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 15072
/proc/meminfo: memFree=30567668/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=0.17 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 2308 5430 0 0 13 2 1 1 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15064] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15064/stat : 15064 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303710 9367552 267 33554432000 4194304 5064252 140736008210032 140736008208944 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15064/statm: 2287 267 226 213 0 72 0
[pid=15065] ppid=15064 vsize=29592 CPUtime=2.9 cores=1,3,5,7
/proc/15065/stat : 15065 (glucose) R 15064 15051 8666 0 -1 4202496 7729 0 0 0 288 2 0 0 20 0 1 0 386303710 30302208 6407 33554432000 4194304 5208918 140734290659680 140734290657528 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15065/statm: 7398 6407 105 248 0 7147 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 68088
[startup+6.30041 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 15072
/proc/meminfo: memFree=30555672/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=0.17 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 2308 5430 0 0 13 2 1 1 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15064] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15064/stat : 15064 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303710 9367552 267 33554432000 4194304 5064252 140736008210032 140736008208944 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15064/statm: 2287 267 226 213 0 72 0
[pid=15065] ppid=15064 vsize=41424 CPUtime=6.1 cores=1,3,5,7
/proc/15065/stat : 15065 (glucose) R 15064 15051 8666 0 -1 4202496 8697 0 0 0 608 2 0 0 20 0 1 0 386303710 42418176 8903 33554432000 4194304 5208918 140734290659680 140734290657624 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15065/statm: 10356 8903 105 248 0 10105 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 79920
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 15072
/proc/meminfo: memFree=30536880/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=0.17 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 2308 5430 0 0 13 2 1 1 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15064] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15064/stat : 15064 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303710 9367552 267 33554432000 4194304 5064252 140736008210032 140736008208944 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15064/statm: 2287 267 226 213 0 72 0
[pid=15065] ppid=15064 vsize=48496 CPUtime=12.49 cores=1,3,5,7
/proc/15065/stat : 15065 (glucose) R 15064 15051 8666 0 -1 4202496 9031 0 0 0 1247 2 0 0 20 0 1 0 386303710 49659904 11252 33554432000 4194304 5208918 140734290659680 140734290655992 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15065/statm: 12124 11253 105 248 0 11873 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86992
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 15079
/proc/meminfo: memFree=30536652/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=18.43 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 3183 17885 0 0 26 3 1807 7 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15078] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15078/stat : 15078 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386305536 9367552 266 33554432000 4194304 5064252 140736782539600 140736782538512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15078/statm: 2287 266 226 213 0 72 0
[pid=15079] ppid=15078 vsize=48692 CPUtime=7.03 cores=1,3,5,7
/proc/15079/stat : 15079 (glucose) R 15078 15051 8666 0 -1 4202496 8024 0 0 0 701 2 0 0 20 0 1 0 386305536 49860608 10808 33554432000 4194304 5208918 140736659946592 140736659944456 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15079/statm: 12173 10808 105 248 0 11922 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 87188
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 15103
/proc/meminfo: memFree=30537396/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=28.52 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 4058 29701 0 0 38 4 2796 14 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15085] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15085/stat : 15085 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386306546 9367552 267 33554432000 4194304 5064252 140735241106512 140735241105424 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15085/statm: 2287 267 226 213 0 72 0
[pid=15086] ppid=15085 vsize=55636 CPUtime=22.52 cores=1,3,5,7
/proc/15086/stat : 15086 (glucose) R 15085 15051 8666 0 -1 4202496 9716 0 0 0 2250 2 0 0 20 0 1 0 386306547 56971264 13285 33554432000 4194304 5208918 140735496870528 140735496866296 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15086/statm: 13909 13285 105 248 0 13658 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 94132
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15138
/proc/meminfo: memFree=30527324/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=79.6 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 6683 67545 0 0 75 7 7843 35 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15135] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15135/stat : 15135 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386311657 9367552 266 33554432000 4194304 5064252 140736904183504 140736904182416 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15135/statm: 2287 266 226 213 0 72 0
[pid=15136] ppid=15135 vsize=48420 CPUtime=22.63 cores=1,3,5,7
/proc/15136/stat : 15136 (glucose) R 15135 15051 8666 0 -1 4202496 8322 0 0 0 2262 1 0 0 20 0 1 0 386311657 49582080 11497 33554432000 4194304 5208918 140734657345392 140734657341768 4205249 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15136/statm: 12105 11497 105 248 0 11854 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 86916
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15194
/proc/meminfo: memFree=30519856/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=142.2 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 10183 117466 0 0 124 12 14021 63 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=15186] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/16349/statm: 2287 266 226 213 0 72 0
[pid=16350] ppid=16349 vsize=48344 CPUtime=8.72 cores=1,3,5,7
/proc/16350/stat : 16350 (glucose) R 16349 15051 8666 0 -1 4202496 8408 0 0 0 870 2 0 0 20 0 1 0 386433048 49504256 11134 33554432000 4194304 5208918 140735824513680 140735824511544 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 12086 11134 105 248 0 11835 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 86840
[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 16357
/proc/meminfo: memFree=27970268/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1313.73 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 48683 646935 0 0 665 62 130287 359 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16356] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16356/stat : 16356 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386435128 9367552 267 33554432000 4194304 5064252 140733620294320 140733620293232 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16356/statm: 2287 267 226 213 0 72 0
[pid=16357] ppid=16356 vsize=59988 CPUtime=47.9 cores=1,3,5,7
/proc/16357/stat : 16357 (glucose) R 16356 15051 8666 0 -1 4202496 9608 0 0 0 4788 2 0 0 20 0 1 0 386435128 61427712 14363 33554432000 4194304 5208918 140736588021136 140736588016824 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 14997 14363 105 248 0 14746 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 98484
[startup+1422.31 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 16378
/proc/meminfo: memFree=27977576/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1406.52 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 51308 682537 0 0 701 65 139506 380 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16377] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16377/stat : 16377 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386444410 9367552 267 33554432000 4194304 5064252 140733294609584 140733294608496 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16377/statm: 2287 267 226 213 0 72 0
[pid=16378] ppid=16377 vsize=48444 CPUtime=15.1 cores=1,3,5,7
/proc/16378/stat : 16378 (glucose) R 16377 15051 8666 0 -1 4202496 8220 0 0 0 1508 2 0 0 20 0 1 0 386444410 49606656 11348 33554432000 4194304 5208918 140737235649488 140737235645864 4211648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16378/statm: 12111 11348 105 248 0 11860 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 86940
[startup+1482.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 16407
/proc/meminfo: memFree=27985524/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1471.81 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 54808 731464 0 0 751 69 145950 411 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16406] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16406/stat : 16406 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 386450940 9367552 266 33554432000 4194304 5064252 140733491388304 140733491387216 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16406/statm: 2287 266 226 213 0 72 0
[pid=16407] ppid=16406 vsize=48492 CPUtime=9.8 cores=1,3,5,7
/proc/16407/stat : 16407 (glucose) R 16406 15051 8666 0 -1 4202496 8284 0 0 0 978 2 0 0 20 0 1 0 386450940 49655808 10905 33554432000 4194304 5208918 140735677210336 140735677206712 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16407/statm: 12123 10905 105 248 0 11872 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 86988
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 16421
/proc/meminfo: memFree=27969268/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1508.2 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 56558 757138 0 0 775 72 149550 423 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16420] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16420/stat : 16420 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386454581 9367552 267 33554432000 4194304 5064252 140737162616384 140737162615296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16420/statm: 2287 267 226 213 0 72 0
[pid=16421] ppid=16420 vsize=56076 CPUtime=33.38 cores=1,3,5,7
/proc/16421/stat : 16421 (glucose) R 16420 15051 8666 0 -1 4202496 10285 0 0 0 3336 2 0 0 20 0 1 0 386454581 57421824 13384 33554432000 4194304 5208918 140736575012016 140736575007704 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16421/statm: 14019 13384 105 248 0 13768 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 94572
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 16442
/proc/meminfo: memFree=27977904/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1585.76 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 59183 793619 0 0 812 75 157245 444 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16441] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16441/stat : 16441 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386462339 9367552 267 33554432000 4194304 5064252 140736091461776 140736091460688 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16441/statm: 2287 267 226 213 0 72 0
[pid=16442] ppid=16441 vsize=48320 CPUtime=15.81 cores=1,3,5,7
/proc/16442/stat : 16442 (glucose) R 16441 15051 8666 0 -1 4202496 8598 0 0 0 1579 2 0 0 20 0 1 0 386462339 49479680 11227 33554432000 4194304 5208918 140736648192400 140736648188776 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16442/statm: 12080 11227 105 248 0 11829 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 86816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 16442
/proc/meminfo: memFree=27978908/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1585.76 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 59183 793619 0 0 812 75 157245 444 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16441] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16441/stat : 16441 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386462339 9367552 267 33554432000 4194304 5064252 140736091461776 140736091460688 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16441/statm: 2287 267 226 213 0 72 0
[pid=16442] ppid=16441 vsize=59924 CPUtime=75.79 cores=1,3,5,7
/proc/16442/stat : 16442 (glucose) R 16441 15051 8666 0 -1 4202496 9968 0 0 0 7577 2 0 0 20 0 1 0 386462339 61362176 10996 33554432000 4194304 5208918 140736648192400 140736648190344 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16442/statm: 14981 10996 105 248 0 14730 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 98420
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 16461
/proc/meminfo: memFree=28029372/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1720.73 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 61808 831890 0 0 849 79 170680 465 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
Current children cumulated CPU time (s) 1720.73
Current children cumulated vsize (KiB) 29348
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 16478
/proc/meminfo: memFree=27969488/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1749.68 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 63558 856147 0 0 874 81 173534 479 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16476] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16476/stat : 16476 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386478733 9367552 266 33554432000 4194304 5064252 140735005748688 140735005747600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16476/statm: 2287 266 226 213 0 72 0
[pid=16477] ppid=16476 vsize=55564 CPUtime=31.86 cores=1,3,5,7
/proc/16477/stat : 16477 (glucose) R 16476 15051 8666 0 -1 4202496 9569 0 0 0 3184 2 0 0 20 0 1 0 386478733 56897536 13257 33554432000 4194304 5208918 140735820378912 140735820374680 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16477/statm: 13891 13257 105 248 0 13640 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 94060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 16485
/proc/meminfo: memFree=27978080/32873648 swapFree=7376/7376
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15051/stat : 15051 (npSolver-wbo-It) S 15049 15051 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386303691 9367552 275 33554432000 4194304 5064252 140734805860128 140734805859040 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15051/statm: 2287 275 233 213 0 72 0
[pid=15052] ppid=15051 vsize=20200 CPUtime=1787.76 cores=1,3,5,7
/proc/15052/stat : 15052 (npSolver-wbo) S 15051 15051 8666 0 -1 4202496 64433 869669 0 0 886 82 177322 486 20 0 1 0 386303691 20684800 4721 33554432000 4194304 6006132 140733725103808 140733725095200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/15052/statm: 5050 4721 179 443 0 4603 0
[pid=16484] ppid=15052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16484/stat : 16484 (satsolver.sh) S 15052 15051 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386482542 9367552 267 33554432000 4194304 5064252 140734144995840 140734144994752 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16484/statm: 2287 267 226 213 0 72 0
[pid=16485] ppid=16484 vsize=48792 CPUtime=12.29 cores=1,3,5,7
/proc/16485/stat : 16485 (glucose) R 16484 15051 8666 0 -1 4202496 8212 0 0 0 1227 2 0 0 20 0 1 0 386482542 49963008 10951 33554432000 4194304 5208918 140737372318976 140737372315352 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16485/statm: 12198 10951 105 248 0 11947 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 87288
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.08
CPU user time (s): 1794.36
CPU system time (s): 5.71813
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 117660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 5.71813
maximum resident set size= 72552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 943304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1188168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6631
involuntary context switches= 2666
runsolver used 2.6066 second user time and 7.26689 second system time
The end