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-3751986-1339116092/watcher-3751986-1339116092 -o /tmp/evaluation-result-3751986-1339116092/solver-3751986-1339116092 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751986-1339116092.opb 1057514266 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.02 2.01 2.00 2/178 24029
/proc/meminfo: memFree=28333284/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[startup+0.029502 s]
/proc/loadavg: 2.02 2.01 2.00 2/178 24029
/proc/meminfo: memFree=28333284/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10029 s]
/proc/loadavg: 2.02 2.01 2.00 2/178 24029
/proc/meminfo: memFree=28333284/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300316 s]
/proc/loadavg: 2.02 2.01 2.00 2/178 24029
/proc/meminfo: memFree=28333284/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700308 s]
/proc/loadavg: 2.02 2.01 2.00 2/178 24029
/proc/meminfo: memFree=28333284/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 24031
/proc/meminfo: memFree=28200704/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229596 CPUtime=1.49 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) R 24029 24029 22344 0 -1 4202496 40897 0 0 0 138 11 0 0 20 0 1 0 377734110 235106304 57015 33554432000 4194304 6004724 140734674579552 140734674575576 4374592 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24030/statm: 57399 57015 137 442 0 56953 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238744
[startup+3.10038 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 24033
/proc/meminfo: memFree=28051304/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229596 CPUtime=3.05 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 40930 11842 0 0 157 14 129 5 20 0 1 0 377734110 235106304 57034 33554432000 4194304 6004724 140734674579552 140734674565832 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24030/statm: 57399 57034 152 442 0 56953 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 238744
[startup+6.30038 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 24038
/proc/meminfo: memFree=28039204/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=6.13 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) R 24029 24029 22344 0 -1 4202496 53548 40051 0 0 272 96 229 16 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674575632 5055489 0 0 4096 0 0 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 238748
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 24045
/proc/meminfo: memFree=27892252/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=6.75 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 56077 40566 0 0 322 106 229 18 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24045] ppid=24030 vsize=163116 CPUtime=5.78 cores=1,3,5,7
/proc/24045/stat : 24045 (glucosInc) R 24030 24029 22344 0 -1 4202496 31444 0 0 0 571 7 0 0 20 0 1 0 377734801 167030784 35913 33554432000 4194304 5654031 140736286394608 140736286382424 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24045/statm: 40779 35913 141 357 0 40419 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 401864
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 24047
/proc/meminfo: memFree=27914968/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=17.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 67984 72817 0 0 460 116 1140 30 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24047] ppid=24030 vsize=162688 CPUtime=7.86 cores=1,3,5,7
/proc/24047/stat : 24047 (glucosInc) R 24030 24029 22344 0 -1 4202496 29574 0 0 0 778 8 0 0 20 0 1 0 377735872 166592512 35620 33554432000 4194304 5654031 140734191568992 140734191566600 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24047/statm: 40672 35620 141 357 0 40312 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 401436
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 24049
/proc/meminfo: memFree=27867624/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=165348 CPUtime=15.47 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 33422 0 0 0 1538 9 0 0 20 0 1 0 377737671 169316352 35731 33554432000 4194304 5654031 140734549939600 140734549937688 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 41337 35731 141 357 0 40977 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 404096
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24049
/proc/meminfo: memFree=27790972/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=330872 CPUtime=66.67 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 38821 0 0 0 6649 18 0 0 20 0 1 0 377737671 338812928 62535 33554432000 4194304 5654031 140734549939600 140734549937384 4232973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 82718 62535 141 357 0 82358 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 569620
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24049
/proc/meminfo: memFree=27750792/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=332820 CPUtime=126.65 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 44781 0 0 0 12630 35 0 0 20 0 1 0 377737671 340807680 72824 33554432000 4194304 5654031 140734549939600 140734549937384 4233464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 83205 72824 141 357 0 82845 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 571568
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 24106
/proc/meminfo: memFree=28035596/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=334164 CPUtime=186.65 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 48852 0 0 0 18616 49 0 0 20 0 1 0 377737671 342183936 80787 33554432000 4194304 5654031 140734549939600 140734549937688 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 83541 80787 141 357 0 83181 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 572912
[startup+282.3 s]
/proc/loadavg: 2.10 2.02 2.01 3/180 24108
/proc/meminfo: memFree=28235944/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=334936 CPUtime=246.64 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=27138912/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=694540 CPUtime=1326.43 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 84823 0 0 0 132385 258 0 0 20 0 1 0 377737671 711208960 162496 33554432000 4194304 5654031 140734549939600 140734549937384 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 173635 162496 141 357 0 173275 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 933288
[startup+1422.31 s]
/proc/loadavg: 2.08 2.04 2.00 3/182 24145
/proc/meminfo: memFree=27752044/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=480312 CPUtime=1386.42 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 86158 0 0 0 138369 273 0 0 20 0 1 0 377737671 491839488 97072 33554432000 4194304 5654031 140734549939600 140734549937688 4215888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 120078 97072 141 357 0 119718 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 719060
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 24145
/proc/meminfo: memFree=27271432/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=695680 CPUtime=1446.41 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 86905 0 0 0 144363 278 0 0 20 0 1 0 377737671 712376320 161183 33554432000 4194304 5654031 140734549939600 140734549937384 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 173920 161183 141 357 0 173560 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 934428
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 24145
/proc/meminfo: memFree=27405452/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=349400 CPUtime=1506.39 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 87850 0 0 0 150348 291 0 0 20 0 1 0 377737671 357785600 76449 33554432000 4194304 5654031 140734549939600 140734549937688 4232988 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 87350 76449 141 357 0 86990 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 588148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 24145
/proc/meminfo: memFree=27564472/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=696584 CPUtime=1566.39 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 88972 0 0 0 156341 298 0 0 20 0 1 0 377737671 713302016 151666 33554432000 4194304 5654031 140734549939600 140734549937688 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 174146 151666 141 357 0 173786 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 935332
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 24145
/proc/meminfo: memFree=27604272/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=350064 CPUtime=1626.38 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 89841 0 0 0 162326 312 0 0 20 0 1 0 377737671 358465536 71448 33554432000 4194304 5654031 140734549939600 140734549937688 4232916 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 87516 71448 141 357 0 87156 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 588812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24149
/proc/meminfo: memFree=27082528/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=697248 CPUtime=1686.37 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 90992 0 0 0 168318 319 0 0 20 0 1 0 377737671 713981952 149760 33554432000 4194304 5654031 140734549939600 140734549937688 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 174312 149760 141 357 0 173952 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 935996
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 24149
/proc/meminfo: memFree=27358632/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=1047664 CPUtime=1746.36 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 91518 0 0 0 174309 327 0 0 20 0 1 0 377737671 1072807936 207668 33554432000 4194304 5654031 140734549939600 140734549937384 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 261916 207668 141 357 0 261556 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1286412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 24149
/proc/meminfo: memFree=27794064/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=351232 CPUtime=1764.56 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 92000 0 0 0 176121 335 0 0 20 0 1 0 377737671 359661568 80547 33554432000 4194304 5654031 140734549939600 140734549937688 4233455 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 87808 80547 141 357 0 87448 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 589980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 24149
/proc/meminfo: memFree=27794064/32873844 swapFree=7120/7120
[pid=24029] ppid=24027 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24029/stat : 24029 (npSolver-pbo-It) S 24027 24029 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377734110 9367552 275 33554432000 4194304 5064252 140735338619856 140735338618768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24029/statm: 2287 275 233 213 0 72 0
[pid=24030] ppid=24029 vsize=229600 CPUtime=35.46 cores=1,3,5,7
/proc/24030/stat : 24030 (npSolver-pbo) S 24029 24029 22344 0 -1 4202496 79891 103548 0 0 598 128 2777 43 20 0 1 0 377734110 235110400 57078 33554432000 4194304 6004724 140734674579552 140734674565400 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/24030/statm: 57400 57078 195 442 0 56954 0
[pid=24049] ppid=24030 vsize=351232 CPUtime=1764.56 cores=1,3,5,7
/proc/24049/stat : 24049 (glucosInc) R 24030 24029 22344 0 -1 4202496 92000 0 0 0 176121 335 0 0 20 0 1 0 377737671 359661568 80547 33554432000 4194304 5654031 140734549939600 140734549937688 4233455 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24049/statm: 87808 80547 141 357 0 87448 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 589980
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24029 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.02
CPU user time (s): 1794.96
CPU system time (s): 5.06
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1416640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.45132 second user time and 11.2753 second system time
The end