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-3698232-1338072896/watcher-3698232-1338072896 -o /tmp/evaluation-result-3698232-1338072896/solver-3698232-1338072896 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698232-1338072896.opb 1332317215 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.96 2.00 2.00 2/179 5561
/proc/meminfo: memFree=31185924/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[startup+0.0827359 s]
/proc/loadavg: 1.96 2.00 2.00 2/179 5561
/proc/meminfo: memFree=31185924/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100312 s]
/proc/loadavg: 1.96 2.00 2.00 2/179 5561
/proc/meminfo: memFree=31185924/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 1.96 2.00 2.00 2/179 5561
/proc/meminfo: memFree=31185924/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700263 s]
/proc/loadavg: 1.96 2.00 2.00 2/179 5561
/proc/meminfo: memFree=31185924/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 1.96 2.00 2.00 3/181 5563
/proc/meminfo: memFree=31176356/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=13296 CPUtime=1.49 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) R 5561 5561 2929 0 -1 4202496 3065 0 0 0 149 0 0 0 20 0 1 0 273418257 13615104 2958 33554432000 4194304 5992684 140734257683552 140734257679672 4571337 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 3324 2958 147 440 0 2880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22444
[startup+3.10036 s]
/proc/loadavg: 1.96 2.00 2.00 3/183 5565
/proc/meminfo: memFree=31104544/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=33084 CPUtime=1.88 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 7056 0 0 0 177 11 0 0 20 0 1 0 273418257 33878016 7895 33554432000 4194304 5992684 140734257683552 140734257678000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 8271 7895 165 440 0 7827 0
[pid=5564] ppid=5562 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5564/stat : 5564 (cp2_pre.sh) S 5562 5561 2929 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 273418447 9367552 276 33554432000 4194304 5064252 140733984653952 140733984652656 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5564/statm: 2287 276 234 213 0 72 0
[pid=5565] ppid=5564 vsize=150820 CPUtime=1.19 cores=0,2,4,6
/proc/5565/stat : 5565 (coprocessor) R 5564 5561 2929 0 -1 4202496 26842 0 0 0 114 5 0 0 20 0 1 0 273418447 154439680 36322 33554432000 4194304 6586260 140736316511264 140736316507528 4776924 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/5565/statm: 37705 36322 175 584 0 37117 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 202200
[startup+6.30035 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 5567
/proc/meminfo: memFree=31076892/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=38916 CPUtime=5.5 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) R 5561 5561 2929 0 -1 4202496 8616 30330 0 0 254 45 242 9 20 0 1 0 273418257 39849984 9362 33554432000 4194304 5992684 140734257683552 140734257677736 5179696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 9729 9362 174 440 0 9285 0
[pid=5567] ppid=5562 vsize=70232 CPUtime=0.35 cores=0,2,4,6
/proc/5567/stat : 5567 (glucosInc) S 5562 5561 2929 0 -1 4202496 14356 0 0 0 32 3 0 0 20 0 1 0 273418741 71917568 15242 33554432000 4194304 5654031 140735954212688 140735954211000 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5567/statm: 17558 15242 146 357 0 17198 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 118296
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 5570
/proc/meminfo: memFree=30611976/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=419656 CPUtime=1.7 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 57483 0 0 0 155 15 0 0 20 0 1 0 273419356 429727744 95694 33554432000 4194304 5654031 140733384072704 140733383022152 4797458 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5570/statm: 104914 95694 109 357 0 104554 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 476464
[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 2.00 3/182 5570
/proc/meminfo: memFree=30238828/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=666848 CPUtime=14.5 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 98977 0 0 0 1420 30 0 0 20 0 1 0 273419356 682852352 153729 33554432000 4194304 5654031 140733384072704 140733384060520 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5570/statm: 166712 153729 141 357 0 166352 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 723656
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 5570
/proc/meminfo: memFree=30237532/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=666848 CPUtime=40.09 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 98978 0 0 0 3979 30 0 0 20 0 1 0 273419356 682852352 153730 33554432000 4194304 5654031 140733384072704 140733384060520 4214475 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5570/statm: 166712 153730 141 357 0 166352 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 723656
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 5571
/proc/meminfo: memFree=30240152/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=666848 CPUtime=91.28 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 98979 0 0 0 9098 30 0 0 20 0 1 0 273419356 682852352 154242 33554432000 4194304 5654031 140733384072704 140733384060520 4214469 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5570/statm: 166712 154242 141 357 0 166352 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 723656
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 5571
/proc/meminfo: memFree=30230536/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=666848 CPUtime=151.26 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 98979 0 0 0 15096 30 0 0 20 0 1 0 273419356 682852352 154242 33554432000 4194304 5654031 140733384072704 140733384060520 4214638 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5570/statm: 166712 154242 141 357 0 166352 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 723656
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5571
/proc/meminfo: memFree=30237236/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=666848 CPUtime=211.24 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 98983 0 0 0 21094 30 0 0 20 0 1 0 273419356 682852352 154249 33554432000 4194304 5654031 140733384072704 140733384060520 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5570/statm: 166712 154249 141 357 0 166352 0
Current children cumulated CPU time (s) 221.78
Current children cumulated vsize (KiB) 723656
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22201668/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=667132 CPUtime=1231.07 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 99544 0 0 0 123074 33 0 0 20 0 1 0 273419356 683143168 156521 33554432000 4194304 5654031 140733384072704 140733384070312 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 166783 156521 142 357 0 166423 0
Current children cumulated CPU time (s) 1241.61
Current children cumulated vsize (KiB) 723940
[startup+1302.3 s]
/proc/loadavg: 2.74 2.18 2.05 2/181 5740
/proc/meminfo: memFree=14948900/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=667132 CPUtime=1291.06 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 99556 0 0 0 129072 34 0 0 20 0 1 0 273419356 683143168 156533 33554432000 4194304 5654031 140733384072704 140733384060520 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 166783 156533 142 357 0 166423 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 723940
[startup+1362.3 s]
/proc/loadavg: 3.95 2.62 2.21 2/181 5740
/proc/meminfo: memFree=11264936/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668448 CPUtime=1351.05 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 99798 0 0 0 135069 36 0 0 20 0 1 0 273419356 684490752 156775 33554432000 4194304 5654031 140733384072704 140733384070392 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167112 156775 142 357 0 166752 0
Current children cumulated CPU time (s) 1361.59
Current children cumulated vsize (KiB) 725256
[startup+1422.3 s]
/proc/loadavg: 4.33 2.99 2.36 2/181 5740
/proc/meminfo: memFree=8325448/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668588 CPUtime=1411.04 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 99856 0 0 0 141068 36 0 0 20 0 1 0 273419356 684634112 156833 33554432000 4194304 5654031 140733384072704 140733384060520 4232431 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167147 156833 142 357 0 166787 0
Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 725396
[startup+1482.3 s]
/proc/loadavg: 4.68 3.32 2.51 2/181 5740
/proc/meminfo: memFree=6997036/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668588 CPUtime=1471.03 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 99877 0 0 0 147067 36 0 0 20 0 1 0 273419356 684634112 156854 33554432000 4194304 5654031 140733384072704 140733384060520 4214383 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167147 156854 142 357 0 166787 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 725396
[startup+1542.3 s]
/proc/loadavg: 4.75 3.62 2.66 3/181 5829
/proc/meminfo: memFree=30362608/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668588 CPUtime=1531.02 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 99945 0 0 0 153066 36 0 0 20 0 1 0 273419356 684634112 156914 33554432000 4194304 5654031 140733384072704 140733384060520 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167147 156914 142 357 0 166787 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 725396
[startup+1602.3 s]
/proc/loadavg: 3.01 3.32 2.62 3/180 5830
/proc/meminfo: memFree=29117452/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668720 CPUtime=1591.01 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 100016 0 0 0 159065 36 0 0 20 0 1 0 273419356 684769280 156980 33554432000 4194304 5654031 140733384072704 140733384060520 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167180 156980 142 357 0 166820 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 725528
[startup+1662.3 s]
/proc/loadavg: 2.66 3.17 2.61 3/182 5832
/proc/meminfo: memFree=23041012/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668720 CPUtime=1651.01 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 100031 0 0 0 165064 37 0 0 20 0 1 0 273419356 684769280 156995 33554432000 4194304 5654031 140733384072704 140733384060520 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167180 156995 142 357 0 166820 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 725528
[startup+1722.3 s]
/proc/loadavg: 2.24 2.95 2.57 3/182 5832
/proc/meminfo: memFree=22557664/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668720 CPUtime=1711 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 100041 0 0 0 171063 37 0 0 20 0 1 0 273419356 684769280 157005 33554432000 4194304 5654031 140733384072704 140733384060520 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167180 157005 142 357 0 166820 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 725528
[startup+1782.3 s]
/proc/loadavg: 2.09 2.78 2.53 3/181 5834
/proc/meminfo: memFree=25687472/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668720 CPUtime=1770.99 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 100063 0 0 0 177060 39 0 0 20 0 1 0 273419356 684769280 157045 33554432000 4194304 5654031 140733384072704 140733384060520 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167180 157045 142 357 0 166820 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 725528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.06 2.73 2.52 3/181 5834
/proc/meminfo: memFree=25024432/32873844 swapFree=7108/7108
[pid=5561] ppid=5559 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5561/stat : 5561 (npSolver-pbo-It) S 5559 5561 2929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 273418257 9367552 275 33554432000 4194304 5064252 140736412123728 140736412122640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5561/statm: 2287 275 233 213 0 72 0
[pid=5562] ppid=5561 vsize=47660 CPUtime=10.54 cores=0,2,4,6
/proc/5562/stat : 5562 (npSolver-pbo) S 5561 5561 2929 0 -1 4202496 23278 45725 0 0 621 142 274 17 20 0 1 0 273418257 48803840 11589 33554432000 4194304 5992684 140734257683552 140734257669384 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5562/statm: 11915 11589 183 440 0 11471 0
[pid=5570] ppid=5562 vsize=668720 CPUtime=1789.49 cores=0,2,4,6
/proc/5570/stat : 5570 (glucosInc) R 5562 5561 2929 0 -1 4202496 100068 0 0 0 178910 39 0 0 20 0 1 0 273419356 684769280 157050 33554432000 4194304 5654031 140733384072704 140733384060520 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5570/statm: 167180 157050 142 357 0 166820 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 725528
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.08
CPU user time (s): 1798.07
CPU system time (s): 2.00169
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 927440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.00169
maximum resident set size= 808376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 645744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 465
involuntary context switches= 2126
runsolver used 5.52116 second user time and 10.6314 second system time
The end