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-3699403-1338129361/watcher-3699403-1338129361 -o /tmp/evaluation-result-3699403-1338129361/solver-3699403-1338129361 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699403-1338129361.opb 450138590 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: 5.29 3.61 2.64 2/180 15895
/proc/meminfo: memFree=8492600/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[startup+0.092994 s]
/proc/loadavg: 5.29 3.61 2.64 2/180 15895
/proc/meminfo: memFree=8492600/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100237 s]
/proc/loadavg: 5.29 3.61 2.64 2/180 15895
/proc/meminfo: memFree=8492600/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300296 s]
/proc/loadavg: 5.29 3.61 2.64 2/180 15895
/proc/meminfo: memFree=8492600/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700321 s]
/proc/loadavg: 5.29 3.61 2.64 2/180 15895
/proc/meminfo: memFree=8492600/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 5.29 3.61 2.64 2/184 15899
/proc/meminfo: memFree=8425640/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=15236 CPUtime=1.31 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 3725 12318 0 0 15 2 110 4 20 0 1 0 279065143 15601664 2579 33554432000 4194304 5992684 140735274726208 140735274712472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 3809 2579 173 440 0 3365 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 24384
[startup+3.10038 s]
/proc/loadavg: 5.35 3.65 2.66 2/182 15902
/proc/meminfo: memFree=8442692/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 37724
[startup+6.30042 s]
/proc/loadavg: 5.35 3.65 2.66 2/183 15904
/proc/meminfo: memFree=8297156/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
[pid=15904] ppid=15896 vsize=134832 CPUtime=3.68 cores=1,3,5,7
/proc/15904/stat : 15904 (glucosInc) R 15896 15895 15469 0 -1 4202496 26693 0 0 0 363 5 0 0 20 0 1 0 279065403 138067968 30233 33554432000 4194304 5654031 140733263953520 140733263951304 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 33708 30233 141 357 0 33348 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 172556
[startup+12.7004 s]
/proc/loadavg: 5.60 3.76 2.71 2/183 15904
/proc/meminfo: memFree=8300024/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
[pid=15904] ppid=15896 vsize=135100 CPUtime=10.08 cores=1,3,5,7
/proc/15904/stat : 15904 (glucosInc) R 15896 15895 15469 0 -1 4202496 26748 0 0 0 1003 5 0 0 20 0 1 0 279065403 138342400 30288 33554432000 4194304 5654031 140733263953520 140733263951128 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 33775 30288 141 357 0 33415 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 172824
[startup+25.5004 s]
/proc/loadavg: 5.26 3.75 2.71 3/182 15947
/proc/meminfo: memFree=31427296/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
[pid=15904] ppid=15896 vsize=135812 CPUtime=22.88 cores=1,3,5,7
/proc/15904/stat : 15904 (glucosInc) R 15896 15895 15469 0 -1 4202496 27058 0 0 0 2283 5 0 0 20 0 1 0 279065403 139071488 31109 33554432000 4194304 5654031 140733263953520 140733263941336 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 33953 31109 141 357 0 33593 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 173536
[startup+51.1004 s]
/proc/loadavg: 4.22 3.62 2.70 3/182 15950
/proc/meminfo: memFree=30816384/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
[pid=15904] ppid=15896 vsize=155968 CPUtime=48.45 cores=1,3,5,7
/proc/15904/stat : 15904 (glucosInc) R 15896 15895 15469 0 -1 4202496 27916 0 0 0 4839 6 0 0 20 0 1 0 279065403 159711232 32451 33554432000 4194304 5654031 140733263953520 140733263951304 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 38992 32451 142 357 0 38632 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 193692
[startup+102.307 s]
/proc/loadavg: 2.89 3.35 2.66 3/181 15950
/proc/meminfo: memFree=30795096/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
[pid=15904] ppid=15896 vsize=157216 CPUtime=99.64 cores=1,3,5,7
/proc/15904/stat : 15904 (glucosInc) R 15896 15895 15469 0 -1 4202496 28247 0 0 0 9957 7 0 0 20 0 1 0 279065403 160989184 33620 33554432000 4194304 5654031 140733263953520 140733263951304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 39304 33620 142 357 0 38944 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 194940
[startup+162.3 s]
/proc/loadavg: 2.35 3.12 2.62 3/181 15950
/proc/meminfo: memFree=30790692/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
[pid=15904] ppid=15896 vsize=138940 CPUtime=159.63 cores=1,3,5,7
/proc/15904/stat : 15904 (glucosInc) R 15896 15895 15469 0 -1 4202496 28836 0 0 0 15955 8 0 0 20 0 1 0 279065403 142274560 32222 33554432000 4194304 5654031 140733263953520 140733263951304 4232916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 34735 32222 142 357 0 34375 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 176664
[startup+222.301 s]
/proc/loadavg: 2.12 2.90 2.57 3/181 15950
/proc/meminfo: memFree=30780748/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 9105 18704 0 0 87 35 130 7 20 0 1 0 279065143 29261824 5932 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 7144 5932 191 440 0 6700 0
[pid=15904] ppid=15896 vsize=158584 CPUtime=219.61 cores=1,3,5,7
/proc/15904/stat : 15904 (glucosInc) R 15896 15895 15469 0 -1 4202496 29580 0 0 0 21953 8 0 0 20 0 1 0 279065403 162390016 33469 33554432000 4194304 5654031 140733263953520 140733263941336 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 39646 33469 142 357 0 39286 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 196308
[startup+282.3 s]
/proc/loadavg: 2.05 2.74 2.54 3/182 15954
/proc/meminfo: memFree=30791504/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=28576 CPUtime=2.59 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=30765540/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=159836 CPUtime=966.62 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 32950 0 0 0 96648 14 0 0 20 0 1 0 279098691 163672064 33928 33554432000 4194304 5654031 140737468212192 140737468200008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 39959 33928 141 357 0 39599 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 191752
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/181 15963
/proc/meminfo: memFree=30766324/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=159836 CPUtime=1026.61 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 33576 0 0 0 102645 16 0 0 20 0 1 0 279098691 163672064 33058 33554432000 4194304 5654031 140737468212192 140737468200008 4233332 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 39959 33058 141 357 0 39599 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 191752
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.13 3/181 15963
/proc/meminfo: memFree=30758072/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=159836 CPUtime=1086.61 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 33981 0 0 0 108645 16 0 0 20 0 1 0 279098691 163672064 34481 33554432000 4194304 5654031 140737468212192 140737468200008 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 39959 34481 141 357 0 39599 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 191752
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.13 3/182 15966
/proc/meminfo: memFree=30757044/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=159836 CPUtime=1146.59 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 35051 0 0 0 114642 17 0 0 20 0 1 0 279098691 163672064 34066 33554432000 4194304 5654031 140737468212192 140737468200008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 39959 34066 141 357 0 39599 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 191752
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.12 3/182 15990
/proc/meminfo: memFree=30749156/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=161412 CPUtime=1206.58 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 35315 0 0 0 120641 17 0 0 20 0 1 0 279098691 165285888 34841 33554432000 4194304 5654031 140737468212192 140737468200008 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 40353 34841 141 357 0 39993 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 193328
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.11 3/181 15990
/proc/meminfo: memFree=30763844/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=142444 CPUtime=1266.56 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 35768 0 0 0 126638 18 0 0 20 0 1 0 279098691 145862656 33281 33554432000 4194304 5654031 140737468212192 140737468210216 4232736 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 35611 33281 141 357 0 35251 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 174360
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/181 15990
/proc/meminfo: memFree=30741504/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=161412 CPUtime=1326.55 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 36327 0 0 0 132636 19 0 0 20 0 1 0 279098691 165285888 33832 33554432000 4194304 5654031 140737468212192 140737468200008 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 40353 33832 141 357 0 39993 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 193328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/181 15990
/proc/meminfo: memFree=30753852/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=161412 CPUtime=1386.54 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 36336 0 0 0 138635 19 0 0 20 0 1 0 279098691 165285888 34863 33554432000 4194304 5654031 140737468212192 140737468200008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 40353 34863 141 357 0 39993 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 193328
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 15990
/proc/meminfo: memFree=30740480/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=142444 CPUtime=1446.54 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 36823 0 0 0 144634 20 0 0 20 0 1 0 279098691 145862656 33333 33554432000 4194304 5654031 140737468212192 140737468200008 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 35611 33333 141 357 0 35251 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 174360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 15990
/proc/meminfo: memFree=30738316/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=161412 CPUtime=1464.64 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 36904 0 0 0 146444 20 0 0 20 0 1 0 279098691 165285888 33414 33554432000 4194304 5654031 140737468212192 140737468210280 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 40353 33414 141 357 0 39993 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 193328
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 15990
/proc/meminfo: memFree=30738316/32873844 swapFree=7372/7372
[pid=15895] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15895/stat : 15895 (npSolver-pbo-I.) S 15893 15895 15469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279065142 9367552 275 33554432000 4194304 5064252 140735704699984 140735704698896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15895/statm: 2287 275 233 213 0 72 0
[pid=15896] ppid=15895 vsize=22768 CPUtime=335.39 cores=1,3,5,7
/proc/15896/stat : 15896 (npSolver-pbo) S 15895 15895 15469 0 -1 4202496 14495 49485 0 0 149 44 33327 19 20 0 1 0 279065143 23314432 4512 33554432000 4194304 5992684 140735274726208 140735274711112 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15896/statm: 5692 4512 191 440 0 5248 0
[pid=15956] ppid=15896 vsize=161412 CPUtime=1464.64 cores=1,3,5,7
/proc/15956/stat : 15956 (glucosInc) R 15896 15895 15469 0 -1 4202496 36904 0 0 0 146444 20 0 0 20 0 1 0 279098691 165285888 33414 33554432000 4194304 5654031 140737468212192 140737468210280 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15956/statm: 40353 33414 141 357 0 39993 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 193328
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.21
CPU system time (s): 0.843871
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 227376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.843871
maximum resident set size= 171760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 202336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 793
involuntary context switches= 1877
runsolver used 3.68544 second user time and 9.97448 second system time
The end