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-3698089-1338061242/watcher-3698089-1338061242 -o /tmp/evaluation-result-3698089-1338061242/solver-3698089-1338061242 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698089-1338061242.opb 775867319 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: 1.93 1.98 1.99 3/179 27024
/proc/meminfo: memFree=27439160/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[startup+0.0923629 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27024
/proc/meminfo: memFree=27439160/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100249 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27024
/proc/meminfo: memFree=27439160/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27024
/proc/meminfo: memFree=27439160/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27024
/proc/meminfo: memFree=27439160/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 27033
/proc/meminfo: memFree=27398772/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=61104 CPUtime=0.5 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 13545 0 0 0 47 3 0 0 20 0 1 0 272250359 62570496 13686 33554432000 4194304 5654031 140733588770256 140733588758072 4214618 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27033/statm: 15276 13686 141 357 0 14916 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 81744
[startup+3.10025 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 27033
/proc/meminfo: memFree=27349960/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=61104 CPUtime=2.1 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 13549 0 0 0 207 3 0 0 20 0 1 0 272250359 62570496 13690 33554432000 4194304 5654031 140733588770256 140733588758072 4208651 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27033/statm: 15276 13690 141 357 0 14916 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 81744
[startup+6.30025 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 27033
/proc/meminfo: memFree=27349340/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=61104 CPUtime=5.3 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 13553 0 0 0 527 3 0 0 20 0 1 0 272250359 62570496 13694 33554432000 4194304 5654031 140733588770256 140733588758072 4208584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27033/statm: 15276 13694 141 357 0 14916 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 81744
[startup+12.7004 s]
/proc/loadavg: 1.94 1.98 1.99 3/182 27033
/proc/meminfo: memFree=27331384/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=70140 CPUtime=11.7 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 14158 0 0 0 1167 3 0 0 20 0 1 0 272250359 71823360 14802 33554432000 4194304 5654031 140733588770256 140733588758072 4232971 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27033/statm: 17535 14802 141 357 0 17175 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 90780
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 27034
/proc/meminfo: memFree=27318724/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=73532 CPUtime=24.49 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 15055 0 0 0 2445 4 0 0 20 0 1 0 272250359 75296768 16331 33554432000 4194304 5654031 140733588770256 140733588758072 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27033/statm: 18383 16331 141 357 0 18023 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 94172
[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 27034
/proc/meminfo: memFree=27285260/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=94164 CPUtime=50.08 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 16651 0 0 0 5003 5 0 0 20 0 1 0 272250359 96423936 22036 33554432000 4194304 5654031 140733588770256 140733588758072 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 23541 22036 141 357 0 23181 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 114804
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 27034
/proc/meminfo: memFree=27236216/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=124512 CPUtime=101.28 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 17116 0 0 0 10122 6 0 0 20 0 1 0 272250359 127500288 29270 33554432000 4194304 5654031 140733588770256 140733588758072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 31128 29270 141 357 0 30768 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 145152
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 27034
/proc/meminfo: memFree=27215980/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=136184 CPUtime=161.26 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 17317 0 0 0 16119 7 0 0 20 0 1 0 272250359 139452416 32510 33554432000 4194304 5654031 140733588770256 140733588758072 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 34046 32510 141 357 0 33686 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 156824
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 27034
/proc/meminfo: memFree=27214984/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=136524 CPUtime=221.25 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 18548 0 0 0 22116 9 0 0 20 0 1 0 272250359 139800576 32697 33554432000 4194304 5654031 140733588770256 140733588758072 4976752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 34131 32697 141 357 0 33771 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 157164
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27092760/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=216664 CPUtime=1241.08 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 23614 0 0 0 124059 49 0 0 20 0 1 0 272250359 221863936 46166 33554432000 4194304 5654031 140733588770256 140733588758072 4214603 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 54166 46166 141 357 0 53806 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 237304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27067
/proc/meminfo: memFree=27082516/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=266752 CPUtime=1301.08 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 23936 0 0 0 130058 50 0 0 20 0 1 0 272250359 273154048 53635 33554432000 4194304 5654031 140733588770256 140733588758072 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 66688 53635 141 357 0 66328 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 287392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27067
/proc/meminfo: memFree=27039496/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=216664 CPUtime=1361.07 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 24042 0 0 0 136054 53 0 0 20 0 1 0 272250359 221863936 50774 33554432000 4194304 5654031 140733588770256 140733588758072 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 54166 50774 141 357 0 53806 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 237304
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27067
/proc/meminfo: memFree=27032720/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=266752 CPUtime=1421.07 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 24360 0 0 0 142053 54 0 0 20 0 1 0 272250359 273154048 56195 33554432000 4194304 5654031 140733588770256 140733588758072 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 66688 56195 141 357 0 66328 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 287392
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27069
/proc/meminfo: memFree=27179044/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=216664 CPUtime=1481.05 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 24470 0 0 0 148049 56 0 0 20 0 1 0 272250359 221863936 51798 33554432000 4194304 5654031 140733588770256 140733588758072 4214957 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 54166 51798 141 357 0 53806 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 237304
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 27070
/proc/meminfo: memFree=27134816/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=266752 CPUtime=1541.04 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 24801 0 0 0 154046 58 0 0 20 0 1 0 272250359 273154048 57731 33554432000 4194304 5654031 140733588770256 140733588758072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 66688 57731 141 357 0 66328 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 287392
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 27071
/proc/meminfo: memFree=27133716/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=266752 CPUtime=1601.03 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 25217 0 0 0 160043 60 0 0 20 0 1 0 272250359 273154048 53635 33554432000 4194304 5654031 140733588770256 140733588758072 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 66688 53635 141 357 0 66328 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 287392
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 27071
/proc/meminfo: memFree=27111984/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=266752 CPUtime=1661.01 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 25226 0 0 0 166041 60 0 0 20 0 1 0 272250359 273154048 58243 33554432000 4194304 5654031 140733588770256 140733588758072 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 66688 58243 141 357 0 66328 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 287392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27071
/proc/meminfo: memFree=27101976/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=216664 CPUtime=1721.01 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 25335 0 0 0 172038 63 0 0 20 0 1 0 272250359 221863936 52822 33554432000 4194304 5654031 140733588770256 140733588758072 4214603 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 54166 52822 141 357 0 53806 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 237304
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 27074
/proc/meminfo: memFree=27068224/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=346892 CPUtime=1780.98 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 25671 0 0 0 178034 64 0 0 20 0 1 0 272250359 355217408 60292 33554432000 4194304 5654031 140733588770256 140733588758072 4243467 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 86723 60292 141 357 0 86363 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 367532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 27127
/proc/meminfo: memFree=27187888/32873844 swapFree=7364/7364
[pid=27024] ppid=27022 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27024/stat : 27024 (npSolver-pbo-It) S 27022 27024 25976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272250261 9367552 275 33554432000 4194304 5064252 140735627152064 140735627150976 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27024/statm: 2287 275 233 213 0 72 0
[pid=27025] ppid=27024 vsize=11492 CPUtime=0.96 cores=1,3,5,7
/proc/27025/stat : 27025 (npSolver-pbo) S 27024 27024 25976 0 -1 4202496 6292 8960 0 0 38 13 42 3 20 0 1 0 272250261 11767808 2444 33554432000 4194304 5992684 140737465120816 140737465106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27025/statm: 2873 2444 183 440 0 2429 0
[pid=27033] ppid=27025 vsize=216664 CPUtime=1799.09 cores=1,3,5,7
/proc/27033/stat : 27033 (glucosInc) R 27025 27024 25976 0 -1 4202496 25774 0 0 0 179843 66 0 0 20 0 1 0 272250359 221863936 50774 33554432000 4194304 5654031 140733588770256 140733588758072 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 54166 50774 141 357 0 53806 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 237304
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.09
CPU user time (s): 1799.25
CPU system time (s): 0.836872
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 367532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.836872
maximum resident set size= 302856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41404
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 1916
runsolver used 3.19051 second user time and 8.60569 second system time
The end