Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 258411 | 1782.74 | 1783.26 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb |
MD5SUM | 3d08eecd6841b46afc4009161d25bc6a |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 258411 |
Best CPU time to get the best result obtained on this benchmark | 1.16982 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 258411 |
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 | 160646 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 1302615 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 160646 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1302615 |
Number of bits of the biggest sum of numbers | 21 |
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 457129 0.01 o 453986 0.01 o 451864 0.01 o 450994 0.01 o 448989 0.01 o 422581 0.01 o 422122 0.01 o 420107 0.01 o 419438 0.01 o 418247 0.01 o 415987 0.01 o 413972 0.02 o 412575 0.02 o 412309 0.02 o 410805 0.02 o 410187 0.02 o 409045 0.02 o 337813 0.02 o 336993 0.02 o 325700 0.02 o 323440 0.02 o 321425 0.02 o 318506 0.02 o 316384 0.16 o 311908 0.16 o 311349 0.16 o 308652 0.16 o 308093 0.16 o 307986 0.16 o 307719 0.16 o 307160 0.17 o 307131 0.19 o 307070 0.19 o 306649 0.19 o 306417 0.20 o 306279 27.05 o 305196 27.06 o 304261 27.06 o 303480 27.06 o 303359 53.51 o 303236 53.51 o 301046 53.52 o 299667 53.52 o 299435 53.52 o 297910 53.52 o 296253 53.52 o 296164 53.52 o 295997 53.52 o 295994 53.52 o 295772 53.52 o 295605 53.52 o 295243 53.52 o 295011 53.52 o 291999 53.53 o 291938 53.54 o 291935 53.54 o 291904 53.54 o 291864 53.54 o 291861 53.54 o 291686 53.55 o 291546 53.55 o 291543 53.55 o 291512 53.55 o 291509 53.55 o 291403 53.55 o 291400 53.56 o 291314 53.56 o 291311 53.56 o 291136 53.56 o 291133 53.59 o 291111 53.59 o 290900 53.59 o 290897 53.60 o 290821 53.60 o 290732 53.60 o 290554 53.62 o 290502 53.63 o 290392 53.63 o 290234 53.64 o 290050 53.64 o 290017 53.65 o 289928 53.65 o 289921 53.65 o 289743 53.71 o 289386 53.72 o 289353 53.72 o 289139 53.72 o 289061 53.72 o 288868 53.72 o 288829 53.72 o 288636 53.73 o 288481 53.78 o 288382 53.78 o 288363 53.80 o 288216 53.80 o 287958 53.81 o 287763 53.81 o 287681 53.82 o 287647 53.82 o 287549 53.83 o 287371 53.85 o 287259 53.86 o 287171 53.86 o 286992 53.86 o 286875 53.88 o 286861 53.89 o 286790 53.90 o 286629 53.96 o 286503 53.97 o 286490 53.97 o 286456 53.97 o 286422 53.98 o 286312 53.98 o 286258 53.99 o 286141 53.99 o 286128 53.99 o 286094 54.00 o 286048 54.00 o 286044 54.00 o 285883 54.00 o 285734 54.01 o 285675 54.01 o 285672 54.01 o 285547 54.01 o 285544 54.02 o 285387 54.08 o 285285 54.09 o 285282 54.09 o 285268 54.09 o 285265 54.09 o 285107 54.09 o 285104 54.17 o 284987 54.17 o 284948 54.17 o 284914 54.18 o 284897 54.18 o 284736 54.21 o 284585 54.21 o 284538 54.21 o 284504 54.22 o 284467 54.22 o 284382 54.23 o 284353 54.24 o 284243 54.24 o 284213 54.24 o 284196 54.25 o 284183 54.25 o 284065 54.25 o 284011 54.26 o 283981 54.26 o 283964 54.26 o 283951 54.26 o 283833 54.27 o 283803 54.54 o 283692 54.58 o 283647 54.58 o 283617 54.60 o 283554 54.60 o 283524 54.60 o 283500 54.61 o 283470 54.61 o 283453 54.61 o 283322 54.61 o 283292 54.71 o 283181 54.72 o 283088 54.72 o 283058 54.72 o 283054 54.73 o 283034 54.73 o 283004 54.73 o 282987 54.73 o 282979 54.74 o 282856 54.74 o 282826 54.83 o 282752 54.83 o 282725 54.83 o 282695 54.84 o 282691 54.84 o 282649 54.84 o 282454 54.84 o 282367 54.85 o 282325 54.85 o 282295 54.86 o 282290 54.86 o 282260 54.86 o 282243 54.86 o 282112 54.86 o 282082 54.87 o 281957 54.87 o 281938 54.87 o 281917 54.91 o 281795 54.92 o 281516 54.92 o 281511 54.92 o 281503 54.92 o 281486 54.93 o 281469 54.93 o 281338 54.94 o 281331 54.94 o 281200 54.94 o 281170 54.97 o 281065 54.98 o 281043 54.99 o 280912 55.00 o 280882 55.01 o 280877 55.01 o 280865 55.01 o 280734 55.01 o 280704 1430.38 o 277351 1430.38 o 277068 1430.38 o 276827 1430.38 o 276595 1430.38 o 270971 1430.38 o 268077 1430.38 o 267836 1430.39 o 267639 1430.39 o 267398 1430.39 o 267296 1430.39 o 267055 1430.39 o 267039 1430.39 o 266813 1430.39 o 266711 1430.39 o 266470 1430.39 o 266454 1430.40 o 266238 1430.40 o 266222 1481.53 o 263102 1481.53 o 262887 1481.53 o 262870 1481.53 o 262655 1541.00 o 262550 1541.11 o 261822 1541.13 o 261805 1541.14 o 261766 1541.14 o 261749 1541.14 o 261551 1541.14 o 261534 1541.15 o 261152 1541.15 o 260920 1541.15 o 260904 1541.15 o 260567 1541.15 o 260335 1541.15 o 260319 1541.16 o 260054 1541.16 o 259822 1541.16 o 259607 1541.16 o 259525 1541.16 o 259293 1541.16 o 259237 1541.16 o 259022 1541.17 o 258969 1541.17 o 258955 1541.17 o 258723 1541.17 o 258626 1541.17 o 258411 1783.16 c total time : 1783 s 1783.16 s SATISFIABLE 1783.16 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.16 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.16 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.16 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 1783.16 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1783.16 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1783.16 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1783.16 v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1783.16 v -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1783.16 v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 1783.16 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253 1783.16 v -x254 x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 1783.16 v x276 x277 x278 -x279 -x280 x281 x282
OK 258411
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/node64/watcher-36309-1149322600 -o ROOT/results/node64/solver-36309-1149322600 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node64/36309-1149322600/instance-36309-1149322600.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.67 0.92 0.97 2/64 4250 /proc/meminfo: memFree=1485336/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=2280 CPUtime=0 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 34251235 2334720 134 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4160437072 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 570 144 122 16 0 11 0 [startup+10.0013 s] /proc/loadavg: 0.72 0.92 0.97 2/64 4250 /proc/meminfo: memFree=1484464/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3224 CPUtime=9.99 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 448 0 0 0 961 38 0 0 25 0 1 0 34251235 3301376 419 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 806 419 205 16 0 247 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3224 [startup+20.0072 s] /proc/loadavg: 0.77 0.92 0.97 2/64 4250 /proc/meminfo: memFree=1484400/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3356 CPUtime=20 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 476 0 0 0 1939 61 0 0 25 0 1 0 34251235 3436544 447 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 839 447 205 16 0 280 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 3356 [startup+30.0131 s] /proc/loadavg: 0.80 0.92 0.97 2/64 4250 /proc/meminfo: memFree=1484336/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3488 CPUtime=30 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 500 0 0 0 2919 81 0 0 25 0 1 0 34251235 3571712 471 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 872 471 205 16 0 313 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 3488 [startup+40.019 s] /proc/loadavg: 0.83 0.93 0.97 2/64 4250 /proc/meminfo: memFree=1484272/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3620 CPUtime=40 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 533 0 0 0 3907 93 0 0 25 0 1 0 34251235 3706880 504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 905 504 205 16 0 346 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3620 [startup+50.0249 s] /proc/loadavg: 0.86 0.93 0.97 2/64 4250 /proc/meminfo: memFree=1484272/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3620 CPUtime=50 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 534 0 0 0 4875 125 0 0 25 0 1 0 34251235 3706880 505 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 905 505 205 16 0 346 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 3620 [startup+60.0307 s] /proc/loadavg: 0.88 0.93 0.97 2/64 4250 /proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3884 CPUtime=60.01 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 5849 152 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 971 572 205 16 0 412 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 3884 [startup+70.0366 s] /proc/loadavg: 0.90 0.93 0.97 2/64 4250 /proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3884 CPUtime=70.01 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 6830 171 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 971 572 205 16 0 412 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 3884 [startup+80.0425 s] /proc/loadavg: 0.91 0.93 0.97 2/64 4250 /proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3884 CPUtime=80.01 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 7820 181 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 971 572 205 16 0 412 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 3884 [startup+90.0484 s] /proc/loadavg: 0.92 0.94 0.97 2/64 4250 /proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3884 CPUtime=90.01 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 8812 189 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 971 572 205 16 0 412 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 3884 [startup+100.054 s] /proc/loadavg: 0.94 0.94 0.97 2/64 4250 /proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3884 CPUtime=100.02 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 9806 196 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 971 572 205 16 0 412 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 3884 [startup+110.06 s] /proc/loadavg: 0.95 0.94 0.97 2/64 4250 /proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=3884 CPUtime=110.02 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 607 0 0 0 10799 203 0 0 25 0 1 0 34251235 3977216 578 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 971 578 205 16 0 412 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 3884 [startup+120.067 s] /proc/loadavg: 0.95 0.94 0.97 2/64 4250 /proc/meminfo: memFree=1483952/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4012 CPUtime=120.03 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 627 0 0 0 11793 210 0 0 25 0 1 0 34251235 4108288 598 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1003 598 205 16 0 444 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 4012 [startup+130.073 s] /proc/loadavg: 0.96 0.94 0.97 2/64 4250 /proc/meminfo: memFree=1483824/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4140 CPUtime=130.03 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 668 0 0 0 12783 220 0 0 25 0 1 0 34251235 4239360 639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1035 639 205 16 0 476 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 4140 [startup+140.079 s] /proc/loadavg: 0.97 0.94 0.97 2/64 4250 /proc/meminfo: memFree=1483824/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4140 CPUtime=140.03 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 668 0 0 0 13773 230 0 0 25 0 1 0 34251235 4239360 639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1035 639 205 16 0 476 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 4140 [startup+150.085 s] /proc/loadavg: 0.97 0.94 0.97 2/64 4250 /proc/meminfo: memFree=1483824/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4140 CPUtime=150.04 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 668 0 0 0 14765 239 0 0 25 0 1 0 34251235 4239360 639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1035 639 205 16 0 476 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 4140 [startup+160.091 s] /proc/loadavg: 0.97 0.95 0.97 2/64 4250 /proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4268 CPUtime=160.05 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 702 0 0 0 15761 244 0 0 25 0 1 0 34251235 4370432 673 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1067 673 205 16 0 508 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 4268 [startup+170.096 s] /proc/loadavg: 0.98 0.95 0.97 2/64 4250 /proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4268 CPUtime=170.05 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 704 0 0 0 16756 249 0 0 25 0 1 0 34251235 4370432 675 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1067 675 205 16 0 508 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 4268 [startup+180.103 s] /proc/loadavg: 0.98 0.95 0.97 2/64 4250 /proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4268 CPUtime=180.05 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 706 0 0 0 17752 253 0 0 25 0 1 0 34251235 4370432 677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1067 677 205 16 0 508 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 4268 [startup+190.109 s] /proc/loadavg: 0.98 0.95 0.97 2/64 4250 /proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4268 CPUtime=190.05 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 706 0 0 0 18745 260 0 0 25 0 1 0 34251235 4370432 677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1067 677 205 16 0 508 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 4268 [startup+200.115 s] /proc/loadavg: 0.99 0.95 0.97 2/64 4250 /proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=4268 CPUtime=200.06 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 706 0 0 0 19738 268 0 0 25 0 1 0 34251235 4370432 677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1067 677 205 16 0 508 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 4268 [startup+210.121 s] /proc/loadavg: 0.99 0.95 0.97 2/64 4250 /proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956 ################ # More data... # ################ /proc/4250/statm: 1333 956 205 16 0 774 0 Current children cumulated CPU time (s) 1590.54 Current children cumulated vsize (Kb) 5332 [startup+1600.93 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482416/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5332 CPUtime=1600.54 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 989 0 0 0 158200 1854 0 0 25 0 1 0 34251235 5459968 956 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1333 956 205 16 0 774 0 Current children cumulated CPU time (s) 1600.54 Current children cumulated vsize (Kb) 5332 [startup+1610.94 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482416/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1610.54 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 998 0 0 0 159184 1870 0 0 25 0 1 0 34251235 5595136 965 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 965 205 16 0 807 0 Current children cumulated CPU time (s) 1610.54 Current children cumulated vsize (Kb) 5464 [startup+1620.94 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1620.54 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 160173 1881 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 5464 [startup+1630.95 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1630.55 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 161161 1894 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1630.55 Current children cumulated vsize (Kb) 5464 [startup+1640.96 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1640.56 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 162149 1907 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1640.56 Current children cumulated vsize (Kb) 5464 [startup+1650.96 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1650.56 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 163139 1917 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1650.56 Current children cumulated vsize (Kb) 5464 [startup+1660.97 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1660.56 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 164127 1929 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1660.56 Current children cumulated vsize (Kb) 5464 [startup+1670.97 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1670.56 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 165112 1944 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1670.56 Current children cumulated vsize (Kb) 5464 [startup+1680.98 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1680.57 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 166098 1959 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1680.57 Current children cumulated vsize (Kb) 5464 [startup+1690.99 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1690.57 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 167084 1973 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 972 205 16 0 807 0 Current children cumulated CPU time (s) 1690.57 Current children cumulated vsize (Kb) 5464 [startup+1700.99 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1700.57 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1011 0 0 0 168076 1981 0 0 25 0 1 0 34251235 5595136 978 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 978 205 16 0 807 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 5464 [startup+1711 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1710.58 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1013 0 0 0 169068 1990 0 0 25 0 1 0 34251235 5595136 980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 980 205 16 0 807 0 Current children cumulated CPU time (s) 1710.58 Current children cumulated vsize (Kb) 5464 [startup+1721 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5464 CPUtime=1720.59 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1013 0 0 0 170058 2001 0 0 25 0 1 0 34251235 5595136 980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1366 980 205 16 0 807 0 Current children cumulated CPU time (s) 1720.59 Current children cumulated vsize (Kb) 5464 [startup+1731.01 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5580 CPUtime=1730.58 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 171048 2010 0 0 25 0 1 0 34251235 5713920 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1395 990 205 16 0 836 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 5580 [startup+1741.02 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5572 CPUtime=1740.59 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 172032 2027 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1393 990 205 16 0 834 0 Current children cumulated CPU time (s) 1740.59 Current children cumulated vsize (Kb) 5572 [startup+1751.02 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5572 CPUtime=1750.59 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 173017 2042 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1393 990 205 16 0 834 0 Current children cumulated CPU time (s) 1750.59 Current children cumulated vsize (Kb) 5572 [startup+1761.03 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5572 CPUtime=1760.59 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 174005 2054 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1393 990 205 16 0 834 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 5572 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5572 CPUtime=1770.6 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 174996 2064 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1393 990 205 16 0 834 0 Current children cumulated CPU time (s) 1770.6 Current children cumulated vsize (Kb) 5572 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5572 CPUtime=1780.6 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 175984 2076 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1393 990 205 16 0 834 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 5572 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5572 CPUtime=1781.6 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 176083 2077 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527925 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1393 990 205 16 0 834 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 5572 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.97 2/64 4250 /proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956 [pid=4250] ppid=4248 vsize=5572 CPUtime=1782.62 /proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 176183 2079 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/4250/statm: 1393 990 205 16 0 834 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 5572 Child status: 10 Real time (s): 1783.26 CPU time (s): 1782.74 CPU user time (s): 1761.94 CPU system time (s): 20.7938 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (Kb): 5580
Begin job on node64 on Sat Jun 3 08:16:40 UTC 2006 FILE ID= 36309-1149322600 PBS_JOBID= 309447 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node64/36309-1149322600/instance-36309-1149322600.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node64/watcher-36309-1149322600 -o ROOT/results/node64/solver-36309-1149322600 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node64/36309-1149322600/instance-36309-1149322600.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 3d08eecd6841b46afc4009161d25bc6a RANDOM SEED= 982035799 /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.219 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.219 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: 1485544 kB Buffers: 31004 kB Cached: 461484 kB SwapCached: 444 kB Active: 50440 kB Inactive: 456120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1485544 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 180 kB Writeback: 0 kB Mapped: 23736 kB Slab: 49792 kB Committed_AS: 254428 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node64 on Sat Jun 3 08:46:23 UTC 2006