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-3698018-1338055408/watcher-3698018-1338055408 -o /tmp/evaluation-result-3698018-1338055408/solver-3698018-1338055408 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698018-1338055408.opb 837581056 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.00 2.00 1.96 3/178 3230
/proc/meminfo: memFree=28182056/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[startup+0.020069 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3230
/proc/meminfo: memFree=28182056/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3230
/proc/meminfo: memFree=28182056/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300199 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3230
/proc/meminfo: memFree=28182056/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3230
/proc/meminfo: memFree=28182056/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3239
/proc/meminfo: memFree=28143268/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=36316 CPUtime=1.38 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 7564 0 0 0 137 1 0 0 20 0 1 0 271669372 37187584 8347 33554432000 4194304 5654031 140735743668432 140735743656248 4215028 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3239/statm: 9079 8347 140 357 0 8719 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47828
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3286
/proc/meminfo: memFree=28678700/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=36316 CPUtime=2.98 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 8953 0 0 0 296 2 0 0 20 0 1 0 271669372 37187584 8404 33554432000 4194304 5654031 140735743668432 140735743656248 4232448 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3239/statm: 9079 8404 141 357 0 8719 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47828
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3286
/proc/meminfo: memFree=28660768/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=47928 CPUtime=6.17 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 10412 0 0 0 615 2 0 0 20 0 1 0 271669372 49078272 11011 33554432000 4194304 5654031 140735743668432 140735743656248 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3239/statm: 11982 11011 142 357 0 11622 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 59440
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3286
/proc/meminfo: memFree=28643620/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=47928 CPUtime=12.57 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 10981 0 0 0 1255 2 0 0 20 0 1 0 271669372 49078272 11340 33554432000 4194304 5654031 140735743668432 140735743656248 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3239/statm: 11982 11340 142 357 0 11622 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 59440
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3286
/proc/meminfo: memFree=28618452/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=66604 CPUtime=25.36 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 11661 0 0 0 2533 3 0 0 20 0 1 0 271669372 68202496 16009 33554432000 4194304 5654031 140735743668432 140735743656248 4232421 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3239/statm: 16651 16009 142 357 0 16291 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 78116
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3286
/proc/meminfo: memFree=28594472/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=85460 CPUtime=50.95 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 12955 0 0 0 5090 5 0 0 20 0 1 0 271669372 87511040 19699 33554432000 4194304 5654031 140735743668432 140735743666312 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3239/statm: 21365 19699 142 357 0 21005 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 96972
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3286
/proc/meminfo: memFree=28551460/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=97672 CPUtime=102.15 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 14150 0 0 0 10208 7 0 0 20 0 1 0 271669372 100016128 23776 33554432000 4194304 5654031 140735743668432 140735743656248 4208659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3239/statm: 24418 23776 142 357 0 24058 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 109184
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3287
/proc/meminfo: memFree=28510868/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=146992 CPUtime=162.13 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 15321 0 0 0 16202 11 0 0 20 0 1 0 271669372 150519808 34229 33554432000 4194304 5654031 140735743668432 140735743656248 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3239/statm: 36748 34229 142 357 0 36388 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 158504
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 3289
/proc/meminfo: memFree=28585012/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=2364 CPUtime=0.08 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 1960 3128 0 0 6 1 1 0 20 0 1 0 271669361 2420736 292 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 591 292 179 440 0 147 0
[pid=3239] ppid=3231 vsize=97672 CPUtime=222.12 cores=1,3,5,7
/proc/3239/stat : 3239 (glucosInc) R 3231 3230 2929 0 -1 4202496 16962 0 0 0 22197 15 0 0 20 0 1 0 271669372 100016128 23776 33554432000 4194304 5654031 140735743668432 140735743656248 4215200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3239/statm: 24418 23776 142 357 0 24058 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 109184
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.98 3/180 3300
/proc/meminfo: memFree=28314196/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=171220 CPUtime=626.83 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 33153 0 0 0 62633 50 0 0 20 0 1 0 271736897 175329280 40826 33554432000 4194304 5654031 140734155754768 140734155742584 4232772 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 42805 40826 142 357 0 42445 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 184208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/182 3302
/proc/meminfo: memFree=28301920/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=121900 CPUtime=686.81 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 35218 0 0 0 68626 55 0 0 20 0 1 0 271736897 124825600 29837 33554432000 4194304 5654031 140734155754768 140734155742584 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 30475 29837 142 357 0 30115 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 134888
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 3303
/proc/meminfo: memFree=28267892/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=202040 CPUtime=746.8 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 37237 0 0 0 74620 60 0 0 20 0 1 0 271736897 206888960 48061 33554432000 4194304 5654031 140734155754768 140734155742584 4232531 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 50510 48061 142 357 0 50150 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 215028
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 3303
/proc/meminfo: memFree=28336348/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=121900 CPUtime=806.79 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 38720 0 0 0 80614 65 0 0 20 0 1 0 271736897 124825600 29837 33554432000 4194304 5654031 140734155754768 140734155742584 4208641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 30475 29837 142 357 0 30115 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 134888
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 3303
/proc/meminfo: memFree=28363864/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=202040 CPUtime=866.78 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 40731 0 0 0 86608 70 0 0 20 0 1 0 271736897 206888960 43965 33554432000 4194304 5654031 140734155754768 140734155742584 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 50510 43965 142 357 0 50150 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 215028
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/182 3306
/proc/meminfo: memFree=28335564/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=252128 CPUtime=926.77 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 42223 0 0 0 92603 74 0 0 20 0 1 0 271736897 258179072 50922 33554432000 4194304 5654031 140734155754768 140734155742584 4232491 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 63032 50922 142 357 0 62672 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 265116
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 3306
/proc/meminfo: memFree=28253412/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=333516 CPUtime=986.76 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 43929 0 0 0 98598 78 0 0 20 0 1 0 271736897 341520384 63722 33554432000 4194304 5654031 140734155754768 140734155742584 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 83379 63722 142 357 0 83019 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 346504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 3307
/proc/meminfo: memFree=28270088/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=271480 CPUtime=1046.75 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 45357 0 0 0 104593 82 0 0 20 0 1 0 271736897 277995520 55758 33554432000 4194304 5654031 140734155754768 140734155752856 4244199 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 67870 55758 142 357 0 67510 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 284468
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 3307
/proc/meminfo: memFree=28346196/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=141252 CPUtime=1106.74 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 47057 0 0 0 110588 86 0 0 20 0 1 0 271736897 144642048 34673 33554432000 4194304 5654031 140734155754768 140734155742584 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 35313 34673 142 357 0 34953 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 154240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 3307
/proc/meminfo: memFree=28237768/32873844 swapFree=7100/7100
[pid=3230] ppid=3228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3230/stat : 3230 (npSolver-pbo-It) S 3228 3230 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271669361 9367552 275 33554432000 4194304 5064252 140734872623520 140734872622432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 2287 275 233 213 0 72 0
[pid=3231] ppid=3230 vsize=3840 CPUtime=675.2 cores=1,3,5,7
/proc/3231/stat : 3231 (npSolver-pbo) S 3230 3230 2929 0 -1 4202496 4380 37163 0 0 13 2 67446 59 20 0 1 0 271669361 3932160 661 33554432000 4194304 5992684 140736982812128 140736982797960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3231/statm: 960 661 179 440 0 516 0
[pid=3295] ppid=3231 vsize=221392 CPUtime=1124.85 cores=1,3,5,7
/proc/3295/stat : 3295 (glucosInc) R 3231 3230 2929 0 -1 4202496 47910 0 0 0 112397 88 0 0 20 0 1 0 271736897 226705408 52897 33554432000 4194304 5654031 140734155754768 140734155742584 4215124 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3295/statm: 55348 52897 142 357 0 54988 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 234380
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3230 and gives
# childrusage.ru_utime.tv_sec=674
# childrusage.ru_utime.tv_usec=602444
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=626904
# CPU time returned by wait4() is 675.229
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1798.56
CPU system time (s): 1.49
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 365856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 674.602
system time used= 0.626904
maximum resident set size= 245244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248
involuntary context switches= 983
runsolver used 3.54246 second user time and 9.43356 second system time
The end