Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb |
MD5SUM | 8e26f63addeab9c605a48fae9909490e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 11.2703 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
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 | 2704 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 560432 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261600 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 560432 |
Number of bits of the biggest sum of numbers | 20 |
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.10 c INFO: OSL Context initialized. 2.45 c Initial problem consists of 107520 variables and 4560 constraints. 2.82 c No problem reductions applied in OPT. instance. 2.82 c preprocess terminated. Elapsed time: 2.721 2.82 c After prepocess the problem consists of 80089 variables and 4560 constraints. 2.82 c Initial Lower Bound: 0 5.05 c Restart #1 #Var: 80089 LB: 0 @ 4.954 9.92 c Restart #2 #Var: 80089 LB: 0 @ 9.824 17.14 c Restart #3 #Var: 80089 LB: 0 @ 17.04 25.83 c Restart #4 #Var: 80089 LB: 0 @ 25.729 37.91 c Restart #5 #Var: 80089 LB: 0 @ 37.806 51.05 c Restart #6 #Var: 80089 LB: 0 @ 50.935 64.68 c Restart #7 #Var: 80089 LB: 0 @ 64.558 74.65 c Restart #8 #Var: 80089 LB: 0 @ 74.527 84.03 c Restart #9 #Var: 80089 LB: 0 @ 83.888 87.20 c Restart #10 #Var: 80078 LB: 0 @ 87.064 88.44 c Restart #11 #Var: 80078 LB: 0 @ 88.3 89.54 c Restart #12 #Var: 80078 LB: 0 @ 89.401 90.64 c Restart #13 #Var: 80078 LB: 0 @ 90.495 92.55 c Restart #14 #Var: 80075 LB: 0 @ 92.403 92.98 c Restart #15 #Var: 80075 LB: 0 @ 92.834 93.87 c Restart #16 #Var: 80075 LB: 0 @ 93.727 94.80 c Restart #17 #Var: 80074 LB: 0 @ 94.657 95.94 c Restart #18 #Var: 80074 LB: 0 @ 95.8 99.68 c Restart #19 #Var: 80074 LB: 0 @ 99.534 101.10 c Restart #20 #Var: 80074 LB: 0 @ 100.95 103.08 c Restart #21 #Var: 80074 LB: 0 @ 102.94 105.03 c Restart #22 #Var: 80074 LB: 0 @ 104.88 115.02 c Restart #23 #Var: 80074 LB: 0 @ 114.87 116.21 c Restart #24 #Var: 80074 LB: 0 @ 116.06 121.35 c Restart #25 #Var: 80074 LB: 0 @ 121.2 128.50 c Restart #26 #Var: 80074 LB: 0 @ 128.35 132.65 c Restart #27 #Var: 80074 LB: 0 @ 132.49 137.74 c Restart #28 #Var: 80074 LB: 0 @ 137.58 146.74 c Restart #29 #Var: 80073 LB: 0 @ 146.57 149.61 c Restart #30 #Var: 80073 LB: 0 @ 149.44 165.40 c Restart #31 #Var: 80073 LB: 0 @ 165.23 172.70 c Restart #32 #Var: 80073 LB: 0 @ 172.52 186.98 c Restart #33 #Var: 80061 LB: 0 @ 186.79 191.19 c Restart #34 #Var: 80061 LB: 0 @ 191.01 201.82 c Restart #35 #Var: 80060 LB: 0 @ 201.63 212.26 c Restart #36 #Var: 80059 LB: 0 @ 212.07 246.84 c Restart #37 #Var: 80059 LB: 0 @ 246.64 255.40 c Restart #38 #Var: 80059 LB: 0 @ 255.19 265.27 c Restart #39 #Var: 80059 LB: 0 @ 265.05 285.26 c Restart #40 #Var: 80047 LB: 0 @ 285.03 320.28 c Restart #41 #Var: 80047 LB: 0 @ 320.04 357.20 c Restart #42 #Var: 80046 LB: 0 @ 356.93 382.19 c Restart #43 #Var: 80045 LB: 0 @ 381.91 384.65 c Restart #44 #Var: 80045 LB: 0 @ 384.37 404.51 c Restart #45 #Var: 80044 LB: 0 @ 404.22 425.57 c Restart #46 #Var: 80043 LB: 0 @ 425.27 462.24 c Restart #47 #Var: 80043 LB: 0 @ 461.92 484.60 c Restart #48 #Var: 80040 LB: 0 @ 484.27 497.73 c Restart #49 #Var: 80039 LB: 0 @ 497.39 565.67 c Restart #50 #Var: 80039 LB: 0 @ 565.29 599.55 c Restart #51 #Var: 80039 LB: 0 @ 599.15 633.56 c Restart #52 #Var: 80017 LB: 0 @ 633.13 656.96 c Restart #53 #Var: 80017 LB: 0 @ 656.53 676.82 c Restart #54 #Var: 80017 LB: 0 @ 676.37 717.61 c Restart #55 #Var: 80017 LB: 0 @ 717.14 814.93 c Restart #56 #Var: 80006 LB: 0 @ 814.39 934.16 c CHANGE Heuristic... 934.16 c Restart #0 #Var: 80005 LB: 0 @ 933.55 935.01 c Restart #1 #Var: 79965 LB: 0 @ 934.41 937.99 c Restart #2 #Var: 79917 LB: 0 @ 937.39 941.72 c Restart #3 #Var: 79904 LB: 0 @ 941.12 948.68 c Restart #4 #Var: 79904 LB: 0 @ 948.07 954.96 c Restart #5 #Var: 79902 LB: 0 @ 954.34 962.81 c Restart #6 #Var: 79902 LB: 0 @ 962.19 970.49 c Restart #7 #Var: 79902 LB: 0 @ 969.86 982.20 c Restart #8 #Var: 79902 LB: 0 @ 981.56 988.85 c Restart #9 #Var: 79896 LB: 0 @ 988.21 991.32 c Restart #10 #Var: 79896 LB: 0 @ 990.67 1015.93 c Restart #11 #Var: 79896 LB: 0 @ 1015.3 1051.23 c Restart #12 #Var: 79896 LB: 0 @ 1050.5 1063.03 c Restart #13 #Var: 79895 LB: 0 @ 1062.3 1085.13 c Restart #14 #Var: 79895 LB: 0 @ 1084.4 1094.27 c Restart #15 #Var: 79890 LB: 0 @ 1093.6 1109.80 c Restart #16 #Var: 79890 LB: 0 @ 1109.1 1124.12 c Restart #17 #Var: 79887 LB: 0 @ 1123.4 1140.62 c Restart #18 #Var: 79881 LB: 0 @ 1139.9 1148.14 c Restart #19 #Var: 79881 LB: 0 @ 1147.4 1166.81 c Restart #20 #Var: 79881 LB: 0 @ 1166.1 1189.66 c Restart #21 #Var: 79881 LB: 0 @ 1188.9 1216.72 c Restart #22 #Var: 79881 LB: 0 @ 1215.9 1259.57 c Restart #23 #Var: 79880 LB: 0 @ 1258.8 1306.77 c Restart #24 #Var: 79880 LB: 0 @ 1305.9 1353.27 c Restart #25 #Var: 79880 LB: 0 @ 1352.4 1385.12 c Restart #26 #Var: 79877 LB: 0 @ 1384.2 1411.90 c Restart #27 #Var: 79877 LB: 0 @ 1411 1419.17 c Restart #28 #Var: 79877 LB: 0 @ 1418.3 1464.46 c Restart #29 #Var: 79877 LB: 0 @ 1463.5 1486.36 c Restart #30 #Var: 79877 LB: 0 @ 1485.4 1527.60 c Restart #31 #Var: 79877 LB: 0 @ 1526.6 1572.43 c Restart #32 #Var: 79876 LB: 0 @ 1571.4 1662.44 c Restart #33 #Var: 79874 LB: 0 @ 1661.4 1697.53 c Restart #34 #Var: 79874 LB: 0 @ 1696.5 1733.12 c Restart #35 #Var: 79874 LB: 0 @ 1732 1801.14 s UNKNOWN 1801.14 c Exit Code: 0 1801.14 c Total time: 1800 s
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/node35/watcher-40053-1149363259 -o ROOT/results/node35/solver-40053-1149363259 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40053-1149363259/instance-40053-1149363259.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.96 1/64 9317 /proc/meminfo: memFree=1413056/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=4932 CPUtime=0 /proc/9317/stat : 9317 (bsolo) D 9315 9317 9271 0 -1 0 370 0 0 0 0 0 0 0 19 0 1 0 201989792 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0 /proc/9317/statm: 1233 331 227 55 0 125 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.97 0.96 2/64 9317 /proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134004 CPUtime=9.89 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115609 0 0 0 912 77 0 0 25 0 1 0 201989792 137220096 31710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 33501 31710 297 55 0 32393 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 134004 [startup+20.0088 s] /proc/loadavg: 0.94 0.97 0.96 2/64 9317 /proc/meminfo: memFree=1287184/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134136 CPUtime=19.9 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115643 0 0 0 1852 138 0 0 25 0 1 0 201989792 137355264 31744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 33534 31744 297 55 0 32426 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 134136 [startup+30.015 s] /proc/loadavg: 0.95 0.97 0.96 2/64 9317 /proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134384 CPUtime=29.91 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115712 0 0 0 2796 195 0 0 25 0 1 0 201989792 137609216 31813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533955 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 33596 31813 297 55 0 32488 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 134384 [startup+40.0213 s] /proc/loadavg: 0.95 0.97 0.96 2/64 9317 /proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134384 CPUtime=39.9 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115712 0 0 0 3737 253 0 0 25 0 1 0 201989792 137609216 31813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 33596 31813 297 55 0 32488 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 134384 [startup+50.0275 s] /proc/loadavg: 0.96 0.97 0.96 2/64 9317 /proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134384 CPUtime=49.9 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115719 0 0 0 4682 308 0 0 25 0 1 0 201989792 137609216 31820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 33596 31820 297 55 0 32488 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 134384 [startup+60.0337 s] /proc/loadavg: 0.97 0.97 0.96 2/64 9317 /proc/meminfo: memFree=1287056/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134516 CPUtime=59.91 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115738 0 0 0 5633 358 0 0 25 0 1 0 201989792 137744384 31839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 33629 31839 297 55 0 32521 0 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 134516 [startup+70.0399 s] /proc/loadavg: 0.97 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1286864/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134492 CPUtime=69.91 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115738 0 0 0 6581 410 0 0 25 0 1 0 201989792 137719808 31839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9317/statm: 33623 31839 297 55 0 32515 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 134492 [startup+80.0471 s] /proc/loadavg: 0.98 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1286800/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=134624 CPUtime=79.9 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115768 0 0 0 7559 431 0 0 25 0 1 0 201989792 137854976 31869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 33656 31869 297 55 0 32548 0 Current children cumulated CPU time (s) 79.9 Current children cumulated vsize (Kb) 134624 [startup+90.0543 s] /proc/loadavg: 0.98 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1280464/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=141088 CPUtime=89.91 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 117379 0 0 0 8552 439 0 0 25 0 1 0 201989792 144474112 33480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 35272 33480 297 55 0 34164 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 141088 [startup+100.061 s] /proc/loadavg: 0.98 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1261840/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=159656 CPUtime=99.91 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 122026 0 0 0 9543 448 0 0 25 0 1 0 201989792 163487744 38127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 39914 38127 297 55 0 38806 0 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (Kb) 159656 [startup+110.068 s] /proc/loadavg: 0.98 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1248336/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=173124 CPUtime=109.91 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 125404 0 0 0 10537 454 0 0 25 0 1 0 201989792 177278976 41505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 43281 41505 297 55 0 42173 0 Current children cumulated CPU time (s) 109.91 Current children cumulated vsize (Kb) 173124 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1241104/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=180384 CPUtime=119.92 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 127206 0 0 0 11534 458 0 0 25 0 1 0 201989792 184713216 43307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548420 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 45096 43307 297 55 0 43988 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 180384 [startup+130.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1232464/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=188968 CPUtime=129.91 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 129360 0 0 0 12530 461 0 0 25 0 1 0 201989792 193503232 45461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 47242 45461 297 55 0 46134 0 Current children cumulated CPU time (s) 129.91 Current children cumulated vsize (Kb) 188968 [startup+140.087 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1223312/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=198076 CPUtime=139.92 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 131648 0 0 0 13526 466 0 0 25 0 1 0 201989792 202829824 47749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533895 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 49519 47749 297 55 0 48411 0 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 198076 [startup+150.094 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1216208/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=205276 CPUtime=149.92 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 133426 0 0 0 14523 469 0 0 25 0 1 0 201989792 210202624 49527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718661 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 51319 49527 297 55 0 50211 0 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 205276 [startup+160.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1211344/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=210028 CPUtime=159.92 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 134628 0 0 0 15521 471 0 0 25 0 1 0 201989792 215068672 50729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718311 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 52507 50729 297 55 0 51399 0 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 210028 [startup+170.106 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1206160/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=215176 CPUtime=169.92 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 135926 0 0 0 16518 474 0 0 25 0 1 0 201989792 220340224 52027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718145 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 53794 52027 297 55 0 52686 0 Current children cumulated CPU time (s) 169.92 Current children cumulated vsize (Kb) 215176 [startup+180.112 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1201488/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=219932 CPUtime=179.92 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 137086 0 0 0 17516 476 0 0 25 0 1 0 201989792 225210368 53187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 54983 53187 297 55 0 53875 0 Current children cumulated CPU time (s) 179.92 Current children cumulated vsize (Kb) 219932 [startup+190.118 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1194384/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=227064 CPUtime=189.93 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 138872 0 0 0 18512 481 0 0 25 0 1 0 201989792 232513536 54973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 56766 54974 297 55 0 55658 0 Current children cumulated CPU time (s) 189.93 Current children cumulated vsize (Kb) 227064 [startup+200.125 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1187728/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=233668 CPUtime=199.92 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 140531 0 0 0 19510 482 0 0 25 0 1 0 201989792 239276032 56632 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632790 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 58417 56632 297 55 0 57309 0 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (Kb) 233668 [startup+210.132 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9319 /proc/meminfo: memFree=1181392/2055920 swapFree=4180888/4192956 ################ # More data... # ################ /proc/9317/statm: 121225 119339 297 55 0 120117 0 Current children cumulated CPU time (s) 1760.04 Current children cumulated vsize (Kb) 484900 [startup+1771.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=935440/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=485692 CPUtime=1770.04 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204109 0 0 0 176372 632 0 0 25 0 1 0 201989792 497348608 119521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121423 119521 297 55 0 120315 0 Current children cumulated CPU time (s) 1770.04 Current children cumulated vsize (Kb) 485692 [startup+1781.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934928/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486216 CPUtime=1780.04 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204239 0 0 0 177371 633 0 0 25 0 1 0 201989792 497885184 119651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121554 119651 297 55 0 120446 0 Current children cumulated CPU time (s) 1780.04 Current children cumulated vsize (Kb) 486216 [startup+1782.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934928/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486216 CPUtime=1781.05 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204245 0 0 0 177472 633 0 0 25 0 1 0 201989792 497885184 119657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121554 119657 297 55 0 120446 0 Current children cumulated CPU time (s) 1781.05 Current children cumulated vsize (Kb) 486216 [startup+1783.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934864/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486348 CPUtime=1782.05 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204264 0 0 0 177572 633 0 0 25 0 1 0 201989792 498020352 119676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121587 119676 297 55 0 120479 0 Current children cumulated CPU time (s) 1782.05 Current children cumulated vsize (Kb) 486348 [startup+1784.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934800/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486348 CPUtime=1783.05 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204266 0 0 0 177672 633 0 0 25 0 1 0 201989792 498020352 119678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121587 119678 297 55 0 120479 0 Current children cumulated CPU time (s) 1783.05 Current children cumulated vsize (Kb) 486348 [startup+1785.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934736/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486348 CPUtime=1784.06 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204283 0 0 0 177773 633 0 0 25 0 1 0 201989792 498020352 119695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121587 119695 297 55 0 120479 0 Current children cumulated CPU time (s) 1784.06 Current children cumulated vsize (Kb) 486348 [startup+1786.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934736/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486480 CPUtime=1785.06 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204297 0 0 0 177873 633 0 0 25 0 1 0 201989792 498155520 119709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524443 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121620 119709 297 55 0 120512 0 Current children cumulated CPU time (s) 1785.06 Current children cumulated vsize (Kb) 486480 [startup+1787.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934672/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486480 CPUtime=1786.07 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204301 0 0 0 177974 633 0 0 25 0 1 0 201989792 498155520 119713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121620 119713 297 55 0 120512 0 Current children cumulated CPU time (s) 1786.07 Current children cumulated vsize (Kb) 486480 [startup+1788.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934672/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486480 CPUtime=1787.07 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204305 0 0 0 178074 633 0 0 25 0 1 0 201989792 498155520 119717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121620 119717 297 55 0 120512 0 Current children cumulated CPU time (s) 1787.07 Current children cumulated vsize (Kb) 486480 [startup+1789.21 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934608/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486480 CPUtime=1788.07 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204324 0 0 0 178174 633 0 0 25 0 1 0 201989792 498155520 119736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121620 119736 297 55 0 120512 0 Current children cumulated CPU time (s) 1788.07 Current children cumulated vsize (Kb) 486480 [startup+1790.21 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934544/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486612 CPUtime=1789.07 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204339 0 0 0 178274 633 0 0 25 0 1 0 201989792 498290688 119751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121653 119751 297 55 0 120545 0 Current children cumulated CPU time (s) 1789.07 Current children cumulated vsize (Kb) 486612 [startup+1791.22 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934480/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486612 CPUtime=1790.08 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204352 0 0 0 178375 633 0 0 25 0 1 0 201989792 498290688 119764 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121653 119764 297 55 0 120545 0 Current children cumulated CPU time (s) 1790.08 Current children cumulated vsize (Kb) 486612 [startup+1792.23 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934416/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486744 CPUtime=1791.08 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204366 0 0 0 178475 633 0 0 25 0 1 0 201989792 498425856 119778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121686 119778 297 55 0 120578 0 Current children cumulated CPU time (s) 1791.08 Current children cumulated vsize (Kb) 486744 [startup+1793.23 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934416/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486744 CPUtime=1792.09 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204377 0 0 0 178576 633 0 0 25 0 1 0 201989792 498425856 119789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121686 119789 297 55 0 120578 0 Current children cumulated CPU time (s) 1792.09 Current children cumulated vsize (Kb) 486744 [startup+1794.24 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934352/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486744 CPUtime=1793.09 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204388 0 0 0 178676 633 0 0 25 0 1 0 201989792 498425856 119800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121686 119800 297 55 0 120578 0 Current children cumulated CPU time (s) 1793.09 Current children cumulated vsize (Kb) 486744 [startup+1795.24 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934288/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486876 CPUtime=1794.1 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204398 0 0 0 178777 633 0 0 25 0 1 0 201989792 498561024 119810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121719 119810 297 55 0 120611 0 Current children cumulated CPU time (s) 1794.1 Current children cumulated vsize (Kb) 486876 [startup+1796.25 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934224/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=486876 CPUtime=1795.1 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204411 0 0 0 178877 633 0 0 25 0 1 0 201989792 498561024 119823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121719 119823 297 55 0 120611 0 Current children cumulated CPU time (s) 1795.1 Current children cumulated vsize (Kb) 486876 [startup+1797.25 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934160/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=487008 CPUtime=1796.11 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204429 0 0 0 178978 633 0 0 25 0 1 0 201989792 498696192 119841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121752 119841 297 55 0 120644 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (Kb) 487008 [startup+1798.26 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934096/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=487008 CPUtime=1797.11 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204442 0 0 0 179078 633 0 0 25 0 1 0 201989792 498696192 119854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121752 119854 297 55 0 120644 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (Kb) 487008 [startup+1799.26 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=934032/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=487144 CPUtime=1798.12 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204466 0 0 0 179179 633 0 0 25 0 1 0 201989792 498835456 119878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548427 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121786 119878 297 55 0 120678 0 Current children cumulated CPU time (s) 1798.12 Current children cumulated vsize (Kb) 487144 [startup+1800.27 s] /proc/loadavg: 0.99 0.97 0.96 2/64 9514 /proc/meminfo: memFree=933968/2055920 swapFree=4180888/4192956 [pid=9317] ppid=9315 vsize=487144 CPUtime=1799.12 /proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204481 0 0 0 179279 633 0 0 25 0 1 0 201989792 498835456 119893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9317/statm: 121786 119893 297 55 0 120678 0 Current children cumulated CPU time (s) 1799.12 Current children cumulated vsize (Kb) 487144 Child status: 0 Real time (s): 1801.21 CPU time (s): 1800.07 CPU user time (s): 1793.66 CPU system time (s): 6.41002 CPU usage (%): 99.9367 Max. virtual memory (cumulated for all children) (Kb): 487144
Begin job on node35 on Sat Jun 3 19:34:19 UTC 2006 FILE ID= 40053-1149363259 PBS_JOBID= 311640 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40053-1149363259/instance-40053-1149363259.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-40053-1149363259 -o ROOT/results/node35/solver-40053-1149363259 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40053-1149363259/instance-40053-1149363259.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8e26f63addeab9c605a48fae9909490e RANDOM SEED= 94642287 /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.210 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 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: 1413200 kB Buffers: 32212 kB Cached: 541712 kB SwapCached: 3872 kB Active: 112264 kB Inactive: 470436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1413200 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14936 kB Slab: 46052 kB Committed_AS: 392276 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Sat Jun 3 20:04:20 UTC 2006