Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.12 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb |
MD5SUM | e211111a6c1a3c27b5e79e770c101730 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 40 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 40 |
Optimality of the best value was proved | NO |
Number of variables | 15742 |
Total number of constraints | 530 |
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 | 530 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 522 |
Number of terms in the objective function | 1442 |
Biggest coefficient in the objective function | 62322 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 525467 |
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 | 525467 |
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.04 c INFO: OSL Context initialized. 0.46 c Initial problem consists of 15742 variables and 758 constraints. 0.51 c No problem reductions applied in OPT. instance. 0.51 c preprocess terminated. Elapsed time: 0.472 0.51 c After prepocess the problem consists of 9115 variables and 665 constraints. 0.51 c Initial Lower Bound: -992 0.68 c Restart #1 #Var: 9115 LB: -992 @ 0.648 1.03 c Restart #2 #Var: 9115 LB: -992 @ 0.991 1.49 c Restart #3 #Var: 9115 LB: -992 @ 1.451 1.97 c Restart #4 #Var: 9115 LB: -992 @ 1.932 2.48 c Restart #5 #Var: 9115 LB: -992 @ 2.441 3.01 c Restart #6 #Var: 9115 LB: -992 @ 2.979 3.57 c Restart #7 #Var: 9115 LB: -992 @ 3.532 4.56 c Restart #8 #Var: 9115 LB: -992 @ 4.52 5.78 c Restart #9 #Var: 9114 LB: -992 @ 5.746 6.03 c Restart #10 #Var: 9114 LB: -992 @ 5.996 6.38 c Restart #11 #Var: 9114 LB: -992 @ 6.342 6.91 c Restart #12 #Var: 9113 LB: -992 @ 6.869 7.34 c Restart #13 #Var: 9113 LB: -992 @ 7.299 8.90 c Restart #14 #Var: 9109 LB: -992 @ 8.866 10.10 c Restart #15 #Var: 9109 LB: -992 @ 10.058 11.04 c Restart #16 #Var: 9109 LB: -992 @ 10.994 12.58 c Restart #17 #Var: 9109 LB: -992 @ 12.542 13.91 c Restart #18 #Var: 9108 LB: -992 @ 13.864 15.25 c Restart #19 #Var: 9107 LB: -992 @ 15.208 17.75 c Restart #20 #Var: 9107 LB: -992 @ 17.707 19.08 c Restart #21 #Var: 9107 LB: -992 @ 19.037 19.78 c Restart #22 #Var: 9107 LB: -992 @ 19.738 20.56 c Restart #23 #Var: 9107 LB: -992 @ 20.511 21.45 c Restart #24 #Var: 9107 LB: -992 @ 21.409 22.84 c Restart #25 #Var: 9107 LB: -992 @ 22.799 23.80 c Restart #26 #Var: 9107 LB: -992 @ 23.75 27.46 c Restart #27 #Var: 9107 LB: -992 @ 27.414 29.55 c Restart #28 #Var: 9106 LB: -992 @ 29.506 32.01 c Restart #29 #Var: 9106 LB: -992 @ 31.959 33.68 c Restart #30 #Var: 9106 LB: -992 @ 33.63 37.32 c Restart #31 #Var: 9106 LB: -992 @ 37.274 40.02 c Restart #32 #Var: 9105 LB: -992 @ 39.968 41.33 c Restart #33 #Var: 9100 LB: -992 @ 41.282 53.32 c Restart #34 #Var: 9099 LB: -992 @ 53.268 54.26 c Restart #35 #Var: 9099 LB: -992 @ 54.204 62.93 c Restart #36 #Var: 9098 LB: -992 @ 62.87 79.09 c Restart #37 #Var: 9098 LB: -992 @ 79.034 129.11 c Restart #38 #Var: 9098 LB: -992 @ 129.03 135.32 c Restart #39 #Var: 9098 LB: -992 @ 135.25 139.58 c Restart #40 #Var: 9098 LB: -992 @ 139.5 143.44 c Restart #41 #Var: 9096 LB: -992 @ 143.36 171.16 c Restart #42 #Var: 9092 LB: -992 @ 171.07 179.54 c Restart #43 #Var: 9092 LB: -992 @ 179.45 183.37 c Restart #44 #Var: 9092 LB: -992 @ 183.28 192.80 c Restart #45 #Var: 9092 LB: -992 @ 192.71 210.59 c Restart #46 #Var: 9091 LB: -992 @ 210.49 218.65 c Restart #47 #Var: 9091 LB: -992 @ 218.55 260.73 c Restart #48 #Var: 9090 LB: -992 @ 260.62 270.94 c Restart #49 #Var: 9090 LB: -992 @ 270.83 312.64 c Restart #50 #Var: 9090 LB: -992 @ 312.52 314.86 c Restart #51 #Var: 9086 LB: -968 @ 314.74 337.33 c Restart #52 #Var: 9083 LB: -968 @ 337.2 357.06 c Restart #53 #Var: 9081 LB: -968 @ 356.93 361.32 c Restart #54 #Var: 9081 LB: -968 @ 361.18 370.98 c Restart #55 #Var: 9081 LB: -968 @ 370.84 372.72 c Restart #56 #Var: 9081 LB: -968 @ 372.58 383.26 c Restart #57 #Var: 9081 LB: -968 @ 383.11 402.98 c Restart #58 #Var: 9078 LB: -968 @ 402.83 417.79 c Restart #59 #Var: 9071 LB: -906 @ 417.64 429.95 c Restart #60 #Var: 9071 LB: -906 @ 429.79 462.35 c Restart #61 #Var: 9068 LB: -906 @ 462.19 494.88 c Restart #62 #Var: 9068 LB: -906 @ 494.71 521.11 c Restart #63 #Var: 9068 LB: -906 @ 520.93 540.64 c Restart #64 #Var: 9067 LB: -906 @ 540.46 543.19 c Restart #65 #Var: 9067 LB: -906 @ 543.01 560.24 c Restart #66 #Var: 9067 LB: -906 @ 560.05 565.21 c Restart #67 #Var: 9067 LB: -906 @ 565.02 608.20 c Restart #68 #Var: 9064 LB: -906 @ 608 644.26 c Restart #69 #Var: 9064 LB: -906 @ 644.05 715.60 c Restart #70 #Var: 9058 LB: -906 @ 715.36 778.14 c Restart #71 #Var: 9058 LB: -906 @ 777.89 788.17 c Restart #72 #Var: 9058 LB: -906 @ 787.92 817.66 c Restart #73 #Var: 9058 LB: -906 @ 817.4 1081.71 c CHANGE Heuristic... 1081.72 c Restart #0 #Var: 9058 LB: -906 @ 1081.4 1082.36 c Restart #1 #Var: 9057 LB: -906 @ 1082 1086.86 c Restart #2 #Var: 9053 LB: -906 @ 1086.5 1098.45 c Restart #3 #Var: 9053 LB: -906 @ 1098.1 1109.03 c Restart #4 #Var: 9053 LB: -906 @ 1108.7 1115.72 c Restart #5 #Var: 9053 LB: -906 @ 1115.4 1122.74 c Restart #6 #Var: 9051 LB: -906 @ 1122.4 1135.98 c Restart #7 #Var: 9045 LB: -902 @ 1135.6 1139.55 c Restart #8 #Var: 9045 LB: -902 @ 1139.2 1144.20 c Restart #9 #Var: 9045 LB: -902 @ 1143.9 1148.87 c Restart #10 #Var: 9045 LB: -902 @ 1148.5 1151.82 c Restart #11 #Var: 9045 LB: -902 @ 1151.5 1160.76 c Restart #12 #Var: 9042 LB: -902 @ 1160.4 1164.62 c Restart #13 #Var: 9042 LB: -902 @ 1164.3 1171.94 c Restart #14 #Var: 9042 LB: -902 @ 1171.6 1192.06 c Restart #15 #Var: 9042 LB: -902 @ 1191.7 1196.61 c Restart #16 #Var: 9042 LB: -902 @ 1196.2 1198.07 c Restart #17 #Var: 9042 LB: -902 @ 1197.7 1207.11 c Restart #18 #Var: 9041 LB: -902 @ 1206.7 1218.27 c Restart #19 #Var: 9041 LB: -902 @ 1217.9 1236.96 c Restart #20 #Var: 9041 LB: -902 @ 1236.6 1246.24 c Restart #21 #Var: 9041 LB: -902 @ 1245.9 1274.82 c Restart #22 #Var: 9041 LB: -902 @ 1274.4 1288.40 c Restart #23 #Var: 9039 LB: -902 @ 1288 1299.18 c Restart #24 #Var: 9037 LB: -902 @ 1298.8 1304.23 c Restart #25 #Var: 9037 LB: -902 @ 1303.8 1315.12 c Restart #26 #Var: 9037 LB: -902 @ 1314.7 1328.75 c Restart #27 #Var: 9037 LB: -902 @ 1328.4 1334.20 c Restart #28 #Var: 9037 LB: -902 @ 1333.8 1340.99 c Restart #29 #Var: 9037 LB: -902 @ 1340.6 1359.83 c Restart #30 #Var: 9037 LB: -902 @ 1359.4 1396.02 c Restart #31 #Var: 9037 LB: -902 @ 1395.6 1402.36 c Restart #32 #Var: 9037 LB: -902 @ 1401.9 1441.27 c Restart #33 #Var: 9036 LB: -902 @ 1440.8 1474.27 c Restart #34 #Var: 9036 LB: -902 @ 1473.8 1529.46 c Restart #35 #Var: 9035 LB: -902 @ 1529 1536.54 c Restart #36 #Var: 9035 LB: -902 @ 1536.1 1544.22 c Restart #37 #Var: 9035 LB: -902 @ 1543.8 1547.23 c Restart #38 #Var: 9035 LB: -902 @ 1546.8 1554.89 c Restart #39 #Var: 9035 LB: -902 @ 1554.4 1564.55 c Restart #40 #Var: 9035 LB: -902 @ 1564.1 1589.93 c Restart #41 #Var: 9035 LB: -902 @ 1589.5 1661.20 c Restart #42 #Var: 9035 LB: -902 @ 1660.7 1676.64 c Restart #43 #Var: 9035 LB: -902 @ 1676.1 1753.10 c Restart #44 #Var: 9035 LB: -902 @ 1752.6 1800.54 s UNKNOWN 1800.54 c Exit Code: 0 1800.54 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/node1/watcher-39900-1149326277 -o ROOT/results/node1/solver-39900-1149326277 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/39900-1149326277/instance-39900-1149326277.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1808080/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=4664 CPUtime=0 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 136 0 0 0 0 0 0 0 19 0 1 0 198289234 4775936 118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5832792 0 0 4096 0 0 0 0 17 1 0 0 /proc/5407/statm: 1166 120 100 55 0 46 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1770512/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=42632 CPUtime=9.95 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 9807 0 0 0 981 14 0 0 25 0 1 0 198289234 43655168 9717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 10658 9717 297 55 0 9550 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 42632 [startup+20.0094 s] /proc/loadavg: 0.94 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1745936/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=67312 CPUtime=19.96 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 15952 0 0 0 1973 23 0 0 25 0 1 0 198289234 68927488 15862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 16828 15862 297 55 0 15720 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 67312 [startup+30.0156 s] /proc/loadavg: 0.95 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1707280/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=105836 CPUtime=29.96 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 25592 0 0 0 2965 31 0 0 25 0 1 0 198289234 108376064 25502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 26459 25502 297 55 0 25351 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 105836 [startup+40.0218 s] /proc/loadavg: 0.96 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1683664/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=129456 CPUtime=39.96 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 31498 0 0 0 3960 36 0 0 25 0 1 0 198289234 132562944 31408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 32364 31408 297 55 0 31256 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 129456 [startup+50.028 s] /proc/loadavg: 0.96 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1678352/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=134872 CPUtime=49.97 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 32829 0 0 0 4958 39 0 0 25 0 1 0 198289234 138108928 32739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 33718 32739 297 55 0 32610 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 134872 [startup+60.0341 s] /proc/loadavg: 0.97 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1665680/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=147352 CPUtime=59.97 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 35981 0 0 0 5954 43 0 0 25 0 1 0 198289234 150888448 35891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 36838 35891 297 55 0 35730 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 147352 [startup+70.0403 s] /proc/loadavg: 0.97 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1660752/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=152352 CPUtime=69.97 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 37212 0 0 0 6953 44 0 0 25 0 1 0 198289234 156008448 37122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 38088 37122 297 55 0 36980 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 152352 [startup+80.0465 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1656720/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=156316 CPUtime=79.98 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 38211 0 0 0 7953 45 0 0 25 0 1 0 198289234 160067584 38121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 39079 38121 297 55 0 37971 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 156316 [startup+90.0526 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1655056/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=158032 CPUtime=89.98 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 38622 0 0 0 8952 46 0 0 25 0 1 0 198289234 161824768 38532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 39508 38532 297 55 0 38400 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 158032 [startup+100.059 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1653392/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=159616 CPUtime=99.98 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 39047 0 0 0 9952 46 0 0 25 0 1 0 198289234 163446784 38957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 39904 38957 297 55 0 38796 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 159616 [startup+110.065 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1651600/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=161464 CPUtime=109.98 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 39490 0 0 0 10951 47 0 0 25 0 1 0 198289234 165339136 39400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 40366 39400 297 55 0 39258 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 161464 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1650000/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=163048 CPUtime=119.99 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 39905 0 0 0 11951 48 0 0 25 0 1 0 198289234 166961152 39815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 40762 39815 297 55 0 39654 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 163048 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1648080/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=165028 CPUtime=130 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 40373 0 0 0 12951 49 0 0 25 0 1 0 198289234 168988672 40283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 41257 40283 297 55 0 40149 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 165028 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1635792/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=177304 CPUtime=139.99 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 43444 0 0 0 13947 52 0 0 25 0 1 0 198289234 181559296 43354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 44326 43354 297 55 0 43218 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 177304 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1628368/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=184696 CPUtime=150 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 45281 0 0 0 14945 55 0 0 25 0 1 0 198289234 189128704 45191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 46174 45191 297 55 0 45066 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 184696 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1627152/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=185884 CPUtime=160 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 45591 0 0 0 15945 55 0 0 25 0 1 0 198289234 190345216 45501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 46471 45501 297 55 0 45363 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 185884 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1625616/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=187336 CPUtime=170 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 45961 0 0 0 16944 56 0 0 25 0 1 0 198289234 191832064 45871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 46834 45871 297 55 0 45726 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 187336 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1617616/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=195396 CPUtime=180.01 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 47981 0 0 0 17943 58 0 0 25 0 1 0 198289234 200085504 47891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 48849 47891 297 55 0 47741 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 195396 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1604112/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=208988 CPUtime=190.02 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 51355 0 0 0 18941 61 0 0 25 0 1 0 198289234 214003712 51265 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 52247 51265 297 55 0 51139 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 208988 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1601360/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=211628 CPUtime=200.02 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 52032 0 0 0 19940 62 0 0 25 0 1 0 198289234 216707072 51942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 52907 51942 297 55 0 51799 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 211628 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5407 /proc/meminfo: memFree=1595728/2055920 swapFree=4181376/4192956 ################ # More data... # ################ /proc/5407/statm: 165358 164240 297 55 0 164250 0 Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 661432 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1149904/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=662224 CPUtime=1770.56 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 164740 0 0 0 176815 241 0 0 25 0 1 0 198289234 678117376 164436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 165556 164436 297 55 0 164448 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 662224 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1148752/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=663412 CPUtime=1780.57 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165039 0 0 0 177815 242 0 0 25 0 1 0 198289234 679333888 164735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 165853 164735 297 55 0 164745 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 663412 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1148624/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=663412 CPUtime=1781.57 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165061 0 0 0 177915 242 0 0 25 0 1 0 198289234 679333888 164757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 165853 164757 297 55 0 164745 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 663412 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1148560/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=663544 CPUtime=1782.57 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165085 0 0 0 178015 242 0 0 25 0 1 0 198289234 679469056 164781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 165886 164781 297 55 0 164778 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 663544 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1148432/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=663676 CPUtime=1783.58 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165114 0 0 0 178116 242 0 0 25 0 1 0 198289234 679604224 164810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 165919 164810 297 55 0 164811 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 663676 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1148304/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=663808 CPUtime=1784.58 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165141 0 0 0 178216 242 0 0 25 0 1 0 198289234 679739392 164837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 165952 164837 297 55 0 164844 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 663808 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1148176/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=663940 CPUtime=1785.59 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165181 0 0 0 178317 242 0 0 25 0 1 0 198289234 679874560 164877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 165985 164877 297 55 0 164877 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 663940 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1148048/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=664072 CPUtime=1786.59 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165201 0 0 0 178417 242 0 0 25 0 1 0 198289234 680009728 164897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166018 164897 297 55 0 164910 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 664072 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1147920/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=664204 CPUtime=1787.59 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165234 0 0 0 178517 242 0 0 25 0 1 0 198289234 680144896 164930 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166051 164930 297 55 0 164943 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 664204 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1147792/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=664336 CPUtime=1788.6 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165271 0 0 0 178618 242 0 0 25 0 1 0 198289234 680280064 164967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166084 164967 297 55 0 164976 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 664336 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1147600/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=664468 CPUtime=1789.6 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165310 0 0 0 178718 242 0 0 25 0 1 0 198289234 680415232 165006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166117 165006 297 55 0 165009 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 664468 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1147472/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=664600 CPUtime=1790.61 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165349 0 0 0 178819 242 0 0 25 0 1 0 198289234 680550400 165045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166150 165045 297 55 0 165042 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 664600 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1147280/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=664864 CPUtime=1791.61 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165392 0 0 0 178919 242 0 0 25 0 1 0 198289234 680820736 165088 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166216 165088 297 55 0 165108 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 664864 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1147088/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=664996 CPUtime=1792.61 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165438 0 0 0 179019 242 0 0 25 0 1 0 198289234 680955904 165134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166249 165134 297 55 0 165141 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 664996 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1146960/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=665140 CPUtime=1793.62 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165471 0 0 0 179120 242 0 0 25 0 1 0 198289234 681103360 165167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166285 165167 297 55 0 165177 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 665140 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1146896/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=665272 CPUtime=1794.62 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165495 0 0 0 179220 242 0 0 25 0 1 0 198289234 681238528 165191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166318 165191 297 55 0 165210 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 665272 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1146832/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=665272 CPUtime=1795.63 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165508 0 0 0 179321 242 0 0 25 0 1 0 198289234 681238528 165204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166318 165204 297 55 0 165210 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 665272 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1146704/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=665404 CPUtime=1796.64 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165533 0 0 0 179421 243 0 0 25 0 1 0 198289234 681373696 165229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166351 165229 297 55 0 165243 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 665404 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1146576/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=665536 CPUtime=1797.65 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165564 0 0 0 179522 243 0 0 25 0 1 0 198289234 681508864 165260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166384 165260 297 55 0 165276 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 665536 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1146576/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=665536 CPUtime=1798.65 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165575 0 0 0 179622 243 0 0 25 0 1 0 198289234 681508864 165271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166384 165271 297 55 0 165276 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 665536 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5409 /proc/meminfo: memFree=1146448/2055920 swapFree=4181376/4192956 [pid=5407] ppid=5405 vsize=665668 CPUtime=1799.66 /proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165596 0 0 0 179723 243 0 0 25 0 1 0 198289234 681644032 165292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5407/statm: 166417 165292 297 55 0 165309 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 665668 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.12 CPU user time (s): 1797.59 CPU system time (s): 2.53661 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (Kb): 665668
Begin job on node1 on Sat Jun 3 09:17:57 UTC 2006 FILE ID= 39900-1149326277 PBS_JOBID= 309650 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/39900-1149326277/instance-39900-1149326277.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-39900-1149326277 -o ROOT/results/node1/solver-39900-1149326277 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/39900-1149326277/instance-39900-1149326277.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= e211111a6c1a3c27b5e79e770c101730 RANDOM SEED= 583078056 /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.231 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.231 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: 1808480 kB Buffers: 10168 kB Cached: 175228 kB SwapCached: 3236 kB Active: 42704 kB Inactive: 151344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808480 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 236 kB Writeback: 0 kB Mapped: 14908 kB Slab: 39368 kB Committed_AS: 294988 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Sat Jun 3 09:47:57 UTC 2006