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-3702967-1338069346/watcher-3702967-1338069346 -o /tmp/evaluation-result-3702967-1338069346/solver-3702967-1338069346 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702967-1338069346.opb 757918286 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.02 1.99 3/178 6476
/proc/meminfo: memFree=28070868/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[startup+0.0975121 s]
/proc/loadavg: 1.93 2.02 1.99 3/178 6476
/proc/meminfo: memFree=28070868/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100211 s]
/proc/loadavg: 1.93 2.02 1.99 3/178 6476
/proc/meminfo: memFree=28070868/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300282 s]
/proc/loadavg: 1.93 2.02 1.99 3/178 6476
/proc/meminfo: memFree=28070868/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 1.93 2.02 1.99 3/178 6476
/proc/meminfo: memFree=28070868/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 1.93 2.02 1.99 3/180 6478
/proc/meminfo: memFree=27998980/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=1.46 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18725 0 0 0 134 12 0 0 20 0 1 0 273060618 125468672 25529 33554432000 4194304 5992684 140736761619392 140736761613840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6477/statm: 30632 25529 164 440 0 30188 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 131676
[startup+3.10027 s]
/proc/loadavg: 1.93 2.02 1.99 3/182 6480
/proc/meminfo: memFree=27835272/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=1.46 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18725 0 0 0 134 12 0 0 20 0 1 0 273060618 125468672 25529 33554432000 4194304 5992684 140736761619392 140736761613840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6477/statm: 30632 25529 164 440 0 30188 0
[pid=6479] ppid=6477 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6479/stat : 6479 (cp2_pre.sh) S 6477 6476 4763 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273060766 9367552 277 33554432000 4194304 5064252 140733774949728 140733774948432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 2287 277 234 213 0 72 0
[pid=6480] ppid=6479 vsize=356460 CPUtime=1.58 cores=0,2,4,6
/proc/6480/stat : 6480 (coprocessor) R 6479 6476 4763 0 -1 4202496 34120 0 0 0 151 7 0 0 20 0 1 0 273060766 365015040 76620 33554432000 4194304 6586260 140736043927776 140736043924040 4496382 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0
/proc/6480/statm: 89115 76620 164 584 0 88527 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 497284
[startup+6.30029 s]
/proc/loadavg: 1.94 2.02 1.99 3/182 6480
/proc/meminfo: memFree=27468908/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=1.46 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18725 0 0 0 134 12 0 0 20 0 1 0 273060618 125468672 25529 33554432000 4194304 5992684 140736761619392 140736761613840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6477/statm: 30632 25529 164 440 0 30188 0
[pid=6479] ppid=6477 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6479/stat : 6479 (cp2_pre.sh) S 6477 6476 4763 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273060766 9367552 277 33554432000 4194304 5064252 140733774949728 140733774948432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 2287 277 234 213 0 72 0
[pid=6480] ppid=6479 vsize=468704 CPUtime=4.78 cores=0,2,4,6
/proc/6480/stat : 6480 (coprocessor) R 6479 6476 4763 0 -1 4202496 51747 0 0 0 465 13 0 0 20 0 1 0 273060766 479952896 112822 33554432000 4194304 6586260 140736043927776 140736043923528 5259758 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/6480/statm: 117176 112822 196 584 0 116588 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 609528
[startup+12.7004 s]
/proc/loadavg: 1.94 2.02 1.99 3/181 6482
/proc/meminfo: memFree=27704852/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=258584 CPUtime=4.87 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 42578 0 0 0 480 7 0 0 20 0 1 0 273061399 264790016 54781 33554432000 4194304 5654031 140734094115776 140734094113560 4215344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 64646 54781 131 357 0 64286 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 390260
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 1.99 3/181 6482
/proc/meminfo: memFree=27698828/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=260168 CPUtime=17.68 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 42927 0 0 0 1760 8 0 0 20 0 1 0 273061399 266412032 55641 33554432000 4194304 5654031 140734094115776 140734094113560 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 65042 55641 131 357 0 64682 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 391844
[startup+51.1004 s]
/proc/loadavg: 1.97 2.01 1.99 3/181 6482
/proc/meminfo: memFree=27692156/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=260324 CPUtime=43.27 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 43005 0 0 0 4319 8 0 0 20 0 1 0 273061399 266571776 56230 33554432000 4194304 5654031 140734094115776 140734094113464 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 65081 56230 131 357 0 64721 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 392000
[startup+102.307 s]
/proc/loadavg: 1.98 2.01 1.99 3/181 6482
/proc/meminfo: memFree=27677700/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=293784 CPUtime=94.46 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 44201 0 0 0 9438 8 0 0 20 0 1 0 273061399 300834816 58444 33554432000 4194304 5654031 140734094115776 140734094113560 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 73446 58444 140 357 0 73086 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 425460
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/181 6482
/proc/meminfo: memFree=27677284/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=294048 CPUtime=154.43 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 44293 0 0 0 15435 8 0 0 20 0 1 0 273061399 301105152 60135 33554432000 4194304 5654031 140734094115776 140734094113560 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 73512 60135 140 357 0 73152 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 425724
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/181 6483
/proc/meminfo: memFree=27677388/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=294180 CPUtime=214.4 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 45422 0 0 0 21430 10 0 0 20 0 1 0 273061399 301240320 58555 33554432000 4194304 5654031 140734094115776 140734094113864 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 73545 58555 141 357 0 73185 0
Current children cumulated CPU time (s) 222.16
################
# More data... #
################
/proc/loadavg: 2.06 2.01 2.00 3/181 6515
/proc/meminfo: memFree=27627420/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=295504 CPUtime=1294.23 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 46294 0 0 0 129410 13 0 0 20 0 1 0 273061399 302596096 66508 33554432000 4194304 5654031 140734094115776 140734094113800 4232755 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 73876 66508 141 357 0 73516 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 427180
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 6515
/proc/meminfo: memFree=27617988/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=346160 CPUtime=1354.22 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 46663 0 0 0 135408 14 0 0 20 0 1 0 273061399 354467840 67386 33554432000 4194304 5654031 140734094115776 140734094113560 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 86540 67386 141 357 0 86180 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 477836
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6515
/proc/meminfo: memFree=27626960/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=346160 CPUtime=1414.21 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 46675 0 0 0 141407 14 0 0 20 0 1 0 273061399 354467840 68413 33554432000 4194304 5654031 140734094115776 140734094113560 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 86540 68413 141 357 0 86180 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 477836
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6519
/proc/meminfo: memFree=27644796/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=296072 CPUtime=1474.19 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 47164 0 0 0 147403 16 0 0 20 0 1 0 273061399 303177728 62997 33554432000 4194304 5654031 140734094115776 140734094113800 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 74018 62997 141 357 0 73658 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 427748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6519
/proc/meminfo: memFree=27634564/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=296072 CPUtime=1534.18 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 47166 0 0 0 153402 16 0 0 20 0 1 0 273061399 303177728 64021 33554432000 4194304 5654031 140734094115776 140734094103592 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 74018 64021 141 357 0 73658 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 427748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6519
/proc/meminfo: memFree=27642636/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=296072 CPUtime=1594.17 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 47192 0 0 0 159401 16 0 0 20 0 1 0 273061399 303177728 65069 33554432000 4194304 5654031 140734094115776 140734094103592 4216337 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 74018 65069 141 357 0 73658 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 427748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6519
/proc/meminfo: memFree=27634444/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=296072 CPUtime=1654.16 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 47196 0 0 0 165400 16 0 0 20 0 1 0 273061399 303177728 65584 33554432000 4194304 5654031 140734094115776 140734094103592 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 74018 65584 141 357 0 73658 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 427748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6563
/proc/meminfo: memFree=27845812/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=296388 CPUtime=1714.15 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 47238 0 0 0 171399 16 0 0 20 0 1 0 273061399 303501312 66648 33554432000 4194304 5654031 140734094115776 140734094113560 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 74097 66648 141 357 0 73737 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 428064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6564
/proc/meminfo: memFree=27849964/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=296584 CPUtime=1774.14 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 48071 0 0 0 177396 18 0 0 20 0 1 0 273061399 303702016 63636 33554432000 4194304 5654031 140734094115776 140734094113800 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 74146 63636 141 357 0 73786 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 428260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6564
/proc/meminfo: memFree=27838608/32873648 swapFree=6864/6864
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6476/stat : 6476 (npSolver-pbo-It) S 6474 6476 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273060618 9367552 274 33554432000 4194304 5064252 140737264259328 140737264258240 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6476/statm: 2287 274 233 213 0 72 0
[pid=6477] ppid=6476 vsize=122528 CPUtime=7.76 cores=0,2,4,6
/proc/6477/stat : 6477 (npSolver-pbo) S 6476 6476 4763 0 -1 4202496 18740 52649 0 0 134 12 608 22 20 0 1 0 273060618 125468672 25531 33554432000 4194304 5992684 140736761619392 140736761605656 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/6477/statm: 30632 25531 166 440 0 30188 0
[pid=6482] ppid=6477 vsize=296584 CPUtime=1792.25 cores=0,2,4,6
/proc/6482/stat : 6482 (glucosInc) R 6477 6476 4763 0 -1 4202496 48071 0 0 0 179207 18 0 0 20 0 1 0 273061399 303702016 63636 33554432000 4194304 5654031 140734094115776 140734094113800 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6482/statm: 74146 63636 141 357 0 73786 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 428260
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6476 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=434869
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=351946
# CPU time returned by wait4() is 7.78682
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1799.49
CPU system time (s): 0.52
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 609528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.43487
system time used= 0.351946
maximum resident set size= 468956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71765
page faults= 0
swaps= 0
block input operations= 8
block output operations= 184064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 40
runsolver used 3.46847 second user time and 11.7192 second system time
The end