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-3747068-1339098201/watcher-3747068-1339098201 -o /tmp/evaluation-result-3747068-1339098201/solver-3747068-1339098201 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747068-1339098201.opb 1098599510 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: 0.35 0.08 0.03 3/178 22565
/proc/meminfo: memFree=26151852/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[startup+0.038145 s]
/proc/loadavg: 0.35 0.08 0.03 3/178 22565
/proc/meminfo: memFree=26151852/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100205 s]
/proc/loadavg: 0.35 0.08 0.03 3/178 22565
/proc/meminfo: memFree=26151852/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300128 s]
/proc/loadavg: 0.35 0.08 0.03 3/178 22565
/proc/meminfo: memFree=26151852/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 0.35 0.08 0.03 3/178 22565
/proc/meminfo: memFree=26151852/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 0.35 0.08 0.03 3/181 22574
/proc/meminfo: memFree=26159080/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 5 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=9164 CPUtime=0.87 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 2470 0 0 0 87 0 0 0 20 0 1 0 375945600 9383936 1803 33554432000 4194304 5654031 140734291330592 140734291318408 4232744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 2291 1803 151 357 0 1931 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 22604
[startup+3.10035 s]
/proc/loadavg: 0.48 0.11 0.04 3/181 22574
/proc/meminfo: memFree=26146836/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 5 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=11872 CPUtime=2.46 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 3123 0 0 0 246 0 0 0 20 0 1 0 375945600 12156928 2410 33554432000 4194304 5654031 140734291330592 140734291328904 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 2968 2410 151 357 0 2608 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 25312
[startup+6.30035 s]
/proc/loadavg: 0.48 0.11 0.04 3/181 22574
/proc/meminfo: memFree=26132192/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 5 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=13680 CPUtime=5.66 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 3671 0 0 0 566 0 0 0 20 0 1 0 375945600 14008320 2903 33554432000 4194304 5654031 140734291330592 140734291318408 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 3420 2903 151 357 0 3060 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 27120
[startup+12.7004 s]
/proc/loadavg: 0.71 0.17 0.06 3/181 22574
/proc/meminfo: memFree=26103056/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 5 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=16524 CPUtime=12.06 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 3862 0 0 0 1206 0 0 0 20 0 1 0 375945600 16920576 3603 33554432000 4194304 5654031 140734291330592 140734291318408 4232659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 4131 3603 151 357 0 3771 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29964
[startup+25.5004 s]
/proc/loadavg: 0.91 0.23 0.08 3/181 22574
/proc/meminfo: memFree=26093312/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 5 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=23580 CPUtime=24.86 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 4729 0 0 0 2485 1 0 0 20 0 1 0 375945600 24145920 5126 33554432000 4194304 5654031 140734291330592 140734291318408 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 5895 5126 151 357 0 5535 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 37020
[startup+51.1004 s]
/proc/loadavg: 1.34 0.39 0.13 3/181 22574
/proc/meminfo: memFree=26088476/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=24112 CPUtime=50.45 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 5015 0 0 0 5044 1 0 0 20 0 1 0 375945600 24690688 5405 33554432000 4194304 5654031 140734291330592 140734291328904 4232431 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 6028 5405 151 357 0 5668 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 37552
[startup+102.307 s]
/proc/loadavg: 1.77 0.67 0.24 3/181 22575
/proc/meminfo: memFree=26029944/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=54464 CPUtime=101.65 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 6475 0 0 0 10161 4 0 0 20 0 1 0 375945600 55771136 10917 33554432000 4194304 5654031 140734291330592 140734291318408 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 13616 10917 151 357 0 13256 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 67904
[startup+162.3 s]
/proc/loadavg: 1.91 0.91 0.35 3/181 22575
/proc/meminfo: memFree=26074732/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=51236 CPUtime=161.63 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 8746 0 0 0 16156 7 0 0 20 0 1 0 375945600 52465664 8723 33554432000 4194304 5654031 140734291330592 140734291318408 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 12809 8723 151 357 0 12449 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 64676
[startup+222.3 s]
/proc/loadavg: 2.02 1.12 0.45 3/181 22575
/proc/meminfo: memFree=25997584/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=70216 CPUtime=221.62 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 9269 0 0 0 22154 8 0 0 20 0 1 0 375945600 71901184 14867 33554432000 4194304 5654031 140734291330592 140734291318408 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 17554 14867 151 357 0 17194 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 83656
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25916168/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=81708 CPUtime=1241.46 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10179 0 0 0 124137 9 0 0 20 0 1 0 375945600 83668992 19306 33554432000 4194304 5654031 140734291330592 140734291318408 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20427 19306 151 357 0 20067 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 95148
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/181 22607
/proc/meminfo: memFree=25972332/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=81708 CPUtime=1301.46 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10179 0 0 0 130137 9 0 0 20 0 1 0 375945600 83668992 19306 33554432000 4194304 5654031 140734291330592 140734291318408 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20427 19306 151 357 0 20067 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 95148
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/181 22608
/proc/meminfo: memFree=25920016/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=81708 CPUtime=1361.45 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10180 0 0 0 136136 9 0 0 20 0 1 0 375945600 83668992 19818 33554432000 4194304 5654031 140734291330592 140734291318408 4233306 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20427 19818 151 357 0 20067 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 95148
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/181 22608
/proc/meminfo: memFree=25970036/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=81708 CPUtime=1421.44 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10180 0 0 0 142135 9 0 0 20 0 1 0 375945600 83668992 19818 33554432000 4194304 5654031 140734291330592 140734291318408 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20427 19818 151 357 0 20067 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 95148
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/181 22608
/proc/meminfo: memFree=25903632/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=81708 CPUtime=1481.43 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10180 0 0 0 148134 9 0 0 20 0 1 0 375945600 83668992 19818 33554432000 4194304 5654031 140734291330592 140734291318408 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20427 19818 151 357 0 20067 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 95148
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/181 22608
/proc/meminfo: memFree=25866024/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=81708 CPUtime=1541.42 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10180 0 0 0 154133 9 0 0 20 0 1 0 375945600 83668992 19818 33554432000 4194304 5654031 140734291330592 140734291318408 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20427 19818 151 357 0 20067 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 95148
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/182 22611
/proc/meminfo: memFree=25918712/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=82872 CPUtime=1601.41 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10516 0 0 0 160132 9 0 0 20 0 1 0 375945600 84860928 20109 33554432000 4194304 5654031 140734291330592 140734291318408 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20718 20109 151 357 0 20358 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 96312
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/181 22612
/proc/meminfo: memFree=25893732/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=82872 CPUtime=1661.4 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10517 0 0 0 166131 9 0 0 20 0 1 0 375945600 84860928 20227 33554432000 4194304 5654031 140734291330592 140734291318408 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 20718 20227 151 357 0 20358 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 96312
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/181 22612
/proc/meminfo: memFree=25849108/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=101724 CPUtime=1721.39 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10799 0 0 0 172129 10 0 0 20 0 1 0 375945600 104165376 24595 33554432000 4194304 5654031 140734291330592 140734291318408 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 25431 24595 151 357 0 25071 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 115164
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 22612
/proc/meminfo: memFree=25846192/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=101724 CPUtime=1781.38 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10980 0 0 0 178128 10 0 0 20 0 1 0 375945600 104165376 24770 33554432000 4194304 5654031 140734291330592 140734291318408 4233005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 25431 24770 151 357 0 25071 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 115164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.93 1.95 1.68 3/181 22763
/proc/meminfo: memFree=26041256/32873844 swapFree=7896/7896
[pid=22565] ppid=22563 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22565/stat : 22565 (npSolver-pbo-It) S 22563 22565 22387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375945540 9367552 274 33554432000 4194304 5064252 140735489995328 140735489994240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22565/statm: 2287 274 233 213 0 72 0
[pid=22566] ppid=22565 vsize=4292 CPUtime=0.61 cores=1,3,5,7
/proc/22566/stat : 22566 (npSolver-pbo) S 22565 22565 22387 0 -1 4202496 2266 7147 0 0 6 5 48 2 20 0 1 0 375945540 4395008 616 33554432000 4194304 6004724 140734919809712 140734919795560 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/22566/statm: 1073 616 166 442 0 627 0
[pid=22574] ppid=22566 vsize=101724 CPUtime=1799.49 cores=1,3,5,7
/proc/22574/stat : 22574 (glucosInc) R 22566 22565 22387 0 -1 4202496 10980 0 0 0 179939 10 0 0 20 0 1 0 375945600 104165376 24770 33554432000 4194304 5654031 140734291330592 140734291318408 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22574/statm: 25431 24770 151 357 0 25071 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 115164
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.13
CPU user time (s): 1799.94
CPU system time (s): 0.184971
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 115164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.184971
maximum resident set size= 99080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20767
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285
involuntary context switches= 1888
runsolver used 9.65753 second user time and 11.2643 second system time
The end