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-3748483-1339177426/watcher-3748483-1339177426 -o /tmp/evaluation-result-3748483-1339177426/solver-3748483-1339177426 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748483-1339177426.opb 880462700 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: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[startup+0.00844495 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700268 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24250
/proc/meminfo: memFree=23056580/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=180812 CPUtime=1.48 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) R 24248 24248 23680 0 -1 4202496 9382 0 0 0 144 4 0 0 20 0 1 0 383871154 185151488 32818 33554432000 4194304 6004724 140735018333664 140735018328264 4582623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 45203 32818 163 442 0 44757 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 189960
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24250
/proc/meminfo: memFree=22976204/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=2.59 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10490 0 0 0 228 31 0 0 20 0 1 0 383871154 291364864 40837 33554432000 4194304 6004724 140735018333664 140735018328128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40837 171 442 0 70688 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 293684
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24252
/proc/meminfo: memFree=22307268/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=2.59 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10490 0 0 0 228 31 0 0 20 0 1 0 383871154 291364864 40837 33554432000 4194304 6004724 140735018333664 140735018328128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40837 171 442 0 70688 0
[pid=24251] ppid=24249 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24251/stat : 24251 (cp2_pre.sh) S 24249 24248 23680 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383871414 9367552 276 33554432000 4194304 5064252 140736321339936 140736321338640 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24251/statm: 2287 276 234 213 0 72 0
[pid=24252] ppid=24251 vsize=671608 CPUtime=3.68 cores=0,2,4,6
/proc/24252/stat : 24252 (coprocessor) R 24251 24248 23680 0 -1 4202496 69631 0 0 0 348 20 0 0 20 0 1 0 383871414 687726592 150543 33554432000 4194304 6586260 140733993862272 140733993858536 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/24252/statm: 167902 150543 164 584 0 167314 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 974440
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24252
/proc/meminfo: memFree=22039780/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=2.59 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10490 0 0 0 228 31 0 0 20 0 1 0 383871154 291364864 40837 33554432000 4194304 6004724 140735018333664 140735018328128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40837 171 442 0 70688 0
[pid=24251] ppid=24249 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24251/stat : 24251 (cp2_pre.sh) S 24249 24248 23680 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383871414 9367552 276 33554432000 4194304 5064252 140736321339936 140736321338640 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24251/statm: 2287 276 234 213 0 72 0
[pid=24252] ppid=24251 vsize=789164 CPUtime=10.08 cores=0,2,4,6
/proc/24252/stat : 24252 (coprocessor) R 24251 24248 23680 0 -1 4202496 86666 0 0 0 953 55 0 0 20 0 1 0 383871414 808103936 192259 33554432000 4194304 6586260 140733993862272 140733993858024 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/24252/statm: 197291 192259 199 584 0 196703 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1091996
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24254
/proc/meminfo: memFree=22657420/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=13.1 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10507 87569 0 0 228 31 989 62 20 0 1 0 383871154 291364864 40840 33554432000 4194304 6004724 140735018333664 140735018319944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40840 174 442 0 70688 0
[pid=24254] ppid=24249 vsize=294648 CPUtime=12.36 cores=0,2,4,6
/proc/24254/stat : 24254 (glucosInc) R 24249 24248 23680 0 -1 4202496 50634 0 0 0 1224 12 0 0 20 0 1 0 383872467 301719552 68716 33554432000 4194304 5654031 140733293611088 140733293608920 4208641 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24254/statm: 73662 68716 139 357 0 73302 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 588332
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 24298
/proc/meminfo: memFree=27794888/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=13.1 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10507 87569 0 0 228 31 989 62 20 0 1 0 383871154 291364864 40840 33554432000 4194304 6004724 140735018333664 140735018319944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40840 174 442 0 70688 0
[pid=24254] ppid=24249 vsize=296100 CPUtime=37.94 cores=0,2,4,6
/proc/24254/stat : 24254 (glucosInc) R 24249 24248 23680 0 -1 4202496 51028 0 0 0 3782 12 0 0 20 0 1 0 383872467 303206400 69110 33554432000 4194304 5654031 140733293611088 140733293608872 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24254/statm: 74025 69110 139 357 0 73665 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 589784
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 24298
/proc/meminfo: memFree=27788688/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=13.1 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10507 87569 0 0 228 31 989 62 20 0 1 0 383871154 291364864 40840 33554432000 4194304 6004724 140735018333664 140735018319944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40840 174 442 0 70688 0
[pid=24254] ppid=24249 vsize=300192 CPUtime=89.14 cores=0,2,4,6
/proc/24254/stat : 24254 (glucosInc) R 24249 24248 23680 0 -1 4202496 52094 0 0 0 8901 13 0 0 20 0 1 0 383872467 307396608 70176 33554432000 4194304 5654031 140733293611088 140733293608872 4232403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24254/statm: 75048 70176 139 357 0 74688 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 593876
[startup+162.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/180 24301
/proc/meminfo: memFree=27074964/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=306508 CPUtime=147.67 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 22177 142615 0 0 592 418 13659 98 20 0 1 0 383871154 313864192 46375 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 76627 46375 184 442 0 76181 0
[pid=24301] ppid=24249 vsize=813912 CPUtime=14.59 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24249 24248 23680 0 -1 4202496 111139 0 0 0 1426 33 0 0 20 0 1 0 383885924 833445888 175877 33554432000 4194304 5654031 140735461320608 140735461308424 4219872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24301/statm: 203478 175877 141 357 0 203118 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1129568
[startup+222.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 24303
/proc/meminfo: memFree=27001576/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=306508 CPUtime=147.67 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 22177 142615 0 0 592 418 13659 98 20 0 1 0 383871154 313864192 46375 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 76627 46375 184 442 0 76181 0
[pid=24301] ppid=24249 vsize=819952 CPUtime=74.58 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24249 24248 23680 0 -1 4202496 111630 0 0 0 7425 33 0 0 20 0 1 0 383885924 839630848 177390 33554432000 4194304 5654031 140735461320608 140735461308424 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24301/statm: 204988 177390 142 357 0 204628 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1135608
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26552672/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=666904 CPUtime=57.68 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 95433 0 0 0 5738 30 0 0 20 0 1 0 383989615 682909696 142904 33554432000 4194304 5654031 140735302430944 140735302418760 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 166726 142904 142 357 0 166366 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 987872
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 24345
/proc/meminfo: memFree=26711880/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=666904 CPUtime=117.65 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 95662 0 0 0 11735 30 0 0 20 0 1 0 383989615 682909696 143630 33554432000 4194304 5654031 140735302430944 140735302418760 4219862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 166726 143630 142 357 0 166366 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 987872
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 24345
/proc/meminfo: memFree=26688024/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=674192 CPUtime=177.6 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 96208 0 0 0 17730 30 0 0 20 0 1 0 383989615 690372608 145670 33554432000 4194304 5654031 140735302430944 140735302418760 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 168548 145670 142 357 0 168188 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 995160
[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 24346
/proc/meminfo: memFree=26670624/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=674192 CPUtime=237.59 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 96640 0 0 0 23728 31 0 0 20 0 1 0 383989615 690372608 148131 33554432000 4194304 5654031 140735302430944 140735302418760 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 168548 148131 142 357 0 168188 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 995160
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 24346
/proc/meminfo: memFree=26650520/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=674192 CPUtime=297.57 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 96808 0 0 0 29726 31 0 0 20 0 1 0 383989615 690372608 149832 33554432000 4194304 5654031 140735302430944 140735302418760 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 168548 149832 142 357 0 168188 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 995160
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 24346
/proc/meminfo: memFree=26525228/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=887840 CPUtime=357.54 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 97876 0 0 0 35719 35 0 0 20 0 1 0 383989615 909148160 179996 33554432000 4194304 5654031 140735302430944 140735302418760 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 221960 179996 142 357 0 221600 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1208808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 24349
/proc/meminfo: memFree=26605376/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=417.52 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 98365 0 0 0 41713 39 0 0 20 0 1 0 383989615 782139392 159262 33554432000 4194304 5654031 140735302430944 140735302428968 4214957 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 159262 142 357 0 190592 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1084776
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24349
/proc/meminfo: memFree=26572116/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=477.5 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 98382 0 0 0 47711 39 0 0 20 0 1 0 383989615 782139392 165954 33554432000 4194304 5654031 140735302430944 140735302418760 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 165954 142 357 0 190592 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1084776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24350
/proc/meminfo: memFree=26591676/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=537.49 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 99360 0 0 0 53704 45 0 0 20 0 1 0 383989615 782139392 156738 33554432000 4194304 5654031 140735302430944 140735302428968 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 156738 142 357 0 190592 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1084776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24350
/proc/meminfo: memFree=26560992/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=597.48 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 99368 0 0 0 59703 45 0 0 20 0 1 0 383989615 782139392 160834 33554432000 4194304 5654031 140735302430944 140735302418760 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 160834 142 357 0 190592 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1084776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24350
/proc/meminfo: memFree=26536324/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=615.68 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 99380 0 0 0 61523 45 0 0 20 0 1 0 383989615 782139392 166978 33554432000 4194304 5654031 140735302430944 140735302418760 4215121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 166978 142 357 0 190592 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1084776
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.51
CPU time (s): 1800.11
CPU user time (s): 1792.76
CPU system time (s): 7.35688
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1470000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.76
system time used= 7.35688
maximum resident set size= 925680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1978400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9607
involuntary context switches= 2046
runsolver used 2.73858 second user time and 7.2239 second system time
The end