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-3703370-1338081051/watcher-3703370-1338081051 -o /tmp/evaluation-result-3703370-1338081051/solver-3703370-1338081051 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703370-1338081051.opb 1294347090 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.02 2.01 2.00 3/180 14112
/proc/meminfo: memFree=27039296/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[startup+0.0126249 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 14112
/proc/meminfo: memFree=27039296/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10016 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 14112
/proc/meminfo: memFree=27039296/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300168 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 14112
/proc/meminfo: memFree=27039296/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700213 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 14112
/proc/meminfo: memFree=27039296/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/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.02 2.01 2.00 3/183 14123
/proc/meminfo: memFree=27009360/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=7720 CPUtime=0.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 4779 14803 0 0 15 9 30 7 20 0 1 0 274233724 7905280 1535 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 1930 1535 195 440 0 1486 0
[pid=14123] ppid=14113 vsize=22300 CPUtime=0.86 cores=0,2,4,6
/proc/14123/stat : 14123 (glucosInc) R 14113 14112 1653 0 -1 4202496 4838 0 0 0 85 1 0 0 20 0 1 0 274233787 22835200 5010 33554432000 4194304 5654031 140734010334160 140734010321976 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14123/statm: 5575 5010 140 357 0 5215 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39168
[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14123
/proc/meminfo: memFree=27007004/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=7720 CPUtime=0.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 4779 14803 0 0 15 9 30 7 20 0 1 0 274233724 7905280 1535 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 1930 1535 195 440 0 1486 0
[pid=14123] ppid=14113 vsize=25756 CPUtime=2.45 cores=0,2,4,6
/proc/14123/stat : 14123 (glucosInc) R 14113 14112 1653 0 -1 4202496 6758 0 0 0 244 1 0 0 20 0 1 0 274233787 26374144 5758 33554432000 4194304 5654031 140734010334160 140734010321976 4232386 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14123/statm: 6439 5758 142 357 0 6079 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42624
[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14123
/proc/meminfo: memFree=26991116/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=7720 CPUtime=0.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 4779 14803 0 0 15 9 30 7 20 0 1 0 274233724 7905280 1535 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 1930 1535 195 440 0 1486 0
[pid=14123] ppid=14113 vsize=32628 CPUtime=5.66 cores=0,2,4,6
/proc/14123/stat : 14123 (glucosInc) R 14113 14112 1653 0 -1 4202496 8241 0 0 0 564 2 0 0 20 0 1 0 274233787 33411072 7681 33554432000 4194304 5654031 140734010334160 140734010332184 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14123/statm: 8157 7681 142 357 0 7797 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 49496
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 14123
/proc/meminfo: memFree=26960788/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=7720 CPUtime=0.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 4779 14803 0 0 15 9 30 7 20 0 1 0 274233724 7905280 1535 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 1930 1535 195 440 0 1486 0
[pid=14123] ppid=14113 vsize=51372 CPUtime=12.05 cores=0,2,4,6
/proc/14123/stat : 14123 (glucosInc) R 14113 14112 1653 0 -1 4202496 8827 0 0 0 1203 2 0 0 20 0 1 0 274233787 52604928 12350 33554432000 4194304 5654031 140734010334160 140734010321976 4232528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14123/statm: 12843 12350 142 357 0 12483 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 68240
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 14125
/proc/meminfo: memFree=26938296/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=12.9 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 6360 24161 0 0 19 9 1251 11 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14125] ppid=14113 vsize=51336 CPUtime=12.57 cores=0,2,4,6
/proc/14125/stat : 14125 (glucosInc) R 14113 14112 1653 0 -1 4202496 9729 0 0 0 1255 2 0 0 20 0 1 0 274235016 52568064 11834 33554432000 4194304 5654031 140736082646144 140736082633960 4232700 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14125/statm: 12834 11834 142 357 0 12474 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 71276
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14125
/proc/meminfo: memFree=26944308/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=12.9 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 6360 24161 0 0 19 9 1251 11 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14125] ppid=14113 vsize=119844 CPUtime=38.16 cores=0,2,4,6
/proc/14125/stat : 14125 (glucosInc) R 14113 14112 1653 0 -1 4202496 12044 0 0 0 3812 4 0 0 20 0 1 0 274235016 122720256 29307 33554432000 4194304 5654031 140736082646144 140736082633960 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14125/statm: 29961 29307 142 357 0 29601 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 139784
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14128
/proc/meminfo: memFree=26958648/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=59.28 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 7954 37725 0 0 23 10 5878 17 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14127] ppid=14113 vsize=131864 CPUtime=42.98 cores=0,2,4,6
/proc/14127/stat : 14127 (glucosInc) R 14113 14112 1653 0 -1 4202496 14585 0 0 0 4290 8 0 0 20 0 1 0 274239655 135028736 24451 33554432000 4194304 5654031 140733362551152 140733362549080 4215121 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14127/statm: 32966 24451 142 357 0 32606 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151804
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14128
/proc/meminfo: memFree=26986508/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=59.28 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 7954 37725 0 0 23 10 5878 17 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14127] ppid=14113 vsize=82544 CPUtime=102.96 cores=0,2,4,6
/proc/14127/stat : 14127 (glucosInc) R 14113 14112 1653 0 -1 4202496 19023 0 0 0 10280 16 0 0 20 0 1 0 274239655 84525056 15795 33554432000 4194304 5654031 140733362551152 140733362538968 4232559 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14127/statm: 20636 15795 142 357 0 20276 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 102484
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14130
/proc/meminfo: memFree=26924180/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=211.08 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 9539 60391 0 0 27 10 21031 40 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14130] ppid=14113 vsize=45836 CPUtime=11.13 cores=0,2,4,6
/proc/14130/stat : 14130 (glucosInc) R 14113 14112 1653 0 -1 4202496 8372 0 0 0 1112 1 0 0 20 0 1 0 274254838 46936064 9606 33554432000 4194304 5654031 140735919181616 140735919169432 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14130/statm: 11459 9606 142 357 0 11099 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 65776
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 14414
/proc/meminfo: memFree=26946060/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=203300 CPUtime=613.37 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 37868 0 0 0 61279 58 0 0 20 0 1 0 274308605 208179200 48024 33554432000 4194304 5654031 140736173128624 140736173126712 4215076 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 50825 48024 142 357 0 50465 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 223240
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 14414
/proc/meminfo: memFree=26902596/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=284688 CPUtime=673.35 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 38428 0 0 0 67275 60 0 0 20 0 1 0 274308605 291520512 67992 33554432000 4194304 5654031 140736173128624 140736173126712 4214990 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 71172 67992 142 357 0 70812 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 304628
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 14414
/proc/meminfo: memFree=26926836/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=287712 CPUtime=733.34 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 41117 0 0 0 73267 67 0 0 20 0 1 0 274308605 294617088 54411 33554432000 4194304 5654031 140736173128624 140736173126712 4215104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 71928 54411 142 357 0 71568 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 307652
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14414
/proc/meminfo: memFree=26954192/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=208080 CPUtime=793.33 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 43210 0 0 0 79262 71 0 0 20 0 1 0 274308605 213073920 46149 33554432000 4194304 5654031 140736173128624 140736173116440 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 52020 46149 142 357 0 51660 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 228020
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14414
/proc/meminfo: memFree=26962492/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=227608 CPUtime=853.32 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 45643 0 0 0 85257 75 0 0 20 0 1 0 274308605 233070592 53076 33554432000 4194304 5654031 140736173128624 140736173116440 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 56902 53076 142 357 0 56542 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 247548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14415
/proc/meminfo: memFree=27048168/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=146700 CPUtime=913.31 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 47464 0 0 0 91252 79 0 0 20 0 1 0 274308605 150220800 32228 33554432000 4194304 5654031 140736173128624 140736173116440 4215168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 36675 32228 142 357 0 36315 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 166640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14415
/proc/meminfo: memFree=26995160/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=191332 CPUtime=973.3 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 50079 0 0 0 97245 85 0 0 20 0 1 0 274308605 195923968 45476 33554432000 4194304 5654031 140736173128624 140736173116440 4215017 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 47833 45476 142 357 0 47473 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 211272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14418
/proc/meminfo: memFree=26983584/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=241420 CPUtime=1033.28 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 53054 0 0 0 103239 89 0 0 20 0 1 0 274308605 247214080 48337 33554432000 4194304 5654031 140736173128624 140736173116440 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 60355 48337 142 357 0 59995 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 261360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14418
/proc/meminfo: memFree=26901852/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=241420 CPUtime=1051.49 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 53075 0 0 0 105059 90 0 0 20 0 1 0 274308605 247214080 59089 33554432000 4194304 5654031 140736173128624 140736173116440 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 60355 59089 142 357 0 59995 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 261360
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14418
/proc/meminfo: memFree=26901852/32873844 swapFree=6088/6088
[pid=14112] ppid=14110 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14112/stat : 14112 (npSolver-pbo-It) S 14110 14112 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274233724 9367552 274 33554432000 4194304 5064252 140733997439904 140733997438816 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14112/statm: 2287 274 233 213 0 72 0
[pid=14113] ppid=14112 vsize=10792 CPUtime=748.61 cores=0,2,4,6
/proc/14113/stat : 14113 (npSolver-pbo) S 14112 14112 1653 0 -1 4202496 11125 95827 0 0 31 10 74728 92 20 0 1 0 274233724 11051008 2064 33554432000 4194304 5992684 140733840174128 140733840159960 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/14113/statm: 2698 2064 195 440 0 2254 0
[pid=14409] ppid=14113 vsize=241420 CPUtime=1051.49 cores=0,2,4,6
/proc/14409/stat : 14409 (glucosInc) R 14113 14112 1653 0 -1 4202496 53075 0 0 0 105059 90 0 0 20 0 1 0 274308605 247214080 59089 33554432000 4194304 5654031 140736173128624 140736173116440 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14409/statm: 60355 59089 142 357 0 59995 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 261360
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14112 and gives
# childrusage.ru_utime.tv_sec=747
# childrusage.ru_utime.tv_usec=604346
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=34842
# CPU time returned by wait4() is 748.639
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.18
CPU system time (s): 1.92
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 436888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 747.604
system time used= 1.03484
maximum resident set size= 325972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 791
involuntary context switches= 1084
runsolver used 12.967 second user time and 13.086 second system time
The end