Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.17 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc04.opb |
MD5SUM | a740df3717a1394bed76c2a490fc20be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 146276 |
Total number of constraints | 1699 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 1689 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5071 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 528446 |
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.02 c INFO: OSL Context initialized. 3.67 c Initial problem consists of 146276 variables and 2010 constraints. 4.07 c No problem reductions applied in OPT. instance. 4.07 c preprocess terminated. Elapsed time: 4.063 4.07 c After prepocess the problem consists of 117399 variables and 1839 constraints. 4.07 c Initial Lower Bound: 0 6.29 c Restart #1 #Var: 117399 LB: 0 @ 6.278 10.14 c Restart #2 #Var: 117399 LB: 0 @ 10.12 11.89 c Restart #3 #Var: 117399 LB: 0 @ 11.876 17.37 c Restart #4 #Var: 117399 LB: 0 @ 17.349 23.33 c Restart #5 #Var: 117399 LB: 0 @ 23.306 29.98 c Restart #6 #Var: 117399 LB: 0 @ 29.956 37.55 c Restart #7 #Var: 117399 LB: 0 @ 37.527 48.08 c Restart #8 #Var: 117399 LB: 0 @ 48.051 49.80 c Restart #9 #Var: 117399 LB: 0 @ 49.768 50.70 c Restart #10 #Var: 117399 LB: 0 @ 50.674 51.57 c Restart #11 #Var: 117399 LB: 0 @ 51.543 52.00 c Restart #12 #Var: 117399 LB: 0 @ 51.969 52.92 c Restart #13 #Var: 117396 LB: 0 @ 52.892 53.14 c Restart #14 #Var: 117396 LB: 0 @ 53.113 54.10 c Restart #15 #Var: 117372 LB: 0 @ 54.073 54.56 c Restart #16 #Var: 117372 LB: 0 @ 54.531 55.29 c Restart #17 #Var: 117372 LB: 0 @ 55.26 57.63 c Restart #18 #Var: 117372 LB: 0 @ 57.604 58.33 c Restart #19 #Var: 117372 LB: 0 @ 58.303 58.84 c Restart #20 #Var: 117372 LB: 0 @ 58.813 74.02 c Restart #21 #Var: 117372 LB: 0 @ 73.988 74.90 c Restart #22 #Var: 117372 LB: 0 @ 74.863 75.40 c Restart #23 #Var: 117371 LB: 0 @ 75.366 75.96 c Restart #24 #Var: 117371 LB: 0 @ 75.928 78.59 c Restart #25 #Var: 117371 LB: 0 @ 78.558 85.36 c Restart #26 #Var: 117371 LB: 0 @ 85.325 99.81 c Restart #27 #Var: 117371 LB: 0 @ 99.769 107.13 c Restart #28 #Var: 117369 LB: 0 @ 107.09 110.55 c Restart #29 #Var: 117368 LB: 0 @ 110.5 114.14 c Restart #30 #Var: 117368 LB: 0 @ 114.09 117.64 c Restart #31 #Var: 117368 LB: 0 @ 117.59 122.07 c Restart #32 #Var: 117368 LB: 0 @ 122.02 123.91 c Restart #33 #Var: 117368 LB: 0 @ 123.86 125.08 c Restart #34 #Var: 117368 LB: 0 @ 125.03 131.03 c Restart #35 #Var: 117364 LB: 0 @ 130.98 141.22 c Restart #36 #Var: 117340 LB: 0 @ 141.16 147.09 c Restart #37 #Var: 117278 LB: 0 @ 147.03 150.41 c Restart #38 #Var: 117278 LB: 0 @ 150.35 157.09 c Restart #39 #Var: 117278 LB: 0 @ 157.03 161.09 c Restart #40 #Var: 117278 LB: 0 @ 161.03 168.13 c Restart #41 #Var: 117277 LB: 0 @ 168.07 186.36 c Restart #42 #Var: 117250 LB: 0 @ 186.29 191.27 c Restart #43 #Var: 117249 LB: 0 @ 191.2 195.76 c Restart #44 #Var: 117222 LB: 0 @ 195.69 199.99 c Restart #45 #Var: 117213 LB: 0 @ 199.92 236.26 c Restart #46 #Var: 117213 LB: 0 @ 236.17 240.86 c Restart #47 #Var: 117212 LB: 0 @ 240.77 247.73 c Restart #48 #Var: 117207 LB: 0 @ 247.64 269.99 c Restart #49 #Var: 117200 LB: 0 @ 269.9 273.84 c Restart #50 #Var: 117197 LB: 0 @ 273.75 286.73 c Restart #51 #Var: 117170 LB: 0 @ 286.63 294.39 c Restart #52 #Var: 117169 LB: 0 @ 294.29 300.73 c Restart #53 #Var: 117169 LB: 0 @ 300.62 310.56 c Restart #54 #Var: 117164 LB: 0 @ 310.46 332.74 c Restart #55 #Var: 117157 LB: 0 @ 332.63 341.44 c Restart #56 #Var: 117154 LB: 0 @ 341.33 366.65 c Restart #57 #Var: 117148 LB: 0 @ 366.53 379.43 c Restart #58 #Var: 117148 LB: 0 @ 379.3 385.23 c Restart #59 #Var: 117148 LB: 0 @ 385.11 389.41 c Restart #60 #Var: 117148 LB: 0 @ 389.29 407.25 c Restart #61 #Var: 117146 LB: 0 @ 407.12 420.72 c Restart #62 #Var: 117144 LB: 0 @ 420.58 430.19 c Restart #63 #Var: 117143 LB: 0 @ 430.05 432.96 c Restart #64 #Var: 117143 LB: 0 @ 432.82 447.34 c Restart #65 #Var: 117141 LB: 0 @ 447.19 458.10 c Restart #66 #Var: 117141 LB: 0 @ 457.96 475.82 c Restart #67 #Var: 117139 LB: 0 @ 475.67 518.54 c Restart #68 #Var: 117107 LB: 0 @ 518.38 547.96 c Restart #69 #Var: 117106 LB: 0 @ 547.79 554.25 c Restart #70 #Var: 117104 LB: 0 @ 554.07 566.64 c Restart #71 #Var: 117103 LB: 0 @ 566.46 579.40 c Restart #72 #Var: 117103 LB: 0 @ 579.21 586.65 c Restart #73 #Var: 117103 LB: 0 @ 586.46 589.74 c Restart #74 #Var: 117103 LB: 0 @ 589.55 622.10 c Restart #75 #Var: 117101 LB: 0 @ 621.9 638.33 c Restart #76 #Var: 117101 LB: 0 @ 638.13 683.45 c Restart #77 #Var: 117101 LB: 0 @ 683.24 714.11 c Restart #78 #Var: 117100 LB: 0 @ 713.89 719.57 c Restart #79 #Var: 117100 LB: 0 @ 719.35 735.32 c Restart #80 #Var: 117098 LB: 0 @ 735.09 779.22 c Restart #81 #Var: 117098 LB: 0 @ 778.98 791.06 c Restart #82 #Var: 117097 LB: 0 @ 790.81 797.73 c Restart #83 #Var: 117097 LB: 0 @ 797.48 819.34 c Restart #84 #Var: 117071 LB: 0 @ 819.09 923.97 c CHANGE Heuristic... 923.97 c Restart #0 #Var: 117062 LB: 0 @ 923.69 925.19 c Restart #1 #Var: 117036 LB: 0 @ 924.91 926.97 c Restart #2 #Var: 117036 LB: 0 @ 926.69 927.70 c Restart #3 #Var: 117035 LB: 0 @ 927.42 929.12 c Restart #4 #Var: 117033 LB: 0 @ 928.83 931.07 c Restart #5 #Var: 117032 LB: 0 @ 930.79 934.76 c Restart #6 #Var: 117025 LB: 0 @ 934.48 938.22 c Restart #7 #Var: 117021 LB: 0 @ 937.93 942.60 c Restart #8 #Var: 116999 LB: 0 @ 942.32 944.58 c Restart #9 #Var: 116999 LB: 0 @ 944.29 949.02 c Restart #10 #Var: 116997 LB: 0 @ 948.73 951.23 c Restart #11 #Var: 116995 LB: 0 @ 950.94 952.52 c Restart #12 #Var: 116994 LB: 0 @ 952.23 954.13 c Restart #13 #Var: 116993 LB: 0 @ 953.84 956.86 c Restart #14 #Var: 116993 LB: 0 @ 956.57 957.74 c Restart #15 #Var: 116993 LB: 0 @ 957.44 964.17 c Restart #16 #Var: 116993 LB: 0 @ 963.88 967.01 c Restart #17 #Var: 116991 LB: 0 @ 966.71 971.62 c Restart #18 #Var: 116989 LB: 0 @ 971.33 981.48 c Restart #19 #Var: 116989 LB: 0 @ 981.17 990.18 c Restart #20 #Var: 116988 LB: 0 @ 989.88 993.85 c Restart #21 #Var: 116987 LB: 0 @ 993.54 996.07 c Restart #22 #Var: 116986 LB: 0 @ 995.76 997.26 c Restart #23 #Var: 116986 LB: 0 @ 996.95 1005.61 c Restart #24 #Var: 116986 LB: 0 @ 1005.3 1009.66 c Restart #25 #Var: 116986 LB: 0 @ 1009.3 1031.00 c Restart #26 #Var: 116986 LB: 0 @ 1030.7 1034.98 c Restart #27 #Var: 116986 LB: 0 @ 1034.7 1057.32 c Restart #28 #Var: 116986 LB: 0 @ 1056.9 1076.20 c Restart #29 #Var: 116986 LB: 0 @ 1075.8 1098.25 c Restart #30 #Var: 116986 LB: 0 @ 1097.8 1123.39 c Restart #31 #Var: 116986 LB: 0 @ 1123 1138.91 c Restart #32 #Var: 116986 LB: 0 @ 1138.5 1146.09 c Restart #33 #Var: 116986 LB: 0 @ 1145.7 1183.02 c Restart #34 #Var: 116985 LB: 0 @ 1182.6 1220.58 c Restart #35 #Var: 116985 LB: 0 @ 1220.1 1275.74 c Restart #36 #Var: 116985 LB: 0 @ 1275.3 1320.04 c Restart #37 #Var: 116984 LB: 0 @ 1319.6 1325.31 c Restart #38 #Var: 116984 LB: 0 @ 1324.8 1334.49 c Restart #39 #Var: 116981 LB: 0 @ 1334 1348.42 c Restart #40 #Var: 116977 LB: 0 @ 1347.9 1355.67 c Restart #41 #Var: 116977 LB: 0 @ 1355.2 1401.26 c Restart #42 #Var: 116974 LB: 0 @ 1400.8 1443.34 c Restart #43 #Var: 116974 LB: 0 @ 1442.8 1459.81 c Restart #44 #Var: 116974 LB: 0 @ 1459.3 1518.73 c Restart #45 #Var: 116972 LB: 0 @ 1518.2 1548.85 c Restart #46 #Var: 116972 LB: 0 @ 1548.3 1622.13 c Restart #47 #Var: 116972 LB: 0 @ 1621.6 1637.60 c Restart #48 #Var: 116972 LB: 0 @ 1637 1702.45 c Restart #49 #Var: 116972 LB: 0 @ 1701.9 1737.37 c Restart #50 #Var: 116968 LB: 0 @ 1736.8 1800.63 s UNKNOWN 1800.63 c Exit Code: 0 1800.63 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/node29/watcher-39979-1149345825 -o ROOT/results/node29/solver-39979-1149345825 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39979-1149345825/instance-39979-1149345825.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 3/64 21594 /proc/meminfo: memFree=1809384/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=436 CPUtime=0 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 38 0 0 0 0 0 0 0 18 0 1 0 200246163 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4129572 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/21594/statm: 109 23 18 55 0 18 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.95 0.95 2/64 21594 /proc/meminfo: memFree=1645048/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=175560 CPUtime=9.97 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48252 0 0 0 939 58 0 0 25 0 1 0 200246163 179773440 41340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 43890 41340 296 55 0 42782 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 175560 [startup+20.0088 s] /proc/loadavg: 0.94 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1644472/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=176072 CPUtime=19.98 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48428 0 0 0 1872 126 0 0 25 0 1 0 200246163 180297728 41516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542260 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 44018 41516 297 55 0 42910 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 176072 [startup+30.0153 s] /proc/loadavg: 0.95 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1643960/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=176592 CPUtime=29.98 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48564 0 0 0 2807 191 0 0 25 0 1 0 200246163 180830208 41652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 44148 41652 297 55 0 43040 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 176592 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1643832/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=176636 CPUtime=39.98 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48609 0 0 0 3748 250 0 0 25 0 1 0 200246163 180875264 41697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 44159 41697 297 55 0 43051 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 176636 [startup+50.0271 s] /proc/loadavg: 0.96 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1643768/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=176768 CPUtime=49.98 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48620 0 0 0 4701 297 0 0 25 0 1 0 200246163 181010432 41708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 44192 41708 297 55 0 43084 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 176768 [startup+60.0325 s] /proc/loadavg: 0.97 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1620984/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=199524 CPUtime=59.99 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 54312 0 0 0 5679 320 0 0 25 0 1 0 200246163 204312576 47400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 49881 47400 297 55 0 48773 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 199524 [startup+70.0379 s] /proc/loadavg: 0.97 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1620664/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=199788 CPUtime=69.99 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 54383 0 0 0 6678 321 0 0 25 0 1 0 200246163 204582912 47471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 49947 47471 297 55 0 48839 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 199788 [startup+80.0433 s] /proc/loadavg: 0.98 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1610616/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=209820 CPUtime=79.99 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 56897 0 0 0 7673 326 0 0 25 0 1 0 200246163 214855680 49985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 52455 49985 297 55 0 51347 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 209820 [startup+90.0487 s] /proc/loadavg: 0.98 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1605304/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=215236 CPUtime=90 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 58228 0 0 0 8671 329 0 0 25 0 1 0 200246163 220401664 51315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 53809 51315 297 55 0 52701 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 215236 [startup+100.054 s] /proc/loadavg: 0.98 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1604216/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=216292 CPUtime=100.01 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 58507 0 0 0 9671 330 0 0 25 0 1 0 200246163 221483008 51594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 54073 51594 297 55 0 52965 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 216292 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.95 2/64 21594 /proc/meminfo: memFree=1597944/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=222632 CPUtime=110 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 60068 0 0 0 10661 339 0 0 25 0 1 0 200246163 227975168 53155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 55658 53155 297 55 0 54550 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 222632 [startup+120.065 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1586680/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=233852 CPUtime=120 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 62875 0 0 0 11657 343 0 0 25 0 1 0 200246163 239464448 55962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 58463 55962 297 55 0 57355 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 233852 [startup+130.07 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1577976/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=242580 CPUtime=130.01 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 65043 0 0 0 12654 347 0 0 25 0 1 0 200246163 248401920 58130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 60645 58130 297 55 0 59537 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 242580 [startup+140.076 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1572152/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=248348 CPUtime=140.02 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 66495 0 0 0 13653 349 0 0 25 0 1 0 200246163 254308352 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529300 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 62087 59582 297 55 0 60979 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 248348 [startup+150.081 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1562104/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=258384 CPUtime=150.01 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 69008 0 0 0 14644 357 0 0 25 0 1 0 200246163 264585216 62095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 64596 62095 297 55 0 63488 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 258384 [startup+160.087 s] /proc/loadavg: 0.99 0.97 0.95 3/64 21594 /proc/meminfo: memFree=1552888/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=267628 CPUtime=160.02 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 71293 0 0 0 15641 361 0 0 25 0 1 0 200246163 274051072 64380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 66907 64380 297 55 0 65799 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 267628 [startup+170.092 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1543480/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=277072 CPUtime=170.01 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 73664 0 0 0 16634 367 0 0 25 0 1 0 200246163 283721728 66751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 69268 66751 297 55 0 68160 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 277072 [startup+180.097 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1540088/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=280404 CPUtime=180.02 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 74484 0 0 0 17633 369 0 0 25 0 1 0 200246163 287133696 67571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 70101 67571 297 55 0 68993 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 280404 [startup+190.103 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1535096/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=285448 CPUtime=190.02 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 75735 0 0 0 18631 371 0 0 25 0 1 0 200246163 292298752 68821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 71362 68821 297 55 0 70254 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 285448 [startup+200.108 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1521144/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=299496 CPUtime=200.03 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 79236 0 0 0 19626 377 0 0 25 0 1 0 200246163 306683904 72320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 74874 72320 297 55 0 73766 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 299496 [startup+210.114 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21594 /proc/meminfo: memFree=1518328/2055920 swapFree=4181376/4192956 ################ # More data... # ################ /proc/21594/statm: 255842 252732 297 55 0 254734 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 1023368 [startup+1770.99 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=796152/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1025092 CPUtime=1770.36 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261061 0 0 0 176243 793 0 0 25 0 1 0 200246163 1049694208 253132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256273 253132 297 55 0 255165 0 Current children cumulated CPU time (s) 1770.36 Current children cumulated vsize (Kb) 1025092 [startup+1780.99 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=795000/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026148 CPUtime=1780.37 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261339 0 0 0 177242 795 0 0 25 0 1 0 200246163 1050775552 253410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256537 253410 297 55 0 255429 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 1026148 [startup+1782 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=795000/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026148 CPUtime=1781.38 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261348 0 0 0 177343 795 0 0 25 0 1 0 200246163 1050775552 253419 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256537 253419 297 55 0 255429 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 1026148 [startup+1783 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794936/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026280 CPUtime=1782.38 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261359 0 0 0 177443 795 0 0 25 0 1 0 200246163 1050910720 253430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256570 253430 297 55 0 255462 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 1026280 [startup+1784.01 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794872/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026280 CPUtime=1783.39 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261371 0 0 0 177544 795 0 0 25 0 1 0 200246163 1050910720 253442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256570 253442 297 55 0 255462 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 1026280 [startup+1785.01 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794872/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026280 CPUtime=1784.39 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261382 0 0 0 177644 795 0 0 25 0 1 0 200246163 1050910720 253453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256570 253453 297 55 0 255462 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 1026280 [startup+1786.02 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794808/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026412 CPUtime=1785.4 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261395 0 0 0 177745 795 0 0 25 0 1 0 200246163 1051045888 253466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256603 253466 297 55 0 255495 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 1026412 [startup+1787.02 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794744/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026412 CPUtime=1786.4 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261408 0 0 0 177845 795 0 0 25 0 1 0 200246163 1051045888 253479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256603 253479 297 55 0 255495 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 1026412 [startup+1788.03 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794744/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026412 CPUtime=1787.41 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261418 0 0 0 177946 795 0 0 25 0 1 0 200246163 1051045888 253489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256603 253489 297 55 0 255495 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 1026412 [startup+1789.03 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794680/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026544 CPUtime=1788.41 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261429 0 0 0 178046 795 0 0 25 0 1 0 200246163 1051181056 253500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256636 253500 297 55 0 255528 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 1026544 [startup+1790.04 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794616/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026544 CPUtime=1789.41 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261441 0 0 0 178146 795 0 0 25 0 1 0 200246163 1051181056 253512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256636 253512 297 55 0 255528 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 1026544 [startup+1791.04 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794552/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026544 CPUtime=1790.42 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261452 0 0 0 178247 795 0 0 25 0 1 0 200246163 1051181056 253523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256636 253523 297 55 0 255528 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 1026544 [startup+1792.05 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794552/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026676 CPUtime=1791.42 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261464 0 0 0 178347 795 0 0 25 0 1 0 200246163 1051316224 253535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256669 253535 297 55 0 255561 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 1026676 [startup+1793.05 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794488/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026676 CPUtime=1792.43 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261475 0 0 0 178448 795 0 0 25 0 1 0 200246163 1051316224 253546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256669 253546 297 55 0 255561 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 1026676 [startup+1794.06 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794424/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026808 CPUtime=1793.43 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261486 0 0 0 178548 795 0 0 25 0 1 0 200246163 1051451392 253557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256702 253557 297 55 0 255594 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 1026808 [startup+1795.06 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794360/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026808 CPUtime=1794.44 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261500 0 0 0 178649 795 0 0 25 0 1 0 200246163 1051451392 253571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256702 253571 297 55 0 255594 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 1026808 [startup+1796.07 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794296/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026968 CPUtime=1795.44 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261529 0 0 0 178749 795 0 0 25 0 1 0 200246163 1051615232 253600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256742 253600 297 55 0 255634 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 1026968 [startup+1797.07 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=794232/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1026968 CPUtime=1796.44 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261537 0 0 0 178849 795 0 0 25 0 1 0 200246163 1051615232 253608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256742 253608 297 55 0 255634 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 1026968 [startup+1798.08 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=793848/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1027364 CPUtime=1797.45 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261635 0 0 0 178948 797 0 0 25 0 1 0 200246163 1052020736 253706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256841 253706 297 55 0 255733 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 1027364 [startup+1799.08 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=793336/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1027892 CPUtime=1798.45 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261759 0 0 0 179047 798 0 0 25 0 1 0 200246163 1052561408 253830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 256973 253830 297 55 0 255865 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 1027892 [startup+1800.08 s] /proc/loadavg: 1.00 0.99 0.95 2/64 21789 /proc/meminfo: memFree=792888/2055920 swapFree=4181376/4192956 [pid=21594] ppid=21592 vsize=1028288 CPUtime=1799.46 /proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261865 0 0 0 179146 800 0 0 25 0 1 0 200246163 1052966912 253936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21594/statm: 257072 253936 297 55 0 255964 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 1028288 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.17 CPU user time (s): 1791.99 CPU system time (s): 8.17676 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (Kb): 1028288
Begin job on node29 on Sat Jun 3 14:43:46 UTC 2006 FILE ID= 39979-1149345825 PBS_JOBID= 310674 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39979-1149345825/instance-39979-1149345825.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-39979-1149345825 -o ROOT/results/node29/solver-39979-1149345825 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39979-1149345825/instance-39979-1149345825.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a740df3717a1394bed76c2a490fc20be RANDOM SEED= 913903312 /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.259 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.259 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: 1809592 kB Buffers: 23424 kB Cached: 159660 kB SwapCached: 3236 kB Active: 42184 kB Inactive: 149560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809592 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14716 kB Slab: 40464 kB Committed_AS: 350260 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Sat Jun 3 15:13:47 UTC 2006