Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.08 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
MD5SUM | 8886b8ab7bdc8ec03150a7b794b8a992 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10270 |
Best CPU time to get the best result obtained on this benchmark | 1022.91 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10270 |
Optimality of the best value was proved | YES |
Number of variables | 12596 |
Total number of constraints | 10687 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 5680 |
Number of constraints which are nor clauses,nor cardinality constraints | 5003 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 714 |
Biggest coefficient in the objective function | 559 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 66891 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1117 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 66891 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c glpPB 0.2 (July 2006) 0.00/0.01 c An Application of GLPK 4.10 for PB Constraints 0.00/0.01 c Done @ University of Michigan, Ann Arbor, MI 0.00/0.01 c by Hossein Sheini
ERROR: no interpretation found !
/tmp/evaluation/352061-1176621854/instance-352061-1176621854.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-352061-1176621854 -o ROOT/results/node47/solver-352061-1176621854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/352061-1176621854/instance-352061-1176621854.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.86 0.97 0.99 3/64 19877 /proc/meminfo: memFree=1910832/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=2384 CPUtime=0 /proc/19877/stat : 19877 (glpPBv3) D 19875 19877 19803 0 -1 0 159 0 1 0 0 0 0 0 18 0 1 0 17030760 2441216 131 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4160225324 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/19877/statm: 596 131 110 40 0 11 0 [startup+0.100133 s] /proc/loadavg: 0.86 0.97 0.99 3/64 19877 /proc/meminfo: memFree=1910832/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=3980 CPUtime=0.08 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 599 0 4 0 8 0 0 0 18 0 1 0 17030760 4075520 573 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 995 575 199 40 0 410 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3980 [startup+0.201144 s] /proc/loadavg: 0.86 0.97 0.99 3/64 19877 /proc/meminfo: memFree=1910832/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=4912 CPUtime=0.18 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 850 0 4 0 18 0 0 0 18 0 1 0 17030760 5029888 824 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 1228 824 199 40 0 643 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 4912 [startup+0.301155 s] /proc/loadavg: 0.86 0.97 0.99 3/64 19877 /proc/meminfo: memFree=1910832/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=5580 CPUtime=0.28 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 1004 0 4 0 28 0 0 0 19 0 1 0 17030760 5713920 978 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 1395 978 199 40 0 810 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5580 [startup+0.701198 s] /proc/loadavg: 0.86 0.97 0.99 3/64 19877 /proc/meminfo: memFree=1910832/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=15280 CPUtime=0.67 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 3314 0 4 0 67 0 0 0 22 0 1 0 17030760 15646720 3288 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 3820 3297 206 40 0 3235 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 15280 [startup+1.50128 s] /proc/loadavg: 0.87 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1891880/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=20396 CPUtime=1.47 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 5439 0 4 0 146 1 0 0 25 0 1 0 17030760 20885504 4717 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643329 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 5099 4717 221 40 0 4514 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 20396 [startup+3.10146 s] /proc/loadavg: 0.87 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1891752/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=20396 CPUtime=3.08 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 5849 0 4 0 306 2 0 0 25 0 1 0 17030760 20885504 4717 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134582901 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 5099 4717 221 40 0 4514 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20396 [startup+6.3018 s] /proc/loadavg: 0.87 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1890280/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=26496 CPUtime=6.28 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 11044 0 4 0 624 4 0 0 25 0 1 0 17030760 27131904 6248 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6624 6248 227 40 0 6039 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26496 [startup+12.7015 s] /proc/loadavg: 0.89 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1885496/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=26496 CPUtime=12.68 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 11044 0 4 0 1264 4 0 0 25 0 1 0 17030760 27131904 6248 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6624 6248 227 40 0 6039 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26496 [startup+25.5019 s] /proc/loadavg: 0.90 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884352/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=25.47 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 14315 0 4 0 2542 5 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 27760 [startup+51.1017 s] /proc/loadavg: 0.94 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884352/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=51.06 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 18287 0 4 0 5099 7 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 27760 [startup+102.301 s] /proc/loadavg: 0.97 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884416/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=102.26 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 26231 0 4 0 10215 11 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 27760 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884416/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=31400 CPUtime=162.23 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 36409 0 4 0 16207 16 0 0 25 0 1 0 17030760 32153600 7474 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542318 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 7850 7474 227 40 0 7265 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 31400 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884352/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=222.21 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 46091 0 4 0 22201 20 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 27760 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884352/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=282.2 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 55359 0 4 0 28195 25 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 27760 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884352/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=342.18 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 65951 0 4 0 34188 30 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 27760 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884352/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=402.16 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 75302 0 4 0 40181 35 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 27760 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884352/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=462.14 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 84870 0 4 0 46175 39 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643291 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 27760 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884288/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=522.13 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 94272 0 4 0 52169 44 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 27760 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884288/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=32520 CPUtime=582.11 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 103531 0 4 0 58163 48 0 0 25 0 1 0 17030760 33300480 7745 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585203 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 8130 7745 227 40 0 7545 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 32520 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884288/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=642.09 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 112044 0 4 0 64157 52 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 27760 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884224/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=882.02 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 167815 0 4 0 88124 78 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 27760 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884160/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=942 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 175909 0 4 0 94118 82 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542068 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 27760 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884160/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1001.99 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 184087 0 4 0 100113 86 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 27760 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884160/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1061.97 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 192233 0 4 0 106107 90 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629080 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 27760 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884096/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1121.95 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 200327 0 4 0 112102 93 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 27760 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884096/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1181.94 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 208337 0 4 0 118097 97 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 27760 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884096/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1241.92 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 216567 0 4 0 124091 101 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 27760 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884032/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1301.9 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 226002 0 4 0 130085 105 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 27760 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884032/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1361.89 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 234244 0 4 0 136080 109 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543225 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 27760 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1884032/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1421.87 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 243931 0 4 0 142074 113 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 27760 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883968/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1481.85 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 252159 0 4 0 148068 117 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 27760 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883968/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1541.84 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 265353 0 4 0 154061 123 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 27760 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883968/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1601.82 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 280799 0 4 0 160052 130 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 27760 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883904/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1661.8 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 294269 0 4 0 166044 136 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 27760 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883904/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1721.79 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 313127 0 4 0 172035 144 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 27760 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883904/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1781.76 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 326866 0 4 0 178026 150 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 27760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883904/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1800.07 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 330940 0 4 0 179855 152 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 27760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19878 /proc/meminfo: memFree=1883904/2055920 swapFree=4183704/4192956 [pid=19877] ppid=19875 vsize=27760 CPUtime=1800.07 /proc/19877/stat : 19877 (glpPBv3) R 19875 19877 19803 0 -1 0 330940 0 4 0 179855 152 0 0 25 0 1 0 17030760 28426240 6564 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/19877/statm: 6940 6564 227 40 0 6355 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 27760 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1798.55 CPU system time (s): 1.52777 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 32996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.55 system time used= 1.52777 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 330940 page faults= 4 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 1560 runsolver used 1.38679 second user time and 3.55346 second system time The end
Begin job on node47 on Sun Apr 15 07:24:14 UTC 2007 IDJOB= 352061 IDBENCH= 1878 IDSOLVER= 166 FILE ID= node47/352061-1176621854 PBS_JOBID= 4557072 Free space on /tmp= 66561 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb COMMAND LINE= glpPBv3 /tmp/evaluation/352061-1176621854/instance-352061-1176621854.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-352061-1176621854 -o ROOT/results/node47/conversion-352061-1176621854 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352061-1176621854/instance-352061-1176621854.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-352061-1176621854 -o ROOT/results/node47/solver-352061-1176621854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/352061-1176621854/instance-352061-1176621854.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED= 889240985 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1911304 kB Buffers: 4704 kB Cached: 86304 kB SwapCached: 3512 kB Active: 65364 kB Inactive: 35332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1911304 kB SwapTotal: 4192956 kB SwapFree: 4183704 kB Dirty: 3924 kB Writeback: 0 kB Mapped: 15020 kB Slab: 29956 kB Committed_AS: 2093376 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node47 on Sun Apr 15 07:54:17 UTC 2007