Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.71 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stair.opb |
MD5SUM | 98b9ab286036da69f2015d2ff2a12818 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 471.974 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 11454 |
Total number of constraints | 362 |
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 | 362 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
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 | 524930 |
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 0.36 c starting to Solve 0.36 c #variables read: 11454 - #constraints read: 572
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/node13/watcher-36436-1149275365 -o ROOT/results/node13/solver-36436-1149275365 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node13/36436-1149275365/instance-36436-1149275365.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1669336/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=2328 CPUtime=0 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 193199149 2383872 128 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11848568 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 582 129 110 16 0 11 0 [startup+10.0027 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661848/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=10 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 999 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559569 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 10220 [startup+20.0101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=20 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 1999 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 10220 [startup+30.0174 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=30 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 2999 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 10220 [startup+40.0227 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661984/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=40 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 3999 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10220 [startup+50.0291 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661984/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=50.01 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 5000 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 10220 [startup+60.0354 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661984/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=60.01 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 6000 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 10220 [startup+70.0418 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=70.01 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 7000 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 10220 [startup+80.0481 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=80.02 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 8001 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 10220 [startup+90.0544 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=90.02 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2108 0 0 0 9001 1 0 0 25 0 1 0 193199149 10465280 2079 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2079 206 16 0 1996 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 10220 [startup+100.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=100.02 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2110 0 0 0 10001 1 0 0 25 0 1 0 193199149 10465280 2081 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558603 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2081 206 16 0 1996 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 10220 [startup+110.066 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=110.03 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2110 0 0 0 11002 1 0 0 25 0 1 0 193199149 10465280 2081 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2081 206 16 0 1996 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 10220 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=120.03 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2130 0 0 0 12002 1 0 0 25 0 1 0 193199149 10465280 2101 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2101 206 16 0 1996 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 10220 [startup+130.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661920/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10220 CPUtime=130.03 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2132 0 0 0 13002 1 0 0 25 0 1 0 193199149 10465280 2103 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2555 2103 206 16 0 1996 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 10220 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661856/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10348 CPUtime=140.04 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2146 0 0 0 14003 1 0 0 25 0 1 0 193199149 10596352 2117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2587 2117 206 16 0 2028 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 10348 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661792/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10348 CPUtime=150.04 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2158 0 0 0 15003 1 0 0 25 0 1 0 193199149 10596352 2129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2587 2129 206 16 0 2028 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 10348 [startup+160.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661728/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10348 CPUtime=160.04 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2165 0 0 0 16003 1 0 0 25 0 1 0 193199149 10596352 2136 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2587 2136 206 16 0 2028 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 10348 [startup+170.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661728/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10476 CPUtime=170.05 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2171 0 0 0 17004 1 0 0 25 0 1 0 193199149 10727424 2142 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2619 2142 206 16 0 2060 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 10476 [startup+180.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661728/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10476 CPUtime=180.05 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2174 0 0 0 18004 1 0 0 25 0 1 0 193199149 10727424 2145 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558657 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2619 2145 206 16 0 2060 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 10476 [startup+190.117 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661664/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10476 CPUtime=190.06 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2190 0 0 0 19005 1 0 0 25 0 1 0 193199149 10727424 2161 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2619 2161 206 16 0 2060 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 10476 [startup+200.123 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661664/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=10476 CPUtime=200.06 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2193 0 0 0 20005 1 0 0 25 0 1 0 193199149 10727424 2164 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 2619 2164 206 16 0 2060 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 10476 [startup+210.129 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15194 /proc/meminfo: memFree=1661600/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178160 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 12164 [startup+1783.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1782.61 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178260 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 12164 [startup+1784.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1783.61 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178360 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 12164 [startup+1785.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1784.62 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178461 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 12164 [startup+1786.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1785.63 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178562 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 12164 [startup+1787.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1786.63 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178662 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 12164 [startup+1788.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1787.63 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178762 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 12164 [startup+1789.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1788.64 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178863 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 12164 [startup+1790.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1789.64 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 178963 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 12164 [startup+1791.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1790.65 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179064 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 12164 [startup+1792.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1791.65 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179164 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 12164 [startup+1793.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1792.66 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179265 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 12164 [startup+1794.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1793.66 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179365 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 12164 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1794.67 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179466 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 12164 [startup+1796.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1795.67 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179566 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 12164 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1796.68 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179667 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 12164 [startup+1798.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1797.68 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179767 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 12164 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1798.69 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179868 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 12164 [startup+1800.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1799.69 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 179968 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 12164 [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1800.7 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 180069 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134554664 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 12164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15196 /proc/meminfo: memFree=1659624/2055920 swapFree=4181416/4192956 [pid=15194] ppid=15192 vsize=12164 CPUtime=1800.7 /proc/15194/stat : 15194 (Pueblo) R 15192 15194 15148 0 -1 4194304 2605 0 0 0 180069 1 0 0 25 0 1 0 193199149 12455936 2576 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/15194/statm: 3041 2576 206 16 0 2482 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 12164 Sending SIGTERM to -15194 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.71 CPU user time (s): 1800.69 CPU system time (s): 0.019996 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (Kb): 12164 The end
Begin job on node13 on Fri Jun 2 19:09:25 UTC 2006 FILE ID= 36436-1149275365 PBS_JOBID= 299131 BENCH NAME= ROOT/tmp/node13/36436-1149275365/instance-36436-1149275365.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node13/36436-1149275365/instance-36436-1149275365.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-36436-1149275365 -o ROOT/results/node13/solver-36436-1149275365 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node13/36436-1149275365/instance-36436-1149275365.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 98b9ab286036da69f2015d2ff2a12818 RANDOM SEED= 388575106 /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.234 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.234 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: 1669608 kB Buffers: 17724 kB Cached: 307728 kB SwapCached: 3056 kB Active: 36296 kB Inactive: 297676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1669608 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14664 kB Slab: 38332 kB Committed_AS: 279848 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Fri Jun 2 19:39:27 UTC 2006