Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.53 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb |
MD5SUM | cbc7f776eebadde6a6228c5e168c70a1 |
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 | 60930 |
Total number of constraints | 2157 |
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 | 2157 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 31770 |
Biggest coefficient in the objective function | 2474 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 550404 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 550404 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 2.15 c starting to Solve 2.15 c #variables read: 60930 - #constraints read: 3301
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node75/watcher-37672-1149344159 -o ROOT/results/node75/solver-37672-1149344159 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node75/37672-1149344159/instance-37672-1149344159.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1806976/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=2328 CPUtime=0 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 200079318 2383872 129 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6703992 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 582 129 110 16 0 11 0 [startup+10.0025 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1775560/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=34220 CPUtime=9.99 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 206245 0 0 0 945 54 0 0 25 0 1 0 200079318 35041280 8050 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 8555 8050 206 16 0 7996 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 34220 [startup+20.0085 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1774152/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=35760 CPUtime=19.99 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 206623 0 0 0 1945 54 0 0 25 0 1 0 200079318 36618240 8428 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 8940 8428 206 16 0 8381 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 35760 [startup+30.0145 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1771976/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=37948 CPUtime=30 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 207160 0 0 0 2945 55 0 0 25 0 1 0 200079318 38858752 8965 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 9487 8965 206 16 0 8928 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 37948 [startup+40.0205 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1770440/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=39496 CPUtime=40 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 207568 0 0 0 3945 55 0 0 25 0 1 0 200079318 40443904 9373 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 9874 9373 206 16 0 9315 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 39496 [startup+50.0265 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1768840/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=41160 CPUtime=50 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 207958 0 0 0 4945 55 0 0 25 0 1 0 200079318 42147840 9763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 10290 9763 206 16 0 9731 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 41160 [startup+60.0325 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1768840/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=41160 CPUtime=60 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 207958 0 0 0 5945 55 0 0 25 0 1 0 200079318 42147840 9763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 10290 9763 206 16 0 9731 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 41160 [startup+70.0385 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1768840/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=41160 CPUtime=70 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 207958 0 0 0 6945 55 0 0 25 0 1 0 200079318 42147840 9763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 10290 9763 206 16 0 9731 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 41160 [startup+80.0445 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1768904/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=41160 CPUtime=80.01 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 207958 0 0 0 7946 55 0 0 25 0 1 0 200079318 42147840 9763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 10290 9763 206 16 0 9731 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 41160 [startup+90.0505 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1768904/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=41160 CPUtime=90.01 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 207958 0 0 0 8946 55 0 0 25 0 1 0 200079318 42147840 9763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 10290 9763 206 16 0 9731 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 41160 [startup+100.056 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1767048/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=42952 CPUtime=100.01 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 208414 0 0 0 9946 55 0 0 25 0 1 0 200079318 43982848 10219 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 10738 10219 206 16 0 10179 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 42952 [startup+110.062 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1764552/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=45388 CPUtime=110.01 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 209034 0 0 0 10946 55 0 0 25 0 1 0 200079318 46477312 10839 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 11347 10839 206 16 0 10788 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 45388 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1764552/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=45388 CPUtime=120.01 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 209036 0 0 0 11946 55 0 0 25 0 1 0 200079318 46477312 10841 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134554636 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 11347 10841 206 16 0 10788 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 45388 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1764552/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=45388 CPUtime=130.01 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 209036 0 0 0 12946 55 0 0 25 0 1 0 200079318 46477312 10841 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 11347 10841 206 16 0 10788 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 45388 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1764552/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=45388 CPUtime=140.02 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 209037 0 0 0 13947 55 0 0 25 0 1 0 200079318 46477312 10842 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 11347 10842 206 16 0 10788 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 45388 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1764552/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=45276 CPUtime=150.02 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 209042 0 0 0 14947 55 0 0 25 0 1 0 200079318 46362624 10819 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527772 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 11319 10819 206 16 0 10760 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 45276 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1754888/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=55052 CPUtime=160.02 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 211483 0 0 0 15945 57 0 0 25 0 1 0 200079318 56373248 13260 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 13763 13260 206 16 0 13204 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 55052 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1736264/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=73776 CPUtime=170.03 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 216120 0 0 0 16943 60 0 0 25 0 1 0 200079318 75546624 17897 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558794 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 18444 17897 206 16 0 17885 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 73776 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1731272/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=180.03 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217366 0 0 0 17942 61 0 0 25 0 1 0 200079318 80699392 19143 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19143 206 16 0 19143 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 78808 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1731272/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=190.03 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217366 0 0 0 18942 61 0 0 25 0 1 0 200079318 80699392 19143 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19143 206 16 0 19143 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 78808 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1731272/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=200.04 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217366 0 0 0 19943 61 0 0 25 0 1 0 200079318 80699392 19143 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19143 206 16 0 19143 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 78808 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26202 /proc/meminfo: memFree=1731272/2055920 swapFree=4182500/4192956 ################ # More data... # ################ /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178080 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 78808 [startup+1783.1 s] /proc/loadavg: 1.03 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1782.42 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178181 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 78808 [startup+1784.11 s] /proc/loadavg: 1.03 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1783.42 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178281 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528048 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 78808 [startup+1785.11 s] /proc/loadavg: 1.03 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1784.43 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178382 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 78808 [startup+1786.12 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1785.43 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178482 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134554636 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 78808 [startup+1787.12 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1786.44 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178583 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528071 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 78808 [startup+1788.12 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1787.44 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178683 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559174 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 78808 [startup+1789.13 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1788.45 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178784 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 78808 [startup+1790.14 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1789.45 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178884 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 78808 [startup+1791.14 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1790.46 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 178985 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 78808 [startup+1792.14 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1791.46 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179085 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 78808 [startup+1793.15 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1792.46 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179185 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 78808 [startup+1794.16 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1793.47 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179286 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 78808 [startup+1795.16 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1794.47 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179386 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 78808 [startup+1796.17 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1795.48 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179487 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 78808 [startup+1797.17 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1796.48 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179587 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 78808 [startup+1798.18 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1797.49 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179688 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527962 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 78808 [startup+1799.18 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1798.49 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179788 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 78808 [startup+1800.19 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1799.5 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179889 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559132 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 78808 [startup+1801.19 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1800.5 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179989 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 78808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.02 0.99 0.95 2/64 26204 /proc/meminfo: memFree=1731080/2055920 swapFree=4182500/4192956 [pid=26202] ppid=26200 vsize=78808 CPUtime=1800.51 /proc/26202/stat : 26202 (Pueblo13) R 26200 26202 26156 0 -1 4194304 217372 0 0 0 179990 61 0 0 25 0 1 0 200079318 80699392 19149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/26202/statm: 19702 19149 206 16 0 19143 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 78808 Sending SIGTERM to -26202 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.53 CPU user time (s): 1799.9 CPU system time (s): 0.626904 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (Kb): 78808 The end
Begin job on node75 on Sat Jun 3 14:15:59 UTC 2006 FILE ID= 37672-1149344159 PBS_JOBID= 310592 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-stocfor2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node75/37672-1149344159/instance-37672-1149344159.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-37672-1149344159 -o ROOT/results/node75/solver-37672-1149344159 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node75/37672-1149344159/instance-37672-1149344159.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= cbc7f776eebadde6a6228c5e168c70a1 RANDOM SEED= 53730300 /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.259 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.259 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1807184 kB Buffers: 22992 kB Cached: 160532 kB SwapCached: 2048 kB Active: 45636 kB Inactive: 146464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807184 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16032 kB Slab: 42572 kB Committed_AS: 348220 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 14:46:01 UTC 2006