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-3747193-1339098218/watcher-3747193-1339098218 -o /tmp/evaluation-result-3747193-1339098218/solver-3747193-1339098218 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747193-1339098218.opb 2117938885 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: 0.89 0.24 0.07 3/179 8182
/proc/meminfo: memFree=28268496/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[startup+0.0872121 s]
/proc/loadavg: 0.89 0.24 0.07 3/179 8182
/proc/meminfo: memFree=28268496/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100313 s]
/proc/loadavg: 0.89 0.24 0.07 3/179 8182
/proc/meminfo: memFree=28268496/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 0.89 0.24 0.07 3/179 8182
/proc/meminfo: memFree=28268496/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700234 s]
/proc/loadavg: 0.89 0.24 0.07 3/179 8182
/proc/meminfo: memFree=28268496/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/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: 0.89 0.24 0.07 3/181 8184
/proc/meminfo: memFree=28131804/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229596 CPUtime=1.48 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) R 8182 8182 7954 0 -1 4202496 40963 0 0 0 138 10 0 0 20 0 1 0 375946215 235106304 57015 33554432000 4194304 6004724 140733511695008 140733511691624 4375242 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57399 57015 137 442 0 56953 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 238744
[startup+3.10025 s]
/proc/loadavg: 0.89 0.24 0.07 3/183 8186
/proc/meminfo: memFree=27975480/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229596 CPUtime=2.98 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 40997 11846 0 0 154 14 124 6 20 0 1 0 375946215 235106304 57034 33554432000 4194304 6004724 140733511695008 140733511681288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57399 57034 152 442 0 56953 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 238744
[startup+6.3002 s]
/proc/loadavg: 0.98 0.27 0.08 3/181 8189
/proc/meminfo: memFree=27927980/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=5.85 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 52249 21237 0 0 302 109 162 12 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 238748
[startup+12.7002 s]
/proc/loadavg: 1.06 0.29 0.09 3/180 8193
/proc/meminfo: memFree=29433300/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 238748
[startup+25.5004 s]
/proc/loadavg: 1.27 0.38 0.12 3/181 8195
/proc/meminfo: memFree=29291364/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=165316 CPUtime=12.89 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 30205 0 0 0 1282 7 0 0 20 0 1 0 375947474 169283584 38311 33554432000 4194304 5654031 140737384677024 140737384664840 4208663 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 41329 38311 141 357 0 40969 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 404064
[startup+51.1004 s]
/proc/loadavg: 1.52 0.51 0.17 3/181 8195
/proc/meminfo: memFree=29286464/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=167752 CPUtime=38.48 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 31264 0 0 0 3840 8 0 0 20 0 1 0 375947474 171778048 38936 33554432000 4194304 5654031 140737384677024 140737384664840 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 41938 38936 141 357 0 41578 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 406500
[startup+102.3 s]
/proc/loadavg: 1.79 0.73 0.26 3/181 8196
/proc/meminfo: memFree=29272072/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=170836 CPUtime=89.68 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 33146 0 0 0 8957 11 0 0 20 0 1 0 375947474 174936064 40496 33554432000 4194304 5654031 140737384677024 140737384664840 4232694 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 42709 40496 141 357 0 42349 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 409584
[startup+162.3 s]
/proc/loadavg: 1.92 0.96 0.37 3/181 8196
/proc/meminfo: memFree=29265892/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=204948 CPUtime=149.67 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 35755 0 0 0 14952 15 0 0 20 0 1 0 375947474 209866752 43093 33554432000 4194304 5654031 140737384677024 140737384664840 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 51237 43093 141 357 0 50877 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 443696
[startup+222.307 s]
/proc/loadavg: 1.97 1.15 0.47 3/181 8196
/proc/meminfo: memFree=29224956/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=258188 CPUtime=209.67 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 38179 0 0 0 20949 18 0 0 20 0 1 0 375947474 264384512 51893 33554432000 4194304 5654031 140737384677024 140737384664840 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 64547 51893 141 357 0 64187 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 496936
[startup+282.3 s]
/proc/loadavg: 1.99 1.30 0.56 3/182 8197
/proc/meminfo: memFree=29255020/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=179608 CPUtime=269.65 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 40634 0 0 0 26943 22 0 0 20 0 1 0 375947474 183918592 42457 33554432000 4194304 5654031 140737384677024 140737384664840 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 44902 42457 141 357 0 44542 0
Current children cumulated CPU time (s) 282.21
################
# More data... #
################
/proc/meminfo: memFree=29705024/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=740848 CPUtime=1289.42 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 88800 0 0 0 128807 135 0 0 20 0 1 0 375947474 758628352 153531 33554432000 4194304 5654031 140737384677024 140737384674808 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 185212 153531 141 357 0 184852 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 979596
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/181 8284
/proc/meminfo: memFree=30096488/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=315520 CPUtime=1349.41 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 91970 0 0 0 134793 148 0 0 20 0 1 0 375947474 323092480 69293 33554432000 4194304 5654031 140737384677024 140737384675112 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 78880 69293 141 357 0 78520 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 554268
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/181 8284
/proc/meminfo: memFree=29705388/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=745108 CPUtime=1409.4 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 93800 0 0 0 140787 153 0 0 20 0 1 0 375947474 762990592 143683 33554432000 4194304 5654031 140737384677024 140737384674808 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 186277 143683 141 357 0 185917 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 983856
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/181 8284
/proc/meminfo: memFree=29540452/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=1095816 CPUtime=1469.39 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 94949 0 0 0 146779 160 0 0 20 0 1 0 375947474 1122115584 196443 33554432000 4194304 5654031 140737384677024 140737384674808 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 273954 196443 141 357 0 273594 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1334564
[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.60 3/181 8284
/proc/meminfo: memFree=29882696/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=400172 CPUtime=1529.39 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 97340 0 0 0 152771 168 0 0 20 0 1 0 375947474 409776128 90501 33554432000 4194304 5654031 140737384677024 140737384675112 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 100043 90501 141 357 0 99683 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 638920
[startup+1602.3 s]
/proc/loadavg: 2.05 1.99 1.63 3/182 8288
/proc/meminfo: memFree=29577376/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=748524 CPUtime=1589.35 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 98725 0 0 0 158759 176 0 0 20 0 1 0 375947474 766488576 169784 33554432000 4194304 5654031 140737384677024 140737384674808 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 187131 169784 141 357 0 186771 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 987272
[startup+1662.3 s]
/proc/loadavg: 2.02 1.99 1.65 3/181 8288
/proc/meminfo: memFree=29314608/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=1099224 CPUtime=1649.34 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 99881 0 0 0 164751 183 0 0 20 0 1 0 375947474 1125605376 230719 33554432000 4194304 5654031 140737384677024 140737384674808 4214861 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 274806 230719 141 357 0 274446 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1337972
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/181 8288
/proc/meminfo: memFree=29813700/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=535564 CPUtime=1709.32 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 102750 0 0 0 170737 195 0 0 20 0 1 0 375947474 548417536 121618 33554432000 4194304 5654031 140737384677024 140737384674808 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 133891 121618 141 357 0 133531 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 774312
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 8288
/proc/meminfo: memFree=29475012/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=1101132 CPUtime=1769.32 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 104417 0 0 0 176729 203 0 0 20 0 1 0 375947474 1127559168 206066 33554432000 4194304 5654031 140737384677024 140737384674808 4233455 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 275283 206066 141 357 0 274923 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1339880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.69 3/181 8288
/proc/meminfo: memFree=29376212/32873844 swapFree=7632/7632
[pid=8182] ppid=8180 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8182/stat : 8182 (npSolver-pbo-It) S 8180 8182 7954 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375946215 9367552 274 33554432000 4194304 5064252 140734907588816 140734907587728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8182/statm: 2287 274 233 213 0 72 0
[pid=8183] ppid=8182 vsize=229600 CPUtime=12.56 cores=0,2,4,6
/proc/8183/stat : 8183 (npSolver-pbo) S 8182 8182 7954 0 -1 4202496 64224 53017 0 0 437 118 677 24 20 0 1 0 375946215 235110400 57060 33554432000 4194304 6004724 140733511695008 140733511680856 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8183/statm: 57400 57060 177 442 0 56954 0
[pid=8195] ppid=8183 vsize=1101416 CPUtime=1787.52 cores=0,2,4,6
/proc/8195/stat : 8195 (glucosInc) R 8183 8182 7954 0 -1 4202496 104516 0 0 0 178548 204 0 0 20 0 1 0 375947474 1127849984 230182 33554432000 4194304 5654031 140737384677024 140737384674808 4215888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 275354 230182 141 357 0 274994 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1340164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8182 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=155304
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=444780
# CPU time returned by wait4() is 12.6001
# while last known CPU time is 1800.08
#
# 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.08
CPU user time (s): 1796.62
CPU system time (s): 3.46
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1387668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1553
system time used= 1.44478
maximum resident set size= 320112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 289384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 501
involuntary context switches= 79
runsolver used 3.72143 second user time and 10.0135 second system time
The end