Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (exit code) | 438.874 | 438.998 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-shell.opb |
MD5SUM | 78fcc08f79c3a8f3db518f692b6ae82d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 45231 |
Total number of constraints | 653 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 653 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1560 |
Number of terms in the objective function | 39844 |
Biggest coefficient in the objective function | 4408 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 557557 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 557557 |
Number of bits of the biggest sum of numbers | 20 |
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 c glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 438.99 c starting to Solve 438.99 Assertion failed: x >= lb; file glpmip2.c; line 230
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node51/watcher-84979-1154164016 -o ROOT/results/node51/solver-84979-1154164016 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node51/84979-1154164016/instance-84979-1154164016.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=896304/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=268 CPUtime=0 /proc/14240/stat : 14240 (glpPBv3) D 14238 14240 14191 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 163272224 274432 23 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 2618148 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/14240/statm: 67 23 18 40 0 2 0 [startup+10.0018 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=876408/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=22364 CPUtime=9.98 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 6256 0 0 0 996 2 0 0 25 0 1 0 163272224 22900736 5194 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584573 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 5591 5194 221 40 0 5008 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 22364 [startup+20.0077 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=19.99 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 29809 0 0 0 1986 13 0 0 25 0 1 0 163272224 24920064 5698 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5698 227 40 0 5501 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24336 [startup+30.0136 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=30 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 86657 0 0 0 2962 38 0 0 25 0 1 0 163272224 24920064 5698 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629115 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5698 227 40 0 5501 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 24336 [startup+40.0195 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=40 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 138493 0 0 0 3940 60 0 0 25 0 1 0 163272224 24920064 5702 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5702 227 40 0 5501 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 24336 [startup+50.0264 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=50 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 185311 0 0 0 4920 80 0 0 25 0 1 0 163272224 24920064 5704 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629202 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5704 227 40 0 5501 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 24336 [startup+60.0314 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=60 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 227111 0 0 0 5902 98 0 0 25 0 1 0 163272224 24920064 5704 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5704 227 40 0 5501 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 24336 [startup+70.0373 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=70.01 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 270587 0 0 0 6884 117 0 0 25 0 1 0 163272224 24920064 5708 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5708 227 40 0 5501 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 24336 [startup+80.0432 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=80.01 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 317403 0 0 0 7863 138 0 0 25 0 1 0 163272224 24920064 5708 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5708 227 40 0 5501 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 24336 [startup+90.0491 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=90.01 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 360875 0 0 0 8844 157 0 0 25 0 1 0 163272224 24920064 5708 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543275 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5708 227 40 0 5501 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 24336 [startup+100.055 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874744/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=23800 CPUtime=100.01 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 399334 0 0 0 9827 174 0 0 25 0 1 0 163272224 24371200 5577 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534895 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 5950 5577 227 40 0 5367 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 23800 [startup+110.062 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=870200/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=29056 CPUtime=110.02 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 439328 0 0 0 10810 192 0 0 25 0 1 0 163272224 29753344 6891 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134540004 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 7264 6891 227 40 0 6681 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 29056 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24336 CPUtime=120.03 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 474574 0 0 0 11795 208 0 0 25 0 1 0 163272224 24920064 5711 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632882 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6084 5711 227 40 0 5501 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 24336 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=130.03 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 508018 0 0 0 12780 223 0 0 25 0 1 0 163272224 25034752 5715 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5715 227 40 0 5529 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 24448 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874552/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=140.03 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 543130 0 0 0 13765 238 0 0 25 0 1 0 163272224 25034752 5715 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5715 227 40 0 5529 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 24448 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874552/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=150.04 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 574900 0 0 0 14752 252 0 0 25 0 1 0 163272224 25034752 5717 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542117 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5717 227 40 0 5529 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 24448 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=160.04 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 604998 0 0 0 15739 265 0 0 25 0 1 0 163272224 25034752 5719 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5719 227 40 0 5529 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 24448 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=170.04 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 633422 0 0 0 16726 278 0 0 25 0 1 0 163272224 25034752 5719 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629094 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5719 227 40 0 5529 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 24448 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=180.05 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 663518 0 0 0 17714 291 0 0 25 0 1 0 163272224 25034752 5719 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5719 227 40 0 5529 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 24448 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874552/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=190.04 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 690270 0 0 0 18702 302 0 0 25 0 1 0 163272224 25034752 5719 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5719 227 40 0 5529 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 24448 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874552/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=200.05 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 717022 0 0 0 19691 314 0 0 25 0 1 0 163272224 25034752 5719 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5719 227 40 0 5529 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 24448 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 ################ # More data... # ################ Current children cumulated CPU time (s) 220.05 Current children cumulated vsize (Kb) 24448 [startup+230.132 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=230.06 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 803971 0 0 0 22653 353 0 0 25 0 1 0 163272224 25034752 5724 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5724 227 40 0 5529 0 Current children cumulated CPU time (s) 230.06 Current children cumulated vsize (Kb) 24448 [startup+240.138 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=240.07 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 829051 0 0 0 23642 365 0 0 25 0 1 0 163272224 25034752 5724 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5724 227 40 0 5529 0 Current children cumulated CPU time (s) 240.07 Current children cumulated vsize (Kb) 24448 [startup+250.144 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=250.07 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 852461 0 0 0 24633 374 0 0 25 0 1 0 163272224 25034752 5726 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5726 227 40 0 5529 0 Current children cumulated CPU time (s) 250.07 Current children cumulated vsize (Kb) 24448 [startup+260.149 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=260.07 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 877541 0 0 0 25622 385 0 0 25 0 1 0 163272224 25034752 5726 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5726 227 40 0 5529 0 Current children cumulated CPU time (s) 260.07 Current children cumulated vsize (Kb) 24448 [startup+270.155 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=270.07 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 900949 0 0 0 26611 396 0 0 25 0 1 0 163272224 25034752 5726 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5726 227 40 0 5529 0 Current children cumulated CPU time (s) 270.07 Current children cumulated vsize (Kb) 24448 [startup+280.161 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=280.07 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 926029 0 0 0 27601 406 0 0 25 0 1 0 163272224 25034752 5726 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542126 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5726 227 40 0 5529 0 Current children cumulated CPU time (s) 280.07 Current children cumulated vsize (Kb) 24448 [startup+290.168 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874488/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=290.08 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 951109 0 0 0 28590 418 0 0 25 0 1 0 163272224 25034752 5726 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632831 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5726 227 40 0 5529 0 Current children cumulated CPU time (s) 290.08 Current children cumulated vsize (Kb) 24448 [startup+300.173 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=300.08 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 974521 0 0 0 29580 428 0 0 25 0 1 0 163272224 25034752 5730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5730 227 40 0 5529 0 Current children cumulated CPU time (s) 300.08 Current children cumulated vsize (Kb) 24448 [startup+310.179 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=310.08 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 997929 0 0 0 30570 438 0 0 25 0 1 0 163272224 25034752 5730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5730 227 40 0 5529 0 Current children cumulated CPU time (s) 310.08 Current children cumulated vsize (Kb) 24448 [startup+320.185 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874744/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=23912 CPUtime=320.09 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1026353 0 0 0 31558 451 0 0 25 0 1 0 163272224 24485888 5596 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569225 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 5978 5596 227 40 0 5395 0 Current children cumulated CPU time (s) 320.09 Current children cumulated vsize (Kb) 23912 [startup+330.191 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874744/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=23912 CPUtime=330.09 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1063137 0 0 0 32541 468 0 0 25 0 1 0 163272224 24485888 5596 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534939 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 5978 5596 227 40 0 5395 0 Current children cumulated CPU time (s) 330.09 Current children cumulated vsize (Kb) 23912 [startup+340.197 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=340.1 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1096584 0 0 0 33528 482 0 0 25 0 1 0 163272224 25034752 5737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629196 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5737 227 40 0 5529 0 Current children cumulated CPU time (s) 340.1 Current children cumulated vsize (Kb) 24448 [startup+350.203 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=350.1 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1126680 0 0 0 34515 495 0 0 25 0 1 0 163272224 25034752 5737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5737 227 40 0 5529 0 Current children cumulated CPU time (s) 350.1 Current children cumulated vsize (Kb) 24448 [startup+360.209 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=360.1 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1153432 0 0 0 35504 506 0 0 25 0 1 0 163272224 25034752 5737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632432 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5737 227 40 0 5529 0 Current children cumulated CPU time (s) 360.1 Current children cumulated vsize (Kb) 24448 [startup+370.214 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=370.1 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1181856 0 0 0 36492 518 0 0 25 0 1 0 163272224 25034752 5737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5737 227 40 0 5529 0 Current children cumulated CPU time (s) 370.1 Current children cumulated vsize (Kb) 24448 [startup+380.22 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=380.17 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1205268 0 0 0 37488 529 0 0 25 0 1 0 163272224 25034752 5741 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543284 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5741 227 40 0 5529 0 Current children cumulated CPU time (s) 380.17 Current children cumulated vsize (Kb) 24448 [startup+390.28 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874360/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=390.16 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1230348 0 0 0 38477 539 0 0 25 0 1 0 163272224 25034752 5741 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5741 227 40 0 5529 0 Current children cumulated CPU time (s) 390.16 Current children cumulated vsize (Kb) 24448 [startup+400.286 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874360/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=400.17 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1255428 0 0 0 39466 551 0 0 25 0 1 0 163272224 25034752 5741 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632879 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5741 227 40 0 5529 0 Current children cumulated CPU time (s) 400.17 Current children cumulated vsize (Kb) 24448 [startup+410.292 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874360/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24448 CPUtime=410.17 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1295556 0 0 0 40449 568 0 0 25 0 1 0 163272224 25034752 5741 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6112 5741 227 40 0 5529 0 Current children cumulated CPU time (s) 410.17 Current children cumulated vsize (Kb) 24448 [startup+420.298 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24564 CPUtime=420.18 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1318966 0 0 0 41440 578 0 0 25 0 1 0 163272224 25153536 5743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6141 5743 227 40 0 5558 0 Current children cumulated CPU time (s) 420.18 Current children cumulated vsize (Kb) 24564 [startup+430.304 s] /proc/loadavg: 0.99 0.98 0.92 2/64 14240 /proc/meminfo: memFree=874424/2055920 swapFree=4183068/4192956 [pid=14240] ppid=14238 vsize=24564 CPUtime=430.17 /proc/14240/stat : 14240 (glpPBv3) R 14238 14240 14191 0 -1 0 1344048 0 0 0 42428 589 0 0 25 0 1 0 163272224 25153536 5745 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/14240/statm: 6141 5745 227 40 0 5558 0 Current children cumulated CPU time (s) 430.17 Current children cumulated vsize (Kb) 24564 Child status: 1 Real time (s): 438.998 CPU time (s): 438.874 CPU user time (s): 432.875 CPU system time (s): 5.99909 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (Kb): 29056 The end
Begin job on node51 on Sat Jul 29 09:06:56 UTC 2006 FILE ID= 84979-1154164016 PBS_JOBID= 892753 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-shell.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node51/84979-1154164016/instance-84979-1154164016.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-84979-1154164016 -o ROOT/results/node51/solver-84979-1154164016 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node51/84979-1154164016/instance-84979-1154164016.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 78fcc08f79c3a8f3db518f692b6ae82d RANDOM SEED= 704693135 TIMEOUT= 1800 seconds /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.231 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.231 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: 896576 kB Buffers: 40356 kB Cached: 1039500 kB SwapCached: 3588 kB Active: 104976 kB Inactive: 983388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 896576 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14496 kB Slab: 57040 kB Committed_AS: 735948 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Sat Jul 29 09:14:15 UTC 2006