Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1596.33 | 1596.84 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 55e4261919fe5e3e5c6520778d47a3ef |
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 | 142226 |
Total number of constraints | 20881 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 780 |
Biggest coefficient in the objective function | 261957 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524680 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261957 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524680 |
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.08 c INFO: OSL Context initialized. 4.86 c Initial problem consists of 142226 variables and 20882 constraints. 5.52 c No problem reductions applied in OPT. instance. 5.52 c preprocess terminated. Elapsed time: 5.452 5.52 c After prepocess the problem consists of 142212 variables and 20882 constraints. 5.52 c Initial Lower Bound: -270 11.72 c Restart #1 #Var: 142212 LB: -270 @ 11.648 27.36 c Restart #2 #Var: 142212 LB: -270 @ 27.282 39.10 c Restart #3 #Var: 142212 LB: -270 @ 39.02 81.11 c Restart #4 #Var: 142212 LB: -270 @ 81.016 110.99 c Restart #5 #Var: 142212 LB: -270 @ 110.89 135.77 c Restart #6 #Var: 142212 LB: -270 @ 135.66 189.86 c Restart #7 #Var: 142212 LB: -270 @ 189.74 215.25 c Restart #8 #Var: 142212 LB: -270 @ 215.12 250.00 c Restart #9 #Var: 142212 LB: -270 @ 249.86 277.89 c Restart #10 #Var: 142212 LB: -270 @ 277.74 301.99 c Restart #11 #Var: 142212 LB: -270 @ 301.84 335.43 c Restart #12 #Var: 142212 LB: -270 @ 335.27 363.94 c Restart #13 #Var: 142212 LB: -270 @ 363.77 402.07 c Restart #14 #Var: 142212 LB: -270 @ 401.89 438.48 c Restart #15 #Var: 142212 LB: -270 @ 438.3 481.32 c Restart #16 #Var: 142212 LB: -270 @ 481.12 524.74 c Restart #17 #Var: 142212 LB: -270 @ 524.53 573.21 c Restart #18 #Var: 142212 LB: -270 @ 572.98 622.33 c Restart #19 #Var: 142212 LB: -270 @ 622.1 676.31 c Restart #20 #Var: 142212 LB: -270 @ 676.06 730.90 c Restart #21 #Var: 142212 LB: -270 @ 730.63 790.37 c Restart #22 #Var: 142212 LB: -270 @ 790.1 850.05 c Restart #23 #Var: 142212 LB: -270 @ 849.76 914.88 c CHANGE Heuristic... 914.88 c Restart #0 #Var: 142212 LB: -270 @ 914.57 914.98 c Restart #1 #Var: 142212 LB: -270 @ 914.67 915.07 c Restart #2 #Var: 142212 LB: -270 @ 914.76 915.15 c Restart #3 #Var: 142212 LB: -270 @ 914.84 915.38 c Restart #4 #Var: 142212 LB: -270 @ 915.07 915.54 c Restart #5 #Var: 142212 LB: -270 @ 915.23 915.91 c Restart #6 #Var: 142212 LB: -270 @ 915.6 916.43 c Restart #7 #Var: 142212 LB: -270 @ 916.12 917.68 c Restart #8 #Var: 142212 LB: -270 @ 917.37 918.30 c Restart #9 #Var: 142212 LB: -270 @ 917.99 918.50 c Restart #10 #Var: 142212 LB: -270 @ 918.19 919.18 c Restart #11 #Var: 142212 LB: -270 @ 918.87 919.44 c Restart #12 #Var: 142212 LB: -270 @ 919.13 920.30 c Restart #13 #Var: 142212 LB: -270 @ 919.98 920.60 c Restart #14 #Var: 142212 LB: -270 @ 920.29 921.60 c Restart #15 #Var: 142212 LB: -270 @ 921.28 921.96 c Restart #16 #Var: 142212 LB: -270 @ 921.65 923.04 c Restart #17 #Var: 142212 LB: -270 @ 922.73 923.47 c Restart #18 #Var: 142212 LB: -270 @ 923.15 924.48 c Restart #19 #Var: 142212 LB: -270 @ 924.17 924.99 c Restart #20 #Var: 142212 LB: -270 @ 924.68 926.00 c Restart #21 #Var: 142212 LB: -270 @ 925.68 926.56 c Restart #22 #Var: 142212 LB: -270 @ 926.25 927.75 c Restart #23 #Var: 142212 LB: -270 @ 927.44 928.40 c Restart #24 #Var: 142212 LB: -270 @ 928.08 929.61 c Restart #25 #Var: 142212 LB: -270 @ 929.3 930.37 c Restart #26 #Var: 142212 LB: -270 @ 930.06 932.06 c Restart #27 #Var: 142212 LB: -270 @ 931.75 933.07 c Restart #28 #Var: 142212 LB: -270 @ 932.76 935.33 c Restart #29 #Var: 142212 LB: -270 @ 935.01 936.19 c Restart #30 #Var: 142212 LB: -270 @ 935.88 938.52 c Restart #31 #Var: 142212 LB: -270 @ 938.2 939.61 c Restart #32 #Var: 142212 LB: -270 @ 939.29 944.75 c Restart #33 #Var: 142212 LB: -270 @ 944.43 945.93 c Restart #34 #Var: 142212 LB: -270 @ 945.61 951.48 c Restart #35 #Var: 142212 LB: -270 @ 951.15 952.60 c Restart #36 #Var: 142212 LB: -270 @ 952.28 956.49 c Restart #37 #Var: 142212 LB: -270 @ 956.17 957.78 c Restart #38 #Var: 142212 LB: -270 @ 957.46 963.27 c Restart #39 #Var: 142212 LB: -270 @ 962.94 964.59 c Restart #40 #Var: 142212 LB: -270 @ 964.26 970.59 c Restart #41 #Var: 142212 LB: -270 @ 970.26 971.97 c Restart #42 #Var: 142212 LB: -270 @ 971.65 978.35 c Restart #43 #Var: 142212 LB: -270 @ 978.02 979.75 c Restart #44 #Var: 142212 LB: -270 @ 979.42 986.06 c Restart #45 #Var: 142212 LB: -270 @ 985.72 987.64 c Restart #46 #Var: 142212 LB: -270 @ 987.3 994.52 c Restart #47 #Var: 142212 LB: -270 @ 994.19 996.24 c Restart #48 #Var: 142212 LB: -270 @ 995.9 1001.86 c Restart #49 #Var: 142212 LB: -270 @ 1001.5 1003.66 c Restart #50 #Var: 142212 LB: -270 @ 1003.3 1009.58 c Restart #51 #Var: 142212 LB: -270 @ 1009.2 1011.53 c Restart #52 #Var: 142212 LB: -270 @ 1011.2 1017.80 c Restart #53 #Var: 142212 LB: -270 @ 1017.5 1019.69 c Restart #54 #Var: 142212 LB: -270 @ 1019.4 1026.33 c Restart #55 #Var: 142212 LB: -270 @ 1026 1028.24 c Restart #56 #Var: 142212 LB: -270 @ 1027.9 1035.11 c Restart #57 #Var: 142212 LB: -270 @ 1034.8 1037.29 c Restart #58 #Var: 142212 LB: -270 @ 1036.9 1044.09 c Restart #59 #Var: 142212 LB: -270 @ 1043.7 1049.94 c Restart #60 #Var: 142212 LB: -270 @ 1049.6 1052.37 c Restart #61 #Var: 142212 LB: -270 @ 1052 1063.19 c Restart #62 #Var: 142212 LB: -270 @ 1062.8 1065.26 c Restart #63 #Var: 142212 LB: -270 @ 1064.9 1070.73 c Restart #64 #Var: 142212 LB: -270 @ 1070.4 1073.06 c Restart #65 #Var: 142212 LB: -270 @ 1072.7 1078.82 c Restart #66 #Var: 142212 LB: -270 @ 1078.5 1080.87 c Restart #67 #Var: 142212 LB: -270 @ 1080.5 1087.26 c Restart #68 #Var: 142212 LB: -270 @ 1086.9 1089.43 c Restart #69 #Var: 142212 LB: -270 @ 1089.1 1095.90 c Restart #70 #Var: 142212 LB: -270 @ 1095.5 1098.11 c Restart #71 #Var: 142212 LB: -270 @ 1097.8 1104.85 c Restart #72 #Var: 142212 LB: -270 @ 1104.5 1107.37 c Restart #73 #Var: 142212 LB: -270 @ 1107 1114.12 c Restart #74 #Var: 142212 LB: -270 @ 1113.8 1116.96 c Restart #75 #Var: 142212 LB: -270 @ 1116.6 1126.78 c Restart #76 #Var: 142212 LB: -270 @ 1126.4 1130.02 c Restart #77 #Var: 142212 LB: -270 @ 1129.6 1141.74 c Restart #78 #Var: 142212 LB: -270 @ 1141.4 1144.91 c Restart #79 #Var: 142212 LB: -270 @ 1144.5 1156.53 c Restart #80 #Var: 142212 LB: -270 @ 1156.1 1159.79 c Restart #81 #Var: 142212 LB: -270 @ 1159.4 1168.98 c Restart #82 #Var: 142212 LB: -270 @ 1168.6 1172.34 c Restart #83 #Var: 142212 LB: -270 @ 1172 1184.40 c Restart #84 #Var: 142212 LB: -270 @ 1184 1187.96 c Restart #85 #Var: 142212 LB: -270 @ 1187.6 1199.96 c Restart #86 #Var: 142212 LB: -270 @ 1199.6 1203.45 c Restart #87 #Var: 142212 LB: -270 @ 1203.1 1216.29 c Restart #88 #Var: 142212 LB: -270 @ 1215.9 1220.17 c Restart #89 #Var: 142212 LB: -270 @ 1219.8 1232.73 c Restart #90 #Var: 142212 LB: -270 @ 1232.3 1236.70 c Restart #91 #Var: 142212 LB: -270 @ 1236.3 1245.00 c Restart #92 #Var: 142212 LB: -270 @ 1244.6 1248.48 c Restart #93 #Var: 142212 LB: -270 @ 1248.1 1256.98 c Restart #94 #Var: 142212 LB: -270 @ 1256.6 1260.66 c Restart #95 #Var: 142212 LB: -270 @ 1260.3 1269.44 c Restart #96 #Var: 142212 LB: -270 @ 1269 1273.37 c Restart #97 #Var: 142212 LB: -270 @ 1273 1281.85 c Restart #98 #Var: 142212 LB: -270 @ 1281.4 1285.79 c Restart #99 #Var: 142212 LB: -270 @ 1285.4 1294.65 c Restart #100 #Var: 142212 LB: -270 @ 1294.2 1298.84 c Restart #101 #Var: 142212 LB: -270 @ 1298.4 1308.12 c Restart #102 #Var: 142212 LB: -270 @ 1307.7 1312.83 c Restart #103 #Var: 142212 LB: -270 @ 1312.4 1322.25 c Restart #104 #Var: 142212 LB: -270 @ 1321.8 1327.39 c Restart #105 #Var: 142212 LB: -270 @ 1327 1341.41 c Restart #106 #Var: 142212 LB: -270 @ 1341 1346.23 c Restart #107 #Var: 142212 LB: -270 @ 1345.8 1361.11 c Restart #108 #Var: 142212 LB: -270 @ 1360.7 1365.94 c Restart #109 #Var: 142212 LB: -270 @ 1365.5 1387.89 c Restart #110 #Var: 142212 LB: -270 @ 1387.5 1393.07 c Restart #111 #Var: 142212 LB: -270 @ 1392.6 1405.94 c Restart #112 #Var: 142212 LB: -270 @ 1405.5 1411.42 c Restart #113 #Var: 142212 LB: -270 @ 1411 1427.91 c Restart #114 #Var: 142212 LB: -270 @ 1427.5 1436.80 c Restart #115 #Var: 142212 LB: -270 @ 1436.3 1456.58 c Restart #116 #Var: 142212 LB: -270 @ 1456.1 1464.53 c Restart #117 #Var: 142212 LB: -270 @ 1464.1 1482.98 c Restart #118 #Var: 142212 LB: -270 @ 1482.5 1488.64 c Restart #119 #Var: 142212 LB: -270 @ 1488.2 1501.20 c Restart #120 #Var: 142212 LB: -270 @ 1500.7 1507.08 c Restart #121 #Var: 142212 LB: -270 @ 1506.6 1530.87 c Restart #122 #Var: 142212 LB: -270 @ 1530.4 1537.18 c Restart #123 #Var: 142212 LB: -270 @ 1536.7 1558.81 c Restart #124 #Var: 142212 LB: -270 @ 1558.3 1566.06 c Restart #125 #Var: 142212 LB: -270 @ 1565.6 1590.81 c Restart #126 #Var: 142212 LB: -270 @ 1590.3
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/node69/watcher-39853-1149262025 -o ROOT/results/node69/solver-39853-1149262025 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/39853-1149262025/instance-39853-1149262025.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1376884/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=436 CPUtime=0 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 191872506 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11952932 0 0 4096 0 0 0 0 17 1 0 0 /proc/12797/statm: 109 23 18 55 0 18 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1172036/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=214460 CPUtime=9.92 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 57539 0 0 0 957 35 0 0 25 0 1 0 191872506 219607040 51467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 53615 51467 296 55 0 52507 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 214460 [startup+20.0088 s] /proc/loadavg: 0.94 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1171460/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=215084 CPUtime=19.92 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58123 0 0 0 1946 46 0 0 25 0 1 0 191872506 220246016 51634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 53771 51634 297 55 0 52663 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 215084 [startup+30.0146 s] /proc/loadavg: 0.95 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1171460/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=214828 CPUtime=29.93 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58184 0 0 0 2932 61 0 0 25 0 1 0 191872506 219983872 51593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 53707 51593 297 55 0 52599 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 214828 [startup+40.0205 s] /proc/loadavg: 0.96 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1171524/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=214828 CPUtime=39.93 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58184 0 0 0 3926 67 0 0 25 0 1 0 191872506 219983872 51593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 53707 51593 297 55 0 52599 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 214828 [startup+50.0263 s] /proc/loadavg: 0.96 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1171332/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=215288 CPUtime=49.94 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58335 0 0 0 4916 78 0 0 25 0 1 0 191872506 220454912 51677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 53822 51677 297 55 0 52714 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 215288 [startup+60.0322 s] /proc/loadavg: 0.97 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170692/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=215940 CPUtime=59.94 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58511 0 0 0 5916 78 0 0 25 0 1 0 191872506 221122560 51853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 53985 51853 297 55 0 52877 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 215940 [startup+70.039 s] /proc/loadavg: 0.97 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170500/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216072 CPUtime=69.94 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58556 0 0 0 6916 78 0 0 25 0 1 0 191872506 221257728 51898 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542291 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54018 51898 297 55 0 52910 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 216072 [startup+80.0449 s] /proc/loadavg: 0.98 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216272 CPUtime=79.94 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58620 0 0 0 7916 78 0 0 25 0 1 0 191872506 221462528 51954 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54068 51954 297 55 0 52960 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 216272 [startup+90.0507 s] /proc/loadavg: 0.98 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216416 CPUtime=89.94 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 8899 95 0 0 25 0 1 0 191872506 221609984 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54104 51962 297 55 0 52996 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 216416 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216416 CPUtime=99.95 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 9893 102 0 0 25 0 1 0 191872506 221609984 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54104 51962 297 55 0 52996 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 216416 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=109.96 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 10891 105 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 216328 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=119.95 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 11874 121 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 216328 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=129.96 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 12873 123 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 216328 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=139.96 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 13863 133 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 216328 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=149.96 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 14854 142 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 216328 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=159.97 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 15848 149 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 216328 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=169.97 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 16848 149 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 216328 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=179.97 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 17848 149 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 216328 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=189.98 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 18846 152 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 216328 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=216328 CPUtime=199.98 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 19820 178 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 54082 51962 297 55 0 52974 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 216328 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12797 /proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1380.35 Current children cumulated vsize (Kb) 1426604 [startup+1390.8 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15108/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=1445856 CPUtime=1390.35 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 368668 0 0 0 138521 514 0 0 25 0 1 0 191872506 1480556544 357693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 361464 357693 297 55 0 360356 0 Current children cumulated CPU time (s) 1390.35 Current children cumulated vsize (Kb) 1445856 [startup+1400.81 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15620/2055920 swapFree=4182224/4192956 [pid=12797] ppid=12795 vsize=1468164 CPUtime=1400.35 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 374307 0 0 0 139517 518 0 0 25 0 1 0 191872506 1503399936 363332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 367041 363332 297 55 0 365933 0 Current children cumulated CPU time (s) 1400.35 Current children cumulated vsize (Kb) 1468164 [startup+1410.82 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15940/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1499712 CPUtime=1410.36 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 382258 0 0 0 140512 524 0 0 25 0 1 0 191872506 1535705088 371283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 374928 371283 297 55 0 373820 0 Current children cumulated CPU time (s) 1410.36 Current children cumulated vsize (Kb) 1499712 [startup+1420.82 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15620/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1510800 CPUtime=1420.36 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 385066 0 0 0 141509 527 0 0 25 0 1 0 191872506 1547059200 374091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 377700 374091 297 55 0 376592 0 Current children cumulated CPU time (s) 1420.36 Current children cumulated vsize (Kb) 1510800 [startup+1430.83 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15940/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1531572 CPUtime=1430.37 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 390577 0 0 0 142505 532 0 0 25 0 1 0 191872506 1568329728 378394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 382893 378394 297 55 0 381785 0 Current children cumulated CPU time (s) 1430.37 Current children cumulated vsize (Kb) 1531572 [startup+1440.83 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15684/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1553780 CPUtime=1440.36 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 396281 0 0 0 143501 535 0 0 25 0 1 0 191872506 1591070720 383847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 388445 383847 297 55 0 387337 0 Current children cumulated CPU time (s) 1440.36 Current children cumulated vsize (Kb) 1553780 [startup+1450.84 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15748/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1567508 CPUtime=1450.38 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 399735 0 0 0 144499 539 0 0 25 0 1 0 191872506 1605128192 387301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 391877 387301 297 55 0 390769 0 Current children cumulated CPU time (s) 1450.38 Current children cumulated vsize (Kb) 1567508 [startup+1460.85 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15620/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1586688 CPUtime=1460.37 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 404638 0 0 0 145494 543 0 0 25 0 1 0 191872506 1624768512 391960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 396672 391961 297 55 0 395564 0 Current children cumulated CPU time (s) 1460.37 Current children cumulated vsize (Kb) 1586688 [startup+1470.85 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15812/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1608016 CPUtime=1470.38 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 410154 0 0 0 146491 547 0 0 25 0 1 0 191872506 1646608384 396992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 402004 396992 297 55 0 400896 0 Current children cumulated CPU time (s) 1470.38 Current children cumulated vsize (Kb) 1608016 [startup+1480.86 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=16068/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1621480 CPUtime=1480.39 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 413539 0 0 0 147487 552 0 0 25 0 1 0 191872506 1660395520 400377 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 405370 400377 297 55 0 404262 0 Current children cumulated CPU time (s) 1480.39 Current children cumulated vsize (Kb) 1621480 [startup+1490.86 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=16196/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1649428 CPUtime=1490.39 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 420681 0 0 0 148483 556 0 0 25 0 1 0 191872506 1689014272 407197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 412357 407197 297 55 0 411249 0 Current children cumulated CPU time (s) 1490.39 Current children cumulated vsize (Kb) 1649428 [startup+1500.87 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=16260/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1670824 CPUtime=1500.39 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 426059 0 0 0 149478 561 0 0 25 0 1 0 191872506 1710923776 412575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 417706 412575 297 55 0 416598 0 Current children cumulated CPU time (s) 1500.39 Current children cumulated vsize (Kb) 1670824 [startup+1510.87 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=16260/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1697472 CPUtime=1510.39 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 432815 0 0 0 150472 567 0 0 25 0 1 0 191872506 1738211328 419169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 424368 419169 297 55 0 423260 0 Current children cumulated CPU time (s) 1510.39 Current children cumulated vsize (Kb) 1697472 [startup+1520.88 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15876/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1708880 CPUtime=1520.4 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 435702 0 0 0 151469 571 0 0 25 0 1 0 191872506 1749893120 421974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 427220 421974 297 55 0 426112 0 Current children cumulated CPU time (s) 1520.4 Current children cumulated vsize (Kb) 1708880 [startup+1530.89 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15684/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1719572 CPUtime=1530.4 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 438454 0 0 0 152466 574 0 0 25 0 1 0 191872506 1760841728 424726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 429893 424726 297 55 0 428785 0 Current children cumulated CPU time (s) 1530.4 Current children cumulated vsize (Kb) 1719572 [startup+1540.89 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15044/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1747800 CPUtime=1540.4 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 445677 0 0 0 153461 579 0 0 25 0 1 0 191872506 1789747200 431787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 436950 431787 297 55 0 435842 0 Current children cumulated CPU time (s) 1540.4 Current children cumulated vsize (Kb) 1747800 [startup+1550.9 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=16004/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1759296 CPUtime=1550.41 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 448543 0 0 0 154458 583 0 0 25 0 1 0 191872506 1801519104 434653 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 439824 434653 297 55 0 438716 0 Current children cumulated CPU time (s) 1550.41 Current children cumulated vsize (Kb) 1759296 [startup+1560.9 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15684/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1774572 CPUtime=1560.4 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 452464 0 0 0 155453 587 0 0 25 0 1 0 191872506 1817161728 438252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 443643 438252 297 55 0 442535 0 Current children cumulated CPU time (s) 1560.4 Current children cumulated vsize (Kb) 1774572 [startup+1570.91 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15428/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1798076 CPUtime=1570.42 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 458384 0 0 0 156450 592 0 0 25 0 1 0 191872506 1841229824 444172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 449519 444172 297 55 0 448411 0 Current children cumulated CPU time (s) 1570.42 Current children cumulated vsize (Kb) 1798076 [startup+1580.92 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=14980/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1807976 CPUtime=1580.41 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 460859 0 0 0 157446 595 0 0 25 0 1 0 191872506 1851367424 446647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 451994 446647 297 55 0 450886 0 Current children cumulated CPU time (s) 1580.41 Current children cumulated vsize (Kb) 1807976 [startup+1590.92 s] /proc/loadavg: 0.99 0.98 0.93 2/64 12799 /proc/meminfo: memFree=15492/2055920 swapFree=4182216/4192956 [pid=12797] ppid=12795 vsize=1820052 CPUtime=1590.42 /proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 463844 0 0 0 158445 597 0 0 25 0 1 0 191872506 1863733248 449630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12797/statm: 455013 449630 297 55 0 453905 0 Current children cumulated CPU time (s) 1590.42 Current children cumulated vsize (Kb) 1820052 Child ended because it received signal 6 (SIGABRT) Real time (s): 1596.84 CPU time (s): 1596.33 CPU user time (s): 1590.05 CPU system time (s): 6.28404 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (Kb): 1820052 The end
Begin job on node69 on Fri Jun 2 15:27:05 UTC 2006 FILE ID= 39853-1149262025 PBS_JOBID= 298704 BENCH NAME= ROOT/tmp/node69/39853-1149262025/instance-39853-1149262025.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/39853-1149262025/instance-39853-1149262025.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-39853-1149262025 -o ROOT/results/node69/solver-39853-1149262025 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/39853-1149262025/instance-39853-1149262025.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 55e4261919fe5e3e5c6520778d47a3ef RANDOM SEED= 941814136 /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.232 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.232 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: 1377092 kB Buffers: 38716 kB Cached: 566680 kB SwapCached: 2592 kB Active: 156768 kB Inactive: 457548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1377092 kB SwapTotal: 4192956 kB SwapFree: 4182224 kB Dirty: 148 kB Writeback: 0 kB Mapped: 15452 kB Slab: 50464 kB Committed_AS: 283496 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Fri Jun 2 15:53:42 UTC 2006