Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (exit code) | 656.891 | 657.093 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-cycle.opb |
MD5SUM | 761eaefb829e7d3bf060fd5b86600997 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1782.8 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 84737 |
Total number of constraints | 1802 |
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 | 1802 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1470 |
Number of terms in the objective function | 9240 |
Biggest coefficient in the objective function | 16197 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531823 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531823 |
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 657.07 c starting to Solve 657.07 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/node42/watcher-85025-1154164188 -o ROOT/results/node42/solver-85025-1154164188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/85025-1154164188/instance-85025-1154164188.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.90 2/64 29097 /proc/meminfo: memFree=1858456/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=2632 CPUtime=0 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 240 0 0 0 0 0 0 0 18 0 1 0 163289812 2695168 210 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 666 216 189 40 0 83 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1802208/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=58688 CPUtime=9.99 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 14349 0 0 0 993 6 0 0 25 0 1 0 163289812 60096512 14267 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 14672 14267 221 40 0 14089 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 58688 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1802464/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=58688 CPUtime=19.99 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 14349 0 0 0 1993 6 0 0 25 0 1 0 163289812 60096512 14267 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582178 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 14672 14267 221 40 0 14089 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 58688 [startup+30.015 s] /proc/loadavg: 0.95 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1802528/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=58688 CPUtime=30 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 14349 0 0 0 2994 6 0 0 25 0 1 0 163289812 60096512 14267 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589776 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 14672 14267 221 40 0 14089 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 58688 [startup+40.0212 s] /proc/loadavg: 0.96 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1802528/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=58688 CPUtime=40.01 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 14349 0 0 0 3994 7 0 0 25 0 1 0 163289812 60096512 14267 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643101 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 14672 14267 221 40 0 14089 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 58688 [startup+50.0273 s] /proc/loadavg: 0.96 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1802528/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=58688 CPUtime=50 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 16118 0 0 0 4992 8 0 0 25 0 1 0 163289812 60096512 14267 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582806 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 14672 14267 221 40 0 14089 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 58688 [startup+60.0334 s] /proc/loadavg: 0.97 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1802592/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=58688 CPUtime=60.01 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 17887 0 0 0 5992 9 0 0 25 0 1 0 163289812 60096512 14267 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 14672 14267 221 40 0 14089 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 58688 [startup+70.0395 s] /proc/loadavg: 0.97 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1802592/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=58688 CPUtime=70.01 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 17887 0 0 0 6992 9 0 0 25 0 1 0 163289812 60096512 14267 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582191 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 14672 14267 221 40 0 14089 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 58688 [startup+80.0456 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=80.02 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 32766 0 0 0 7986 16 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542163 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 63448 [startup+90.0517 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=90.02 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 37677 0 0 0 8984 18 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 63448 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=100.02 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 42588 0 0 0 9982 20 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 63448 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=110.02 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 47499 0 0 0 10980 22 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 63448 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=120.02 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 47499 0 0 0 11980 22 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 63448 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=130.03 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 52410 0 0 0 12979 24 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 63448 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=140.03 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 57321 0 0 0 13976 27 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543281 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 63448 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=150.03 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 62232 0 0 0 14974 29 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 63448 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=160.04 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 67143 0 0 0 15972 32 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 63448 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797728/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=170.04 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 72054 0 0 0 16970 34 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 63448 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1788128/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=76372 CPUtime=180.05 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 75396 0 0 0 17969 36 0 0 25 0 1 0 163289812 78204928 18565 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 19093 18573 227 40 0 18510 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 76372 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797664/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=190.04 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 76965 0 0 0 18968 36 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 63448 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797664/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=200.05 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 81876 0 0 0 19966 39 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 63448 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 ################ # More data... # ################ Current children cumulated CPU time (s) 440.13 Current children cumulated vsize (Kb) 63448 [startup+450.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=450.13 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 185007 0 0 0 44925 88 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 450.13 Current children cumulated vsize (Kb) 63448 [startup+460.276 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=460.13 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 189918 0 0 0 45923 90 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 460.13 Current children cumulated vsize (Kb) 63448 [startup+470.282 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=470.14 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 194829 0 0 0 46921 93 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543237 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 470.14 Current children cumulated vsize (Kb) 63448 [startup+480.288 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=480.14 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 199740 0 0 0 47919 95 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 480.14 Current children cumulated vsize (Kb) 63448 [startup+490.295 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=490.14 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 204651 0 0 0 48917 97 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632685 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 490.14 Current children cumulated vsize (Kb) 63448 [startup+500.301 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=500.14 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 204651 0 0 0 49917 97 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 500.14 Current children cumulated vsize (Kb) 63448 [startup+510.307 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=510.15 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 209562 0 0 0 50915 100 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 510.15 Current children cumulated vsize (Kb) 63448 [startup+520.313 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=520.15 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 214473 0 0 0 51913 102 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 520.15 Current children cumulated vsize (Kb) 63448 [startup+530.32 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=530.15 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 219384 0 0 0 52911 104 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543275 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 530.15 Current children cumulated vsize (Kb) 63448 [startup+540.326 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=540.15 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 224295 0 0 0 53909 106 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 540.15 Current children cumulated vsize (Kb) 63448 [startup+550.332 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=550.17 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 229206 0 0 0 54908 109 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 550.17 Current children cumulated vsize (Kb) 63448 [startup+560.338 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=560.17 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 229206 0 0 0 55908 109 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632762 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 560.17 Current children cumulated vsize (Kb) 63448 [startup+570.344 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=570.16 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 234117 0 0 0 56905 111 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 570.16 Current children cumulated vsize (Kb) 63448 [startup+580.35 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797600/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=580.17 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 239028 0 0 0 57903 114 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 580.17 Current children cumulated vsize (Kb) 63448 [startup+590.356 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797536/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=590.17 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 243939 0 0 0 58901 116 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 590.17 Current children cumulated vsize (Kb) 63448 [startup+600.362 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797536/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=600.18 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 248850 0 0 0 59899 119 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 600.18 Current children cumulated vsize (Kb) 63448 [startup+610.367 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797536/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=610.18 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 253761 0 0 0 60897 121 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542163 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 610.18 Current children cumulated vsize (Kb) 63448 [startup+620.374 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797536/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=620.18 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 253761 0 0 0 61897 121 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 620.18 Current children cumulated vsize (Kb) 63448 [startup+630.38 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797536/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=630.18 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 258672 0 0 0 62895 123 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 630.18 Current children cumulated vsize (Kb) 63448 [startup+640.386 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797536/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=640.19 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 263583 0 0 0 63893 126 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 640.19 Current children cumulated vsize (Kb) 63448 [startup+650.392 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29097 /proc/meminfo: memFree=1797536/2055920 swapFree=4183140/4192956 [pid=29097] ppid=29095 vsize=63448 CPUtime=650.19 /proc/29097/stat : 29097 (glpPBv3) R 29095 29097 29048 0 -1 0 268494 0 0 0 64891 128 0 0 25 0 1 0 163289812 64970752 15472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/29097/statm: 15862 15472 227 40 0 15279 0 Current children cumulated CPU time (s) 650.19 Current children cumulated vsize (Kb) 63448 Child status: 1 Real time (s): 657.093 CPU time (s): 656.891 CPU user time (s): 655.569 CPU system time (s): 1.3218 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (Kb): 76372 The end
Begin job on node42 on Sat Jul 29 09:09:48 UTC 2006 FILE ID= 85025-1154164188 PBS_JOBID= 892799 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-cycle.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/85025-1154164188/instance-85025-1154164188.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-85025-1154164188 -o ROOT/results/node42/solver-85025-1154164188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/85025-1154164188/instance-85025-1154164188.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 761eaefb829e7d3bf060fd5b86600997 RANDOM SEED= 95397865 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.238 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.238 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: 1858664 kB Buffers: 14208 kB Cached: 112024 kB SwapCached: 3512 kB Active: 25888 kB Inactive: 108892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858664 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 268 kB Writeback: 0 kB Mapped: 14496 kB Slab: 48504 kB Committed_AS: 758044 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Sat Jul 29 09:20:45 UTC 2006