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-3753070-1339210357/watcher-3753070-1339210357 -o /tmp/evaluation-result-3753070-1339210357/solver-3753070-1339210357 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753070-1339210357.wbo 1632704087 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25868
/proc/meminfo: memFree=29726744/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[startup+0.0498969 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25868
/proc/meminfo: memFree=29726744/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100366 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25868
/proc/meminfo: memFree=29726744/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300299 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25868
/proc/meminfo: memFree=29726744/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700308 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25868
/proc/meminfo: memFree=29726744/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25880
/proc/meminfo: memFree=29652316/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=1.48 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) R 25868 25868 8900 0 -1 4202496 9486 8527 0 0 112 9 25 2 20 0 1 0 387164291 172388352 26898 33554432000 4194304 6006132 140734226997024 140734226989368 4538061 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 26898 190 443 0 41640 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 177496
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25882
/proc/meminfo: memFree=29484608/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=248404 CPUtime=1 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 36015 0 0 0 89 11 0 0 20 0 1 0 387164499 254365696 53692 33554432000 4194304 5208918 140733895391520 140733894340920 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 62101 53692 70 248 0 61850 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 435048
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25882
/proc/meminfo: memFree=29256080/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=259800 CPUtime=4.21 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 45658 0 0 0 406 15 0 0 20 0 1 0 387164499 266035200 57618 33554432000 4194304 5208918 140733895391520 140733895389480 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 64950 57618 104 248 0 64699 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 446444
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 25882
/proc/meminfo: memFree=29259212/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=261324 CPUtime=10.6 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 46184 0 0 0 1045 15 0 0 20 0 1 0 387164499 267595776 58134 33554432000 4194304 5208918 140733895391520 140733895389480 4211034 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 65331 58134 104 248 0 65080 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 447968
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 25889
/proc/meminfo: memFree=29274244/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=294272 CPUtime=23.4 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 47596 0 0 0 2324 16 0 0 20 0 1 0 387164499 301334528 59973 33554432000 4194304 5208918 140733895391520 140733895387896 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 73568 59973 104 248 0 73317 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 480916
[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25896
/proc/meminfo: memFree=29243528/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=297480 CPUtime=48.99 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 48384 0 0 0 4883 16 0 0 20 0 1 0 387164499 304619520 62294 33554432000 4194304 5208918 140733895391520 140733895387288 4229049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 74370 62294 104 248 0 74119 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 484124
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 25896
/proc/meminfo: memFree=29233316/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=305056 CPUtime=100.19 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 50304 0 0 0 10001 18 0 0 20 0 1 0 387164499 312377344 64683 33554432000 4194304 5208918 140733895391520 140733895389480 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 76264 64683 104 248 0 76013 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 491700
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 25897
/proc/meminfo: memFree=29217924/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=308360 CPUtime=160.15 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 51892 0 0 0 15994 21 0 0 20 0 1 0 387164499 315760640 65502 33554432000 4194304 5208918 140733895391520 140733895389272 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 77090 65502 104 248 0 76839 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=29089648/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=400032 CPUtime=1359.93 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 71908 0 0 0 135931 62 0 0 20 0 1 0 387164499 409632768 87111 33554432000 4194304 5208918 140733895391520 140733895387896 4212649 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 100008 87111 104 248 0 99757 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 586676
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=29073576/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=401372 CPUtime=1419.93 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 72280 0 0 0 141930 63 0 0 20 0 1 0 387164499 411004928 91060 33554432000 4194304 5208918 140733895391520 140733895389368 4240035 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 100343 91060 104 248 0 100092 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 588016
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=29086300/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=402076 CPUtime=1479.92 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 72851 0 0 0 147927 65 0 0 20 0 1 0 387164499 411725824 87345 33554432000 4194304 5208918 140733895391520 140733895389272 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 100519 87345 104 248 0 100268 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 588720
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=29099520/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=403584 CPUtime=1539.9 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 73426 0 0 0 153923 67 0 0 20 0 1 0 387164499 413270016 83948 33554432000 4194304 5208918 140733895391520 140733895387896 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 100896 83948 104 248 0 100645 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 590228
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25951
/proc/meminfo: memFree=29138012/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=404276 CPUtime=1599.89 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 73599 0 0 0 159922 67 0 0 20 0 1 0 387164499 413978624 88727 33554432000 4194304 5208918 140733895391520 140733895389272 4211080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 101069 88727 104 248 0 100818 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 590920
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 25962
/proc/meminfo: memFree=29109576/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=405128 CPUtime=1659.89 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 73868 0 0 0 165921 68 0 0 20 0 1 0 387164499 414851072 93084 33554432000 4194304 5208918 140733895391520 140733895387896 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 101282 93084 104 248 0 101031 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 591772
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25962
/proc/meminfo: memFree=29116396/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=405704 CPUtime=1719.88 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 74427 0 0 0 171918 70 0 0 20 0 1 0 387164499 415440896 88336 33554432000 4194304 5208918 140733895391520 140733895387896 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 101426 88336 104 248 0 101175 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 592348
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26019
/proc/meminfo: memFree=28865812/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=406664 CPUtime=1779.87 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 74659 0 0 0 177916 71 0 0 20 0 1 0 387164499 416423936 93167 33554432000 4194304 5208918 140733895391520 140733895389368 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 101666 93167 104 248 0 101415 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 593308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 26021
/proc/meminfo: memFree=25854524/32873844 swapFree=7120/7120
[pid=25868] ppid=25866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (npSolver-wbo-It) S 25866 25868 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387164290 9367552 275 33554432000 4194304 5064252 140736976590752 140736976589664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25868/statm: 2287 275 233 213 0 72 0
[pid=25869] ppid=25868 vsize=168348 CPUtime=2.07 cores=1,3,5,7
/proc/25869/stat : 25869 (npSolver-wbo) S 25868 25868 8900 0 -1 4202496 10059 8527 0 0 155 25 25 2 20 0 1 0 387164291 172388352 33554 33554432000 4194304 6006132 140734226997024 140734226988416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25869/statm: 42087 33554 190 443 0 41640 0
[pid=25881] ppid=25869 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (satsolver.sh) S 25869 25868 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387164499 9367552 267 33554432000 4194304 5064252 140734608541360 140734608540272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25881/statm: 2287 267 226 213 0 72 0
[pid=25882] ppid=25881 vsize=407744 CPUtime=1797.97 cores=1,3,5,7
/proc/25882/stat : 25882 (glucose) R 25881 25868 8900 0 -1 4202496 75122 0 0 0 179725 72 0 0 20 0 1 0 387164499 417529856 86075 33554432000 4194304 5208918 140733895391520 140733895389272 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25882/statm: 101936 86075 104 248 0 101685 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 594388
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.41
CPU time (s): 1800.08
CPU user time (s): 1799.07
CPU system time (s): 1.00985
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 724472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.00985
maximum resident set size= 470496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 1863
runsolver used 5.56915 second user time and 16.1205 second system time
The end