Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 1581 | 1782.73 | 1783.19 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 2.65859 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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.01 c starting to Solve 0.01 c #variables read: 201 - #constraints read: 134 0.01 o 2230 0.01 o 2217 0.01 o 2205 0.01 o 2192 0.01 o 2180 0.01 o 2174 0.01 o 2161 0.01 o 2149 0.01 o 2144 0.01 o 2137 0.01 o 2125 0.01 o 2120 0.01 o 2117 0.01 o 2105 0.01 o 2095 0.02 o 2088 0.02 o 2076 0.02 o 2064 0.03 o 1990 0.03 o 1962 0.03 o 1950 0.03 o 1942 0.03 o 1930 0.03 o 1920 0.04 o 1915 0.04 o 1903 0.04 o 1895 0.04 o 1883 0.04 o 1873 0.04 o 1865 0.04 o 1837 0.04 o 1825 0.04 o 1813 0.04 o 1803 0.04 o 1793 0.04 o 1783 0.09 o 1781 0.10 o 1769 0.17 o 1764 0.21 o 1756 0.22 o 1753 0.23 o 1751 0.60 o 1742 0.61 o 1738 0.61 o 1726 0.62 o 1714 0.62 o 1702 0.64 o 1692 0.69 o 1686 0.70 o 1674 0.70 o 1658 0.70 o 1646 0.72 o 1634 10.63 o 1631 45.40 o 1619 45.54 o 1607 387.89 o 1603 387.89 o 1595 387.89 o 1583 554.86 o 1581 1783.18 c total time : 1783 s 1783.18 s SATISFIABLE 1783.18 v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 1783.18 v -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 1783.18 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 1783.18 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1783.18 v -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1783.18 v -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 1783.18 v x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 1783.18 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 1783.18 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201
OK 1581
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/node26/watcher-36656-1149368565 -o ROOT/results/node26/solver-36656-1149368565 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node26/36656-1149368565/instance-36656-1149368565.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.96 0.98 0.99 3/64 29686 /proc/meminfo: memFree=1296288/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=1136 CPUtime=0 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 59 0 0 0 0 0 0 0 18 0 1 0 20027397 1163264 43 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12591908 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 284 43 33 16 0 8 0 [startup+10.0022 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295464/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3296 CPUtime=9.99 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 450 0 0 0 996 3 0 0 25 0 1 0 20027397 3375104 421 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557290 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 824 421 205 16 0 265 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3296 [startup+20.0082 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295400/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3296 CPUtime=19.99 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 453 0 0 0 1993 6 0 0 25 0 1 0 20027397 3375104 424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 824 424 205 16 0 265 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 3296 [startup+30.0142 s] /proc/loadavg: 0.97 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295400/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3296 CPUtime=30 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 453 0 0 0 2991 9 0 0 25 0 1 0 20027397 3375104 424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 824 424 205 16 0 265 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 3296 [startup+40.0202 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295336/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3424 CPUtime=40 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 481 0 0 0 3987 13 0 0 25 0 1 0 20027397 3506176 452 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 856 452 205 16 0 297 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3424 [startup+50.0262 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295272/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3424 CPUtime=50 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 500 0 0 0 4983 17 0 0 25 0 1 0 20027397 3506176 471 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 856 471 205 16 0 297 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 3424 [startup+60.0322 s] /proc/loadavg: 0.98 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295208/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3424 CPUtime=60.01 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 503 0 0 0 5981 20 0 0 25 0 1 0 20027397 3506176 474 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 856 474 205 16 0 297 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 3424 [startup+70.0382 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295144/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3496 CPUtime=70.01 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 520 0 0 0 6978 23 0 0 25 0 1 0 20027397 3579904 491 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 874 491 205 16 0 315 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 3496 [startup+80.0442 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295144/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3564 CPUtime=80.02 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 531 0 0 0 7976 26 0 0 25 0 1 0 20027397 3649536 502 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 891 502 205 16 0 332 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 3564 [startup+90.0502 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295080/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3564 CPUtime=90.01 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 535 0 0 0 8973 28 0 0 25 0 1 0 20027397 3649536 506 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 891 506 205 16 0 332 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 3564 [startup+100.056 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295080/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3564 CPUtime=100.02 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 535 0 0 0 9972 30 0 0 25 0 1 0 20027397 3649536 506 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 891 506 205 16 0 332 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 3564 [startup+110.062 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295080/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3564 CPUtime=110.02 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 535 0 0 0 10970 32 0 0 25 0 1 0 20027397 3649536 506 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 891 506 205 16 0 332 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 3564 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1295016/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3636 CPUtime=120.03 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 552 0 0 0 11969 34 0 0 25 0 1 0 20027397 3723264 523 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 909 523 205 16 0 350 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 3636 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=130.03 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 569 0 0 0 12967 36 0 0 25 0 1 0 20027397 3858432 540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 540 205 16 0 383 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 3768 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=140.03 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 569 0 0 0 13966 37 0 0 25 0 1 0 20027397 3858432 540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 540 205 16 0 383 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 3768 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=150.04 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 569 0 0 0 14965 39 0 0 25 0 1 0 20027397 3858432 540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 540 205 16 0 383 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 3768 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=160.04 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 569 0 0 0 15962 42 0 0 25 0 1 0 20027397 3858432 540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 540 205 16 0 383 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 3768 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=170.05 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 569 0 0 0 16962 43 0 0 25 0 1 0 20027397 3858432 540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 540 205 16 0 383 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 3768 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=180.05 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 569 0 0 0 17960 45 0 0 25 0 1 0 20027397 3858432 540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 540 205 16 0 383 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 3768 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=190.05 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 569 0 0 0 18959 46 0 0 25 0 1 0 20027397 3858432 540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 540 205 16 0 383 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 3768 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294952/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=3768 CPUtime=200.05 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 576 0 0 0 19957 48 0 0 25 0 1 0 20027397 3858432 547 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 942 547 205 16 0 383 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 3768 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 29686 /proc/meminfo: memFree=1294888/2055920 swapFree=4192956/4192956 ################ # More data... # ################ /proc/29686/statm: 1103 713 205 16 0 544 0 Current children cumulated CPU time (s) 1590.53 Current children cumulated vsize (Kb) 4412 [startup+1600.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294184/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1600.54 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 749 0 0 0 159766 288 0 0 25 0 1 0 20027397 4517888 713 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 713 205 16 0 544 0 Current children cumulated CPU time (s) 1600.54 Current children cumulated vsize (Kb) 4412 [startup+1610.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1610.53 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 160764 289 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1610.53 Current children cumulated vsize (Kb) 4412 [startup+1620.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1620.54 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 161762 292 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 4412 [startup+1630.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1630.54 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 162760 294 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1630.54 Current children cumulated vsize (Kb) 4412 [startup+1640.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1640.55 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 163759 296 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1640.55 Current children cumulated vsize (Kb) 4412 [startup+1650.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1650.55 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 164758 297 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1650.55 Current children cumulated vsize (Kb) 4412 [startup+1660.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1660.55 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 165757 298 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1660.55 Current children cumulated vsize (Kb) 4412 [startup+1670.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1670.56 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 166756 300 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1670.56 Current children cumulated vsize (Kb) 4412 [startup+1680.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1680.56 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 167755 301 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1680.56 Current children cumulated vsize (Kb) 4412 [startup+1691 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294120/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4412 CPUtime=1690.56 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 758 0 0 0 168754 302 0 0 25 0 1 0 20027397 4517888 722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1103 722 205 16 0 544 0 Current children cumulated CPU time (s) 1690.56 Current children cumulated vsize (Kb) 4412 [startup+1701.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4544 CPUtime=1700.57 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 767 0 0 0 169752 305 0 0 25 0 1 0 20027397 4653056 731 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1136 731 205 16 0 577 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 4544 [startup+1711.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4532 CPUtime=1710.58 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 767 0 0 0 170751 307 0 0 25 0 1 0 20027397 4640768 731 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1133 731 205 16 0 574 0 Current children cumulated CPU time (s) 1710.58 Current children cumulated vsize (Kb) 4532 [startup+1721.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1720.58 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 770 0 0 0 171749 309 0 0 25 0 1 0 20027397 4595712 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 734 205 16 0 563 0 Current children cumulated CPU time (s) 1720.58 Current children cumulated vsize (Kb) 4488 [startup+1731.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1730.58 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 770 0 0 0 172748 310 0 0 25 0 1 0 20027397 4595712 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 734 205 16 0 563 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 4488 [startup+1741.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1740.59 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 775 0 0 0 173747 312 0 0 25 0 1 0 20027397 4595712 739 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 739 205 16 0 563 0 Current children cumulated CPU time (s) 1740.59 Current children cumulated vsize (Kb) 4488 [startup+1751.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1750.59 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 776 0 0 0 174746 313 0 0 25 0 1 0 20027397 4595712 740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 740 205 16 0 563 0 Current children cumulated CPU time (s) 1750.59 Current children cumulated vsize (Kb) 4488 [startup+1761.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1760.59 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 776 0 0 0 175745 314 0 0 25 0 1 0 20027397 4595712 740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 740 205 16 0 563 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 4488 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1770.59 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 776 0 0 0 176744 315 0 0 25 0 1 0 20027397 4595712 740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 740 205 16 0 563 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 4488 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1780.6 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 776 0 0 0 177743 317 0 0 25 0 1 0 20027397 4595712 740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 740 205 16 0 563 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 4488 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1781.6 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 776 0 0 0 177843 317 0 0 25 0 1 0 20027397 4595712 740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 740 205 16 0 563 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 4488 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29688 /proc/meminfo: memFree=1294056/2055920 swapFree=4192956/4192956 [pid=29686] ppid=29684 vsize=4488 CPUtime=1782.61 /proc/29686/stat : 29686 (Pueblo) R 29684 29686 29640 0 -1 4194304 776 0 0 0 177944 317 0 0 25 0 1 0 20027397 4595712 740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/29686/statm: 1122 740 205 16 0 563 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 4488 Child status: 10 Real time (s): 1783.19 CPU time (s): 1782.73 CPU user time (s): 1779.56 CPU system time (s): 3.17152 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (Kb): 4544
Begin job on node26 on Sat Jun 3 21:02:45 UTC 2006 FILE ID= 36656-1149368565 PBS_JOBID= 311981 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node26/36656-1149368565/instance-36656-1149368565.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-36656-1149368565 -o ROOT/results/node26/solver-36656-1149368565 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node26/36656-1149368565/instance-36656-1149368565.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED= 752573684 /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.247 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.247 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: 1296496 kB Buffers: 30876 kB Cached: 670816 kB SwapCached: 0 kB Active: 85604 kB Inactive: 630544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1296496 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 152 kB Writeback: 0 kB Mapped: 24912 kB Slab: 29304 kB Committed_AS: 287352 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Sat Jun 3 21:32:28 UTC 2006