Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 559.376 | 559.629 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-gesa2.opb |
MD5SUM | d54c9cafd39211d62b9a499b6053d79b |
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 | 6757511815433 |
Optimality of the best value was proved | NO |
Number of variables | 19344 |
Total number of constraints | 1824 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1776 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 13488 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180205740755072640 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180205740755072640 |
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.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.39 c Initial problem consists of 19344 variables and 1872 constraints. 0.43 c No problem reductions applied in OPT. instance. 0.43 c preprocess terminated. Elapsed time: 0.424 0.43 c After prepocess the problem consists of 12264 variables and 1872 constraints. 0.43 c Initial Lower Bound: 0 0.72 c Restart #1 #Var: 12264 LB: 0 @ 0.706 1.36 c Restart #2 #Var: 12264 LB: 0 @ 1.35 2.31 c Restart #3 #Var: 12264 LB: 0 @ 2.295 3.53 c Restart #4 #Var: 12264 LB: 0 @ 3.525 5.10 c Restart #5 #Var: 12264 LB: 0 @ 5.091 7.00 c Restart #6 #Var: 12264 LB: 0 @ 6.988 9.16 c Restart #7 #Var: 12264 LB: 0 @ 9.143 10.89 c Restart #8 #Var: 12264 LB: 0 @ 10.87 12.05 c Restart #9 #Var: 12264 LB: 0 @ 12.036 12.61 c Restart #10 #Var: 12264 LB: 0 @ 12.596 12.87 c Restart #11 #Var: 12264 LB: 0 @ 12.853 13.10 c Restart #12 #Var: 12264 LB: 0 @ 13.084 13.35 c Restart #13 #Var: 12264 LB: 0 @ 13.336 13.62 c Restart #14 #Var: 12264 LB: 0 @ 13.601 13.82 c Restart #15 #Var: 12264 LB: 0 @ 13.808 14.04 c Restart #16 #Var: 12264 LB: 0 @ 14.022 14.35 c Restart #17 #Var: 12264 LB: 0 @ 14.333 14.76 c Restart #18 #Var: 12264 LB: 0 @ 14.745 15.12 c Restart #19 #Var: 12264 LB: 0 @ 15.105 15.54 c Restart #20 #Var: 12264 LB: 0 @ 15.52 16.16 c Restart #21 #Var: 12264 LB: 0 @ 16.144 16.48 c Restart #22 #Var: 12264 LB: 0 @ 16.46 16.76 c Restart #23 #Var: 12264 LB: 0 @ 16.74 17.20 c Restart #24 #Var: 12262 LB: 0 @ 17.186 17.51 c Restart #25 #Var: 12262 LB: 0 @ 17.491 17.92 c Restart #26 #Var: 12262 LB: 0 @ 17.906 18.39 c Restart #27 #Var: 12262 LB: 0 @ 18.375 19.06 c Restart #28 #Var: 12262 LB: 0 @ 19.041 19.97 c Restart #29 #Var: 12262 LB: 0 @ 19.951 20.85 c Restart #30 #Var: 12262 LB: 0 @ 20.827 21.66 c Restart #31 #Var: 12262 LB: 0 @ 21.644 22.42 c Restart #32 #Var: 12262 LB: 0 @ 22.401 23.40 c Restart #33 #Var: 12262 LB: 0 @ 23.375 24.61 c Restart #34 #Var: 12262 LB: 0 @ 24.589 25.78 c Restart #35 #Var: 12260 LB: 0 @ 25.759 26.46 c Restart #36 #Var: 12260 LB: 0 @ 26.434 27.28 c Restart #37 #Var: 12259 LB: 0 @ 27.257 27.92 c Restart #38 #Var: 12258 LB: 0 @ 27.897 29.41 c Restart #39 #Var: 12255 LB: 0 @ 29.383 30.05 c Restart #40 #Var: 12254 LB: 0 @ 30.024 31.63 c Restart #41 #Var: 12251 LB: 0 @ 31.605 36.52 c Restart #42 #Var: 12238 LB: 0 @ 36.496 43.22 c Restart #43 #Var: 12232 LB: 0 @ 43.189 43.84 c Restart #44 #Var: 12231 LB: 0 @ 43.814 44.81 c Restart #45 #Var: 12229 LB: 0 @ 44.781 45.72 c Restart #46 #Var: 12227 LB: 0 @ 45.689 46.70 c Restart #47 #Var: 12226 LB: 0 @ 46.669 47.81 c Restart #48 #Var: 12226 LB: 0 @ 47.781 49.29 c Restart #49 #Var: 12226 LB: 0 @ 49.254 60.45 c Restart #50 #Var: 12218 LB: 0 @ 60.417 61.39 c Restart #51 #Var: 12218 LB: 0 @ 61.35 62.06 c Restart #52 #Var: 12218 LB: 0 @ 62.022 63.40 c Restart #53 #Var: 12217 LB: 0 @ 63.361 65.26 c Restart #54 #Var: 12216 LB: 0 @ 65.225 74.66 c Restart #55 #Var: 12201 LB: 0 @ 74.619 83.04 c Restart #56 #Var: 12188 LB: 0 @ 82.996 86.23 c Restart #57 #Var: 12185 LB: 0 @ 86.181 89.03 c Restart #58 #Var: 12183 LB: 0 @ 88.98 92.26 c Restart #59 #Var: 12181 LB: 0 @ 92.211 94.10 c Restart #60 #Var: 12181 LB: 0 @ 94.051 95.25 c Restart #61 #Var: 12181 LB: 0 @ 95.199 108.01 c Restart #62 #Var: 12178 LB: 0 @ 107.96 118.60 c Restart #63 #Var: 12178 LB: 0 @ 118.54 123.49 c Restart #64 #Var: 12178 LB: 0 @ 123.43 131.16 c Restart #65 #Var: 12177 LB: 0 @ 131.1 132.45 c Restart #66 #Var: 12177 LB: 0 @ 132.39 137.12 c Restart #67 #Var: 12176 LB: 0 @ 137.06 144.80 c Restart #68 #Var: 12175 LB: 0 @ 144.74 146.83 c Restart #69 #Var: 12175 LB: 0 @ 146.76 151.79 c Restart #70 #Var: 12175 LB: 0 @ 151.72 154.17 c Restart #71 #Var: 12175 LB: 0 @ 154.1 159.31 c Restart #72 #Var: 12175 LB: 0 @ 159.23 162.25 c Restart #73 #Var: 12175 LB: 0 @ 162.18 165.94 c Restart #74 #Var: 12175 LB: 0 @ 165.86 168.43 c Restart #75 #Var: 12175 LB: 0 @ 168.35 171.81 c Restart #76 #Var: 12175 LB: 0 @ 171.73 174.22 c Restart #77 #Var: 12175 LB: 0 @ 174.13 177.58 c Restart #78 #Var: 12175 LB: 0 @ 177.5 180.26 c Restart #79 #Var: 12175 LB: 0 @ 180.17 183.83 c Restart #80 #Var: 12175 LB: 0 @ 183.75 187.17 c Restart #81 #Var: 12175 LB: 0 @ 187.08 191.17 c Restart #82 #Var: 12175 LB: 0 @ 191.09 195.02 c Restart #83 #Var: 12175 LB: 0 @ 194.93 199.32 c Restart #84 #Var: 12175 LB: 0 @ 199.23 202.54 c Restart #85 #Var: 12175 LB: 0 @ 202.45 207.27 c Restart #86 #Var: 12175 LB: 0 @ 207.17 210.74 c Restart #87 #Var: 12175 LB: 0 @ 210.65 214.99 c Restart #88 #Var: 12175 LB: 0 @ 214.89 219.02 c Restart #89 #Var: 12175 LB: 0 @ 218.92 224.58 c Restart #90 #Var: 12175 LB: 0 @ 224.48 228.79 c Restart #91 #Var: 12175 LB: 0 @ 228.69 233.86 c Restart #92 #Var: 12175 LB: 0 @ 233.76 238.78 c Restart #93 #Var: 12175 LB: 0 @ 238.68 244.35 c Restart #94 #Var: 12175 LB: 0 @ 244.25 248.82 c Restart #95 #Var: 12175 LB: 0 @ 248.71 254.56 c Restart #96 #Var: 12175 LB: 0 @ 254.45 260.66 c Restart #97 #Var: 12175 LB: 0 @ 260.55 266.85 c Restart #98 #Var: 12175 LB: 0 @ 266.73 273.41 c Restart #99 #Var: 12175 LB: 0 @ 273.29 287.80 c Restart #100 #Var: 12175 LB: 0 @ 287.68 295.43 c Restart #101 #Var: 12175 LB: 0 @ 295.31 301.40 c Restart #102 #Var: 12175 LB: 0 @ 301.27 317.92 c Restart #103 #Var: 12172 LB: 0 @ 317.79 330.24 c Restart #104 #Var: 12171 LB: 0 @ 330.1 340.26 c Restart #105 #Var: 12171 LB: 0 @ 340.12 434.50 c Restart #106 #Var: 12170 LB: 0 @ 434.32 443.72 c Restart #107 #Var: 12170 LB: 0 @ 443.54 445.64 c Restart #108 #Var: 12170 LB: 0 @ 445.46
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/node82/watcher-40748-1149315265 -o ROOT/results/node82/solver-40748-1149315265 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node82/40748-1149315265/instance-40748-1149315265.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1825136/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=4932 CPUtime=0 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 312 0 0 0 0 0 0 0 19 0 1 0 188715754 5050368 282 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160464980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 1233 291 194 55 0 124 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1792632/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=37660 CPUtime=9.98 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 9037 0 0 0 944 54 0 0 25 0 1 0 188715754 38563840 8409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718534 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 9415 8409 294 55 0 8306 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 37660 [startup+20.0084 s] /proc/loadavg: 0.94 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1658296/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=171952 CPUtime=19.98 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 42569 0 0 0 1912 86 0 0 25 0 1 0 188715754 176078848 41940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 42988 41940 294 55 0 41879 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 171952 [startup+30.0143 s] /proc/loadavg: 0.95 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1566648/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=263604 CPUtime=29.98 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 65452 0 0 0 2899 99 0 0 25 0 1 0 188715754 269930496 64818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 65901 64818 294 55 0 64792 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 263604 [startup+40.0202 s] /proc/loadavg: 0.96 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1534776/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=295480 CPUtime=39.98 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 73401 0 0 0 3890 108 0 0 25 0 1 0 188715754 302571520 72767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 73870 72767 294 55 0 72761 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 295480 [startup+50.0261 s] /proc/loadavg: 0.96 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1431864/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=398524 CPUtime=49.98 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 99085 0 0 0 4873 125 0 0 25 0 1 0 188715754 408088576 98429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 99631 98429 294 55 0 98522 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 398524 [startup+60.032 s] /proc/loadavg: 0.97 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1426936/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=403400 CPUtime=59.98 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 100308 0 0 0 5871 127 0 0 25 0 1 0 188715754 413081600 99650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 100850 99650 294 55 0 99741 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 403400 [startup+70.0379 s] /proc/loadavg: 0.97 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1347640/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=482936 CPUtime=69.99 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 120130 0 0 0 6859 140 0 0 25 0 1 0 188715754 494526464 119457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 120734 119458 294 55 0 119625 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 482936 [startup+80.0438 s] /proc/loadavg: 0.98 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1334392/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=496092 CPUtime=79.99 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 123421 0 0 0 7853 146 0 0 25 0 1 0 188715754 507998208 122748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 124023 122748 294 55 0 122914 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 496092 [startup+90.0497 s] /proc/loadavg: 0.98 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1294520/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=535840 CPUtime=89.99 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 133363 0 0 0 8840 159 0 0 25 0 1 0 188715754 548700160 132690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 133960 132690 294 55 0 132851 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 535840 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1243384/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=587024 CPUtime=100 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 146126 0 0 0 9831 169 0 0 25 0 1 0 188715754 601112576 145445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 146756 145445 294 55 0 145647 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 587024 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1242616/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=587816 CPUtime=110 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 146325 0 0 0 10828 172 0 0 25 0 1 0 188715754 601923584 145644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 146954 145644 294 55 0 145845 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 587816 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1240952/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=589556 CPUtime=120 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 146748 0 0 0 11825 175 0 0 25 0 1 0 188715754 603705344 146062 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 147389 146062 294 55 0 146280 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 589556 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1238520/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=592020 CPUtime=130 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 147354 0 0 0 12821 179 0 0 25 0 1 0 188715754 606228480 146668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 148005 146668 294 55 0 146896 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 592020 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1191160/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=639264 CPUtime=140.01 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 159173 0 0 0 13810 191 0 0 25 0 1 0 188715754 654606336 158483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 159816 158483 294 55 0 158707 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 639264 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1129400/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=701196 CPUtime=150.01 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 174601 0 0 0 14799 202 0 0 25 0 1 0 188715754 718024704 173901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 175299 173901 294 55 0 174190 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 701196 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=1066488/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=764204 CPUtime=160 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 190323 0 0 0 15788 212 0 0 25 0 1 0 188715754 782544896 189599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 191051 189599 294 55 0 189942 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 764204 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=982712/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=848288 CPUtime=170 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 211267 0 0 0 16777 223 0 0 25 0 1 0 188715754 868646912 210490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 212072 210490 294 55 0 210963 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 848288 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=889592/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=941816 CPUtime=180.01 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 234609 0 0 0 17765 236 0 0 25 0 1 0 188715754 964419584 233727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 235454 233727 294 55 0 234345 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 941816 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=812024/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1019200 CPUtime=190.01 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 254031 0 0 0 18752 249 0 0 25 0 1 0 188715754 1043660800 253065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 254800 253065 294 55 0 253691 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 1019200 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=742264/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1088996 CPUtime=200.01 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 271454 0 0 0 19741 260 0 0 25 0 1 0 188715754 1115131904 270470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 272249 270470 294 55 0 271140 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 1088996 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=662776/2055892 swapFree=4087504/4096564 ################ # More data... # ################ Current children cumulated CPU time (s) 340.04 Current children cumulated vsize (Kb) 1742228 [startup+350.204 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=90488/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1743024 CPUtime=350.04 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435780 0 0 0 34652 352 0 0 25 0 1 0 188715754 1784856576 433080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 435756 433080 294 55 0 434647 0 Current children cumulated CPU time (s) 350.04 Current children cumulated vsize (Kb) 1743024 [startup+360.21 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=90168/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1743420 CPUtime=360.05 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435868 0 0 0 35652 353 0 0 25 0 1 0 188715754 1785262080 433168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 435855 433168 294 55 0 434746 0 Current children cumulated CPU time (s) 360.05 Current children cumulated vsize (Kb) 1743420 [startup+370.216 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=90168/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1743420 CPUtime=370.05 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435868 0 0 0 36652 353 0 0 25 0 1 0 188715754 1785262080 433168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 435855 433168 294 55 0 434746 0 Current children cumulated CPU time (s) 370.05 Current children cumulated vsize (Kb) 1743420 [startup+380.222 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=90168/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1743420 CPUtime=380.06 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435868 0 0 0 37652 354 0 0 25 0 1 0 188715754 1785262080 433168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 435855 433168 294 55 0 434746 0 Current children cumulated CPU time (s) 380.06 Current children cumulated vsize (Kb) 1743420 [startup+390.228 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=90104/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1743420 CPUtime=390.06 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435875 0 0 0 38652 354 0 0 25 0 1 0 188715754 1785262080 433175 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 435855 433175 294 55 0 434746 0 Current children cumulated CPU time (s) 390.06 Current children cumulated vsize (Kb) 1743420 [startup+400.234 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=89912/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1743616 CPUtime=400.06 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435930 0 0 0 39651 355 0 0 25 0 1 0 188715754 1785462784 433230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 435904 433230 294 55 0 434795 0 Current children cumulated CPU time (s) 400.06 Current children cumulated vsize (Kb) 1743616 [startup+410.24 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=89400/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1744132 CPUtime=410.06 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 436049 0 0 0 40650 356 0 0 25 0 1 0 188715754 1785991168 433349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 436033 433349 294 55 0 434924 0 Current children cumulated CPU time (s) 410.06 Current children cumulated vsize (Kb) 1744132 [startup+420.245 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=89208/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1744452 CPUtime=420.06 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 436149 0 0 0 41650 356 0 0 25 0 1 0 188715754 1786318848 433367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 436113 433367 294 55 0 435004 0 Current children cumulated CPU time (s) 420.06 Current children cumulated vsize (Kb) 1744452 [startup+430.251 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=87416/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1746284 CPUtime=430.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 436625 0 0 0 42648 359 0 0 25 0 1 0 188715754 1788194816 433843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 436571 433843 294 55 0 435462 0 Current children cumulated CPU time (s) 430.07 Current children cumulated vsize (Kb) 1746284 [startup+440.257 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=72120/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1761588 CPUtime=440.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 440444 0 0 0 43645 362 0 0 25 0 1 0 188715754 1803866112 437662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 440397 437662 294 55 0 439288 0 Current children cumulated CPU time (s) 440.07 Current children cumulated vsize (Kb) 1761588 [startup+450.263 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15224/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1835964 CPUtime=450.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459016 0 0 0 44635 372 0 0 25 0 1 0 188715754 1880027136 456225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 458991 456225 294 55 0 457882 0 Current children cumulated CPU time (s) 450.07 Current children cumulated vsize (Kb) 1835964 [startup+460.27 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15224/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836076 CPUtime=460.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459037 0 0 0 45634 373 0 0 25 0 1 0 188715754 1880141824 456246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459019 456246 294 55 0 457910 0 Current children cumulated CPU time (s) 460.07 Current children cumulated vsize (Kb) 1836076 [startup+470.276 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15224/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836076 CPUtime=470.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459075 0 0 0 46634 373 0 0 25 0 1 0 188715754 1880141824 456284 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459019 456284 294 55 0 457910 0 Current children cumulated CPU time (s) 470.07 Current children cumulated vsize (Kb) 1836076 [startup+480.282 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836208 CPUtime=480.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459092 0 0 0 47634 373 0 0 25 0 1 0 188715754 1880276992 456301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459052 456301 294 55 0 457943 0 Current children cumulated CPU time (s) 480.07 Current children cumulated vsize (Kb) 1836208 [startup+490.288 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836208 CPUtime=490.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459105 0 0 0 48634 373 0 0 25 0 1 0 188715754 1880276992 456314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459052 456314 294 55 0 457943 0 Current children cumulated CPU time (s) 490.07 Current children cumulated vsize (Kb) 1836208 [startup+500.294 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836208 CPUtime=500.07 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459105 0 0 0 49634 373 0 0 25 0 1 0 188715754 1880276992 456314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459052 456314 294 55 0 457943 0 Current children cumulated CPU time (s) 500.07 Current children cumulated vsize (Kb) 1836208 [startup+510.3 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836208 CPUtime=510.08 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459105 0 0 0 50635 373 0 0 25 0 1 0 188715754 1880276992 456314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459052 456314 294 55 0 457943 0 Current children cumulated CPU time (s) 510.08 Current children cumulated vsize (Kb) 1836208 [startup+520.306 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15096/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836208 CPUtime=520.08 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459107 0 0 0 51635 373 0 0 25 0 1 0 188715754 1880276992 456316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459052 456316 294 55 0 457943 0 Current children cumulated CPU time (s) 520.08 Current children cumulated vsize (Kb) 1836208 [startup+530.311 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15096/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836208 CPUtime=530.08 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459107 0 0 0 52635 373 0 0 25 0 1 0 188715754 1880276992 456316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459052 456316 294 55 0 457943 0 Current children cumulated CPU time (s) 530.08 Current children cumulated vsize (Kb) 1836208 [startup+540.317 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15096/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1836208 CPUtime=540.08 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459107 0 0 0 53635 373 0 0 25 0 1 0 188715754 1880276992 456316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459052 456316 294 55 0 457943 0 Current children cumulated CPU time (s) 540.08 Current children cumulated vsize (Kb) 1836208 [startup+550.323 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29553 /proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564 [pid=29553] ppid=29551 vsize=1839636 CPUtime=550.08 /proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459956 0 0 0 54633 375 0 0 25 0 1 0 188715754 1883787264 457165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29553/statm: 459909 457165 294 55 0 458800 0 Current children cumulated CPU time (s) 550.08 Current children cumulated vsize (Kb) 1839636 Child ended because it received signal 11 (SIGSEGV) Real time (s): 559.629 CPU time (s): 559.376 CPU user time (s): 555.354 CPU system time (s): 4.02239 CPU usage (%): 99.9548 Max. virtual memory (cumulated for all children) (Kb): 1839636 The end
Begin job on node82 on Sat Jun 3 06:14:25 UTC 2006 FILE ID= 40748-1149315265 PBS_JOBID= 308307 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node82/40748-1149315265/instance-40748-1149315265.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-40748-1149315265 -o ROOT/results/node82/solver-40748-1149315265 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node82/40748-1149315265/instance-40748-1149315265.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d54c9cafd39211d62b9a499b6053d79b RANDOM SEED= 785322787 /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.265 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.265 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1825280 kB Buffers: 7944 kB Cached: 157140 kB SwapCached: 2672 kB Active: 22132 kB Inactive: 151620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1825280 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14572 kB Slab: 43084 kB Committed_AS: 357764 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Sat Jun 3 06:23:45 UTC 2006