Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 15360 | 1800.06 | 1800.69 |
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.08 c Time Limit set via PBTIMEOUT to 1800 0.09 c INFO: OSL Context initialized. 0.11 c Initial problem consists of 163 variables and 73 constraints. 0.12 c Switching on LPR. 0.12 c No problem reductions applied in OPT. instance. 0.12 c preprocess terminated. Elapsed time: 0.031 0.12 c After prepocess the problem consists of 163 variables and 73 constraints. 0.18 c Initial Lower Bound: 13312 0.33 o 17921 0.33 c NEW SOLUTION FOUND: 17921 @ 0.243 0.51 c Restart #1 #Var: 163 LB: 13312 @ 0.422 0.71 o 16896 0.71 c NEW SOLUTION FOUND: 16896 @ 0.624 0.72 o 16384 0.72 c NEW SOLUTION FOUND: 16384 @ 0.631 0.73 o 15872 0.73 c NEW SOLUTION FOUND: 15872 @ 0.639 0.77 o 15360 0.77 c NEW SOLUTION FOUND: 15360 @ 0.675 2.28 c Restart #2 #Var: 163 LB: 13312 @ 2.191 6.05 c Restart #3 #Var: 163 LB: 13312 @ 5.954 10.79 c Restart #4 #Var: 163 LB: 13312 @ 10.693 18.49 c Restart #5 #Var: 163 LB: 13312 @ 18.392 23.63 c Restart #6 #Var: 163 LB: 13312 @ 23.524 31.34 c Restart #7 #Var: 163 LB: 13312 @ 31.229 37.12 c Restart #8 #Var: 163 LB: 13312 @ 37.006 45.47 c Restart #9 #Var: 163 LB: 13312 @ 45.36 60.80 c Restart #10 #Var: 163 LB: 13312 @ 60.684 72.67 c Restart #11 #Var: 163 LB: 13312 @ 72.548 87.39 c Restart #12 #Var: 163 LB: 13312 @ 87.267 106.04 c Restart #13 #Var: 163 LB: 13312 @ 105.91 129.91 c Restart #14 #Var: 163 LB: 13312 @ 129.77 151.63 c Restart #15 #Var: 163 LB: 13312 @ 151.49 174.31 c Restart #16 #Var: 163 LB: 13312 @ 174.16 199.60 c Restart #17 #Var: 163 LB: 13312 @ 199.44 236.98 c Restart #18 #Var: 163 LB: 13312 @ 236.81 286.52 c Restart #19 #Var: 163 LB: 13312 @ 286.34 333.01 c Restart #20 #Var: 163 LB: 13312 @ 332.82 366.07 c Restart #21 #Var: 163 LB: 13312 @ 365.87 414.83 c Restart #22 #Var: 163 LB: 13312 @ 414.61 484.70 c Restart #23 #Var: 163 LB: 13312 @ 484.46 538.98 c Restart #24 #Var: 163 LB: 13312 @ 538.72 611.95 c Restart #25 #Var: 163 LB: 13312 @ 611.67 691.36 c Restart #26 #Var: 163 LB: 13312 @ 691.05 782.12 c Restart #27 #Var: 163 LB: 13312 @ 781.79 867.10 c Restart #28 #Var: 163 LB: 13312 @ 866.75 947.18 c Restart #29 #Var: 163 LB: 13312 @ 946.8 1056.86 c Restart #30 #Var: 163 LB: 13312 @ 1056.5 1186.76 c Restart #31 #Var: 163 LB: 13312 @ 1186.3 1280.60 c Restart #32 #Var: 163 LB: 13312 @ 1280.1 1367.17 c Restart #33 #Var: 163 LB: 13312 @ 1366.7 1511.56 c Restart #34 #Var: 163 LB: 13312 @ 1511 1671.85 c Restart #35 #Var: 163 LB: 13312 @ 1671.3 1800.65 s SATISFIABLE 1800.65 c Cost: 15360 1800.65 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 1800.65 v -x24 -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 1800.65 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 1800.65 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 1800.65 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.65 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.65 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1800.65 c Exit Code: 10 1800.65 c Total time: 1800 s
OK 15360
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/node87/watcher-40096-1149366301 -o ROOT/results/node87/solver-40096-1149366301 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/40096-1149366301/instance-40096-1149366301.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.95 3/67 3134 /proc/meminfo: memFree=1708072/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=2952 CPUtime=0 /proc/3134/stat : 3134 (bsolo) D 3132 3134 3088 0 -1 0 49 0 0 0 0 0 0 0 19 0 1 0 202269215 3022848 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11240500 0 0 4096 0 18446744071563611212 0 0 17 1 0 0 /proc/3134/statm: 738 34 26 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1701752/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=9080 CPUtime=9.89 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 41029 0 7 0 969 20 0 0 25 0 1 0 202269215 9297920 1597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11673908 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 2270 1597 429 55 0 1161 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 9080 [startup+20.0085 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1699256/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=11808 CPUtime=19.9 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 80859 0 7 0 1952 38 0 0 25 0 1 0 202269215 12091392 2273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520527 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 2952 2273 429 55 0 1843 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 11808 [startup+30.0147 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1695544/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=15528 CPUtime=29.9 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 121646 0 7 0 2932 58 0 0 25 0 1 0 202269215 15900672 3209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 3882 3209 429 55 0 2773 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 15528 [startup+40.0199 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1689912/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=21128 CPUtime=39.9 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 156422 0 7 0 3910 80 0 0 25 0 1 0 202269215 21635072 4609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 5282 4609 429 55 0 4173 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 21128 [startup+50.026 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1687096/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=24068 CPUtime=49.9 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 193054 0 7 0 4892 98 0 0 25 0 1 0 202269215 24645632 5333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 6017 5333 429 55 0 4908 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 24068 [startup+60.0322 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1685176/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=26232 CPUtime=59.91 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 229867 0 7 0 5875 116 0 0 25 0 1 0 202269215 26861568 5829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 6558 5829 429 55 0 5449 0 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 26232 [startup+70.0383 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1682232/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=29184 CPUtime=69.91 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 261416 0 7 0 6857 134 0 0 25 0 1 0 202269215 29884416 6566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 7296 6566 429 55 0 6187 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 29184 [startup+80.0445 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1679672/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=31676 CPUtime=79.91 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 294176 0 7 0 7839 152 0 0 25 0 1 0 202269215 32436224 7194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11706717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 7919 7194 429 55 0 6810 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 31676 [startup+90.0507 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1675960/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=35112 CPUtime=89.92 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 325939 0 7 0 8820 172 0 0 25 0 1 0 202269215 35954688 8105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11679101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 8778 8105 429 55 0 7669 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 35112 [startup+100.056 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1673912/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=37288 CPUtime=99.92 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 355320 0 7 0 9801 191 0 0 25 0 1 0 202269215 38182912 8646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 9312 8636 429 55 0 8203 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 37288 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1672056/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=39052 CPUtime=109.93 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 385219 0 7 0 10785 208 0 0 25 0 1 0 202269215 39989248 9090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 9763 9090 429 55 0 8654 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 39052 [startup+120.068 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1670648/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=40580 CPUtime=119.93 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 415132 0 7 0 11769 224 0 0 25 0 1 0 202269215 41553920 9438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160353475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 10145 9438 429 55 0 9036 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 40580 [startup+130.074 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1668984/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=42004 CPUtime=129.93 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 444391 0 7 0 12753 240 0 0 25 0 1 0 202269215 43012096 9828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 10501 9828 429 55 0 9392 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 42004 [startup+140.08 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1666680/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=44452 CPUtime=139.93 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 469903 0 7 0 13736 257 0 0 25 0 1 0 202269215 45518848 10418 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159301025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 11113 10418 429 55 0 10004 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 44452 [startup+150.087 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1664696/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=46616 CPUtime=149.93 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 496949 0 7 0 14720 273 0 0 25 0 1 0 202269215 47734784 10914 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 11608 10913 429 55 0 10499 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 46616 [startup+160.092 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1662520/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=48644 CPUtime=159.94 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 522338 0 7 0 15706 288 0 0 25 0 1 0 202269215 49811456 11461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 12161 11461 429 55 0 11052 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 48644 [startup+170.097 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1659960/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=51216 CPUtime=169.94 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 547014 0 7 0 16691 303 0 0 25 0 1 0 202269215 52445184 12109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 12804 12109 429 55 0 11695 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 51216 [startup+180.103 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1657592/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=53660 CPUtime=179.95 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 569610 0 7 0 17676 319 0 0 25 0 1 0 202269215 54947840 12690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 13415 12690 429 55 0 12306 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 53660 [startup+190.109 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1655288/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=55852 CPUtime=189.95 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 593650 0 7 0 18660 335 0 0 25 0 1 0 202269215 57192448 13268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 13963 13268 429 55 0 12854 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 55852 [startup+200.115 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1652600/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=58492 CPUtime=199.95 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 615441 0 7 0 19648 347 0 0 25 0 1 0 202269215 59895808 13928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 14623 13928 429 55 0 13514 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 58492 [startup+210.122 s] /proc/loadavg: 1.00 1.00 0.95 2/67 3134 /proc/meminfo: memFree=1651448/2055888 swapFree=4085404/4096564 ################ # More data... # ################ /proc/3134/statm: 58882 58126 433 55 0 57773 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 235528 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1474296/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=236180 CPUtime=1770.42 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2716343 0 7 0 175448 1594 0 0 25 0 1 0 202269215 241848320 58289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59045 58289 433 55 0 57936 0 Current children cumulated CPU time (s) 1770.42 Current children cumulated vsize (Kb) 236180 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473720/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=236808 CPUtime=1780.43 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2726005 0 7 0 176442 1601 0 0 25 0 1 0 202269215 242491392 58446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59202 58446 433 55 0 58093 0 Current children cumulated CPU time (s) 1780.43 Current children cumulated vsize (Kb) 236808 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473656/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=236860 CPUtime=1781.43 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2726966 0 7 0 176542 1601 0 0 25 0 1 0 202269215 242544640 58453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59215 58453 433 55 0 58106 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 236860 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473592/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=236944 CPUtime=1782.44 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2727957 0 7 0 176642 1602 0 0 25 0 1 0 202269215 242630656 58480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59236 58480 433 55 0 58127 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 236944 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473464/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237052 CPUtime=1783.44 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2728927 0 7 0 176742 1602 0 0 25 0 1 0 202269215 242741248 58507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59263 58507 433 55 0 58154 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 237052 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473464/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237088 CPUtime=1784.45 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2729841 0 7 0 176842 1603 0 0 25 0 1 0 202269215 242778112 58516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59272 58516 433 55 0 58163 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 237088 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473336/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237152 CPUtime=1785.45 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2730824 0 7 0 176942 1603 0 0 25 0 1 0 202269215 242843648 58532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59288 58532 433 55 0 58179 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 237152 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473208/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237344 CPUtime=1786.46 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2731550 0 7 0 177042 1604 0 0 25 0 1 0 202269215 243040256 58580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59336 58580 433 55 0 58227 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 237344 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473208/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237344 CPUtime=1787.46 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2731865 0 7 0 177142 1604 0 0 25 0 1 0 202269215 243040256 58580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59336 58580 433 55 0 58227 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 237344 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473208/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237344 CPUtime=1788.46 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2732185 0 7 0 177242 1604 0 0 25 0 1 0 202269215 243040256 58580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59336 58580 433 55 0 58227 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 237344 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473144/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237384 CPUtime=1789.47 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2732768 0 7 0 177342 1605 0 0 25 0 1 0 202269215 243081216 58590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59346 58590 433 55 0 58237 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 237384 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1473080/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237520 CPUtime=1790.47 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2733532 0 7 0 177442 1605 0 0 25 0 1 0 202269215 243220480 58609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59380 58609 433 55 0 58271 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 237520 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.96 3/67 3136 /proc/meminfo: memFree=1472952/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237576 CPUtime=1791.48 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2734199 0 7 0 177542 1606 0 0 25 0 1 0 202269215 243277824 58638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59394 58638 433 55 0 58285 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 237576 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472888/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237936 CPUtime=1792.48 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2735294 0 7 0 177642 1606 0 0 25 0 1 0 202269215 243646464 58670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11706717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59484 58670 433 55 0 58375 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 237936 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472824/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237716 CPUtime=1793.49 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2736316 0 7 0 177742 1607 0 0 25 0 1 0 202269215 243421184 58673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59429 58673 433 55 0 58320 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 237716 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472760/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237748 CPUtime=1794.49 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2737271 0 7 0 177842 1607 0 0 25 0 1 0 202269215 243453952 58681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59437 58681 433 55 0 58328 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 237748 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472760/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237752 CPUtime=1795.5 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2738269 0 7 0 177942 1608 0 0 25 0 1 0 202269215 243458048 58682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59438 58682 433 55 0 58329 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 237752 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472696/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237832 CPUtime=1796.5 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2739473 0 7 0 178041 1609 0 0 25 0 1 0 202269215 243539968 58699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59458 58699 433 55 0 58349 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 237832 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472568/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237856 CPUtime=1797.5 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2740247 0 7 0 178141 1609 0 0 25 0 1 0 202269215 243564544 58708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59464 58708 433 55 0 58355 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 237856 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472568/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=237940 CPUtime=1798.51 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2741192 0 7 0 178241 1610 0 0 25 0 1 0 202269215 243650560 58725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59485 58725 433 55 0 58376 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 237940 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.96 2/67 3136 /proc/meminfo: memFree=1472504/2055888 swapFree=4085404/4096564 [pid=3134] ppid=3132 vsize=238120 CPUtime=1799.51 /proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2742137 0 7 0 178341 1610 0 0 25 0 1 0 202269215 243834880 58742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3134/statm: 59573 58744 433 55 0 58464 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 238120 Child status: 10 Real time (s): 1800.69 CPU time (s): 1800.06 CPU user time (s): 1783.91 CPU system time (s): 16.1445 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (Kb): 238120
Begin job on node87 on Sat Jun 3 20:25:01 UTC 2006 FILE ID= 40096-1149366301 PBS_JOBID= 311850 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/user10/bsolo ROOT/tmp/node87/40096-1149366301/instance-40096-1149366301.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-40096-1149366301 -o ROOT/results/node87/solver-40096-1149366301 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/40096-1149366301/instance-40096-1149366301.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED= 750439942 /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.234 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 : 6006.17 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.234 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1708216 kB Buffers: 28016 kB Cached: 255304 kB SwapCached: 2348 kB Active: 51272 kB Inactive: 240764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1708216 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 188 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42260 kB Committed_AS: 302500 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 20:55:02 UTC 2006