Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.15 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb |
MD5SUM | 012c11861136c422cb8bda81e1d7561a |
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 | 21960 |
Total number of constraints | 750 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 1295 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 533310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533310 |
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.01 c INFO: OSL Context initialized. 0.40 c Initial problem consists of 21960 variables and 1110 constraints. 0.46 c No problem reductions applied in OPT. instance. 0.46 c preprocess terminated. Elapsed time: 0.452 0.46 c After prepocess the problem consists of 18280 variables and 1110 constraints. 0.46 c Initial Lower Bound: 0 1.90 c Restart #1 #Var: 18280 LB: 0 @ 1.891 4.22 c Restart #2 #Var: 18280 LB: 0 @ 4.219 10.25 c Restart #3 #Var: 18280 LB: 0 @ 10.242 14.81 c Restart #4 #Var: 18280 LB: 0 @ 14.795 29.06 c Restart #5 #Var: 18280 LB: 0 @ 29.041 50.79 c Restart #6 #Var: 18280 LB: 0 @ 50.767 67.33 c Restart #7 #Var: 18280 LB: 0 @ 67.296 71.82 c Restart #8 #Var: 18280 LB: 0 @ 71.787 72.18 c Restart #9 #Var: 18280 LB: 0 @ 72.139 72.38 c Restart #10 #Var: 18279 LB: 0 @ 72.34 72.58 c Restart #11 #Var: 18277 LB: 0 @ 72.539 72.95 c Restart #12 #Var: 18272 LB: 0 @ 72.911 73.17 c Restart #13 #Var: 18272 LB: 0 @ 73.126 73.43 c Restart #14 #Var: 18267 LB: 0 @ 73.392 73.77 c Restart #15 #Var: 18264 LB: 0 @ 73.725 74.30 c Restart #16 #Var: 18261 LB: 0 @ 74.259 74.54 c Restart #17 #Var: 18261 LB: 0 @ 74.498 75.16 c Restart #18 #Var: 18261 LB: 0 @ 75.112 75.90 c Restart #19 #Var: 18235 LB: 0 @ 75.859 76.49 c Restart #20 #Var: 18224 LB: 0 @ 76.449 77.63 c Restart #21 #Var: 18213 LB: 0 @ 77.583 78.29 c Restart #22 #Var: 18212 LB: 0 @ 78.246 78.92 c Restart #23 #Var: 18211 LB: 0 @ 78.873 80.48 c Restart #24 #Var: 18210 LB: 0 @ 80.429 81.36 c Restart #25 #Var: 18210 LB: 0 @ 81.313 86.34 c Restart #26 #Var: 18209 LB: 0 @ 86.275 87.71 c Restart #27 #Var: 18204 LB: 0 @ 87.643 90.57 c Restart #28 #Var: 18203 LB: 0 @ 90.502 93.16 c Restart #29 #Var: 18200 LB: 0 @ 93.087 94.02 c Restart #30 #Var: 18200 LB: 0 @ 93.956 96.57 c Restart #31 #Var: 18189 LB: 0 @ 96.499 103.51 c Restart #32 #Var: 18186 LB: 0 @ 103.43 104.89 c Restart #33 #Var: 18177 LB: 0 @ 104.82 106.60 c Restart #34 #Var: 18177 LB: 0 @ 106.52 114.13 c Restart #35 #Var: 18177 LB: 0 @ 114.06 117.15 c Restart #36 #Var: 18177 LB: 0 @ 117.07 122.16 c Restart #37 #Var: 18176 LB: 0 @ 122.08 124.83 c Restart #38 #Var: 18176 LB: 0 @ 124.75 127.11 c Restart #39 #Var: 18176 LB: 0 @ 127.03 134.64 c Restart #40 #Var: 18176 LB: 0 @ 134.56 137.13 c Restart #41 #Var: 18176 LB: 0 @ 137.04 141.51 c Restart #42 #Var: 18175 LB: 0 @ 141.43 182.07 c Restart #43 #Var: 18175 LB: 0 @ 181.97 188.08 c Restart #44 #Var: 18174 LB: 0 @ 187.98 207.56 c Restart #45 #Var: 18174 LB: 0 @ 207.46 211.50 c Restart #46 #Var: 18172 LB: 0 @ 211.39 227.49 c Restart #47 #Var: 18172 LB: 0 @ 227.38 237.59 c Restart #48 #Var: 18172 LB: 0 @ 237.47 246.83 c Restart #49 #Var: 18172 LB: 0 @ 246.7 250.68 c Restart #50 #Var: 18172 LB: 0 @ 250.56 256.61 c Restart #51 #Var: 18168 LB: 3 @ 256.49 262.46 c Restart #52 #Var: 18167 LB: 3 @ 262.33 265.40 c Restart #53 #Var: 18167 LB: 3 @ 265.27 268.92 c Restart #54 #Var: 18167 LB: 3 @ 268.79 276.31 c Restart #55 #Var: 18166 LB: 3 @ 276.17 280.30 c Restart #56 #Var: 18163 LB: 6 @ 280.17 282.21 c Restart #57 #Var: 18163 LB: 6 @ 282.07 285.42 c Restart #58 #Var: 18163 LB: 6 @ 285.29 296.86 c Restart #59 #Var: 18153 LB: 6 @ 296.72 299.58 c Restart #60 #Var: 18153 LB: 6 @ 299.44 311.02 c Restart #61 #Var: 18151 LB: 8 @ 310.87 320.55 c Restart #62 #Var: 18151 LB: 8 @ 320.4 335.52 c Restart #63 #Var: 18151 LB: 8 @ 335.37 338.33 c Restart #64 #Var: 18151 LB: 8 @ 338.17 351.40 c Restart #65 #Var: 18151 LB: 8 @ 351.24 378.39 c Restart #66 #Var: 18151 LB: 8 @ 378.22 392.86 c Restart #67 #Var: 18151 LB: 8 @ 392.68 418.19 c Restart #68 #Var: 18151 LB: 8 @ 418 433.84 c Restart #69 #Var: 18151 LB: 8 @ 433.64 452.82 c Restart #70 #Var: 18151 LB: 8 @ 452.62 489.87 c Restart #71 #Var: 18151 LB: 8 @ 489.66 497.10 c Restart #72 #Var: 18151 LB: 8 @ 496.89 528.60 c Restart #73 #Var: 18151 LB: 8 @ 528.37 604.49 c Restart #74 #Var: 18151 LB: 8 @ 604.24 696.69 c Restart #75 #Var: 18151 LB: 8 @ 696.4 712.48 c Restart #76 #Var: 18151 LB: 8 @ 712.19 726.06 c Restart #77 #Var: 18151 LB: 8 @ 725.76 749.27 c Restart #78 #Var: 18151 LB: 8 @ 748.97 807.20 c Restart #79 #Var: 18151 LB: 8 @ 806.87 854.00 c Restart #80 #Var: 18151 LB: 8 @ 853.66 889.76 c Restart #81 #Var: 18151 LB: 8 @ 889.41 1021.42 c CHANGE Heuristic... 1021.42 c Restart #0 #Var: 18151 LB: 8 @ 1021 1021.87 c Restart #1 #Var: 18151 LB: 8 @ 1021.5 1022.10 c Restart #2 #Var: 18146 LB: 8 @ 1021.7 1022.30 c Restart #3 #Var: 18145 LB: 8 @ 1021.9 1023.05 c Restart #4 #Var: 18131 LB: 8 @ 1022.6 1023.40 c Restart #5 #Var: 18131 LB: 8 @ 1023 1024.06 c Restart #6 #Var: 18131 LB: 8 @ 1023.7 1024.57 c Restart #7 #Var: 18117 LB: 8 @ 1024.2 1025.40 c Restart #8 #Var: 18117 LB: 8 @ 1025 1025.87 c Restart #9 #Var: 18111 LB: 8 @ 1025.5 1027.46 c Restart #10 #Var: 18111 LB: 8 @ 1027.1 1031.20 c Restart #11 #Var: 18104 LB: 8 @ 1030.8 1032.38 c Restart #12 #Var: 18103 LB: 8 @ 1032 1033.07 c Restart #13 #Var: 18103 LB: 8 @ 1032.7 1034.16 c Restart #14 #Var: 18099 LB: 8 @ 1033.8 1035.71 c Restart #15 #Var: 18099 LB: 8 @ 1035.3 1038.05 c Restart #16 #Var: 18099 LB: 8 @ 1037.6 1059.11 c Restart #17 #Var: 18096 LB: 8 @ 1058.7 1064.88 c Restart #18 #Var: 18096 LB: 8 @ 1064.5 1067.26 c Restart #19 #Var: 18095 LB: 8 @ 1066.8 1070.37 c Restart #20 #Var: 18095 LB: 8 @ 1069.9 1074.83 c Restart #21 #Var: 18095 LB: 8 @ 1074.4 1080.12 c Restart #22 #Var: 18095 LB: 8 @ 1079.7 1081.35 c Restart #23 #Var: 18095 LB: 8 @ 1080.9 1085.84 c Restart #24 #Var: 18094 LB: 8 @ 1085.4 1088.52 c Restart #25 #Var: 18083 LB: 8 @ 1088.1 1107.29 c Restart #26 #Var: 18083 LB: 8 @ 1106.9 1148.57 c Restart #27 #Var: 18083 LB: 8 @ 1148.1 1230.60 c Restart #28 #Var: 18083 LB: 8 @ 1230.1 1233.37 c Restart #29 #Var: 18083 LB: 8 @ 1232.9 1242.38 c Restart #30 #Var: 18064 LB: 8 @ 1241.9 1274.71 c Restart #31 #Var: 18064 LB: 8 @ 1274.2 1289.90 c Restart #32 #Var: 18064 LB: 8 @ 1289.4 1293.36 c Restart #33 #Var: 18054 LB: 8 @ 1292.9 1328.00 c Restart #34 #Var: 18054 LB: 8 @ 1327.5 1369.75 c Restart #35 #Var: 18054 LB: 8 @ 1369.2 1427.90 c Restart #36 #Var: 18054 LB: 8 @ 1427.4 1479.65 c Restart #37 #Var: 18054 LB: 8 @ 1479.1 1518.89 c Restart #38 #Var: 18054 LB: 8 @ 1518.3 1541.78 c Restart #39 #Var: 18054 LB: 8 @ 1541.2 1607.22 c Restart #40 #Var: 18054 LB: 8 @ 1606.6 1637.68 c Restart #41 #Var: 18054 LB: 8 @ 1637.1 1693.09 c Restart #42 #Var: 18054 LB: 8 @ 1692.5 1730.41 c Restart #43 #Var: 18054 LB: 8 @ 1729.8 1800.70 s UNKNOWN 1800.70 c Exit Code: 0 1800.70 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/node70/watcher-39847-1149260391 -o ROOT/results/node70/solver-39847-1149260391 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39847-1149260391/instance-39847-1149260391.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/64 32366 /proc/meminfo: memFree=1860384/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=4748 CPUtime=0 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 210 0 0 0 0 0 0 0 18 0 1 0 191708665 4861952 181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8850213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 1187 190 144 55 0 79 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.95 0.90 2/64 32366 /proc/meminfo: memFree=1834344/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=31324 CPUtime=9.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7221 0 0 0 993 6 0 0 25 0 1 0 191708665 32075776 6829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 7831 6829 297 55 0 6723 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 31324 [startup+20.0095 s] /proc/loadavg: 0.94 0.96 0.91 2/64 32366 /proc/meminfo: memFree=1834088/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=31580 CPUtime=19.98 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7469 0 0 0 1989 9 0 0 25 0 1 0 191708665 32337920 6897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 7895 6897 297 55 0 6787 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 31580 [startup+30.0153 s] /proc/loadavg: 0.95 0.96 0.91 2/64 32366 /proc/meminfo: memFree=1834600/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=30840 CPUtime=29.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7563 0 0 0 2989 10 0 0 25 0 1 0 191708665 31580160 6720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 7710 6720 297 55 0 6602 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 30840 [startup+40.0212 s] /proc/loadavg: 0.95 0.96 0.91 2/64 32366 /proc/meminfo: memFree=1834216/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=31512 CPUtime=39.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7708 0 0 0 3987 12 0 0 25 0 1 0 191708665 32268288 6865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 7878 6865 297 55 0 6770 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 31512 [startup+50.027 s] /proc/loadavg: 0.96 0.96 0.91 2/64 32366 /proc/meminfo: memFree=1834024/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=31660 CPUtime=49.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7751 0 0 0 4986 13 0 0 25 0 1 0 191708665 32419840 6908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 7915 6908 297 55 0 6807 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 31660 [startup+60.0328 s] /proc/loadavg: 0.97 0.96 0.91 2/64 32366 /proc/meminfo: memFree=1834472/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=31244 CPUtime=60 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7849 0 0 0 5984 16 0 0 25 0 1 0 191708665 31993856 6788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 7811 6788 297 55 0 6703 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 31244 [startup+70.0396 s] /proc/loadavg: 0.97 0.96 0.91 2/64 32366 /proc/meminfo: memFree=1834600/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=30840 CPUtime=70 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 7899 0 0 0 6977 23 0 0 25 0 1 0 191708665 31580160 6720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 7710 6720 297 55 0 6602 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 30840 [startup+80.0464 s] /proc/loadavg: 0.98 0.96 0.91 2/70 32479 /proc/meminfo: memFree=1783992/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=80404 CPUtime=79.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 20305 0 0 0 7960 39 0 0 25 0 1 0 191708665 82333696 19103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 20101 19103 297 55 0 18993 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 80404 [startup+90.0533 s] /proc/loadavg: 0.98 0.96 0.91 2/64 32561 /proc/meminfo: memFree=1762336/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=102840 CPUtime=89.98 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 25923 0 0 0 8953 45 0 0 25 0 1 0 191708665 105308160 24720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 0 0 0 /proc/32366/statm: 25710 24720 297 55 0 24602 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 102840 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.91 2/64 32561 /proc/meminfo: memFree=1737704/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=127656 CPUtime=99.98 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 32104 0 0 0 9946 52 0 0 25 0 1 0 191708665 130719744 30901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 31914 30901 297 55 0 30806 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 127656 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.91 2/64 32561 /proc/meminfo: memFree=1715176/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=150228 CPUtime=109.98 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 37735 0 0 0 10942 56 0 0 25 0 1 0 191708665 153833472 36532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 37557 36532 297 55 0 36449 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 150228 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1701224/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=164096 CPUtime=119.98 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 41203 0 0 0 11938 60 0 0 25 0 1 0 191708665 168034304 39999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 41024 39999 297 55 0 39916 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 164096 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1676264/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=189032 CPUtime=129.98 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 47433 0 0 0 12931 67 0 0 25 0 1 0 191708665 193568768 46229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 47258 46229 297 55 0 46150 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 189032 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1658408/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=206876 CPUtime=139.98 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 51891 0 0 0 13927 71 0 0 25 0 1 0 191708665 211841024 50687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 51719 50687 297 55 0 50611 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 206876 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1649000/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=216252 CPUtime=149.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 54243 0 0 0 14926 73 0 0 25 0 1 0 191708665 221442048 53039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 54063 53039 297 55 0 52955 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 216252 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1647144/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=218100 CPUtime=159.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 54700 0 0 0 15925 74 0 0 25 0 1 0 191708665 223334400 53496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 54525 53496 297 55 0 53417 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 218100 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1645224/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=220080 CPUtime=169.99 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 55186 0 0 0 16925 74 0 0 25 0 1 0 191708665 225361920 53982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 55020 53982 297 55 0 53912 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 220080 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1641832/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=223380 CPUtime=180 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 56024 0 0 0 17924 76 0 0 25 0 1 0 191708665 228741120 54820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 55845 54820 297 55 0 54737 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 223380 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1631656/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=233568 CPUtime=190 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 58564 0 0 0 18921 79 0 0 25 0 1 0 191708665 239173632 57360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 58392 57360 297 55 0 57284 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 233568 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1625960/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=239248 CPUtime=200.07 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 59984 0 0 0 19926 81 0 0 25 0 1 0 191708665 244989952 58780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 59812 58780 297 55 0 58704 0 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 239248 [startup+210.195 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1619752/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/32366/statm: 205250 203847 297 55 0 204142 0 Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 821000 [startup+1771.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1043432/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=821660 CPUtime=1770.45 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205372 0 0 0 176751 294 0 0 25 0 1 0 191708665 841379840 204027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205415 204027 297 55 0 204307 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 821660 [startup+1781.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1042792/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=822320 CPUtime=1780.45 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205536 0 0 0 177751 294 0 0 25 0 1 0 191708665 842055680 204191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205580 204191 297 55 0 204472 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 822320 [startup+1782.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1042664/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=822452 CPUtime=1781.45 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205564 0 0 0 177851 294 0 0 25 0 1 0 191708665 842190848 204219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205613 204219 297 55 0 204505 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 822452 [startup+1783.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1042536/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=822584 CPUtime=1782.46 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205598 0 0 0 177952 294 0 0 25 0 1 0 191708665 842326016 204253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205646 204253 297 55 0 204538 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 822584 [startup+1784.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1042408/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=822716 CPUtime=1783.47 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205628 0 0 0 178052 295 0 0 25 0 1 0 191708665 842461184 204283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205679 204283 297 55 0 204571 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 822716 [startup+1785.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1042344/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=822848 CPUtime=1784.47 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205655 0 0 0 178152 295 0 0 25 0 1 0 191708665 842596352 204310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205712 204310 297 55 0 204604 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 822848 [startup+1786.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1042216/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=822848 CPUtime=1785.48 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205685 0 0 0 178253 295 0 0 25 0 1 0 191708665 842596352 204340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205712 204340 297 55 0 204604 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 822848 [startup+1787.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1042088/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=822980 CPUtime=1786.48 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205714 0 0 0 178353 295 0 0 25 0 1 0 191708665 842731520 204369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205745 204369 297 55 0 204637 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 822980 [startup+1788.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041960/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823112 CPUtime=1787.48 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205741 0 0 0 178453 295 0 0 25 0 1 0 191708665 842866688 204396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205778 204396 297 55 0 204670 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 823112 [startup+1789.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041896/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823244 CPUtime=1788.49 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205761 0 0 0 178554 295 0 0 25 0 1 0 191708665 843001856 204416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205811 204416 297 55 0 204703 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 823244 [startup+1790.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041832/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823244 CPUtime=1789.49 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205773 0 0 0 178654 295 0 0 25 0 1 0 191708665 843001856 204428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205811 204428 297 55 0 204703 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 823244 [startup+1791.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041768/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823376 CPUtime=1790.5 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205789 0 0 0 178755 295 0 0 25 0 1 0 191708665 843137024 204444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205844 204444 297 55 0 204736 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 823376 [startup+1792.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041704/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823376 CPUtime=1791.5 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205810 0 0 0 178855 295 0 0 25 0 1 0 191708665 843137024 204465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205844 204465 297 55 0 204736 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 823376 [startup+1793.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041640/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823508 CPUtime=1792.5 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205820 0 0 0 178955 295 0 0 25 0 1 0 191708665 843272192 204475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205877 204475 297 55 0 204769 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 823508 [startup+1794.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041576/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823508 CPUtime=1793.51 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205832 0 0 0 179056 295 0 0 25 0 1 0 191708665 843272192 204487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205877 204487 297 55 0 204769 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 823508 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041576/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823508 CPUtime=1794.51 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205845 0 0 0 179156 295 0 0 25 0 1 0 191708665 843272192 204500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205877 204500 297 55 0 204769 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 823508 [startup+1796.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041512/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823640 CPUtime=1795.52 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205860 0 0 0 179257 295 0 0 25 0 1 0 191708665 843407360 204515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205910 204515 297 55 0 204802 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 823640 [startup+1797.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041448/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823640 CPUtime=1796.52 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205877 0 0 0 179357 295 0 0 25 0 1 0 191708665 843407360 204532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205910 204532 297 55 0 204802 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 823640 [startup+1798.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041320/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823772 CPUtime=1797.53 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205894 0 0 0 179458 295 0 0 25 0 1 0 191708665 843542528 204549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205943 204549 297 55 0 204835 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 823772 [startup+1799.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041256/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823772 CPUtime=1798.53 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205911 0 0 0 179558 295 0 0 25 0 1 0 191708665 843542528 204566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205943 204566 297 55 0 204835 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 823772 [startup+1800.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32561 /proc/meminfo: memFree=1041192/2055920 swapFree=4182232/4192956 [pid=32366] ppid=32364 vsize=823904 CPUtime=1799.53 /proc/32366/stat : 32366 (bsolo) R 32364 32366 32320 0 -1 0 205926 0 0 0 179658 295 0 0 25 0 1 0 191708665 843677696 204581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32366/statm: 205976 204581 297 55 0 204868 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 823904 Child status: 0 Real time (s): 1800.84 CPU time (s): 1800.15 CPU user time (s): 1797.07 CPU system time (s): 3.08153 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (Kb): 823904
Begin job on node70 on Fri Jun 2 14:59:51 UTC 2006 FILE ID= 39847-1149260391 PBS_JOBID= 298621 BENCH NAME= ROOT/tmp/node70/39847-1149260391/instance-39847-1149260391.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39847-1149260391/instance-39847-1149260391.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-39847-1149260391 -o ROOT/results/node70/solver-39847-1149260391 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39847-1149260391/instance-39847-1149260391.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 012c11861136c422cb8bda81e1d7561a RANDOM SEED= 792514275 /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 : 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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1860656 kB Buffers: 17812 kB Cached: 106168 kB SwapCached: 2364 kB Active: 41388 kB Inactive: 91228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860656 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15404 kB Slab: 48700 kB Committed_AS: 198704 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Fri Jun 2 15:29:52 UTC 2006