Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 275.493 | 275.594 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb |
MD5SUM | 707da2ebfa2e9fe97fe57c41e089cde1 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304897224 |
Optimality of the best value was proved | NO |
Number of variables | 21960 |
Total number of constraints | 750 |
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 | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 2147483648 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 869952060630 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 2147483648 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 869952060630 |
Number of bits of the biggest sum of numbers | 40 |
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.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.42 c Initial problem consists of 21960 variables and 1110 constraints. 0.48 c No problem reductions applied in OPT. instance. 0.48 c preprocess terminated. Elapsed time: 0.474 0.48 c After prepocess the problem consists of 18180 variables and 1110 constraints. 0.48 c Initial Lower Bound: 0 0.99 c Restart #1 #Var: 18180 LB: 0 @ 0.981 2.76 c Restart #2 #Var: 18180 LB: 0 @ 2.756 6.05 c Restart #3 #Var: 18180 LB: 0 @ 6.039 9.72 c Restart #4 #Var: 18180 LB: 0 @ 9.707 14.30 c Restart #5 #Var: 18180 LB: 0 @ 14.283 21.58 c Restart #6 #Var: 18180 LB: 0 @ 21.561 30.00 c Restart #7 #Var: 18180 LB: 0 @ 29.983 31.18 c Restart #8 #Var: 18180 LB: 0 @ 31.164 32.25 c Restart #9 #Var: 18180 LB: 0 @ 32.237 33.32 c Restart #10 #Var: 18180 LB: 0 @ 33.306 34.53 c Restart #11 #Var: 18180 LB: 0 @ 34.514 35.14 c Restart #12 #Var: 18180 LB: 0 @ 35.126 35.28 c Restart #13 #Var: 18180 LB: 0 @ 35.256 35.47 c Restart #14 #Var: 18180 LB: 0 @ 35.451 35.63 c Restart #15 #Var: 18180 LB: 0 @ 35.608 35.86 c Restart #16 #Var: 18180 LB: 0 @ 35.839 36.04 c Restart #17 #Var: 18180 LB: 0 @ 36.017 36.31 c Restart #18 #Var: 18180 LB: 0 @ 36.288 36.56 c Restart #19 #Var: 18180 LB: 0 @ 36.539 36.86 c Restart #20 #Var: 18180 LB: 0 @ 36.842 37.13 c Restart #21 #Var: 18180 LB: 0 @ 37.106 37.47 c Restart #22 #Var: 18180 LB: 0 @ 37.446 37.79 c Restart #23 #Var: 18180 LB: 0 @ 37.774 38.16 c Restart #24 #Var: 18180 LB: 0 @ 38.145 38.55 c Restart #25 #Var: 18180 LB: 0 @ 38.536 39.04 c Restart #26 #Var: 18180 LB: 0 @ 39.018 39.49 c Restart #27 #Var: 18180 LB: 0 @ 39.475 40.12 c Restart #28 #Var: 18180 LB: 0 @ 40.103 40.81 c Restart #29 #Var: 18180 LB: 0 @ 40.791 41.47 c Restart #30 #Var: 18180 LB: 0 @ 41.454 41.92 c Restart #31 #Var: 18180 LB: 0 @ 41.898 42.53 c Restart #32 #Var: 18180 LB: 0 @ 42.509 42.98 c Restart #33 #Var: 18180 LB: 0 @ 42.956 43.62 c Restart #34 #Var: 18180 LB: 0 @ 43.595 44.22 c Restart #35 #Var: 18180 LB: 0 @ 44.198 44.83 c Restart #36 #Var: 18180 LB: 0 @ 44.809 45.55 c Restart #37 #Var: 18180 LB: 0 @ 45.525 46.23 c Restart #38 #Var: 18180 LB: 0 @ 46.211 46.98 c Restart #39 #Var: 18180 LB: 0 @ 46.958 47.72 c Restart #40 #Var: 18180 LB: 0 @ 47.696 48.51 c Restart #41 #Var: 18180 LB: 0 @ 48.488 49.45 c Restart #42 #Var: 18180 LB: 0 @ 49.426 50.28 c Restart #43 #Var: 18180 LB: 0 @ 50.257 51.17 c Restart #44 #Var: 18180 LB: 0 @ 51.142 52.16 c Restart #45 #Var: 18180 LB: 0 @ 52.137 53.17 c Restart #46 #Var: 18180 LB: 0 @ 53.14 54.19 c Restart #47 #Var: 18180 LB: 0 @ 54.166 55.11 c Restart #48 #Var: 18180 LB: 0 @ 55.082 56.14 c Restart #49 #Var: 18180 LB: 0 @ 56.113 57.28 c Restart #50 #Var: 18180 LB: 0 @ 57.246 58.39 c Restart #51 #Var: 18180 LB: 0 @ 58.355 59.52 c Restart #52 #Var: 18180 LB: 0 @ 59.486 60.70 c Restart #53 #Var: 18180 LB: 0 @ 60.664 61.82 c Restart #54 #Var: 18180 LB: 0 @ 61.792 63.07 c Restart #55 #Var: 18180 LB: 0 @ 63.034 64.25 c Restart #56 #Var: 18180 LB: 0 @ 64.216 65.55 c Restart #57 #Var: 18180 LB: 0 @ 65.516 66.74 c Restart #58 #Var: 18180 LB: 0 @ 66.709 68.22 c Restart #59 #Var: 18180 LB: 0 @ 68.19 69.53 c Restart #60 #Var: 18180 LB: 0 @ 69.499 71.11 c Restart #61 #Var: 18180 LB: 0 @ 71.072 72.46 c Restart #62 #Var: 18180 LB: 0 @ 72.427 73.97 c Restart #63 #Var: 18180 LB: 0 @ 73.937 75.67 c Restart #64 #Var: 18180 LB: 0 @ 75.635 77.15 c Restart #65 #Var: 18180 LB: 0 @ 77.118 79.05 c Restart #66 #Var: 18180 LB: 0 @ 79.016 80.67 c Restart #67 #Var: 18180 LB: 0 @ 80.634 82.40 c Restart #68 #Var: 18180 LB: 0 @ 82.365 84.02 c Restart #69 #Var: 18180 LB: 0 @ 83.981 85.91 c Restart #70 #Var: 18180 LB: 0 @ 85.87 87.60 c Restart #71 #Var: 18180 LB: 0 @ 87.557 89.87 c Restart #72 #Var: 18180 LB: 0 @ 89.831 91.44 c Restart #73 #Var: 18180 LB: 0 @ 91.399 94.18 c Restart #74 #Var: 18180 LB: 0 @ 94.133 95.95 c Restart #75 #Var: 18180 LB: 0 @ 95.91 98.16 c Restart #76 #Var: 18180 LB: 0 @ 98.12 100.21 c Restart #77 #Var: 18180 LB: 0 @ 100.16 102.73 c Restart #78 #Var: 18180 LB: 0 @ 102.69 105.08 c Restart #79 #Var: 18180 LB: 0 @ 105.04 107.58 c Restart #80 #Var: 18180 LB: 0 @ 107.53 109.53 c Restart #81 #Var: 18180 LB: 0 @ 109.48 112.31 c Restart #82 #Var: 18180 LB: 0 @ 112.26 114.37 c Restart #83 #Var: 18180 LB: 0 @ 114.32 117.07 c Restart #84 #Var: 18180 LB: 0 @ 117.02 119.19 c Restart #85 #Var: 18180 LB: 0 @ 119.14 121.96 c Restart #86 #Var: 18180 LB: 0 @ 121.91 124.05 c Restart #87 #Var: 18180 LB: 0 @ 124 127.05 c Restart #88 #Var: 18180 LB: 0 @ 127 129.65 c Restart #89 #Var: 18180 LB: 0 @ 129.59 132.40 c Restart #90 #Var: 18180 LB: 0 @ 132.35 135.05 c Restart #91 #Var: 18180 LB: 0 @ 134.99 138.23 c Restart #92 #Var: 18180 LB: 0 @ 138.17 140.94 c Restart #93 #Var: 18180 LB: 0 @ 140.88 144.11 c Restart #94 #Var: 18180 LB: 0 @ 144.05 147.31 c Restart #95 #Var: 18180 LB: 0 @ 147.25 150.82 c Restart #96 #Var: 18180 LB: 0 @ 150.76 153.43 c Restart #97 #Var: 18180 LB: 0 @ 153.37 156.94 c Restart #98 #Var: 18180 LB: 0 @ 156.88 159.91 c Restart #99 #Var: 18180 LB: 0 @ 159.85 163.83 c Restart #100 #Var: 18180 LB: 0 @ 163.77 166.96 c Restart #101 #Var: 18180 LB: 0 @ 166.9 170.19 c Restart #102 #Var: 18180 LB: 0 @ 170.12 173.27 c Restart #103 #Var: 18180 LB: 0 @ 173.21 177.31 c Restart #104 #Var: 18180 LB: 0 @ 177.24 180.17 c Restart #105 #Var: 18180 LB: 0 @ 180.1 183.50 c Restart #106 #Var: 18180 LB: 0 @ 183.44 186.90 c Restart #107 #Var: 18180 LB: 0 @ 186.83 190.27 c Restart #108 #Var: 18180 LB: 0 @ 190.2 193.57 c Restart #109 #Var: 18180 LB: 0 @ 193.5 197.08 c Restart #110 #Var: 18180 LB: 0 @ 197 200.64 c Restart #111 #Var: 18180 LB: 0 @ 200.57 204.14 c Restart #112 #Var: 18180 LB: 0 @ 204.07 207.91 c Restart #113 #Var: 18180 LB: 0 @ 207.83 211.85 c Restart #114 #Var: 18180 LB: 0 @ 211.77 215.81 c Restart #115 #Var: 18180 LB: 0 @ 215.73 220.09 c Restart #116 #Var: 18180 LB: 0 @ 220.01 223.84 c Restart #117 #Var: 18180 LB: 0 @ 223.76 228.42 c Restart #118 #Var: 18180 LB: 0 @ 228.34 232.81 c Restart #119 #Var: 18180 LB: 0 @ 232.73 237.62 c Restart #120 #Var: 18180 LB: 0 @ 237.53 241.35 c Restart #121 #Var: 18180 LB: 0 @ 241.27 246.61 c Restart #122 #Var: 18180 LB: 0 @ 246.53 251.41 c Restart #123 #Var: 18180 LB: 0 @ 251.32 256.81 c Restart #124 #Var: 18180 LB: 0 @ 256.72 261.53 c Restart #125 #Var: 18180 LB: 0 @ 261.44 266.73 c Restart #126 #Var: 18180 LB: 0 @ 266.63 271.22 c Restart #127 #Var: 18180 LB: 0 @ 271.12
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/node90/watcher-40762-1149316474 -o ROOT/results/node90/solver-40762-1149316474 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40762-1149316474/instance-40762-1149316474.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1843688/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=4672 CPUtime=0 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 154 0 0 0 0 0 0 0 19 0 1 0 197286354 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12383459 0 0 4096 0 0 0 0 17 1 0 0 /proc/21981/statm: 1168 136 106 55 0 46 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1818040/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=30796 CPUtime=9.98 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 7907 0 0 0 983 15 0 0 25 0 1 0 197286354 31535104 6702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 7699 6702 294 55 0 6590 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 30796 [startup+20.0085 s] /proc/loadavg: 0.94 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1817784/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=31240 CPUtime=19.99 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 7995 0 0 0 1975 24 0 0 25 0 1 0 197286354 31989760 6790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 7810 6790 294 55 0 6701 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 31240 [startup+30.0146 s] /proc/loadavg: 0.95 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1817848/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=31064 CPUtime=29.99 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 8063 0 0 0 2970 29 0 0 25 0 1 0 197286354 31809536 6772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 7766 6772 294 55 0 6657 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 31064 [startup+40.0197 s] /proc/loadavg: 0.96 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1737208/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=111980 CPUtime=39.99 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 28251 0 0 0 3940 59 0 0 25 0 1 0 197286354 114667520 26912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 27995 26912 294 55 0 26886 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 111980 [startup+50.0258 s] /proc/loadavg: 0.96 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1617016/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=232536 CPUtime=49.99 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 58315 0 0 0 4921 78 0 0 25 0 1 0 197286354 238116864 56927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 58134 56927 294 55 0 57025 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 232536 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1517688/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=332688 CPUtime=59.99 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 83280 0 0 0 5908 91 0 0 25 0 1 0 197286354 340672512 81719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 83172 81719 294 55 0 82063 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 332688 [startup+70.038 s] /proc/loadavg: 0.97 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1419256/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=431172 CPUtime=69.99 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 107913 0 0 0 6893 106 0 0 25 0 1 0 197286354 441520128 106234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 107793 106235 294 55 0 106684 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 431172 [startup+80.0441 s] /proc/loadavg: 0.98 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1326712/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=524500 CPUtime=80 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 131259 0 0 0 7880 120 0 0 25 0 1 0 197286354 537088000 129325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 131125 129325 294 55 0 130016 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 524500 [startup+90.0502 s] /proc/loadavg: 0.98 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1246264/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=604648 CPUtime=90 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 151457 0 0 0 8868 132 0 0 25 0 1 0 197286354 619159552 149352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 151162 149352 294 55 0 150053 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 604648 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1163896/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=688288 CPUtime=100 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 172496 0 0 0 9854 146 0 0 25 0 1 0 197286354 704806912 169957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 172072 169957 294 55 0 170963 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 688288 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1093880/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=758552 CPUtime=110.01 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 190214 0 0 0 10844 157 0 0 25 0 1 0 197286354 776757248 187424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 189638 187424 294 55 0 188529 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 758552 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=1015992/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=836772 CPUtime=120 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 209909 0 0 0 11831 169 0 0 25 0 1 0 197286354 856854528 206864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533486 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 209193 206864 294 55 0 208084 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 836772 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=942712/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=910976 CPUtime=130.01 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 228673 0 0 0 12821 180 0 0 25 0 1 0 197286354 932839424 225143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 227744 225143 294 55 0 226635 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 910976 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=867704/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=985600 CPUtime=140.01 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 247569 0 0 0 13810 191 0 0 25 0 1 0 197286354 1009254400 243877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 246400 243877 294 55 0 245291 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 985600 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=799416/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1054200 CPUtime=150.01 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 264901 0 0 0 14801 200 0 0 25 0 1 0 197286354 1079500800 260883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 263550 260883 294 55 0 262441 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 1054200 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=732664/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1120072 CPUtime=160.02 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 281558 0 0 0 15793 209 0 0 25 0 1 0 197286354 1146953728 277540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 280018 277540 294 55 0 278909 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 1120072 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=665016/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1188300 CPUtime=170.02 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 298768 0 0 0 16781 221 0 0 25 0 1 0 197286354 1216819200 294417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529373 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 297075 294417 294 55 0 295966 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 1188300 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=596792/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1256276 CPUtime=180.03 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 315801 0 0 0 17771 232 0 0 25 0 1 0 197286354 1286426624 311446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 314069 311446 294 55 0 312960 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 1256276 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=525880/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1329200 CPUtime=190.03 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 334162 0 0 0 18761 242 0 0 25 0 1 0 197286354 1361100800 329139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 332300 329139 294 55 0 331191 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 1329200 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=453624/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1401372 CPUtime=200.03 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 352278 0 0 0 19750 253 0 0 25 0 1 0 197286354 1435004928 347162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 350343 347162 294 55 0 349234 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 1401372 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=389368/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1465712 CPUtime=210.03 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 368405 0 0 0 20740 263 0 0 25 0 1 0 197286354 1500889088 363204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 366428 363204 294 55 0 365319 0 Current children cumulated CPU time (s) 210.03 Current children cumulated vsize (Kb) 1465712 [startup+220.128 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=328888/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1526028 CPUtime=220.04 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 383640 0 0 0 21733 271 0 0 25 0 1 0 197286354 1562652672 378275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 381507 378275 294 55 0 380398 0 Current children cumulated CPU time (s) 220.04 Current children cumulated vsize (Kb) 1526028 [startup+230.134 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=270712/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1583856 CPUtime=230.04 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 398176 0 0 0 22724 280 0 0 25 0 1 0 197286354 1621868544 392811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 395964 392811 294 55 0 394855 0 Current children cumulated CPU time (s) 230.04 Current children cumulated vsize (Kb) 1583856 [startup+240.141 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=203960/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1651456 CPUtime=240.04 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 415234 0 0 0 23715 289 0 0 25 0 1 0 197286354 1691090944 409463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 412864 409463 294 55 0 411755 0 Current children cumulated CPU time (s) 240.04 Current children cumulated vsize (Kb) 1651456 [startup+250.147 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=144824/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1713108 CPUtime=250.05 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 430961 0 0 0 24707 298 0 0 25 0 1 0 197286354 1754222592 424210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 428277 424210 294 55 0 427168 0 Current children cumulated CPU time (s) 250.05 Current children cumulated vsize (Kb) 1713108 [startup+260.154 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=91576/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1766044 CPUtime=260.05 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 444273 0 0 0 25698 307 0 0 25 0 1 0 197286354 1808429056 437522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 441511 437522 294 55 0 440402 0 Current children cumulated CPU time (s) 260.05 Current children cumulated vsize (Kb) 1766044 [startup+270.16 s] /proc/loadavg: 0.99 0.98 0.99 2/67 21981 /proc/meminfo: memFree=33272/2055888 swapFree=4085308/4096564 [pid=21981] ppid=21979 vsize=1823864 CPUtime=270.06 /proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 458819 0 0 0 26689 317 0 0 25 0 1 0 197286354 1867636736 452068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21981/statm: 455966 452068 294 55 0 454857 0 Current children cumulated CPU time (s) 270.06 Current children cumulated vsize (Kb) 1823864 Child ended because it received signal 6 (SIGABRT) Real time (s): 275.594 CPU time (s): 275.493 CPU user time (s): 272.035 CPU system time (s): 3.45847 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (Kb): 1823864 The end
Begin job on node90 on Sat Jun 3 06:34:34 UTC 2006 FILE ID= 40762-1149316474 PBS_JOBID= 308363 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40762-1149316474/instance-40762-1149316474.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-40762-1149316474 -o ROOT/results/node90/solver-40762-1149316474 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40762-1149316474/instance-40762-1149316474.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 707da2ebfa2e9fe97fe57c41e089cde1 RANDOM SEED= 70198537 /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.227 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.227 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1843896 kB Buffers: 17008 kB Cached: 130700 kB SwapCached: 2436 kB Active: 32776 kB Inactive: 123580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1843896 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16060 kB Slab: 42396 kB Committed_AS: 355140 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 06:39:09 UTC 2006