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-3753153-1339206370/watcher-3753153-1339206370 -o /tmp/evaluation-result-3753153-1339206370/solver-3753153-1339206370 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753153-1339206370.wbo 760103040 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: 1.09 1.35 1.33 3/179 6419
/proc/meminfo: memFree=31223152/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[startup+0.0767029 s]
/proc/loadavg: 1.09 1.35 1.33 3/179 6419
/proc/meminfo: memFree=31223152/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 1.09 1.35 1.33 3/179 6419
/proc/meminfo: memFree=31223152/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/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: 1.09 1.35 1.33 3/179 6419
/proc/meminfo: memFree=31223152/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 1.09 1.35 1.33 3/179 6419
/proc/meminfo: memFree=31223152/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.08 1.35 1.32 3/183 6423
/proc/meminfo: memFree=31117308/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=39412 CPUtime=0.83 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 10056 0 0 0 65 18 0 0 20 0 1 0 386763838 40357888 9463 33554432000 4194304 6006132 140737439460736 140737439453840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 9853 9463 157 443 0 9406 0
[pid=6422] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6422/stat : 6422 (cp2_pre.sh) S 6420 6419 7481 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386763922 9367552 277 33554432000 4194304 5064252 140735121726912 140735121725616 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6422/statm: 2287 277 234 213 0 72 0
[pid=6423] ppid=6422 vsize=95984 CPUtime=0.64 cores=1,3,5,7
/proc/6423/stat : 6423 (coprocessor) R 6422 6419 7481 0 -1 4202496 16952 0 0 0 61 3 0 0 20 0 1 0 386763923 98287616 23101 33554432000 4194304 6586260 140737222804000 140737222799368 5599275 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/6423/statm: 23996 23101 190 584 0 23408 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 153692
[startup+3.10033 s]
/proc/loadavg: 1.08 1.35 1.32 3/183 6423
/proc/meminfo: memFree=31089264/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=39412 CPUtime=0.83 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 10056 0 0 0 65 18 0 0 20 0 1 0 386763838 40357888 9463 33554432000 4194304 6006132 140737439460736 140737439453840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 9853 9463 157 443 0 9406 0
[pid=6422] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6422/stat : 6422 (cp2_pre.sh) S 6420 6419 7481 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386763922 9367552 277 33554432000 4194304 5064252 140735121726912 140735121725616 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6422/statm: 2287 277 234 213 0 72 0
[pid=6423] ppid=6422 vsize=96512 CPUtime=2.24 cores=1,3,5,7
/proc/6423/stat : 6423 (coprocessor) R 6422 6419 7481 0 -1 4202496 17084 0 0 0 221 3 0 0 20 0 1 0 386763923 98828288 23233 33554432000 4194304 6586260 140737222804000 140737222799320 5599283 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/6423/statm: 24128 23233 190 584 0 23540 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 154220
[startup+6.3002 s]
/proc/loadavg: 1.16 1.36 1.33 3/181 6437
/proc/meminfo: memFree=31177440/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=5.53 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 16103 32460 0 0 78 37 428 10 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 71564
[startup+12.7003 s]
/proc/loadavg: 1.22 1.37 1.33 3/183 6482
/proc/meminfo: memFree=30947744/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=5.53 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 16103 32460 0 0 78 37 428 10 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=6439] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6439/stat : 6439 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386764393 9367552 267 33554432000 4194304 5064252 140735020819696 140735020818608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6439/statm: 2287 267 226 213 0 72 0
[pid=6440] ppid=6439 vsize=69852 CPUtime=7.12 cores=1,3,5,7
/proc/6440/stat : 6440 (glucose) R 6439 6419 7481 0 -1 4202496 14643 0 0 0 710 2 0 0 20 0 1 0 386764393 71528448 15643 33554432000 4194304 5208918 140733744646432 140733744644104 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6440/statm: 17463 15643 95 248 0 17212 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 150564
[startup+25.5003 s]
/proc/loadavg: 1.40 1.40 1.34 3/183 6611
/proc/meminfo: memFree=31039488/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=5.53 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 16103 32460 0 0 78 37 428 10 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=6439] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6439/stat : 6439 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386764393 9367552 267 33554432000 4194304 5064252 140735020819696 140735020818608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6439/statm: 2287 267 226 213 0 72 0
[pid=6440] ppid=6439 vsize=69852 CPUtime=19.92 cores=1,3,5,7
/proc/6440/stat : 6440 (glucose) R 6439 6419 7481 0 -1 4202496 14643 0 0 0 1990 2 0 0 20 0 1 0 386764393 71528448 15643 33554432000 4194304 5208918 140733744646432 140733744644104 4211901 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6440/statm: 17463 15643 95 248 0 17212 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 150564
[startup+51.1003 s]
/proc/loadavg: 1.59 1.45 1.36 3/181 6938
/proc/meminfo: memFree=31080104/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=5.53 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 16103 32460 0 0 78 37 428 10 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=6439] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6439/stat : 6439 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386764393 9367552 267 33554432000 4194304 5064252 140735020819696 140735020818608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6439/statm: 2287 267 226 213 0 72 0
[pid=6440] ppid=6439 vsize=69852 CPUtime=45.53 cores=1,3,5,7
/proc/6440/stat : 6440 (glucose) R 6439 6419 7481 0 -1 4202496 14643 0 0 0 4550 3 0 0 20 0 1 0 386764393 71528448 15643 33554432000 4194304 5208918 140733744646432 140733744644104 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6440/statm: 17463 15643 95 248 0 17212 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150564
[startup+102.306 s]
/proc/loadavg: 1.91 1.56 1.40 3/183 7624
/proc/meminfo: memFree=31029120/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=5.53 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 16103 32460 0 0 78 37 428 10 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=6439] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6439/stat : 6439 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386764393 9367552 267 33554432000 4194304 5064252 140735020819696 140735020818608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6439/statm: 2287 267 226 213 0 72 0
[pid=6440] ppid=6439 vsize=70572 CPUtime=96.72 cores=1,3,5,7
/proc/6440/stat : 6440 (glucose) R 6439 6419 7481 0 -1 4202496 14649 0 0 0 9669 3 0 0 20 0 1 0 386764393 72265728 15797 33554432000 4194304 5208918 140733744646432 140733744644104 4211792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6440/statm: 17643 15797 95 248 0 17392 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 151284
[startup+162.3 s]
/proc/loadavg: 1.96 1.64 1.43 3/183 8418
/proc/meminfo: memFree=31065872/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=144.55 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 21596 54292 0 0 88 38 14305 24 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=8193] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8193/stat : 8193 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386778299 9367552 266 33554432000 4194304 5064252 140733819248032 140733819246944 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8193/statm: 2287 266 226 213 0 72 0
[pid=8194] ppid=8193 vsize=69856 CPUtime=17.67 cores=1,3,5,7
/proc/8194/stat : 8194 (glucose) R 8193 6419 7481 0 -1 4202496 14903 0 0 0 1765 2 0 0 20 0 1 0 386778299 71532544 15432 33554432000 4194304 5208918 140735560332048 140735560329720 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8194/statm: 17464 15432 95 248 0 17213 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.93 1.98 1.82 3/182 25376
/proc/meminfo: memFree=31062916/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1315.14 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 71033 251237 0 0 181 51 131132 150 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 22 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=23983] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23983/stat : 23983 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386895401 9367552 267 33554432000 4194304 5064252 140733647942064 140733647940976 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23983/statm: 2287 267 226 213 0 72 0
[pid=23984] ppid=23983 vsize=70576 CPUtime=106.64 cores=1,3,5,7
/proc/23984/stat : 23984 (glucose) R 23983 6419 7481 0 -1 4202496 14959 0 0 0 10661 3 0 0 20 0 1 0 386895401 72269824 15691 33554432000 4194304 5208918 140734702881600 140734702879272 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23984/statm: 17644 15691 95 248 0 17393 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 151288
[startup+1482.3 s]
/proc/loadavg: 1.93 1.97 1.82 3/185 26168
/proc/meminfo: memFree=31057572/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1445.19 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 76526 272525 0 0 192 52 144112 163 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 22 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=25697] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25697/stat : 25697 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386908408 9367552 267 33554432000 4194304 5064252 140733953337552 140733953336464 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25697/statm: 2287 267 226 213 0 72 0
[pid=25698] ppid=25697 vsize=69852 CPUtime=36.58 cores=1,3,5,7
/proc/25698/stat : 25698 (glucose) R 25697 6419 7481 0 -1 4202496 15547 0 0 0 3655 3 0 0 20 0 1 0 386908408 71528448 15242 33554432000 4194304 5208918 140736011145264 140736011142936 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25698/statm: 17463 15242 95 248 0 17212 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 150564
[startup+1542.3 s]
/proc/loadavg: 1.97 1.97 1.83 3/183 26970
/proc/meminfo: memFree=31059868/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1445.19 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 76526 272525 0 0 192 52 144112 163 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 22 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=25697] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25697/stat : 25697 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386908408 9367552 267 33554432000 4194304 5064252 140733953337552 140733953336464 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25697/statm: 2287 267 226 213 0 72 0
[pid=25698] ppid=25697 vsize=70572 CPUtime=96.56 cores=1,3,5,7
/proc/25698/stat : 25698 (glucose) R 25697 6419 7481 0 -1 4202496 15607 0 0 0 9653 3 0 0 20 0 1 0 386908408 72265728 15300 33554432000 4194304 5208918 140736011145264 140736011142936 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25698/statm: 17643 15300 95 248 0 17392 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 151284
[startup+1602.3 s]
/proc/loadavg: 2.03 2.00 1.84 3/183 27775
/proc/meminfo: memFree=31024872/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1575.26 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 82019 294493 0 0 202 53 157093 178 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=27431] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27431/stat : 27431 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386921441 9367552 267 33554432000 4194304 5064252 140734462138848 140734462137760 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27431/statm: 2287 267 226 213 0 72 0
[pid=27432] ppid=27431 vsize=69856 CPUtime=26.24 cores=1,3,5,7
/proc/27432/stat : 27432 (glucose) R 27431 6419 7481 0 -1 4202496 15214 0 0 0 2622 2 0 0 20 0 1 0 386921442 71532544 15693 33554432000 4194304 5208918 140736665660080 140736665657752 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27432/statm: 17464 15693 95 248 0 17213 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 150568
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.85 3/181 28578
/proc/meminfo: memFree=31063316/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1575.26 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 82019 294493 0 0 202 53 157093 178 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=27431] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27431/stat : 27431 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386921441 9367552 267 33554432000 4194304 5064252 140734462138848 140734462137760 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27431/statm: 2287 267 226 213 0 72 0
[pid=27432] ppid=27431 vsize=70576 CPUtime=86.24 cores=1,3,5,7
/proc/27432/stat : 27432 (glucose) R 27431 6419 7481 0 -1 4202496 15217 0 0 0 8621 3 0 0 20 0 1 0 386921442 72269824 15696 33554432000 4194304 5208918 140736665660080 140736665657752 4211670 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27432/statm: 17644 15696 95 248 0 17393 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 151288
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.86 3/183 29364
/proc/meminfo: memFree=31013480/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1705.28 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 87512 316179 0 0 213 55 170068 192 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=29160] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29160/stat : 29160 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386934444 9367552 267 33554432000 4194304 5064252 140733451342912 140733451341824 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29160/statm: 2287 267 226 213 0 72 0
[pid=29161] ppid=29160 vsize=69852 CPUtime=16.22 cores=1,3,5,7
/proc/29161/stat : 29161 (glucose) R 29160 6419 7481 0 -1 4202496 15478 0 0 0 1619 3 0 0 20 0 1 0 386934445 71528448 15488 33554432000 4194304 5208918 140733924885376 140733924883048 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29161/statm: 17463 15488 95 248 0 17212 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 150564
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/184 30187
/proc/meminfo: memFree=31053992/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1705.28 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 87512 316179 0 0 213 55 170068 192 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=29160] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29160/stat : 29160 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386934444 9367552 267 33554432000 4194304 5064252 140733451342912 140733451341824 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29160/statm: 2287 267 226 213 0 72 0
[pid=29161] ppid=29160 vsize=70572 CPUtime=76.21 cores=1,3,5,7
/proc/29161/stat : 29161 (glucose) R 29160 6419 7481 0 -1 4202496 15481 0 0 0 7618 3 0 0 20 0 1 0 386934445 72265728 15491 33554432000 4194304 5208918 140733924885376 140733924883048 4211577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29161/statm: 17643 15491 95 248 0 17392 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 151284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.09 2.02 1.87 3/183 30439
/proc/meminfo: memFree=31047680/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1705.28 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 87512 316179 0 0 213 55 170068 192 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=29160] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29160/stat : 29160 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386934444 9367552 267 33554432000 4194304 5064252 140733451342912 140733451341824 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29160/statm: 2287 267 226 213 0 72 0
[pid=29161] ppid=29160 vsize=70572 CPUtime=94.81 cores=1,3,5,7
/proc/29161/stat : 29161 (glucose) R 29160 6419 7481 0 -1 4202496 15482 0 0 0 9478 3 0 0 20 0 1 0 386934445 72265728 15491 33554432000 4194304 5208918 140733924885376 140733924883048 4211834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29161/statm: 17643 15491 95 248 0 17392 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 151284
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.09 2.02 1.87 3/183 30439
/proc/meminfo: memFree=31047680/32873648 swapFree=7376/7376
[pid=6419] ppid=6417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6419/stat : 6419 (npSolver-wbo-It) S 6417 6419 7481 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386763837 9367552 275 33554432000 4194304 5064252 140735941375424 140735941374336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6419/statm: 2287 275 233 213 0 72 0
[pid=6420] ppid=6419 vsize=62416 CPUtime=1705.28 cores=1,3,5,7
/proc/6420/stat : 6420 (npSolver-wbo) S 6419 6419 7481 0 -1 4202496 87512 316179 0 0 213 55 170068 192 20 0 1 0 386763838 63913984 14728 33554432000 4194304 6006132 140737439460736 140737439452096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/6420/statm: 15604 14728 176 443 0 15157 0
[pid=29160] ppid=6420 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29160/stat : 29160 (satsolver.sh) S 6420 6419 7481 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386934444 9367552 267 33554432000 4194304 5064252 140733451342912 140733451341824 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29160/statm: 2287 267 226 213 0 72 0
[pid=29161] ppid=29160 vsize=70572 CPUtime=94.81 cores=1,3,5,7
/proc/29161/stat : 29161 (glucose) R 29160 6419 7481 0 -1 4202496 15482 0 0 0 9478 3 0 0 20 0 1 0 386934445 72265728 15491 33554432000 4194304 5208918 140733924885376 140733924883048 4211834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29161/statm: 17643 15491 95 248 0 17392 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 151284
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.12
CPU user time (s): 1797.6
CPU system time (s): 2.51762
CPU usage (%): 99.9558
Max. virtual memory (cumulated for all children) (KiB): 157776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.6
system time used= 2.51762
maximum resident set size= 99968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 365888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7382
involuntary context switches= 2330
runsolver used 2.96055 second user time and 7.64884 second system time
The end