Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 17408 | 1782.73 | 1783.34 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15360 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15360 |
Optimality of the best value was proved | NO |
Number of variables | 163 |
Total number of constraints | 73 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 70 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 102 |
Number of terms in the objective function | 163 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 74742 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 74742 |
Number of bits of the biggest sum of numbers | 17 |
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.02 c starting to Solve 0.02 c #variables read: 163 - #constraints read: 74 0.02 o 24576 0.03 o 23552 0.03 o 22528 0.03 o 21504 0.03 o 20992 0.03 o 20864 27.88 o 20480 27.88 o 20224 27.88 o 20160 27.88 o 20128 27.88 o 20112 27.88 o 20104 27.88 o 20100 27.88 o 20098 27.89 o 19728 27.89 o 19472 27.89 o 19408 27.89 o 19376 27.89 o 19360 27.89 o 19352 27.89 o 19348 27.89 o 19346 27.89 o 19344 27.89 o 19342 27.89 o 19340 27.89 o 19339 52.82 o 19080 52.82 o 19076 52.82 o 19074 53.04 o 18441 53.06 o 18427 53.10 o 18415 53.11 o 18413 53.12 o 18411 53.14 o 18367 53.14 o 18365 53.15 o 18363 53.15 o 18351 53.15 o 18349 53.16 o 18347 53.17 o 18346 53.17 o 18345 53.17 o 18343 53.18 o 18342 53.18 o 18341 53.19 o 18340 53.19 o 18339 53.19 o 18336 53.19 o 18335 53.19 o 18329 53.19 o 18322 53.19 o 18321 53.19 o 18319 53.20 o 18318 53.20 o 18317 53.20 o 18316 53.20 o 18315 261.13 o 18004 261.13 o 17944 261.13 o 17942 261.36 o 17934 408.43 o 17408 1783.33 c total time : 1783 s 1783.33 s SATISFIABLE 1783.33 v -x1 x12 -x23 -x34 x45 -x116 -x161 x162 -x163 -x2 x3 x4 x5 -x6 -x7 -x8 x9 -x10 x11 -x13 x14 -x15 -x16 x17 -x18 x19 -x20 -x21 -x22 x24 1783.33 v x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 1783.33 v -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 1783.33 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 1783.33 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1783.33 v -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1783.33 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 -x160
OK 17408
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/node17/watcher-37796-1149366442 -o ROOT/results/node17/solver-37796-1149366442 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node17/37796-1149366442/instance-37796-1149366442.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734888/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=2572 CPUtime=0 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 202307502 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 3325655 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 643 231 193 16 0 84 0 [startup+10.002 s] /proc/loadavg: 0.93 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734512/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=2840 CPUtime=9.99 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 339 0 0 0 911 88 0 0 25 0 1 0 202307502 2908160 310 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 710 310 205 16 0 151 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 2840 [startup+20.0078 s] /proc/loadavg: 0.94 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734584/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=2840 CPUtime=19.99 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 341 0 0 0 1815 184 0 0 25 0 1 0 202307502 2908160 312 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 710 312 205 16 0 151 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 2840 [startup+30.0137 s] /proc/loadavg: 0.95 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734392/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=2972 CPUtime=30 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 384 0 0 0 2742 258 0 0 25 0 1 0 202307502 3043328 355 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 743 355 205 16 0 184 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 2972 [startup+40.0195 s] /proc/loadavg: 0.96 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734392/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=2972 CPUtime=40 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 396 0 0 0 3737 263 0 0 25 0 1 0 202307502 3043328 367 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 743 367 205 16 0 184 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 2972 [startup+50.0254 s] /proc/loadavg: 0.96 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734392/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=2972 CPUtime=50 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 396 0 0 0 4733 267 0 0 25 0 1 0 202307502 3043328 367 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 743 367 205 16 0 184 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 2972 [startup+60.0312 s] /proc/loadavg: 0.97 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734392/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3084 CPUtime=60 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 406 0 0 0 5725 275 0 0 25 0 1 0 202307502 3158016 377 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 771 377 205 16 0 212 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 3084 [startup+70.0371 s] /proc/loadavg: 0.97 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734328/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3084 CPUtime=70.01 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 420 0 0 0 6711 290 0 0 25 0 1 0 202307502 3158016 391 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 771 391 205 16 0 212 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 3084 [startup+80.0429 s] /proc/loadavg: 0.98 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734328/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3084 CPUtime=80.01 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 421 0 0 0 7698 303 0 0 25 0 1 0 202307502 3158016 392 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519955 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 771 392 205 16 0 212 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 3084 [startup+90.0487 s] /proc/loadavg: 0.98 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734328/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3084 CPUtime=90.01 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 421 0 0 0 8687 314 0 0 25 0 1 0 202307502 3158016 392 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 771 392 205 16 0 212 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 3084 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734328/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3084 CPUtime=100.02 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 424 0 0 0 9679 323 0 0 25 0 1 0 202307502 3158016 395 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 771 395 205 16 0 212 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 3084 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734264/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=110.02 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 430 0 0 0 10662 340 0 0 25 0 1 0 202307502 3276800 401 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 401 205 16 0 241 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 3200 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734264/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=120.02 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 434 0 0 0 11650 352 0 0 25 0 1 0 202307502 3276800 405 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 405 205 16 0 241 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 3200 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734264/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=130.02 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 440 0 0 0 12621 381 0 0 25 0 1 0 202307502 3276800 411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 411 205 16 0 241 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 3200 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734264/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=140.02 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 440 0 0 0 13593 409 0 0 25 0 1 0 202307502 3276800 411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528515 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 411 205 16 0 241 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 3200 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734264/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=150.03 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 440 0 0 0 14533 470 0 0 25 0 1 0 202307502 3276800 411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 411 205 16 0 241 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 3200 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734264/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=160.03 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 440 0 0 0 15491 512 0 0 25 0 1 0 202307502 3276800 411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 411 205 16 0 241 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 3200 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734264/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=170.03 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 440 0 0 0 16449 554 0 0 25 0 1 0 202307502 3276800 411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 411 205 16 0 241 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 3200 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734200/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3200 CPUtime=180.04 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 452 0 0 0 17441 563 0 0 25 0 1 0 202307502 3276800 423 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 800 423 205 16 0 241 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 3200 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734136/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3280 CPUtime=190.04 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 458 0 0 0 18430 574 0 0 25 0 1 0 202307502 3358720 429 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 820 429 205 16 0 261 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 3280 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734136/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3280 CPUtime=200.05 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 459 0 0 0 19419 586 0 0 25 0 1 0 202307502 3358720 430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 820 430 205 16 0 261 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 3280 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6025 /proc/meminfo: memFree=1734136/2055920 swapFree=4180988/4192956 ################ # More data... # ################ /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1590.4 Current children cumulated vsize (Kb) 3524 [startup+1600.95 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1600.41 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 158228 1813 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1600.41 Current children cumulated vsize (Kb) 3524 [startup+1610.96 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1610.4 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 159221 1819 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1610.4 Current children cumulated vsize (Kb) 3524 [startup+1620.97 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1620.41 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 160215 1826 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1620.41 Current children cumulated vsize (Kb) 3524 [startup+1630.97 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1630.42 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 161209 1833 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1630.42 Current children cumulated vsize (Kb) 3524 [startup+1640.98 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1640.41 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 162203 1838 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1640.41 Current children cumulated vsize (Kb) 3524 [startup+1650.98 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1650.42 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 163198 1844 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1650.42 Current children cumulated vsize (Kb) 3524 [startup+1660.99 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1660.42 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 164186 1856 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1660.42 Current children cumulated vsize (Kb) 3524 [startup+1670.99 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1670.42 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 165175 1867 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1670.42 Current children cumulated vsize (Kb) 3524 [startup+1681 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1680.43 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 166163 1880 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1680.43 Current children cumulated vsize (Kb) 3524 [startup+1691.01 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1690.43 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 167151 1892 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1690.43 Current children cumulated vsize (Kb) 3524 [startup+1701.01 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1700.43 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 168141 1902 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1700.43 Current children cumulated vsize (Kb) 3524 [startup+1711.02 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1710.44 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 169135 1909 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1710.44 Current children cumulated vsize (Kb) 3524 [startup+1721.02 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1720.44 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 170128 1916 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1720.44 Current children cumulated vsize (Kb) 3524 [startup+1731.03 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1730.44 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 171119 1925 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1730.44 Current children cumulated vsize (Kb) 3524 [startup+1741.04 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1740.44 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 172110 1934 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1740.44 Current children cumulated vsize (Kb) 3524 [startup+1751.04 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1750.44 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 173102 1942 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1750.44 Current children cumulated vsize (Kb) 3524 [startup+1761.05 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1760.45 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 174095 1950 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 3524 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1770.45 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 175086 1959 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 3524 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1780.45 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 176079 1966 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 3524 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1781.46 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 176178 1968 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 3524 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.95 2/64 6027 /proc/meminfo: memFree=1733624/2055920 swapFree=4180988/4192956 [pid=6025] ppid=6023 vsize=3524 CPUtime=1782.47 /proc/6025/stat : 6025 (Pueblo13) R 6023 6025 5979 0 -1 4194304 535 0 0 0 176278 1969 0 0 25 0 1 0 202307502 3608576 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6025/statm: 881 506 205 16 0 322 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 3524 Child status: 10 Real time (s): 1783.34 CPU time (s): 1782.73 CPU user time (s): 1763.04 CPU system time (s): 19.692 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 3524
Begin job on node17 on Sat Jun 3 20:27:22 UTC 2006 FILE ID= 37796-1149366442 PBS_JOBID= 311855 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node17/37796-1149366442/instance-37796-1149366442.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-37796-1149366442 -o ROOT/results/node17/solver-37796-1149366442 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node17/37796-1149366442/instance-37796-1149366442.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED= 944542737 /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.278 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.278 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: 1735096 kB Buffers: 15656 kB Cached: 239364 kB SwapCached: 3584 kB Active: 51192 kB Inactive: 212444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1735096 kB SwapTotal: 4192956 kB SwapFree: 4180988 kB Dirty: 140 kB Writeback: 0 kB Mapped: 14664 kB Slab: 43188 kB Committed_AS: 368288 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Sat Jun 3 20:57:05 UTC 2006