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-3751586-1339165106/watcher-3751586-1339165106 -o /tmp/evaluation-result-3751586-1339165106/solver-3751586-1339165106 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751586-1339165106.opb 864453049 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: 1.24 1.14 1.53 3/178 8305
/proc/meminfo: memFree=30822608/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[startup+0.066049 s]
/proc/loadavg: 1.24 1.14 1.53 3/178 8305
/proc/meminfo: memFree=30822608/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100246 s]
/proc/loadavg: 1.24 1.14 1.53 3/178 8305
/proc/meminfo: memFree=30822608/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 1.24 1.14 1.53 3/178 8305
/proc/meminfo: memFree=30822608/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700253 s]
/proc/loadavg: 1.24 1.14 1.53 3/178 8305
/proc/meminfo: memFree=30822608/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 1.24 1.14 1.53 3/180 8310
/proc/meminfo: memFree=30759600/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=94236 CPUtime=1.49 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) R 8305 8305 32754 0 -1 4202496 22808 0 0 0 146 3 0 0 20 0 1 0 382638057 96497664 20941 33554432000 4194304 6004724 140734587025200 140734587020840 5190736 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8306/statm: 23559 20941 130 442 0 23113 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103384
[startup+3.10031 s]
/proc/loadavg: 1.24 1.14 1.53 3/180 8310
/proc/meminfo: memFree=30692880/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=336484 CPUtime=3.09 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) R 8305 8305 32754 0 -1 4202496 72589 0 0 0 299 10 0 0 20 0 1 0 382638057 344559616 79063 33554432000 4194304 6004724 140734587025200 140734587021224 4382616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8306/statm: 84121 79063 137 442 0 83675 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 345632
[startup+6.30024 s]
/proc/loadavg: 1.30 1.15 1.53 3/180 8310
/proc/meminfo: memFree=30365952/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=582244 CPUtime=6.29 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) R 8305 8305 32754 0 -1 4202496 74825 0 0 0 612 17 0 0 20 0 1 0 382638057 596217856 115927 33554432000 4194304 6004724 140734587025200 140734587018360 4975569 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8306/statm: 145561 115927 137 442 0 145115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 591392
[startup+12.7004 s]
/proc/loadavg: 1.35 1.17 1.53 3/182 8312
/proc/meminfo: memFree=29883792/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=817040 CPUtime=9.3 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 76091 0 0 0 846 84 0 0 20 0 1 0 382638057 836648960 136256 33554432000 4194304 6004724 140734587025200 140734587019664 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8306/statm: 204260 136256 147 442 0 203814 0
[pid=8311] ppid=8306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8311/stat : 8311 (cp2_pre.sh) S 8306 8305 32754 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382638987 9367552 277 33554432000 4194304 5064252 140735632176624 140735632175328 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8311/statm: 2287 277 234 213 0 72 0
[pid=8312] ppid=8311 vsize=97000 CPUtime=3.37 cores=0,2,4,6
/proc/8312/stat : 8312 (coprocessor) R 8311 8305 32754 0 -1 4202496 10801 0 0 0 335 2 0 0 20 0 1 0 382638988 99328000 21807 33554432000 4194304 6586260 140733513694800 140733513691560 4367992 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8312/statm: 24250 21807 138 584 0 23662 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 932336
[startup+25.5004 s]
/proc/loadavg: 1.56 1.22 1.55 3/182 8312
/proc/meminfo: memFree=29558776/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=817040 CPUtime=9.3 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 76091 0 0 0 846 84 0 0 20 0 1 0 382638057 836648960 136256 33554432000 4194304 6004724 140734587025200 140734587019664 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8306/statm: 204260 136256 147 442 0 203814 0
[pid=8311] ppid=8306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8311/stat : 8311 (cp2_pre.sh) S 8306 8305 32754 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382638987 9367552 277 33554432000 4194304 5064252 140735632176624 140735632175328 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8311/statm: 2287 277 234 213 0 72 0
[pid=8312] ppid=8311 vsize=425840 CPUtime=16.17 cores=0,2,4,6
/proc/8312/stat : 8312 (coprocessor) R 8311 8305 32754 0 -1 4202496 18488 0 0 0 1605 12 0 0 20 0 1 0 382638988 436060160 98738 33554432000 4194304 6586260 140733513694800 140733513691560 4368004 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8312/statm: 106460 98738 138 584 0 105872 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1261176
[startup+51.1004 s]
/proc/loadavg: 1.93 1.33 1.57 3/181 8314
/proc/meminfo: memFree=29027360/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=817040 CPUtime=46.66 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 76108 24446 0 0 846 84 3656 80 20 0 1 0 382638057 836648960 136261 33554432000 4194304 6004724 140734587025200 140734587011480 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8306/statm: 204260 136261 151 442 0 203814 0
[pid=8314] ppid=8306 vsize=1130488 CPUtime=4.25 cores=0,2,4,6
/proc/8314/stat : 8314 (glucosInc) R 8306 8305 32754 0 -1 4202496 132747 0 0 0 393 32 0 0 20 0 1 0 382642740 1157619712 240095 33554432000 4194304 5654031 140734576175552 140734575124904 4232681 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8314/statm: 282622 240095 130 357 0 282262 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 1956676
[startup+102.3 s]
/proc/loadavg: 2.09 1.46 1.60 3/181 8318
/proc/meminfo: memFree=27805500/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=3163044 CPUtime=102 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) R 8305 8305 32754 0 -1 4202496 169070 159256 0 0 3526 1958 4553 163 20 0 1 0 382638057 3238957056 605379 33554432000 4194304 6004724 140734587025200 140734587017992 4579246 0 0 4096 0 0 0 0 17 4 0 0 17 0 0
/proc/8306/statm: 790761 605379 190 442 0 790315 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 3172192
[startup+162.3 s]
/proc/loadavg: 2.66 1.70 1.67 3/181 8320
/proc/meminfo: memFree=21278564/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=4479768 CPUtime=17.65 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 381325 0 0 0 1633 132 0 0 20 0 1 0 382652520 4587282432 970531 33554432000 4194304 5654031 140733333003088 140733331952440 4797458 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 1119942 970531 108 357 0 1119582 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 5364820
[startup+222.307 s]
/proc/loadavg: 3.42 2.08 1.80 3/181 8320
/proc/meminfo: memFree=15849760/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=10406152 CPUtime=77.65 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1017785 0 0 0 7365 400 0 0 20 0 1 0 382652520 10655899648 2313756 33554432000 4194304 5654031 140733333003088 140733333000872 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2601538 2313756 132 357 0 2601178 0
Current children cumulated CPU time (s) 221.93
Current children cumulated vsize (KiB) 11291204
[startup+282.3 s]
/proc/loadavg: 2.66 2.11 1.83 3/180 8320
/proc/meminfo: memFree=15903924/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=15474844/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=10494372 CPUtime=1217.46 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1040786 0 0 0 121337 409 0 0 20 0 1 0 382652520 10746236928 2400051 33554432000 4194304 5654031 140733333003088 140733332990904 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2623593 2400051 141 357 0 2623233 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 11379424
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8332
/proc/meminfo: memFree=15501168/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=10494372 CPUtime=1277.44 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1040795 0 0 0 127335 409 0 0 20 0 1 0 382652520 10746236928 2403635 33554432000 4194304 5654031 140733333003088 140733332990904 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2623593 2403635 141 357 0 2623233 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 11379424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8332
/proc/meminfo: memFree=15458256/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=10494372 CPUtime=1337.43 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1040803 0 0 0 133334 409 0 0 20 0 1 0 382652520 10746236928 2403637 33554432000 4194304 5654031 140733333003088 140733332990904 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2623593 2403637 141 357 0 2623233 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 11379424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8333
/proc/meminfo: memFree=15489180/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=11997724 CPUtime=1397.42 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1042104 0 0 0 139316 426 0 0 20 0 1 0 382652520 12285669376 2408004 33554432000 4194304 5654031 140733333003088 140733333001176 4215964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2999431 2408004 141 357 0 2999071 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 12882776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8333
/proc/meminfo: memFree=15438404/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=11997724 CPUtime=1457.41 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1042411 0 0 0 145315 426 0 0 20 0 1 0 382652520 12285669376 2410862 33554432000 4194304 5654031 140733333003088 140733332990904 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2999431 2410862 141 357 0 2999071 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 12882776
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8333
/proc/meminfo: memFree=15403184/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=11997724 CPUtime=1517.4 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1042416 0 0 0 151314 426 0 0 20 0 1 0 382652520 12285669376 2412910 33554432000 4194304 5654031 140733333003088 140733332990904 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2999431 2412910 141 357 0 2999071 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 12882776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8333
/proc/meminfo: memFree=15428336/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=11997724 CPUtime=1577.39 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1042534 0 0 0 157313 426 0 0 20 0 1 0 382652520 12285669376 2416091 33554432000 4194304 5654031 140733333003088 140733332990904 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2999431 2416091 141 357 0 2999071 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 12882776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8333
/proc/meminfo: memFree=15388464/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=11999656 CPUtime=1637.38 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1042970 0 0 0 163312 426 0 0 20 0 1 0 382652520 12287647744 2418564 33554432000 4194304 5654031 140733333003088 140733332990904 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2999914 2418564 141 357 0 2999554 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 12884708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8392
/proc/meminfo: memFree=15588116/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=11999656 CPUtime=1655.79 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1042973 0 0 0 165152 427 0 0 20 0 1 0 382652520 12287647744 2419588 33554432000 4194304 5654031 140733333003088 140733332990904 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2999914 2419588 141 357 0 2999554 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 12884708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 8392
/proc/meminfo: memFree=15588116/32873648 swapFree=7376/7376
[pid=8305] ppid=8303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8305/stat : 8305 (npSolver-pbo-It) S 8303 8305 32754 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382638057 9367552 275 33554432000 4194304 5064252 140734069846256 140734069845168 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8305/statm: 2287 275 233 213 0 72 0
[pid=8306] ppid=8305 vsize=875904 CPUtime=144.28 cores=0,2,4,6
/proc/8306/stat : 8306 (npSolver-pbo) S 8305 8305 32754 0 -1 4202496 177424 159770 0 0 6964 2706 4553 205 20 0 1 0 382638057 896925696 153913 33554432000 4194304 6004724 140734587025200 140734587011048 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 20 0 0
/proc/8306/statm: 218976 153913 191 442 0 218530 0
[pid=8320] ppid=8306 vsize=11999656 CPUtime=1655.79 cores=0,2,4,6
/proc/8320/stat : 8320 (glucosInc) R 8306 8305 32754 0 -1 4202496 1042973 0 0 0 165152 427 0 0 20 0 1 0 382652520 12287647744 2419588 33554432000 4194304 5654031 140733333003088 140733332990904 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8320/statm: 2999914 2419588 141 357 0 2999554 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 12884708
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8305 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# 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.72
CPU time (s): 1800.07
CPU user time (s): 1766.69
CPU system time (s): 33.38
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 14908528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.77243 second user time and 10.5344 second system time
The end