Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | Signal | 1726.81 | 1727.5 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos9.opb |
MD5SUM | 9b565ffd2f62b11d1859d685ea38235b |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 874498 |
Total number of constraints | 110909 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 87 |
Number of constraints which are nor clauses,nor cardinality constraints | 110822 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 14080 |
Number of terms in the objective function | 198658 |
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 | 38727219 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 30720 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 38727219 |
Number of bits of the biggest sum of numbers | 26 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03 c Pueblo version 1.4 (September 2005) 0.03 c Developed @ University of Michigan, Ann Arbor, MI 0.03 c by Hossein Sheini 612.28 c starting to Solve 612.29 c #variables read: 874498 - #constraints read: 118638 1727.20 Pueblo13: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.
ERROR: no interpretation found !
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/node48/watcher-37453-1149322175 -o ROOT/results/node48/solver-37453-1149322175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/37453-1149322175/instance-37453-1149322175.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.35 0.72 0.84 2/64 24882 /proc/meminfo: memFree=1363496/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=18540 CPUtime=0 /proc/24882/stat : 24882 (runsolver) D 24880 24882 24836 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 197887213 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 255539604775 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0 /proc/24882/statm: 4635 279 243 16 0 2626 0 [startup+10.0025 s] /proc/loadavg: 0.45 0.73 0.84 2/64 24882 /proc/meminfo: memFree=1233832/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=131784 CPUtime=9.96 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 32577 0 0 0 980 16 0 0 25 0 1 0 197887213 134946816 32548 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134546705 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 32946 32548 199 16 0 32387 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 131784 [startup+20.0122 s] /proc/loadavg: 0.54 0.74 0.84 2/64 24882 /proc/meminfo: memFree=1126696/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=257568 CPUtime=19.96 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 828881 0 0 0 1674 322 0 0 25 0 1 0 197887213 263749632 59955 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 64392 59955 280 16 0 63833 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 257568 [startup+30.0199 s] /proc/loadavg: 0.61 0.75 0.84 2/64 24882 /proc/meminfo: memFree=1125416/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=257568 CPUtime=29.97 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 2554503 0 0 0 2026 971 0 0 25 0 1 0 197887213 263749632 59332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 64392 59341 204 16 0 63833 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 257568 [startup+40.0256 s] /proc/loadavg: 0.67 0.76 0.84 2/64 24882 /proc/meminfo: memFree=1125992/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=257568 CPUtime=39.97 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 4272036 0 0 0 2388 1609 0 0 25 0 1 0 197887213 263749632 59171 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 64392 59180 204 16 0 63833 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 257568 [startup+50.0323 s] /proc/loadavg: 0.72 0.77 0.84 2/64 24882 /proc/meminfo: memFree=1126376/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=257568 CPUtime=49.97 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 5998211 0 0 0 2747 2250 0 0 25 0 1 0 197887213 263749632 59955 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 64392 59955 882 16 0 63833 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 257568 [startup+60.0381 s] /proc/loadavg: 0.76 0.77 0.84 2/64 24882 /proc/meminfo: memFree=1125352/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=257568 CPUtime=59.97 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 7715281 0 0 0 3100 2897 0 0 25 0 1 0 197887213 263749632 59331 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 64392 59340 204 16 0 63833 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 257568 [startup+70.0448 s] /proc/loadavg: 0.80 0.78 0.84 2/64 24882 /proc/meminfo: memFree=1122984/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=259284 CPUtime=69.98 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 9383135 0 0 0 3426 3572 0 0 25 0 1 0 197887213 265506816 59934 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 64821 59940 204 16 0 64262 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 259284 [startup+80.0515 s] /proc/loadavg: 0.83 0.79 0.85 2/64 24882 /proc/meminfo: memFree=1119016/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=262716 CPUtime=79.98 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 11077992 0 0 0 3762 4236 0 0 25 0 1 0 197887213 269021184 61036 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 65679 61042 204 16 0 65120 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 262716 [startup+90.0572 s] /proc/loadavg: 0.85 0.79 0.85 2/64 24882 /proc/meminfo: memFree=1116328/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=266148 CPUtime=89.98 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 12798854 0 0 0 4115 4883 0 0 25 0 1 0 197887213 272535552 61638 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 66537 61646 205 16 0 65978 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 266148 [startup+100.063 s] /proc/loadavg: 0.88 0.80 0.85 2/64 24882 /proc/meminfo: memFree=1112720/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=269712 CPUtime=99.99 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 14510926 0 0 0 4470 5529 0 0 25 0 1 0 197887213 276185088 62855 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 67428 62861 204 16 0 66869 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 269712 [startup+110.07 s] /proc/loadavg: 0.89 0.81 0.85 2/64 24882 /proc/meminfo: memFree=1108520/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=273144 CPUtime=109.99 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 16231105 0 0 0 4823 6176 0 0 25 0 1 0 197887213 279699456 63629 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 68286 63637 204 16 0 67727 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 273144 [startup+120.075 s] /proc/loadavg: 0.91 0.81 0.85 2/64 24882 /proc/meminfo: memFree=1107432/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=276708 CPUtime=119.99 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 17943890 0 0 0 5171 6828 0 0 25 0 1 0 197887213 283348992 64704 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 69177 64704 710 16 0 68618 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 276708 [startup+130.081 s] /proc/loadavg: 0.92 0.82 0.85 2/64 24882 /proc/meminfo: memFree=1102120/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=280140 CPUtime=130 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 19663783 0 0 0 5515 7485 0 0 25 0 1 0 197887213 286863360 65192 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 70035 65200 204 16 0 69476 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 280140 [startup+140.087 s] /proc/loadavg: 0.93 0.82 0.85 2/64 24882 /proc/meminfo: memFree=1100328/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=283572 CPUtime=139.99 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 21376748 0 0 0 5883 8116 0 0 25 0 1 0 197887213 290377728 66447 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 70893 66447 710 16 0 70334 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 283572 [startup+150.092 s] /proc/loadavg: 0.94 0.83 0.85 2/64 24882 /proc/meminfo: memFree=1097384/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=287136 CPUtime=150 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 23096129 0 0 0 6235 8765 0 0 25 0 1 0 197887213 294027264 67278 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 71784 67283 204 16 0 71225 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 287136 [startup+160.098 s] /proc/loadavg: 0.95 0.83 0.85 2/64 24882 /proc/meminfo: memFree=1093416/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=290568 CPUtime=160 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 24808752 0 0 0 6600 9400 0 0 25 0 1 0 197887213 297541632 68191 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 72642 68191 710 16 0 72083 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 290568 [startup+170.104 s] /proc/loadavg: 0.96 0.84 0.85 2/64 24882 /proc/meminfo: memFree=1088232/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=294132 CPUtime=170.01 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 26529468 0 0 0 6960 10041 0 0 25 0 1 0 197887213 301191168 68647 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 73533 68654 204 16 0 72974 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 294132 [startup+180.11 s] /proc/loadavg: 0.96 0.84 0.85 2/64 24882 /proc/meminfo: memFree=1084008/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=297688 CPUtime=180 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 28242278 0 0 0 7297 10703 0 0 25 0 1 0 197887213 304832512 69747 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 74422 69752 204 16 0 73863 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 297688 [startup+190.115 s] /proc/loadavg: 0.97 0.85 0.86 2/64 24882 /proc/meminfo: memFree=1081000/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=301120 CPUtime=190.01 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 29957246 0 0 0 7654 11347 0 0 25 0 1 0 197887213 308346880 70441 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 75280 70448 204 16 0 74721 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 301120 [startup+200.121 s] /proc/loadavg: 0.97 0.85 0.86 2/64 24882 /proc/meminfo: memFree=1079592/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=304552 CPUtime=200.02 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 31664149 0 0 0 8005 11997 0 0 25 0 1 0 197887213 311861248 71619 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 76138 71625 204 16 0 75579 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 304552 [startup+210.127 s] /proc/loadavg: 0.98 0.86 0.86 2/64 24882 /proc/meminfo: memFree=1073832/2055920 swapFree=4181440/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1510.36 Current children cumulated vsize (Kb) 1172384 [startup+1520.9 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=181552/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1197732 CPUtime=1520.36 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101731233 0 0 0 113477 38559 0 0 25 0 1 0 197887213 1226477568 295073 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557250 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 299433 295073 206 16 0 298874 0 Current children cumulated CPU time (s) 1520.36 Current children cumulated vsize (Kb) 1197732 [startup+1530.9 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=146096/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1233012 CPUtime=1530.36 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101740086 0 0 0 114473 38563 0 0 25 0 1 0 197887213 1262604288 303926 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 308253 303926 206 16 0 307694 0 Current children cumulated CPU time (s) 1530.36 Current children cumulated vsize (Kb) 1233012 [startup+1540.91 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=112048/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1267008 CPUtime=1540.36 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101748571 0 0 0 115470 38566 0 0 25 0 1 0 197887213 1297416192 312411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 316752 312411 206 16 0 316193 0 Current children cumulated CPU time (s) 1540.36 Current children cumulated vsize (Kb) 1267008 [startup+1550.91 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=80112/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1298928 CPUtime=1550.37 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101756551 0 0 0 116466 38571 0 0 25 0 1 0 197887213 1330102272 320391 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528681 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 324732 320391 206 16 0 324173 0 Current children cumulated CPU time (s) 1550.37 Current children cumulated vsize (Kb) 1298928 [startup+1560.92 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=50928/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1328040 CPUtime=1560.37 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101763830 0 0 0 117464 38573 0 0 25 0 1 0 197887213 1359912960 327670 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528531 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 332010 327670 206 16 0 331451 0 Current children cumulated CPU time (s) 1560.37 Current children cumulated vsize (Kb) 1328040 [startup+1570.92 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=26224/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1352660 CPUtime=1570.37 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101769985 0 0 0 118460 38577 0 0 25 0 1 0 197887213 1385123840 333825 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 338165 333825 206 16 0 337606 0 Current children cumulated CPU time (s) 1570.37 Current children cumulated vsize (Kb) 1352660 [startup+1580.93 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=15664/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1383400 CPUtime=1580.36 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101777639 0 0 0 119456 38580 0 0 25 0 1 0 197887213 1416601600 341479 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532089 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 345850 341479 206 16 0 345291 0 Current children cumulated CPU time (s) 1580.36 Current children cumulated vsize (Kb) 1383400 [startup+1590.94 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=15664/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1420036 CPUtime=1590.37 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101786831 0 0 0 120452 38585 0 0 25 0 1 0 197887213 1454116864 350671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528600 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 355009 350671 206 16 0 354450 0 Current children cumulated CPU time (s) 1590.37 Current children cumulated vsize (Kb) 1420036 [startup+1600.94 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=16048/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1455052 CPUtime=1600.36 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101795553 0 0 0 121447 38589 0 0 25 0 1 0 197887213 1489973248 359393 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 0 0 0 /proc/24882/statm: 363763 359393 206 16 0 363204 0 Current children cumulated CPU time (s) 1600.36 Current children cumulated vsize (Kb) 1455052 [startup+1610.95 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=15728/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1487592 CPUtime=1610.36 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101803689 0 0 0 122445 38591 0 0 25 0 1 0 197887213 1523294208 367529 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 371898 367529 206 16 0 371339 0 Current children cumulated CPU time (s) 1610.36 Current children cumulated vsize (Kb) 1487592 [startup+1620.95 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=15472/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1515468 CPUtime=1620.35 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101810690 0 0 0 123442 38593 0 0 25 0 1 0 197887213 1551839232 374530 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 378867 374530 206 16 0 378308 0 Current children cumulated CPU time (s) 1620.35 Current children cumulated vsize (Kb) 1515468 [startup+1630.96 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24884 /proc/meminfo: memFree=15856/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1541828 CPUtime=1630.33 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101817249 0 0 0 124438 38595 0 0 25 0 1 0 197887213 1578831872 381089 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557380 0 0 4096 0 0 0 0 17 0 0 0 /proc/24882/statm: 385457 381089 206 16 0 384898 0 Current children cumulated CPU time (s) 1630.33 Current children cumulated vsize (Kb) 1541828 [startup+1640.96 s] /proc/loadavg: 1.07 0.99 0.91 2/64 24884 /proc/meminfo: memFree=15600/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1579196 CPUtime=1640.33 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101826624 0 0 0 125434 38599 0 0 25 0 1 0 197887213 1617096704 390464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528626 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 394799 390464 206 16 0 394240 0 Current children cumulated CPU time (s) 1640.33 Current children cumulated vsize (Kb) 1579196 [startup+1650.97 s] /proc/loadavg: 1.06 0.99 0.91 2/64 24884 /proc/meminfo: memFree=15984/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1615044 CPUtime=1650.34 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101835554 0 0 0 126430 38604 0 0 25 0 1 0 197887213 1653805056 399394 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 403761 399394 206 16 0 403202 0 Current children cumulated CPU time (s) 1650.34 Current children cumulated vsize (Kb) 1615044 [startup+1660.98 s] /proc/loadavg: 1.05 0.99 0.91 2/64 24884 /proc/meminfo: memFree=14896/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1648628 CPUtime=1660.33 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101843951 0 0 0 127426 38607 0 0 25 0 1 0 197887213 1688195072 407791 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528626 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 412157 407791 206 16 0 411598 0 Current children cumulated CPU time (s) 1660.33 Current children cumulated vsize (Kb) 1648628 [startup+1670.98 s] /proc/loadavg: 1.04 0.99 0.91 2/64 24884 /proc/meminfo: memFree=15472/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1676296 CPUtime=1670.31 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101850900 0 0 0 128421 38610 0 0 25 0 1 0 197887213 1716527104 414740 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557380 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 419074 414740 206 16 0 418515 0 Current children cumulated CPU time (s) 1670.31 Current children cumulated vsize (Kb) 1676296 [startup+1680.99 s] /proc/loadavg: 1.04 0.99 0.91 2/64 24884 /proc/meminfo: memFree=15024/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1698396 CPUtime=1680.31 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101856394 0 0 0 129419 38612 0 0 25 0 1 0 197887213 1739157504 420234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 424599 420234 206 16 0 424040 0 Current children cumulated CPU time (s) 1680.31 Current children cumulated vsize (Kb) 1698396 [startup+1691 s] /proc/loadavg: 1.03 0.99 0.91 2/64 24884 /proc/meminfo: memFree=15088/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1733572 CPUtime=1690.32 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101865220 0 0 0 130416 38616 0 0 25 0 1 0 197887213 1775177728 429060 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557250 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 433393 429060 206 16 0 432834 0 Current children cumulated CPU time (s) 1690.32 Current children cumulated vsize (Kb) 1733572 [startup+1701 s] /proc/loadavg: 1.03 0.99 0.91 2/64 24884 /proc/meminfo: memFree=15664/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1766840 CPUtime=1700.32 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101873538 0 0 0 131413 38619 0 0 25 0 1 0 197887213 1809244160 437378 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 441710 437378 206 16 0 441151 0 Current children cumulated CPU time (s) 1700.32 Current children cumulated vsize (Kb) 1766840 [startup+1711.01 s] /proc/loadavg: 1.02 0.99 0.91 2/64 24884 /proc/meminfo: memFree=16112/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1798964 CPUtime=1710.32 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101881570 0 0 0 132409 38623 0 0 25 0 1 0 197887213 1842139136 445410 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 449741 445410 206 16 0 449182 0 Current children cumulated CPU time (s) 1710.32 Current children cumulated vsize (Kb) 1798964 [startup+1721.02 s] /proc/loadavg: 1.02 0.99 0.91 2/64 24884 /proc/meminfo: memFree=15344/2055920 swapFree=4181440/4192956 [pid=24882] ppid=24880 vsize=1827932 CPUtime=1720.33 /proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101888780 0 0 0 133406 38627 0 0 25 0 1 0 197887213 1871802368 452620 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0 /proc/24882/statm: 456983 452620 206 16 0 456424 0 Current children cumulated CPU time (s) 1720.33 Current children cumulated vsize (Kb) 1827932 Child ended because it received signal 6 (SIGABRT) Real time (s): 1727.5 CPU time (s): 1726.81 CPU user time (s): 1340.25 CPU system time (s): 386.567 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (Kb): 1827932 The end
Begin job on node48 on Sat Jun 3 08:09:49 UTC 2006 FILE ID= 37453-1149322175 PBS_JOBID= 309386 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/37453-1149322175/instance-37453-1149322175.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-37453-1149322175 -o ROOT/results/node48/solver-37453-1149322175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/37453-1149322175/instance-37453-1149322175.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 9b565ffd2f62b11d1859d685ea38235b RANDOM SEED= 556847370 /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.259 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.259 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: 1363376 kB Buffers: 30016 kB Cached: 590364 kB SwapCached: 3180 kB Active: 93284 kB Inactive: 535760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1363376 kB SwapTotal: 4192956 kB SwapFree: 4181440 kB Dirty: 228 kB Writeback: 0 kB Mapped: 14868 kB Slab: 49452 kB Committed_AS: 291680 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Sat Jun 3 08:38:49 UTC 2006