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-3698547-1338081019/watcher-3698547-1338081019 -o /tmp/evaluation-result-3698547-1338081019/solver-3698547-1338081019 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698547-1338081019.opb 208059939 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/180 6539
/proc/meminfo: memFree=31455496/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[startup+0.0766881 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6539
/proc/meminfo: memFree=31455496/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6539
/proc/meminfo: memFree=31455496/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300129 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6539
/proc/meminfo: memFree=31455496/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6539
/proc/meminfo: memFree=31455496/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50015 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6552
/proc/meminfo: memFree=31451000/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=1.1 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 952 8606 0 0 1 1 106 2 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 11928
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6554
/proc/meminfo: memFree=31449884/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=1.1 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 952 8606 0 0 1 1 106 2 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6554] ppid=6540 vsize=13664 CPUtime=1.97 cores=1,3,5,7
/proc/6554/stat : 6554 (glucosInc) R 6540 6539 2929 0 -1 4202496 2381 0 0 0 197 0 0 0 20 0 1 0 274230618 13991936 2377 33554432000 4194304 5654031 140737335454272 140737335442088 4216386 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6554/statm: 3416 2377 138 357 0 3056 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 25592
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6554
/proc/meminfo: memFree=31443000/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=1.1 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 952 8606 0 0 1 1 106 2 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6554] ppid=6540 vsize=13664 CPUtime=5.17 cores=1,3,5,7
/proc/6554/stat : 6554 (glucosInc) R 6540 6539 2929 0 -1 4202496 2902 0 0 0 517 0 0 0 20 0 1 0 274230618 13991936 2886 33554432000 4194304 5654031 140737335454272 140737335442088 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6554/statm: 3416 2886 138 357 0 3056 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 25592
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6554
/proc/meminfo: memFree=31427496/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=1.1 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 952 8606 0 0 1 1 106 2 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6554] ppid=6540 vsize=22548 CPUtime=11.57 cores=1,3,5,7
/proc/6554/stat : 6554 (glucosInc) R 6540 6539 2929 0 -1 4202496 3836 0 0 0 1157 0 0 0 20 0 1 0 274230618 23089152 4340 33554432000 4194304 5654031 140737335454272 140737335442088 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6554/statm: 5637 4340 138 357 0 5277 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 34476
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6554
/proc/meminfo: memFree=31422020/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=1.1 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 952 8606 0 0 1 1 106 2 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6554] ppid=6540 vsize=22548 CPUtime=24.36 cores=1,3,5,7
/proc/6554/stat : 6554 (glucosInc) R 6540 6539 2929 0 -1 4202496 4101 0 0 0 2436 0 0 0 20 0 1 0 274230618 23089152 5107 33554432000 4194304 5654031 140737335454272 140737335442088 4215061 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6554/statm: 5637 5107 138 357 0 5277 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 34476
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6558
/proc/meminfo: memFree=31447764/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=24016 CPUtime=23.25 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 4429 0 0 0 2325 0 0 0 20 0 1 0 274233289 24592384 4686 33554432000 4194304 5654031 140737422166800 140737422154616 4232763 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 6004 4686 138 357 0 5644 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35944
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6558
/proc/meminfo: memFree=31403500/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=54420 CPUtime=74.44 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 6063 0 0 0 7443 1 0 0 20 0 1 0 274233289 55726080 9214 33554432000 4194304 5654031 140737422166800 140737422154616 4232767 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 13605 9214 138 357 0 13245 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 66348
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6558
/proc/meminfo: memFree=31377980/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=54420 CPUtime=134.43 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 6364 0 0 0 13441 2 0 0 20 0 1 0 274233289 55726080 13079 33554432000 4194304 5654031 140737422166800 140737422154616 4215344 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 13605 13079 138 357 0 13245 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 66348
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6559
/proc/meminfo: memFree=31340560/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=73292 CPUtime=194.43 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 7294 0 0 0 19440 3 0 0 20 0 1 0 274233289 75051008 17749 33554432000 4194304 5654031 140737422166800 140737422154616 4232767 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 18323 17749 138 357 0 17963 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 85220
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6559
/proc/meminfo: memFree=31352660/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=31328108/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=101908 CPUtime=1214.26 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 21374 0 0 0 121403 23 0 0 20 0 1 0 274233289 104353792 24946 33554432000 4194304 5654031 140737422166800 140737422164824 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 25477 24946 138 357 0 25117 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 113836
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 6575
/proc/meminfo: memFree=31309184/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=101908 CPUtime=1274.26 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 21846 0 0 0 127402 24 0 0 20 0 1 0 274233289 104353792 24946 33554432000 4194304 5654031 140737422166800 140737422154616 4215055 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 25477 24946 138 357 0 25117 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 113836
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 6575
/proc/meminfo: memFree=31259476/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=151228 CPUtime=1334.24 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 22786 0 0 0 133399 25 0 0 20 0 1 0 274233289 154857472 35124 33554432000 4194304 5654031 140737422166800 140737422154616 4232994 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 37807 35124 138 357 0 37447 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 163156
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6575
/proc/meminfo: memFree=31269592/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=101908 CPUtime=1394.23 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 23260 0 0 0 139397 26 0 0 20 0 1 0 274233289 104353792 24946 33554432000 4194304 5654031 140737422166800 140737422154616 4232784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 25477 24946 138 357 0 25117 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 113836
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 6623
/proc/meminfo: memFree=30815388/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=151228 CPUtime=1454.22 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 24198 0 0 0 145394 28 0 0 20 0 1 0 274233289 154857472 34100 33554432000 4194304 5654031 140737422166800 140737422154616 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6556/statm: 37807 34100 138 357 0 37447 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 163156
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 6623
/proc/meminfo: memFree=30798864/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=151228 CPUtime=1514.21 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 24673 0 0 0 151393 28 0 0 20 0 1 0 274233289 154857472 35636 33554432000 4194304 5654031 140737422166800 140737422154616 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6556/statm: 37807 35636 138 357 0 37447 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 163156
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 6623
/proc/meminfo: memFree=30841464/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=101908 CPUtime=1574.2 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 25147 0 0 0 157391 29 0 0 20 0 1 0 274233289 104353792 24946 33554432000 4194304 5654031 140737422166800 140737422154616 4233168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6556/statm: 25477 24946 138 357 0 25117 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 113836
[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/182 6832
/proc/meminfo: memFree=30820416/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=101908 CPUtime=1634.19 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 25690 0 0 0 163389 30 0 0 20 0 1 0 274233289 104353792 24946 33554432000 4194304 5654031 140737422166800 140737422154616 4232912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6556/statm: 25477 24946 138 357 0 25117 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 113836
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/181 6832
/proc/meminfo: memFree=30776840/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=151228 CPUtime=1694.19 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 26631 0 0 0 169387 32 0 0 20 0 1 0 274233289 154857472 34612 33554432000 4194304 5654031 140737422166800 140737422154616 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6556/statm: 37807 34612 138 357 0 37447 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 163156
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 6833
/proc/meminfo: memFree=30812776/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=101908 CPUtime=1754.17 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 27107 0 0 0 175384 33 0 0 20 0 1 0 274233289 104353792 24946 33554432000 4194304 5654031 140737422166800 140737422154616 4232927 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6556/statm: 25477 24946 138 357 0 25117 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 113836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/182 6836
/proc/meminfo: memFree=30778512/32873844 swapFree=7108/7108
[pid=6539] ppid=6537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (npSolver-pbo-It) S 6537 6539 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274230507 9367552 274 33554432000 4194304 5064252 140736746958592 140736746957504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6539/statm: 2287 274 233 213 0 72 0
[pid=6540] ppid=6539 vsize=2780 CPUtime=27.79 cores=1,3,5,7
/proc/6540/stat : 6540 (npSolver-pbo) S 6539 6539 2929 0 -1 4202496 1070 13783 0 0 1 1 2774 3 20 0 1 0 274230507 2846720 357 33554432000 4194304 5992684 140735370890032 140735370875864 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6540/statm: 695 357 181 440 0 251 0
[pid=6556] ppid=6540 vsize=151228 CPUtime=1772.27 cores=1,3,5,7
/proc/6556/stat : 6556 (glucosInc) R 6540 6539 2929 0 -1 4202496 27573 0 0 0 177194 33 0 0 20 0 1 0 274233289 154857472 33588 33554432000 4194304 5654031 140737422166800 140737422154616 4217208 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6556/statm: 37807 33588 138 357 0 37447 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 163156
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.11
CPU user time (s): 1799.71
CPU system time (s): 0.39294
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 163156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.39294
maximum resident set size= 148956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99
involuntary context switches= 3118
runsolver used 6.20206 second user time and 18.7611 second system time
The end