Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 113007 | 1782.73 | 1783.36 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb |
MD5SUM | d35dbcd7bf8957c732cac3ff25f67cb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 104028 |
Best CPU time to get the best result obtained on this benchmark | 1.20482 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104028 |
Optimality of the best value was proved | YES |
Number of variables | 282 |
Total number of constraints | 221 |
Number of constraints which are clauses | 177 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 44 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 57 |
Number of terms in the objective function | 282 |
Biggest coefficient in the objective function | 64659 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524436 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 64659 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 524436 |
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.01 c starting to Solve 0.01 c #variables read: 282 - #constraints read: 222 0.01 o 184000 0.01 o 182735 0.01 o 181881 0.01 o 181531 0.01 o 180724 0.01 o 170096 0.01 o 169911 0.01 o 169100 0.01 o 168831 0.01 o 168353 0.01 o 167443 0.01 o 166632 0.02 o 166069 0.02 o 165962 0.02 o 165356 0.02 o 165108 0.02 o 164648 0.02 o 135981 0.02 o 135651 0.02 o 131106 0.02 o 130196 0.02 o 129385 0.03 o 128208 0.03 o 127354 10.82 o 127017 10.82 o 126710 10.82 o 126617 10.82 o 123949 10.82 o 123856 10.82 o 123713 10.82 o 123620 10.83 o 122771 10.83 o 122564 10.83 o 122473 10.83 o 122471 10.83 o 122408 10.83 o 122265 10.83 o 122237 10.83 o 122235 10.83 o 122172 10.83 o 121789 10.83 o 121696 10.83 o 121166 10.83 o 121073 18.88 o 120835 18.88 o 120789 18.88 o 120759 18.89 o 120602 18.89 o 120594 18.90 o 120572 18.90 o 120568 18.90 o 120536 18.90 o 120528 18.90 o 120489 18.90 o 120457 18.90 o 120449 18.90 o 120417 18.90 o 120385 18.90 o 120381 18.90 o 120373 18.91 o 120356 18.91 o 120341 18.91 o 120309 18.91 o 120304 18.91 o 120272 18.91 o 120257 18.92 o 120225 18.92 o 119975 18.92 o 119899 18.92 o 119885 18.93 o 119853 18.93 o 119774 18.93 o 119766 18.93 o 119702 18.94 o 119694 18.95 o 119662 18.95 o 119614 18.95 o 119606 18.96 o 119495 18.96 o 119463 18.96 o 119391 18.96 o 119334 18.96 o 119326 18.96 o 119277 18.96 o 119269 18.97 o 119241 18.97 o 119233 18.97 o 119169 18.97 o 119161 18.98 o 119154 18.98 o 119093 18.98 o 119085 18.98 o 118974 18.99 o 118967 18.99 o 118856 19.00 o 118807 19.01 o 118792 19.01 o 118720 19.02 o 118670 19.02 o 118652 19.02 o 118585 19.03 o 118575 19.03 o 118503 19.04 o 118480 19.09 o 118469 19.09 o 118461 19.12 o 118458 19.12 o 118452 19.13 o 118393 19.13 o 118385 19.13 o 118358 19.13 o 118307 19.13 o 118286 19.14 o 118000 19.14 o 117671 19.14 o 117663 19.14 o 117655 19.14 o 117599 19.15 o 117559 19.15 o 117518 19.15 o 117510 19.15 o 117502 19.15 o 117478 19.16 o 117438 19.16 o 117386 19.16 o 117286 19.21 o 117245 19.22 o 117205 19.23 o 117197 19.23 o 117189 19.24 o 117137 19.24 o 117097 19.25 o 117089 19.25 o 117033 19.26 o 116997 19.26 o 116923 19.27 o 116914 19.30 o 116912 19.30 o 116904 19.31 o 116845 19.31 o 116837 19.31 o 116781 19.31 o 116623 19.41 o 116584 19.43 o 116566 19.43 o 116562 19.43 o 116558 19.44 o 116554 19.45 o 116536 19.45 o 116532 19.46 o 116477 19.46 o 116473 19.46 o 116469 19.47 o 116465 19.48 o 116464 19.48 o 116462 19.49 o 116459 19.49 o 116455 19.49 o 116427 19.50 o 116426 19.50 o 116422 19.50 o 116418 19.50 o 116414 19.51 o 116391 19.51 o 116389 19.52 o 116387 19.52 o 116383 19.53 o 116351 19.53 o 116347 19.72 o 116346 19.72 o 116336 19.72 o 116306 19.76 o 116277 19.76 o 116275 19.77 o 116273 19.82 o 116264 19.82 o 116218 19.85 o 116216 19.85 o 116214 19.85 o 116210 19.88 o 116199 19.95 o 116195 19.95 o 116191 19.96 o 116188 19.97 o 116174 19.97 o 116170 19.97 o 116160 19.97 o 116152 19.97 o 116148 19.97 o 116138 19.97 o 116130 19.98 o 116126 19.98 o 116116 19.98 o 116112 19.98 o 116098 19.99 o 116093 20.01 o 116085 20.01 o 116081 20.01 o 116071 20.01 o 116063 20.01 o 116059 20.03 o 116055 20.03 o 116018 20.04 o 116015 20.05 o 116010 20.05 o 115978 20.06 o 115951 20.06 o 115943 20.06 o 115911 20.07 o 115907 20.07 o 115879 20.07 o 115875 20.07 o 115871 20.07 o 115867 20.08 o 115803 20.08 o 115755 20.09 o 115751 20.09 o 115747 20.09 o 115743 20.10 o 115740 20.10 o 115739 20.10 o 115735 20.10 o 115731 20.11 o 115712 20.11 o 115708 20.11 o 115704 20.12 o 115700 20.12 o 115696 20.12 o 115672 20.29 o 115618 20.30 o 115615 20.30 o 115559 20.30 o 115551 20.33 o 115538 20.33 o 115510 20.36 o 115472 20.37 o 115470 20.37 o 115462 20.37 o 115406 20.37 o 115400 20.38 o 115379 20.38 o 115371 20.38 o 115315 20.40 o 115307 20.40 o 115277 20.40 o 115269 20.41 o 115248 20.43 o 115242 20.43 o 115234 20.44 o 115231 20.44 o 115223 20.45 o 115195 20.45 o 115174 20.46 o 115169 20.46 o 115167 20.46 o 115125 20.46 o 115117 20.46 o 115111 20.46 o 115103 20.59 o 115101 20.59 o 115100 20.59 o 115092 20.59 o 115087 20.59 o 115085 20.60 o 115043 20.61 o 115035 20.63 o 115031 20.63 o 115029 20.65 o 114973 20.65 o 114944 20.65 o 114937 20.67 o 114919 20.67 o 114911 20.67 o 114881 20.67 o 114852 20.67 o 114844 20.67 o 114820 20.68 o 114780 20.78 o 114718 20.80 o 114645 20.80 o 114637 20.81 o 114618 20.81 o 114592 20.81 o 114552 20.82 o 114546 20.82 o 114538 20.82 o 114531 20.82 o 114523 20.82 o 114499 20.83 o 114497 20.83 o 114489 20.83 o 114488 20.84 o 114485 20.85 o 114478 20.85 o 114461 20.85 o 114421 20.87 o 114413 20.87 o 114395 20.87 o 114387 20.88 o 114357 20.88 o 114336 20.89 o 114328 20.89 o 114320 20.89 o 114296 20.89 o 114256 21.68 o 114224 21.69 o 114119 21.69 o 113962 21.70 o 113831 21.83 o 113819 21.84 o 113817 21.84 o 113809 21.85 o 113802 21.85 o 113801 21.86 o 113789 21.86 o 113784 21.86 o 113782 21.86 o 113774 21.86 o 113764 21.86 o 113752 21.86 o 113744 21.87 o 113736 21.87 o 113724 21.87 o 113716 21.87 o 113712 21.88 o 113706 21.88 o 113698 21.88 o 113690 21.88 o 113678 21.88 o 113666 21.89 o 113646 21.89 o 113634 21.89 o 113626 21.89 o 113613 21.92 o 113591 21.92 o 113571 21.92 o 113557 21.94 o 113531 21.97 o 113529 21.97 o 113521 21.98 o 113497 21.99 o 113489 21.99 o 113481 22.00 o 113437 22.00 o 113436 22.00 o 113428 22.01 o 113427 22.02 o 113426 22.02 o 113418 22.02 o 113410 22.03 o 113366 22.03 o 113346 22.03 o 113334 22.04 o 113326 22.05 o 113308 22.05 o 113296 22.10 o 113288 22.11 o 113287 22.11 o 113275 22.11 o 113267 22.11 o 113259 22.11 o 113215 22.12 o 113203 22.12 o 113195 22.20 o 113158 22.21 o 113119 22.21 o 113091 22.22 o 113089 22.22 o 113077 22.22 o 113069 22.22 o 113027 22.22 o 113015 22.23 o 113007 1783.35 c total time : 1783 s 1783.35 s SATISFIABLE 1783.35 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 1783.35 v -x29 -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 1783.35 v -x55 -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 1783.35 v -x81 -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.35 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1783.35 v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1783.35 v -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 1783.35 v -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1783.35 v -x191 x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 x207 x208 -x209 -x210 -x211 -x212 1783.35 v x213 -x214 x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1783.35 v -x235 -x236 -x237 -x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 x255 -x256 x257 1783.35 v x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 x273 x274 -x275 -x276 x277 -x278 -x279 1783.35 v -x280 -x281 x282
OK 113007
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/node74/watcher-36534-1149346912 -o ROOT/results/node74/solver-36534-1149346912 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node74/36534-1149346912/instance-36534-1149346912.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 10624 /proc/meminfo: memFree=1567208/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=2328 CPUtime=0 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 200355536 2383872 128 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7363448 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 582 128 109 16 0 11 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.95 0.98 2/64 10624 /proc/meminfo: memFree=1566392/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=3220 CPUtime=9.99 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 447 0 0 0 970 29 0 0 25 0 1 0 200355536 3297280 418 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 805 418 205 16 0 246 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3220 [startup+20.0077 s] /proc/loadavg: 0.94 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1566008/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=3604 CPUtime=19.99 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 544 0 0 0 1931 68 0 0 25 0 1 0 200355536 3690496 515 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 901 515 205 16 0 342 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 3604 [startup+30.0136 s] /proc/loadavg: 0.95 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565624/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4000 CPUtime=29.99 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 652 0 0 0 2901 98 0 0 25 0 1 0 200355536 4096000 623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1000 623 205 16 0 441 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 4000 [startup+40.0196 s] /proc/loadavg: 0.95 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565624/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4000 CPUtime=39.99 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 652 0 0 0 3883 116 0 0 25 0 1 0 200355536 4096000 623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1000 623 205 16 0 441 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 4000 [startup+50.0255 s] /proc/loadavg: 0.96 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565688/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4000 CPUtime=49.99 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 652 0 0 0 4870 129 0 0 25 0 1 0 200355536 4096000 623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1000 623 205 16 0 441 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 4000 [startup+60.0315 s] /proc/loadavg: 0.97 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4260 CPUtime=60 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 5857 143 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1065 666 205 16 0 506 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 4260 [startup+70.0375 s] /proc/loadavg: 0.97 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4260 CPUtime=70 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 6839 161 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1065 666 205 16 0 506 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 4260 [startup+80.0444 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4260 CPUtime=80.01 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 7830 171 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1065 666 205 16 0 506 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 4260 [startup+90.0504 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4260 CPUtime=90.01 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 8821 180 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1065 666 205 16 0 506 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 4260 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565432/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4260 CPUtime=100.01 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 9811 190 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1065 666 205 16 0 506 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 4260 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.98 2/64 10624 /proc/meminfo: memFree=1565432/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4260 CPUtime=110.01 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 10800 201 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1065 666 205 16 0 506 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 4260 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565368/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4388 CPUtime=120.01 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 724 0 0 0 11784 217 0 0 25 0 1 0 200355536 4493312 695 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1097 695 205 16 0 538 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 4388 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4516 CPUtime=130.02 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 12770 232 0 0 25 0 1 0 200355536 4624384 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1129 726 205 16 0 570 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 4516 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4500 CPUtime=140.02 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 13756 246 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1125 726 205 16 0 566 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 4500 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4500 CPUtime=150.03 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 14741 262 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1125 726 205 16 0 566 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 4500 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4500 CPUtime=160.03 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 15731 272 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1125 726 205 16 0 566 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 4500 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4500 CPUtime=170.03 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 16720 283 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1125 726 205 16 0 566 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 4500 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4500 CPUtime=180.03 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 763 0 0 0 17692 311 0 0 25 0 1 0 200355536 4608000 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1125 734 205 16 0 566 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 4500 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4500 CPUtime=190.04 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 763 0 0 0 18668 336 0 0 25 0 1 0 200355536 4608000 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1125 734 205 16 0 566 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 4500 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=4500 CPUtime=200.04 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 763 0 0 0 19644 360 0 0 25 0 1 0 200355536 4608000 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1125 734 205 16 0 566 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 4500 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956 ################ # More data... # ################ /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1590.4 Current children cumulated vsize (Kb) 5948 [startup+1600.97 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1600.41 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 156435 3606 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1600.41 Current children cumulated vsize (Kb) 5948 [startup+1610.98 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1610.4 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 157413 3627 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1610.4 Current children cumulated vsize (Kb) 5948 [startup+1620.98 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1620.41 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 158402 3639 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134516722 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1620.41 Current children cumulated vsize (Kb) 5948 [startup+1630.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1630.41 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 159388 3653 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1630.41 Current children cumulated vsize (Kb) 5948 [startup+1640.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1640.41 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 160374 3667 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1640.41 Current children cumulated vsize (Kb) 5948 [startup+1651 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1650.41 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 161364 3677 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1650.41 Current children cumulated vsize (Kb) 5948 [startup+1661.01 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1660.41 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 162358 3683 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1660.41 Current children cumulated vsize (Kb) 5948 [startup+1671.01 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1670.41 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 163349 3692 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1670.41 Current children cumulated vsize (Kb) 5948 [startup+1681.02 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1680.42 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 164340 3702 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1680.42 Current children cumulated vsize (Kb) 5948 [startup+1691.02 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1690.42 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 165326 3716 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1690.42 Current children cumulated vsize (Kb) 5948 [startup+1701.03 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1700.42 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 166310 3732 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1700.42 Current children cumulated vsize (Kb) 5948 [startup+1711.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1710.43 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 167300 3743 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1710.43 Current children cumulated vsize (Kb) 5948 [startup+1721.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1720.44 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 168287 3757 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1720.44 Current children cumulated vsize (Kb) 5948 [startup+1731.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1730.43 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 169274 3769 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1730.43 Current children cumulated vsize (Kb) 5948 [startup+1741.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1740.44 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 170268 3776 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1740.44 Current children cumulated vsize (Kb) 5948 [startup+1751.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1750.44 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 171258 3786 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1750.44 Current children cumulated vsize (Kb) 5948 [startup+1761.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1760.44 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 172238 3806 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1085 205 16 0 928 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 5948 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563448/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=5948 CPUtime=1770.44 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1135 0 0 0 173211 3833 0 0 25 0 1 0 200355536 6090752 1106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1487 1106 205 16 0 928 0 Current children cumulated CPU time (s) 1770.44 Current children cumulated vsize (Kb) 5948 [startup+1781.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563320/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=6152 CPUtime=1780.45 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1169 0 0 0 174191 3854 0 0 25 0 1 0 200355536 6299648 1140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1538 1140 205 16 0 979 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 6152 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563320/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=6152 CPUtime=1781.45 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1169 0 0 0 174289 3856 0 0 25 0 1 0 200355536 6299648 1140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1538 1140 205 16 0 979 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 6152 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 10624 /proc/meminfo: memFree=1563320/2055920 swapFree=4182292/4192956 [pid=10624] ppid=10622 vsize=6152 CPUtime=1782.46 /proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1169 0 0 0 174389 3857 0 0 25 0 1 0 200355536 6299648 1140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10624/statm: 1538 1140 205 16 0 979 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 6152 Child status: 10 Real time (s): 1783.36 CPU time (s): 1782.73 CPU user time (s): 1744.15 CPU system time (s): 38.5771 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (Kb): 6152
Begin job on node74 on Sat Jun 3 15:01:52 UTC 2006 FILE ID= 36534-1149346912 PBS_JOBID= 310746 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node74/36534-1149346912/instance-36534-1149346912.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-36534-1149346912 -o ROOT/results/node74/solver-36534-1149346912 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node74/36534-1149346912/instance-36534-1149346912.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= d35dbcd7bf8957c732cac3ff25f67cb4 RANDOM SEED= 787186765 /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.274 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.274 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: 1567416 kB Buffers: 15544 kB Cached: 410124 kB SwapCached: 2324 kB Active: 185916 kB Inactive: 248360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1567416 kB SwapTotal: 4192956 kB SwapFree: 4182292 kB Dirty: 152 kB Writeback: 0 kB Mapped: 15880 kB Slab: 40312 kB Committed_AS: 310592 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node74 on Sat Jun 3 15:31:35 UTC 2006