Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 362.675 | 362.84 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb |
MD5SUM | daeaeaee67028e931b0f5195f178e9b3 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 107520 |
Total number of constraints | 3312 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 820 |
Number of terms in the objective function | 41280 |
Biggest coefficient in the objective function | 1342177280000000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 260295726093315792 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1342177280000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 260295726093315792 |
Number of bits of the biggest sum of numbers | 58 |
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 Time Limit set via PBTIMEOUT to 1800 0.05 c INFO: OSL Context initialized. 0.06 c BIG Int formula... 2.46 c Initial problem consists of 107520 variables and 4560 constraints. 2.84 c No problem reductions applied in OPT. instance. 2.84 c preprocess terminated. Elapsed time: 2.793 2.84 c After prepocess the problem consists of 77806 variables and 4560 constraints. 2.84 c Initial Lower Bound: 0 4.20 c Restart #1 #Var: 77806 LB: 0 @ 4.156 6.08 c Restart #2 #Var: 77806 LB: 0 @ 6.027 8.58 c Restart #3 #Var: 77806 LB: 0 @ 8.53 11.75 c Restart #4 #Var: 77806 LB: 0 @ 11.692 15.46 c Restart #5 #Var: 77806 LB: 0 @ 15.408 20.03 c Restart #6 #Var: 77806 LB: 0 @ 19.973 25.37 c Restart #7 #Var: 77806 LB: 0 @ 25.316 31.82 c Restart #8 #Var: 77806 LB: 0 @ 31.764 41.91 c Restart #9 #Var: 77806 LB: 0 @ 41.845 52.41 c Restart #10 #Var: 77806 LB: 0 @ 52.35 57.73 c Restart #11 #Var: 77806 LB: 0 @ 57.659 63.06 c Restart #12 #Var: 77806 LB: 0 @ 62.996 63.81 c Restart #13 #Var: 77806 LB: 0 @ 63.742 63.98 c Restart #14 #Var: 77806 LB: 0 @ 63.914 64.18 c Restart #15 #Var: 77806 LB: 0 @ 64.112 64.40 c Restart #16 #Var: 77806 LB: 0 @ 64.332 64.65 c Restart #17 #Var: 77806 LB: 0 @ 64.58 64.90 c Restart #18 #Var: 77806 LB: 0 @ 64.831 65.18 c Restart #19 #Var: 77806 LB: 0 @ 65.113 65.50 c Restart #20 #Var: 77806 LB: 0 @ 65.429 65.80 c Restart #21 #Var: 77806 LB: 0 @ 65.731 66.15 c Restart #22 #Var: 77806 LB: 0 @ 66.085 66.56 c Restart #23 #Var: 77806 LB: 0 @ 66.491 67.00 c Restart #24 #Var: 77806 LB: 0 @ 66.928 67.49 c Restart #25 #Var: 77806 LB: 0 @ 67.419 68.02 c Restart #26 #Var: 77806 LB: 0 @ 67.949 68.96 c Restart #27 #Var: 77806 LB: 0 @ 68.892 69.86 c Restart #28 #Var: 77806 LB: 0 @ 69.796 70.71 c Restart #29 #Var: 77806 LB: 0 @ 70.638 71.40 c Restart #30 #Var: 77806 LB: 0 @ 71.329 71.99 c Restart #31 #Var: 77806 LB: 0 @ 71.92 72.60 c Restart #32 #Var: 77806 LB: 0 @ 72.531 73.20 c Restart #33 #Var: 77806 LB: 0 @ 73.127 73.90 c Restart #34 #Var: 77806 LB: 0 @ 73.835 74.52 c Restart #35 #Var: 77806 LB: 0 @ 74.451 75.21 c Restart #36 #Var: 77806 LB: 0 @ 75.135 76.06 c Restart #37 #Var: 77806 LB: 0 @ 75.993 76.89 c Restart #38 #Var: 77806 LB: 0 @ 76.817 78.05 c Restart #39 #Var: 77798 LB: 0 @ 77.975 79.14 c Restart #40 #Var: 77785 LB: 0 @ 79.066 80.03 c Restart #41 #Var: 77785 LB: 0 @ 79.959 80.91 c Restart #42 #Var: 77785 LB: 0 @ 80.839 81.95 c Restart #43 #Var: 77785 LB: 0 @ 81.878 82.88 c Restart #44 #Var: 77785 LB: 0 @ 82.804 84.53 c Restart #45 #Var: 77765 LB: 0 @ 84.458 103.44 c Restart #46 #Var: 77458 LB: 0 @ 103.37 104.40 c Restart #47 #Var: 77458 LB: 0 @ 104.32 106.88 c Restart #48 #Var: 77440 LB: 0 @ 106.81 109.20 c Restart #49 #Var: 77434 LB: 0 @ 109.12 112.99 c Restart #50 #Var: 77416 LB: 0 @ 112.91 114.03 c Restart #51 #Var: 77416 LB: 0 @ 113.95 115.16 c Restart #52 #Var: 77416 LB: 0 @ 115.08 116.34 c Restart #53 #Var: 77416 LB: 0 @ 116.26 117.53 c Restart #54 #Var: 77416 LB: 0 @ 117.45 119.02 c Restart #55 #Var: 77416 LB: 0 @ 118.94 120.59 c Restart #56 #Var: 77416 LB: 0 @ 120.51 122.40 c Restart #57 #Var: 77416 LB: 0 @ 122.32 123.99 c Restart #58 #Var: 77416 LB: 0 @ 123.91 125.48 c Restart #59 #Var: 77416 LB: 0 @ 125.39 127.01 c Restart #60 #Var: 77416 LB: 0 @ 126.93 128.61 c Restart #61 #Var: 77416 LB: 0 @ 128.53 130.51 c Restart #62 #Var: 77416 LB: 0 @ 130.43 132.17 c Restart #63 #Var: 77416 LB: 0 @ 132.08 134.13 c Restart #64 #Var: 77416 LB: 0 @ 134.05 136.14 c Restart #65 #Var: 77416 LB: 0 @ 136.06 138.28 c Restart #66 #Var: 77416 LB: 0 @ 138.19 140.41 c Restart #67 #Var: 77416 LB: 0 @ 140.32 142.45 c Restart #68 #Var: 77416 LB: 0 @ 142.36 144.52 c Restart #69 #Var: 77416 LB: 0 @ 144.43 148.08 c Restart #70 #Var: 77406 LB: 0 @ 147.99 152.59 c Restart #71 #Var: 77390 LB: 0 @ 152.5 155.19 c Restart #72 #Var: 77390 LB: 0 @ 155.1 157.50 c Restart #73 #Var: 77390 LB: 0 @ 157.41 159.63 c Restart #74 #Var: 77390 LB: 0 @ 159.54 161.91 c Restart #75 #Var: 77390 LB: 0 @ 161.81 164.90 c Restart #76 #Var: 77390 LB: 0 @ 164.81 167.24 c Restart #77 #Var: 77390 LB: 0 @ 167.15 170.10 c Restart #78 #Var: 77390 LB: 0 @ 170 172.76 c Restart #79 #Var: 77390 LB: 0 @ 172.66 176.18 c Restart #80 #Var: 77390 LB: 0 @ 176.08 179.47 c Restart #81 #Var: 77390 LB: 0 @ 179.37 182.36 c Restart #82 #Var: 77390 LB: 0 @ 182.26 185.64 c Restart #83 #Var: 77390 LB: 0 @ 185.53 188.63 c Restart #84 #Var: 77390 LB: 0 @ 188.53 191.47 c Restart #85 #Var: 77390 LB: 0 @ 191.37 194.32 c Restart #86 #Var: 77390 LB: 0 @ 194.22 197.31 c Restart #87 #Var: 77390 LB: 0 @ 197.21 200.46 c Restart #88 #Var: 77390 LB: 0 @ 200.36 203.22 c Restart #89 #Var: 77390 LB: 0 @ 203.12 206.52 c Restart #90 #Var: 77390 LB: 0 @ 206.41 213.09 c Restart #91 #Var: 77386 LB: 0 @ 212.99 216.24 c Restart #92 #Var: 77386 LB: 0 @ 216.14 226.87 c Restart #93 #Var: 77359 LB: 0 @ 226.76 234.04 c Restart #94 #Var: 77346 LB: 0 @ 233.93 237.45 c Restart #95 #Var: 77346 LB: 0 @ 237.33 240.92 c Restart #96 #Var: 77346 LB: 0 @ 240.81 245.56 c Restart #97 #Var: 77337 LB: 0 @ 245.44 249.25 c Restart #98 #Var: 77337 LB: 0 @ 249.13 253.44 c Restart #99 #Var: 77337 LB: 0 @ 253.32 256.89 c Restart #100 #Var: 77337 LB: 0 @ 256.77 260.57 c Restart #101 #Var: 77337 LB: 0 @ 260.45 264.33 c Restart #102 #Var: 77337 LB: 0 @ 264.21 268.14 c Restart #103 #Var: 77337 LB: 0 @ 268.01 272.28 c Restart #104 #Var: 77337 LB: 0 @ 272.16 276.16 c Restart #105 #Var: 77337 LB: 0 @ 276.04 279.92 c Restart #106 #Var: 77337 LB: 0 @ 279.8 284.80 c Restart #107 #Var: 77337 LB: 0 @ 284.68 289.12 c Restart #108 #Var: 77337 LB: 0 @ 288.99 293.10 c Restart #109 #Var: 77337 LB: 0 @ 292.97 297.25 c Restart #110 #Var: 77337 LB: 0 @ 297.12 302.23 c Restart #111 #Var: 77337 LB: 0 @ 302.09 306.32 c Restart #112 #Var: 77337 LB: 0 @ 306.18 310.99 c Restart #113 #Var: 77337 LB: 0 @ 310.85 315.93 c Restart #114 #Var: 77337 LB: 0 @ 315.79 320.29 c Restart #115 #Var: 77337 LB: 0 @ 320.16 325.56 c Restart #116 #Var: 77337 LB: 0 @ 325.42 329.82 c Restart #117 #Var: 77337 LB: 0 @ 329.68 334.58 c Restart #118 #Var: 77337 LB: 0 @ 334.44 338.97 c Restart #119 #Var: 77337 LB: 0 @ 338.83 344.28 c Restart #120 #Var: 77337 LB: 0 @ 344.13 349.79 c Restart #121 #Var: 77337 LB: 0 @ 349.64 355.06 c Restart #122 #Var: 77337 LB: 0 @ 354.91 360.01 c Restart #123 #Var: 77337 LB: 0 @ 359.86
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/node11/watcher-40752-1149315856 -o ROOT/results/node11/solver-40752-1149315856 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40752-1149315856/instance-40752-1149315856.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.96 3/64 3634 /proc/meminfo: memFree=1837840/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=4932 CPUtime=0 /proc/3634/stat : 3634 (bsolo) D 3632 3634 3588 0 -1 0 370 0 0 0 0 0 0 0 18 0 1 0 197248125 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0 /proc/3634/statm: 1233 331 227 55 0 125 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1711904/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=133796 CPUtime=9.94 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115643 0 0 0 942 52 0 0 25 0 1 0 197248125 137007104 31744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 33449 31744 297 55 0 32341 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 133796 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1712104/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=133812 CPUtime=19.95 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115648 0 0 0 1928 67 0 0 25 0 1 0 197248125 137023488 31748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 33453 31748 297 55 0 32345 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 133812 [startup+30.0146 s] /proc/loadavg: 0.95 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1712232/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=133928 CPUtime=29.95 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115652 0 0 0 2908 87 0 0 25 0 1 0 197248125 137142272 31748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 33482 31748 297 55 0 32374 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 133928 [startup+40.0208 s] /proc/loadavg: 0.95 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1711976/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=134176 CPUtime=39.95 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115732 0 0 0 3880 115 0 0 25 0 1 0 197248125 137396224 31828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 33544 31828 297 55 0 32436 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 134176 [startup+50.028 s] /proc/loadavg: 0.96 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1711528/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=134648 CPUtime=49.96 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115855 0 0 0 4853 143 0 0 25 0 1 0 197248125 137879552 31951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 33662 31951 297 55 0 32554 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 134648 [startup+60.0332 s] /proc/loadavg: 0.97 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1709416/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=136760 CPUtime=59.96 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 116380 0 0 0 5828 168 0 0 25 0 1 0 197248125 140042240 32476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 34190 32476 297 55 0 33082 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 136760 [startup+70.0394 s] /proc/loadavg: 0.97 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1632744/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=213596 CPUtime=69.96 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 135518 0 0 0 6804 192 0 0 25 0 1 0 197248125 218722304 51600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 53399 51600 297 55 0 52291 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 213596 [startup+80.0456 s] /proc/loadavg: 0.98 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1532136/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=314816 CPUtime=79.96 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 160671 0 0 0 7789 207 0 0 25 0 1 0 197248125 322371584 76709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 78704 76709 297 55 0 77596 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 314816 [startup+90.0518 s] /proc/loadavg: 0.98 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1488616/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=358616 CPUtime=89.97 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 171618 0 0 0 8783 214 0 0 25 0 1 0 197248125 367222784 87570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 89654 87570 297 55 0 88546 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 358616 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1488296/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=358880 CPUtime=99.97 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 171697 0 0 0 9782 215 0 0 25 0 1 0 197248125 367493120 87649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 89720 87649 297 55 0 88612 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 358880 [startup+110.065 s] /proc/loadavg: 0.98 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1449192/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=398032 CPUtime=109.98 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 181459 0 0 0 10776 222 0 0 25 0 1 0 197248125 407584768 97400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 99508 97400 297 55 0 98400 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 398032 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1371624/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=475756 CPUtime=119.98 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 200842 0 0 0 11764 234 0 0 25 0 1 0 197248125 487174144 116765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 118939 116765 297 55 0 117831 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 475756 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1290856/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=557804 CPUtime=129.99 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 221289 0 0 0 12750 249 0 0 25 0 1 0 197248125 571191296 136931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 139451 136931 297 55 0 138343 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 557804 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1216936/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=631928 CPUtime=139.98 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 239872 0 0 0 13738 260 0 0 25 0 1 0 197248125 647094272 155340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 157982 155340 297 55 0 156874 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 631928 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1164712/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=683796 CPUtime=149.99 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 252997 0 0 0 14730 269 0 0 25 0 1 0 197248125 700207104 168382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 170949 168382 297 55 0 169841 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 683796 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1105640/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=743356 CPUtime=159.99 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 268071 0 0 0 15722 277 0 0 25 0 1 0 197248125 761196544 183125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 185839 183125 297 55 0 184731 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 743356 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=1037928/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=811472 CPUtime=169.99 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 285202 0 0 0 16712 287 0 0 25 0 1 0 197248125 830947328 200006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 202868 200006 297 55 0 201760 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 811472 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=983784/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=865948 CPUtime=180 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 299046 0 0 0 17703 297 0 0 25 0 1 0 197248125 886730752 213524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 216487 213524 297 55 0 215379 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 865948 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=921448/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=927944 CPUtime=190 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 314652 0 0 0 18693 307 0 0 25 0 1 0 197248125 950214656 229089 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 231986 229090 297 55 0 230878 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 927944 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=851624/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=999028 CPUtime=200.01 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 332626 0 0 0 19683 318 0 0 25 0 1 0 197248125 1023004672 246492 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 249757 246492 297 55 0 248649 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 999028 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=794088/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1056304 CPUtime=210.01 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 347073 0 0 0 20676 325 0 0 25 0 1 0 197248125 1081655296 260852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 264076 260852 297 55 0 262968 0 Current children cumulated CPU time (s) 210.01 Current children cumulated vsize (Kb) 1056304 [startup+220.131 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=757736/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1093176 CPUtime=220.02 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 356478 0 0 0 21670 332 0 0 25 0 1 0 197248125 1119412224 269890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 273294 269890 297 55 0 272186 0 Current children cumulated CPU time (s) 220.02 Current children cumulated vsize (Kb) 1093176 [startup+230.137 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=739688/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1111664 CPUtime=230.02 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 361177 0 0 0 22667 335 0 0 25 0 1 0 197248125 1138343936 274427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 277916 274427 297 55 0 276808 0 Current children cumulated CPU time (s) 230.02 Current children cumulated vsize (Kb) 1111664 [startup+240.143 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=687848/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1164148 CPUtime=240.02 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 374513 0 0 0 23661 341 0 0 25 0 1 0 197248125 1192087552 287357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603490 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 291037 287357 297 55 0 289929 0 Current children cumulated CPU time (s) 240.02 Current children cumulated vsize (Kb) 1164148 [startup+250.149 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=641896/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1210256 CPUtime=250.02 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 386218 0 0 0 24654 348 0 0 25 0 1 0 197248125 1239302144 298818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 302564 298818 297 55 0 301456 0 Current children cumulated CPU time (s) 250.02 Current children cumulated vsize (Kb) 1210256 [startup+260.155 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=575144/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1276772 CPUtime=260.03 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 403042 0 0 0 25645 358 0 0 25 0 1 0 197248125 1307414528 315478 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 319193 315478 297 55 0 318085 0 Current children cumulated CPU time (s) 260.03 Current children cumulated vsize (Kb) 1276772 [startup+270.161 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=518376/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1333008 CPUtime=270.02 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 417207 0 0 0 26636 366 0 0 25 0 1 0 197248125 1365000192 329643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 333252 329643 297 55 0 332144 0 Current children cumulated CPU time (s) 270.02 Current children cumulated vsize (Kb) 1333008 [startup+280.167 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=459944/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1391096 CPUtime=280.03 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 431788 0 0 0 27628 375 0 0 25 0 1 0 197248125 1424482304 344224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 347774 344224 297 55 0 346666 0 Current children cumulated CPU time (s) 280.03 Current children cumulated vsize (Kb) 1391096 [startup+290.174 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=411496/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1438884 CPUtime=290.03 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 443881 0 0 0 28622 381 0 0 25 0 1 0 197248125 1473417216 356317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 359721 356317 297 55 0 358613 0 Current children cumulated CPU time (s) 290.03 Current children cumulated vsize (Kb) 1438884 [startup+300.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=347944/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1502488 CPUtime=300.04 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 459915 0 0 0 29614 390 0 0 25 0 1 0 197248125 1538547712 372189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 375622 372189 297 55 0 374514 0 Current children cumulated CPU time (s) 300.04 Current children cumulated vsize (Kb) 1502488 [startup+310.186 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=288168/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1564808 CPUtime=310.04 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 475770 0 0 0 30604 400 0 0 25 0 1 0 197248125 1602363392 387076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 391202 387076 297 55 0 390094 0 Current children cumulated CPU time (s) 310.04 Current children cumulated vsize (Kb) 1564808 [startup+320.192 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=237224/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1615752 CPUtime=320.05 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 488574 0 0 0 31596 409 0 0 25 0 1 0 197248125 1654530048 399796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 403938 399796 297 55 0 402830 0 Current children cumulated CPU time (s) 320.05 Current children cumulated vsize (Kb) 1615752 [startup+330.198 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=185128/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1669848 CPUtime=330.05 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 502246 0 0 0 32588 417 0 0 25 0 1 0 197248125 1709924352 412742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 417462 412742 297 55 0 416354 0 Current children cumulated CPU time (s) 330.05 Current children cumulated vsize (Kb) 1669848 [startup+340.205 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=132136/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1722896 CPUtime=340.05 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 515672 0 0 0 33581 424 0 0 25 0 1 0 197248125 1764245504 426006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 430724 426006 297 55 0 429616 0 Current children cumulated CPU time (s) 340.05 Current children cumulated vsize (Kb) 1722896 [startup+350.212 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=78248/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1778448 CPUtime=350.05 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 529838 0 0 0 34573 432 0 0 25 0 1 0 197248125 1821130752 439448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 444612 439448 297 55 0 443504 0 Current children cumulated CPU time (s) 350.05 Current children cumulated vsize (Kb) 1778448 [startup+360.217 s] /proc/loadavg: 0.99 0.97 0.96 2/64 3634 /proc/meminfo: memFree=23400/2055920 swapFree=4181380/4192956 [pid=3634] ppid=3632 vsize=1833588 CPUtime=360.06 /proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 543858 0 0 0 35565 441 0 0 25 0 1 0 197248125 1877594112 453144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3634/statm: 458397 453144 297 55 0 457289 0 Current children cumulated CPU time (s) 360.06 Current children cumulated vsize (Kb) 1833588 Child ended because it received signal 6 (SIGABRT) Real time (s): 362.84 CPU time (s): 362.675 CPU user time (s): 357.984 CPU system time (s): 4.69129 CPU usage (%): 99.9546 Max. virtual memory (cumulated for all children) (Kb): 1833588 The end
Begin job on node11 on Sat Jun 3 06:24:16 UTC 2006 FILE ID= 40752-1149315856 PBS_JOBID= 308323 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40752-1149315856/instance-40752-1149315856.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-40752-1149315856 -o ROOT/results/node11/solver-40752-1149315856 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40752-1149315856/instance-40752-1149315856.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= daeaeaee67028e931b0f5195f178e9b3 RANDOM SEED= 627026937 /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.222 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 : 5931.00 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.222 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: 1838048 kB Buffers: 13056 kB Cached: 136548 kB SwapCached: 3260 kB Active: 20440 kB Inactive: 137872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838048 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14740 kB Slab: 45536 kB Committed_AS: 357532 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sat Jun 3 06:30:19 UTC 2006