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-3698166-1338069314/watcher-3698166-1338069314 -o /tmp/evaluation-result-3698166-1338069314/solver-3698166-1338069314 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698166-1338069314.opb 1918434999 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.03 2.00 3/178 4613
/proc/meminfo: memFree=28959244/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[startup+0.0747429 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 4613
/proc/meminfo: memFree=28959244/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 4613
/proc/meminfo: memFree=28959244/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300165 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 4613
/proc/meminfo: memFree=28959244/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70015 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 4613
/proc/meminfo: memFree=28959244/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 4619
/proc/meminfo: memFree=28927596/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=24232 CPUtime=0.77 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 4529 0 0 0 76 1 0 0 20 0 1 0 273056895 24813568 4886 33554432000 4194304 5654031 140733851897696 140733851895304 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 6058 4886 131 357 0 5698 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45136
[startup+3.10031 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 4619
/proc/meminfo: memFree=28926976/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=24364 CPUtime=2.37 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 4743 0 0 0 236 1 0 0 20 0 1 0 273056895 24948736 5099 33554432000 4194304 5654031 140733851897696 140733851895384 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 6091 5099 131 357 0 5731 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 45268
[startup+6.30031 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 4619
/proc/meminfo: memFree=28925488/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=27368 CPUtime=5.58 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 5141 0 0 0 556 2 0 0 20 0 1 0 273056895 28024832 5490 33554432000 4194304 5654031 140733851897696 140733851895304 4232438 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 6842 5490 131 357 0 6482 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 48272
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 4619
/proc/meminfo: memFree=28923152/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=27748 CPUtime=11.97 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 6863 0 0 0 1195 2 0 0 20 0 1 0 273056895 28413952 5571 33554432000 4194304 5654031 140733851897696 140733851895720 4232912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 6937 5571 132 357 0 6577 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 48652
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 4619
/proc/meminfo: memFree=28909748/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=39668 CPUtime=24.77 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 7893 0 0 0 2475 2 0 0 20 0 1 0 273056895 40620032 8640 33554432000 4194304 5654031 140733851897696 140733851895576 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 9917 8640 132 357 0 9557 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 60572
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 4620
/proc/meminfo: memFree=28888824/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=58344 CPUtime=50.36 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 8838 0 0 0 5033 3 0 0 20 0 1 0 273056895 59744256 13508 33554432000 4194304 5654031 140733851897696 140733851895496 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 14586 13508 141 357 0 14226 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 79248
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4620
/proc/meminfo: memFree=28885536/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=58344 CPUtime=101.55 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 9159 0 0 0 10152 3 0 0 20 0 1 0 273056895 59744256 13824 33554432000 4194304 5654031 140733851897696 140733851885512 4208683 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 14586 13824 141 357 0 14226 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 79248
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 4620
/proc/meminfo: memFree=28897948/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=58344 CPUtime=161.54 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 9159 0 0 0 16151 3 0 0 20 0 1 0 273056895 59744256 13824 33554432000 4194304 5654031 140733851897696 140733851885512 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 14586 13824 141 357 0 14226 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 79248
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 4620
/proc/meminfo: memFree=28893728/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=58344 CPUtime=221.53 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 9159 0 0 0 22150 3 0 0 20 0 1 0 273056895 59744256 13824 33554432000 4194304 5654031 140733851897696 140733851885512 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4619/statm: 14586 13824 141 357 0 14226 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 79248
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 4699
/proc/meminfo: memFree=28548316/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1301.36 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 15663 0 0 0 130122 14 0 0 20 0 1 0 273056895 145063936 32291 33554432000 4194304 5654031 140733851897696 140733851895624 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 32291 142 357 0 35056 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 162568
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4699
/proc/meminfo: memFree=28540684/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1361.34 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 15919 0 0 0 136119 15 0 0 20 0 1 0 273056895 145063936 32803 33554432000 4194304 5654031 140733851897696 140733851885512 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 32803 142 357 0 35056 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 162568
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4699
/proc/meminfo: memFree=28538340/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1421.33 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 16762 0 0 0 142117 16 0 0 20 0 1 0 273056895 145063936 32803 33554432000 4194304 5654031 140733851897696 140733851895624 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 32803 142 357 0 35056 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 162568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 4699
/proc/meminfo: memFree=28544632/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1481.32 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 17609 0 0 0 148114 18 0 0 20 0 1 0 273056895 145063936 31267 33554432000 4194304 5654031 140733851897696 140733851885512 4216159 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 31267 142 357 0 35056 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 162568
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4703
/proc/meminfo: memFree=28530156/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1541.31 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 17615 0 0 0 154113 18 0 0 20 0 1 0 273056895 145063936 34339 33554432000 4194304 5654031 140733851897696 140733851885512 4233299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 34339 142 357 0 35056 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 162568
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4704
/proc/meminfo: memFree=28534136/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1601.3 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 17917 0 0 0 160111 19 0 0 20 0 1 0 273056895 145063936 32845 33554432000 4194304 5654031 140733851897696 140733851885512 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 32845 142 357 0 35056 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 162568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4704
/proc/meminfo: memFree=28526628/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1661.3 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 18181 0 0 0 166110 20 0 0 20 0 1 0 273056895 145063936 33315 33554432000 4194304 5654031 140733851897696 140733851885512 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 33315 142 357 0 35056 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 162568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4704
/proc/meminfo: memFree=28532664/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=141664 CPUtime=1721.28 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 19036 0 0 0 172107 21 0 0 20 0 1 0 273056895 145063936 31779 33554432000 4194304 5654031 140733851897696 140733851895720 4215932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 35416 31779 142 357 0 35056 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 162568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4704
/proc/meminfo: memFree=28520984/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=172484 CPUtime=1781.27 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 19630 0 0 0 178105 22 0 0 20 0 1 0 273056895 176623616 39014 33554432000 4194304 5654031 140733851897696 140733851885512 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 43121 39014 142 357 0 42761 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 193388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4704
/proc/meminfo: memFree=28516888/32873844 swapFree=7384/7384
[pid=4613] ppid=4611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4613/stat : 4613 (npSolver-pbo-It) S 4611 4613 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273056823 9367552 274 33554432000 4194304 5064252 140734319267072 140734319265984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4613/statm: 2287 274 233 213 0 72 0
[pid=4614] ppid=4613 vsize=11756 CPUtime=0.69 cores=0,2,4,6
/proc/4614/stat : 4614 (npSolver-pbo) S 4613 4613 1914 0 -1 4202496 3781 10676 0 0 9 0 57 3 20 0 1 0 273056824 12038144 2434 33554432000 4194304 5992684 140736997433968 140736997420232 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4614/statm: 2939 2434 166 440 0 2495 0
[pid=4619] ppid=4614 vsize=172484 CPUtime=1799.38 cores=0,2,4,6
/proc/4619/stat : 4619 (glucosInc) R 4614 4613 1914 0 -1 4202496 19632 0 0 0 179916 22 0 0 20 0 1 0 273056895 176623616 40038 33554432000 4194304 5654031 140733851897696 140733851885512 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4619/statm: 43121 40038 142 357 0 42761 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 193388
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 4613 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=671897
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=45993
# CPU time returned by wait4() is 0.71789
# while last known CPU time is 1800.07
#
# 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.07
CPU user time (s): 1799.82
CPU system time (s): 0.25
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 242708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.671897
system time used= 0.045993
maximum resident set size= 43988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 13
runsolver used 2.83657 second user time and 7.06293 second system time
The end