Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 104028 | 1782.73 | 1783.32 |
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.02 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.02 o 128208 0.03 o 127354 0.06 o 124743 0.06 o 124013 0.06 o 123699 0.06 o 123605 0.06 o 123526 0.06 o 122485 0.06 o 122268 0.06 o 120082 0.06 o 119865 0.07 o 119693 0.07 o 119476 0.07 o 119392 0.07 o 119300 0.07 o 119267 0.07 o 118221 0.07 o 117504 0.08 o 117347 0.08 o 117115 0.08 o 117051 0.08 o 116958 0.08 o 116894 0.08 o 116882 0.09 o 116880 0.09 o 116832 0.09 o 116820 0.09 o 116818 0.10 o 116801 0.11 o 116788 0.12 o 116763 0.12 o 116726 0.13 o 116723 0.15 o 116720 0.16 o 116667 0.17 o 116619 0.18 o 116579 0.18 o 116518 0.18 o 116500 0.19 o 116446 0.19 o 116432 0.19 o 116369 0.20 o 116368 0.20 o 116354 0.20 o 116291 0.25 o 116242 0.25 o 116237 0.25 o 116228 0.25 o 116165 0.27 o 116162 0.28 o 116143 0.28 o 116129 0.28 o 116092 0.28 o 115990 0.29 o 115973 0.30 o 115959 0.30 o 115947 0.30 o 115916 0.31 o 115880 0.31 o 115868 0.32 o 115853 0.32 o 115805 0.33 o 115803 0.34 o 115795 0.34 o 115743 0.35 o 115731 83.04 o 115723 83.05 o 115699 83.05 o 115621 83.05 o 115606 83.05 o 115528 83.06 o 115485 83.06 o 115447 83.07 o 115443 83.07 o 115432 83.07 o 115354 83.07 o 115335 83.08 o 115324 83.08 o 115270 83.08 o 115192 83.08 o 115188 83.08 o 115177 83.08 o 115099 83.09 o 115061 83.09 o 115057 83.09 o 115046 83.09 o 115035 83.09 o 115031 83.10 o 115020 83.10 o 114942 83.10 o 114904 83.11 o 114900 83.11 o 114889 83.11 o 114811 83.13 o 114806 83.13 o 114769 83.14 o 114731 83.14 o 114701 83.14 o 114690 83.14 o 114612 83.17 o 114574 83.17 o 114559 83.17 o 114481 83.19 o 114470 83.19 o 114427 83.19 o 114389 83.19 o 114366 83.19 o 114323 83.20 o 114245 83.20 o 114207 83.20 o 114203 83.21 o 114182 83.21 o 114114 83.22 o 114088 83.22 o 114050 83.22 o 114046 83.23 o 114035 83.23 o 113957 173.84 o 113931 173.90 o 113930 173.90 o 113925 173.90 o 113911 173.91 o 113893 173.91 o 113888 173.91 o 113874 173.91 o 113866 173.91 o 113863 173.91 o 113833 173.91 o 113819 173.91 o 113811 173.91 o 113807 173.92 o 113799 174.00 o 113797 174.02 o 113796 174.03 o 113781 174.03 o 113741 174.03 o 113729 174.06 o 113725 174.07 o 113707 174.07 o 113702 174.07 o 113700 174.07 o 113670 174.07 o 113668 174.07 o 113638 174.07 o 113637 174.07 o 113631 174.07 o 113629 174.08 o 113604 174.09 o 113590 174.09 o 113588 174.09 o 113582 174.09 o 113580 174.09 o 113577 174.09 o 113574 174.09 o 113572 174.09 o 113550 174.10 o 113540 174.10 o 113538 174.10 o 113508 174.11 o 113506 174.12 o 113500 174.12 o 113498 174.13 o 113476 174.14 o 113436 174.14 o 113434 174.14 o 113428 174.14 o 113409 174.14 o 113407 174.15 o 113369 174.15 o 113367 174.17 o 113344 174.17 o 113341 174.17 o 113339 174.18 o 113317 174.18 o 113315 174.18 o 113285 174.18 o 113283 174.18 o 113277 174.18 o 113275 174.22 o 113235 174.24 o 113208 174.25 o 113202 174.25 o 113172 174.26 o 113138 174.26 o 113108 174.26 o 113100 174.26 o 113069 174.27 o 113047 174.27 o 113015 174.27 o 113007 305.29 o 112475 305.30 o 110876 305.30 o 110700 305.30 o 110587 305.30 o 110562 305.30 o 110449 305.30 o 109147 305.30 o 109034 305.30 o 109009 305.30 o 108896 305.30 o 108780 305.30 o 108760 305.30 o 108735 305.30 o 108622 305.30 o 108529 305.31 o 108525 305.31 o 108457 305.31 o 108420 305.31 o 108327 305.31 o 108323 305.31 o 108230 305.31 o 108181 305.31 o 107375 305.31 o 107307 305.31 o 107237 305.31 o 107214 305.32 o 107144 305.32 o 107076 305.32 o 107072 305.32 o 107047 305.32 o 106979 305.32 o 106942 305.33 o 106849 305.33 o 106845 305.33 o 106752 305.33 o 106703 305.35 o 106658 305.35 o 106578 305.35 o 106570 305.35 o 106485 305.35 o 105920 305.35 o 105883 305.36 o 104332 305.36 o 104293 305.36 o 104285 305.36 o 104259 305.36 o 104251 305.36 o 104166 305.36 o 104154 305.37 o 104147 305.37 o 104121 305.37 o 104113 305.37 o 104028 1783.31 c total time : 1783 s 1783.31 s SATISFIABLE 1783.31 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.31 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.31 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.31 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.31 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1783.31 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1783.31 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1783.31 v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1783.31 v -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1783.31 v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 1783.31 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253 1783.31 v -x254 x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 1783.31 v x276 x277 x278 -x279 -x280 x281 x282
OK 104028
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/node68/watcher-37684-1149346925 -o ROOT/results/node68/solver-37684-1149346925 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37684-1149346925/instance-37684-1149346925.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.80 0.95 0.96 2/64 22711 /proc/meminfo: memFree=1586640/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=172 CPUtime=0 /proc/22711/stat : 22711 (Pueblo13) D 22709 22711 22665 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 200362017 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10515236 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/22711/statm: 43 23 18 16 0 2 0 [startup+10.0027 s] /proc/loadavg: 0.83 0.95 0.96 2/64 22711 /proc/meminfo: memFree=1585896/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3080 CPUtime=9.99 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 411 0 0 0 915 84 0 0 25 0 1 0 200362017 3153920 382 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 770 382 205 16 0 211 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3080 [startup+20.0084 s] /proc/loadavg: 0.86 0.95 0.96 2/64 22711 /proc/meminfo: memFree=1585896/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3080 CPUtime=19.99 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 419 0 0 0 1869 130 0 0 25 0 1 0 200362017 3153920 390 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 770 390 205 16 0 211 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 3080 [startup+30.0141 s] /proc/loadavg: 0.88 0.95 0.96 2/64 22711 /proc/meminfo: memFree=1585832/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3196 CPUtime=29.99 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 430 0 0 0 2847 152 0 0 25 0 1 0 200362017 3272704 401 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 799 401 205 16 0 240 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 3196 [startup+40.0199 s] /proc/loadavg: 0.90 0.95 0.96 2/64 22711 /proc/meminfo: memFree=1585832/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3196 CPUtime=40 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 433 0 0 0 3811 189 0 0 25 0 1 0 200362017 3272704 404 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 799 404 205 16 0 240 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3196 [startup+50.0256 s] /proc/loadavg: 0.91 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585768/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3196 CPUtime=50 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 450 0 0 0 4788 212 0 0 25 0 1 0 200362017 3272704 421 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 799 421 205 16 0 240 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 3196 [startup+60.0313 s] /proc/loadavg: 0.92 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585704/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3300 CPUtime=60 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 459 0 0 0 5767 233 0 0 25 0 1 0 200362017 3379200 430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 825 430 205 16 0 266 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 3300 [startup+70.037 s] /proc/loadavg: 0.94 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585704/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3300 CPUtime=70.01 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 459 0 0 0 6745 256 0 0 25 0 1 0 200362017 3379200 430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 825 430 205 16 0 266 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 3300 [startup+80.0427 s] /proc/loadavg: 0.95 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585704/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3300 CPUtime=80 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 459 0 0 0 7711 289 0 0 25 0 1 0 200362017 3379200 430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 825 430 205 16 0 266 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 3300 [startup+90.0485 s] /proc/loadavg: 0.95 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3560 CPUtime=90 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 521 0 0 0 8686 314 0 0 25 0 1 0 200362017 3645440 492 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 890 492 205 16 0 331 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 3560 [startup+100.054 s] /proc/loadavg: 0.96 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3560 CPUtime=100.01 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 524 0 0 0 9663 338 0 0 25 0 1 0 200362017 3645440 495 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 890 495 205 16 0 331 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 3560 [startup+110.06 s] /proc/loadavg: 0.97 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3560 CPUtime=110.01 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 525 0 0 0 10643 358 0 0 25 0 1 0 200362017 3645440 496 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 890 496 205 16 0 331 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 3560 [startup+120.066 s] /proc/loadavg: 0.97 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3560 CPUtime=120.02 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 527 0 0 0 11622 380 0 0 25 0 1 0 200362017 3645440 498 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 890 498 205 16 0 331 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 3560 [startup+130.071 s] /proc/loadavg: 0.97 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585320/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3668 CPUtime=130.01 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 555 0 0 0 12602 399 0 0 25 0 1 0 200362017 3756032 526 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 917 526 205 16 0 358 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 3668 [startup+140.077 s] /proc/loadavg: 0.98 0.96 0.96 2/64 22711 /proc/meminfo: memFree=1585320/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3668 CPUtime=140.02 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 556 0 0 0 13585 417 0 0 25 0 1 0 200362017 3756032 527 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 917 527 205 16 0 358 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 3668 [startup+150.083 s] /proc/loadavg: 0.98 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1585320/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3668 CPUtime=150.02 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 558 0 0 0 14568 434 0 0 25 0 1 0 200362017 3756032 529 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 917 529 205 16 0 358 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 3668 [startup+160.089 s] /proc/loadavg: 0.98 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1585256/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3668 CPUtime=160.03 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 560 0 0 0 15553 450 0 0 25 0 1 0 200362017 3756032 531 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 917 531 205 16 0 358 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 3668 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1585256/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3668 CPUtime=170.02 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 562 0 0 0 16530 472 0 0 25 0 1 0 200362017 3756032 533 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 917 533 205 16 0 358 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 3668 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1585192/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3768 CPUtime=180.03 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 573 0 0 0 17498 505 0 0 25 0 1 0 200362017 3858432 544 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 942 544 205 16 0 383 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 3768 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1585128/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3896 CPUtime=190.03 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 602 0 0 0 18457 546 0 0 25 0 1 0 200362017 3989504 573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 974 573 205 16 0 415 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 3896 [startup+200.111 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1585064/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=3896 CPUtime=200.03 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 606 0 0 0 19417 586 0 0 25 0 1 0 200362017 3989504 577 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 974 577 205 16 0 415 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 3896 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1585064/2055920 swapFree=4182304/4192956 ################ # More data... # ################ /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1590.39 Current children cumulated vsize (Kb) 4724 [startup+1600.93 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1584040/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1600.4 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 156698 3342 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1600.4 Current children cumulated vsize (Kb) 4724 [startup+1610.93 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1610.4 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 157681 3359 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1610.4 Current children cumulated vsize (Kb) 4724 [startup+1620.94 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1620.41 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 158666 3375 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1620.41 Current children cumulated vsize (Kb) 4724 [startup+1630.95 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1630.41 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 159652 3389 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1630.41 Current children cumulated vsize (Kb) 4724 [startup+1640.95 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1640.4 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 160634 3406 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1640.4 Current children cumulated vsize (Kb) 4724 [startup+1650.96 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1650.41 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 161617 3424 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1650.41 Current children cumulated vsize (Kb) 4724 [startup+1660.96 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1660.42 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 162599 3443 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1660.42 Current children cumulated vsize (Kb) 4724 [startup+1670.97 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1670.42 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 163584 3458 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1670.42 Current children cumulated vsize (Kb) 4724 [startup+1680.98 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1680.42 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 164568 3474 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1680.42 Current children cumulated vsize (Kb) 4724 [startup+1690.98 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1690.42 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 165551 3491 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134565319 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1690.42 Current children cumulated vsize (Kb) 4724 [startup+1700.99 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1700.43 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 166537 3506 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1700.43 Current children cumulated vsize (Kb) 4724 [startup+1710.99 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1710.42 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 167521 3521 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1710.42 Current children cumulated vsize (Kb) 4724 [startup+1721 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1720.43 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 168507 3536 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1720.43 Current children cumulated vsize (Kb) 4724 [startup+1731 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1730.43 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 169492 3551 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1730.43 Current children cumulated vsize (Kb) 4724 [startup+1741.01 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1740.44 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 170478 3566 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1740.44 Current children cumulated vsize (Kb) 4724 [startup+1751.02 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1750.44 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 171464 3580 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1750.44 Current children cumulated vsize (Kb) 4724 [startup+1761.02 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1760.44 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 172452 3592 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 4724 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1770.44 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 173438 3606 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1770.44 Current children cumulated vsize (Kb) 4724 [startup+1781.03 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1780.44 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 174420 3624 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1780.44 Current children cumulated vsize (Kb) 4724 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1781.45 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 174519 3626 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 4724 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.96 2/64 22711 /proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956 [pid=22711] ppid=22709 vsize=4724 CPUtime=1782.45 /proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 174617 3628 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22711/statm: 1181 803 205 16 0 622 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 4724 Child status: 10 Real time (s): 1783.32 CPU time (s): 1782.73 CPU user time (s): 1746.44 CPU system time (s): 36.2885 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (Kb): 4732
Begin job on node68 on Sat Jun 3 15:02:05 UTC 2006 FILE ID= 37684-1149346925 PBS_JOBID= 310747 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/Pueblo13 ROOT/tmp/node68/37684-1149346925/instance-37684-1149346925.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-37684-1149346925 -o ROOT/results/node68/solver-37684-1149346925 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37684-1149346925/instance-37684-1149346925.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= d35dbcd7bf8957c732cac3ff25f67cb4 RANDOM SEED= 777081327 /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.279 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.279 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: 1586848 kB Buffers: 10752 kB Cached: 396440 kB SwapCached: 2168 kB Active: 72628 kB Inactive: 343108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1586848 kB SwapTotal: 4192956 kB SwapFree: 4182304 kB Dirty: 172 kB Writeback: 0 kB Mapped: 15504 kB Slab: 39392 kB Committed_AS: 342716 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sat Jun 3 15:31:48 UTC 2006