Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.01 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6216 |
Sum of products size (including duplicates) | 12432 |
Number of different products | 3108 |
Sum of products size | 6216 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702555-1278570048.opb. 0.00/0.00 c Instance file HOME/instance-2702555-1278570048.opb 0.00/0.00 c File size is 256537 bytes. 0.01/0.04 c Highest Coefficient sum: 45 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.04 s | 0.01/0.04 c | Number Variables: 3308 | 0.01/0.04 c | Number Clauses: 3108 | 0.01/0.04 c | Number Cardinality: 400 | 0.01/0.04 c | Number PB Constraints: 3108 | 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6616 15340 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 0 0.01/0.05 o 0 0.01/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6617 15540 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -1 0.01/0.06 o -1 0.01/0.06 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 200 6618 15740 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -2 0.01/0.06 o -2 0.01/0.06 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 200 6619 15940 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -3 0.01/0.06 o -3 0.01/0.06 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 200 6620 16140 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -4 0.01/0.06 o -4 0.01/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 200 6621 16340 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -5 0.01/0.06 o -5 0.01/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 3 | 200 6622 16540 | 5000 3 196 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -6 0.01/0.06 o -6 0.01/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 7 | 200 6623 16740 | 5000 7 196 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -7 0.01/0.07 o -7 0.01/0.07 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 11 | 200 6624 16940 | 5000 11 196 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -8 0.01/0.07 o -8 0.01/0.07 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 26 | 200 6625 17140 | 5000 26 195 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -9 0.01/0.07 o -9 0.01/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 101 | 200 6626 17340 | 5000 101 195 | 0.000 % | 0.01/0.08 c | 204 | 200 6626 17340 | 5500 204 195 | 93.954 % | 0.01/0.10 c =============================================================================== 0.01/0.10 c New solution: -10 0.01/0.10 o -10 0.01/0.10 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s 0.01/0.10 c =============================================================================== 0.01/0.10 c | 310 | 200 6627 17540 | 5000 310 196 | 93.954 % | 0.09/0.11 c | 411 | 200 6627 17540 | 5500 411 196 | 93.954 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -11 0.09/0.11 o -11 0.09/0.11 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 422 | 200 6628 17740 | 5000 422 196 | 93.954 % | 0.09/0.12 c | 524 | 200 6628 17740 | 5500 524 196 | 93.954 % | 0.09/0.14 c | 678 | 200 6628 17740 | 6050 678 195 | 93.954 % | 0.09/0.18 c | 903 | 200 6628 17740 | 6655 903 197 | 93.954 % | 0.19/0.25 c | 1241 | 200 6628 17740 | 7320 1241 197 | 93.954 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -12 0.19/0.26 o -12 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 1312 | 200 6629 17940 | 5000 1312 197 | 93.954 % | 0.19/0.28 c | 1413 | 200 6629 17940 | 5500 1413 196 | 93.954 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -13 0.19/0.29 o -13 0.19/0.29 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 1436 | 200 6630 18140 | 5000 1436 196 | 93.954 % | 0.29/0.31 c | 1537 | 200 6630 18140 | 5500 1537 198 | 93.954 % | 0.29/0.34 c | 1689 | 200 6630 18140 | 6050 1689 198 | 93.954 % | 0.29/0.39 c | 1915 | 200 6630 18140 | 6655 1915 197 | 93.954 % | 0.39/0.50 c | 2252 | 200 6630 18140 | 7320 2252 197 | 93.954 % | 0.59/0.62 c | 2759 | 200 6630 18140 | 8052 2759 197 | 93.954 % | 0.88/0.90 c | 3518 | 200 6630 18140 | 8857 3518 197 | 93.954 % | 1.39/1.47 c | 4659 | 200 6630 18140 | 9743 4659 195 | 93.954 % | 1.99/2.03 c | 6367 | 200 6630 18140 | 10717 6367 194 | 93.954 % | 2.19/2.29 c =============================================================================== 2.19/2.29 c New solution: -14 2.19/2.29 o -14 2.19/2.29 c Elapsed CPU time: 2.25766 s Remaining CPU time: 177.742 s 2.19/2.29 c =============================================================================== 2.19/2.29 c | 6745 | 200 6631 18340 | 5000 6745 194 | 93.954 % | 2.28/2.33 c | 6847 | 200 6631 18340 | 5500 6847 194 | 93.954 % | 2.28/2.36 c | 6998 | 200 6631 18340 | 6050 6998 194 | 93.954 % | 2.38/2.49 c | 7225 | 200 6631 18340 | 6655 7225 194 | 93.954 % | 2.69/2.78 c | 7563 | 200 6631 18340 | 7320 7563 196 | 93.954 % | 2.89/2.97 c | 8072 | 200 6631 18340 | 8052 8072 195 | 93.954 % | 3.19/3.28 c =============================================================================== 3.19/3.28 c New solution: -15 3.19/3.28 o -15 3.19/3.28 c Elapsed CPU time: 3.23351 s Remaining CPU time: 176.766 s 3.19/3.28 c =============================================================================== 3.19/3.28 c | 8523 | 200 6632 18540 | 5000 8523 196 | 93.954 % | 3.29/3.36 c | 8624 | 200 6632 18540 | 5500 4363 195 | 93.954 % | 3.39/3.42 c | 8776 | 200 6632 18540 | 6050 4515 196 | 93.954 % | 3.48/3.51 c | 9001 | 200 6632 18540 | 6655 4740 198 | 93.954 % | 3.59/3.65 c | 9338 | 200 6632 18540 | 7320 5077 200 | 93.954 % | 3.69/3.79 c | 9845 | 200 6632 18540 | 8052 5584 201 | 93.954 % | 3.98/4.01 c | 10605 | 200 6632 18540 | 8857 6344 200 | 93.954 % | 4.69/4.78 c | 11745 | 200 6632 18540 | 9743 7484 199 | 93.954 % | 4.79/4.80 c =============================================================================== 4.79/4.80 c New solution: -16 4.79/4.80 o -16 4.79/4.80 c Elapsed CPU time: 4.73928 s Remaining CPU time: 175.261 s 4.79/4.80 c =============================================================================== 4.79/4.80 c | 11781 | 200 6633 18740 | 5000 7520 198 | 93.954 % | 4.89/4.91 c | 11882 | 200 6633 18740 | 5500 7621 198 | 93.954 % | 4.99/5.04 c | 12033 | 200 6633 18740 | 6050 7772 198 | 93.954 % | 5.18/5.20 c | 12258 | 200 6633 18740 | 6655 7997 198 | 93.954 % | 5.49/5.55 c | 12597 | 200 6633 18740 | 7320 8336 199 | 93.954 % | 5.89/5.95 c | 13105 | 200 6633 18740 | 8052 8844 200 | 93.954 % | 6.60/6.69 c | 13865 | 200 6633 18740 | 8857 9604 202 | 93.954 % | 7.38/7.42 c =============================================================================== 7.38/7.42 c New solution: -17 7.38/7.42 o -17 7.38/7.42 c Elapsed CPU time: 7.34388 s Remaining CPU time: 172.656 s 7.38/7.42 c =============================================================================== 7.38/7.42 c | 14539 | 200 6634 18940 | 5000 10278 208 | 93.954 % | 7.48/7.54 c | 14639 | 200 6634 18940 | 5500 5239 217 | 93.954 % | 7.59/7.65 c | 14790 | 200 6634 18940 | 6050 5390 216 | 93.954 % | 7.78/7.83 c | 15017 | 200 6634 18940 | 6655 5617 215 | 93.954 % | 8.09/8.12 c | 15355 | 200 6634 18940 | 7320 5955 219 | 93.954 % | 8.39/8.49 c | 15863 | 200 6634 18940 | 8052 6463 227 | 93.954 % | 9.08/9.14 c | 16622 | 200 6634 18940 | 8857 7222 226 | 93.954 % | 10.19/10.23 c | 17762 | 200 6634 18940 | 9743 8362 224 | 93.954 % | 12.09/12.15 c | 19472 | 200 6634 18940 | 10717 10072 220 | 93.954 % | 14.79/14.82 c | 22035 | 200 6634 18940 | 11789 12635 214 | 93.954 % | 19.69/19.70 c | 25879 | 200 6634 18940 | 12968 8939 196 | 93.954 % | 22.28/22.33 c =============================================================================== 22.28/22.33 c New solution: -18 22.28/22.33 o -18 22.28/22.33 c Elapsed CPU time: 22.1856 s Remaining CPU time: 157.814 s 22.28/22.33 c =============================================================================== 22.28/22.33 c | 28213 | 200 6635 19140 | 5000 11273 194 | 93.954 % | 22.38/22.43 c | 28313 | 200 6635 19140 | 5500 5737 189 | 93.954 % | 22.38/22.47 c | 28464 | 200 6635 19140 | 6050 5888 189 | 93.954 % | 22.58/22.63 c | 28689 | 200 6635 19140 | 6655 6113 189 | 93.954 % | 22.78/22.87 c | 29027 | 200 6635 19140 | 7320 6451 190 | 93.954 % | 22.99/23.03 c | 29533 | 200 6635 19140 | 8052 6957 190 | 93.954 % | 23.48/23.58 c | 30292 | 200 6635 19140 | 8857 7716 189 | 93.954 % | 24.58/24.65 c | 31432 | 200 6635 19140 | 9743 8856 189 | 93.954 % | 26.08/26.12 c | 33142 | 200 6635 19140 | 10717 10566 189 | 93.954 % | 29.48/29.53 c | 35704 | 200 6635 19140 | 11789 13128 188 | 93.954 % | 33.88/33.92 c | 39550 | 200 6635 19140 | 12968 9435 187 | 93.954 % | 40.18/40.26 c | 45319 | 200 6635 19140 | 14265 15204 187 | 93.954 % | 50.88/50.96 c | 53968 | 200 6635 19140 | 15692 15075 190 | 93.954 % | 53.17/53.21 c =============================================================================== 53.17/53.21 c New solution: -19 53.17/53.21 o -19 53.17/53.21 c Elapsed CPU time: 52.934 s Remaining CPU time: 127.066 s 53.17/53.21 c =============================================================================== 53.17/53.21 c | 57192 | 200 6636 19340 | 5000 18299 190 | 93.954 % | 53.47/53.53 c | 57293 | 200 6636 19340 | 5500 4676 193 | 93.954 % | 53.47/53.59 c | 57444 | 200 6636 19340 | 6050 4827 193 | 93.954 % | 53.57/53.68 c | 57669 | 200 6636 19340 | 6655 5052 192 | 93.954 % | 53.78/53.83 c | 58008 | 200 6636 19340 | 7320 5391 192 | 93.954 % | 53.97/54.09 c | 58515 | 200 6636 19340 | 8052 5898 192 | 93.954 % | 54.48/54.60 c | 59274 | 200 6636 19340 | 8857 6657 192 | 93.954 % | 55.07/55.15 c =============================================================================== 55.07/55.15 c New solution: -20 55.07/55.15 o -20 55.07/55.15 c Elapsed CPU time: 54.8547 s Remaining CPU time: 125.145 s 55.07/55.15 c =============================================================================== 55.07/55.15 c | 60184 | 200 6637 19540 | 5000 7567 191 | 93.954 % | 55.27/55.30 c | 60285 | 200 6637 19540 | 5500 7668 191 | 93.954 % | 55.27/55.38 c | 60438 | 200 6637 19540 | 6050 7821 191 | 93.954 % | 55.47/55.56 c | 60664 | 200 6637 19540 | 6655 8047 191 | 93.954 % | 55.67/55.74 c | 61001 | 200 6637 19540 | 7320 8384 191 | 93.954 % | 55.98/56.06 c | 61508 | 200 6637 19540 | 8052 8891 191 | 93.954 % | 56.57/56.64 c | 62267 | 200 6637 19540 | 8857 9650 194 | 93.954 % | 57.47/57.52 c | 63407 | 200 6637 19540 | 9743 10790 196 | 93.954 % | 58.28/58.31 c =============================================================================== 58.28/58.31 c New solution: -21 58.28/58.31 o -21 58.28/58.31 c Elapsed CPU time: 57.9942 s Remaining CPU time: 122.006 s 58.28/58.31 c =============================================================================== 58.28/58.31 c | 64432 | 200 6638 19740 | 5000 11815 199 | 93.954 % | 58.37/58.41 c | 64533 | 200 6638 19740 | 5500 6009 205 | 93.954 % | 58.37/58.49 c | 64685 | 200 6638 19740 | 6050 6161 206 | 93.954 % | 58.57/58.61 c | 64911 | 200 6638 19740 | 6655 6387 207 | 93.954 % | 58.67/58.79 c | 65250 | 200 6638 19740 | 7320 6726 207 | 93.954 % | 58.97/59.07 c | 65759 | 200 6638 19740 | 8052 7235 209 | 93.954 % | 59.38/59.46 c | 66519 | 200 6638 19740 | 8857 7995 211 | 93.954 % | 59.77/59.81 c | 67659 | 200 6638 19740 | 9743 9135 212 | 93.954 % | 60.28/60.38 c =============================================================================== 60.28/60.38 c New solution: -22 60.28/60.38 o -22 60.28/60.38 c Elapsed CPU time: 60.0429 s Remaining CPU time: 119.957 s 60.28/60.38 c =============================================================================== 60.28/60.38 c | 69050 | 200 6639 19940 | 5000 10526 209 | 93.954 % | 60.38/60.50 c | 69151 | 200 6639 19940 | 5500 5364 216 | 93.954 % | 60.48/60.55 c | 69301 | 200 6639 19940 | 6050 5514 216 | 93.954 % | 60.57/60.67 c | 69526 | 200 6639 19940 | 6655 5739 216 | 93.954 % | 60.67/60.79 c | 69864 | 200 6639 19940 | 7320 6077 217 | 93.954 % | 60.97/61.07 c | 70373 | 200 6639 19940 | 8052 6586 220 | 93.954 % | 61.48/61.57 c | 71134 | 200 6639 19940 | 8857 7347 224 | 93.954 % | 62.37/62.41 c | 72274 | 200 6639 19940 | 9743 8487 226 | 93.954 % | 63.37/63.50 c | 73983 | 200 6639 19940 | 10717 10196 231 | 93.954 % | 65.67/65.76 c | 76546 | 200 6639 19940 | 11789 12759 228 | 93.954 % | 67.87/67.97 c | 80392 | 200 6639 19940 | 12968 9067 215 | 93.954 % | 73.97/74.05 c | 86160 | 200 6639 19940 | 14265 14835 203 | 93.954 % | 81.57/81.62 c | 94812 | 200 6639 19940 | 15692 14710 185 | 93.954 % | 95.16/95.28 c | 107789 | 200 6639 19940 | 17261 18201 192 | 93.954 % | 110.26/110.34 c | 127251 | 200 6639 19940 | 18987 17114 187 | 93.954 % | 138.46/138.58 c | 156443 | 200 6639 19940 | 20886 11571 183 | 93.954 % | 180.43/180.59 c | 200233 | 200 6639 19940 | 22974 15152 183 | 93.954 % | 180.84/180.96 c There are 3108 assigned variables. 0 in cost function. 181.54/181.62 c core #1 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -199 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #2 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -198 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #3 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -197 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #4 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -196 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #5 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -195 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #6 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -194 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #7 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -193 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #8 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -192 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #9 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -191 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #10 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -190 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #11 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -189 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #12 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -188 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #13 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -187 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #14 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -186 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #15 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -185 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #16 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -184 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #17 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -183 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #18 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -182 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #19 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -181 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #20 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -180 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #21 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -179 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #22 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -178 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #23 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -177 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #24 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -176 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #25 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -175 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #26 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -174 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #27 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -173 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #28 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -172 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #29 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -171 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #30 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -170 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #31 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -169 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #32 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -168 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #33 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -167 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #34 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -166 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #35 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -165 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #36 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -164 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #37 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -163 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #38 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -162 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #39 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -161 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #40 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -160 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #41 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -159 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #42 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -158 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #43 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -157 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #44 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -156 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #45 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -155 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #46 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -154 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #47 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -153 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #48 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -152 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #49 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -151 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #50 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -150 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #51 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -149 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #52 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -148 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #53 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -147 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #54 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -146 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #55 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -145 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #56 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -144 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #57 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -143 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #58 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -142 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c core #59 181.54/181.62 c 181.54/181.62 c 181.54/181.62 c Core size: 3 Core Weight: 1 Total Weight: -141 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #60 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -140 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #61 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -139 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #62 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -138 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #63 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -137 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #64 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -136 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #65 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -135 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #66 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -134 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #67 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -133 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #68 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -132 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #69 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -131 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #70 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -130 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #71 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -129 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #72 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -128 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #73 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -127 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #74 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -126 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #75 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -125 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #76 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -124 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #77 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -123 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #78 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -122 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #79 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -121 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #80 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -120 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #81 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -119 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #82 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -118 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #83 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -117 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #84 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -116 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #85 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -115 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #86 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -114 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #87 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -113 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #88 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -112 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #89 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -111 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #90 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -110 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #91 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -109 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #92 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -108 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #93 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -107 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #94 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -106 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #95 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -105 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #96 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -104 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #97 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -103 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #98 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 3 Core Weight: 1 Total Weight: -102 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #99 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 10 Core Weight: 1 Total Weight: -101 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #100 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 11 Core Weight: 1 Total Weight: -100 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c core #101 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 10 Core Weight: 1 Total Weight: -99 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c ============================[ Search Statistics ]============================== 181.84/181.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.98 c =============================================================================== 181.84/181.98 c | 0 | 412 6540 11440 | 5000 0 nan | 0.000 % | 181.84/181.98 c =============================================================================== 181.84/181.99 c core #102 181.84/181.99 c 181.84/181.99 c 181.84/181.99 c Core size: 10 Core Weight: 1 Total Weight: -98 181.84/181.99 c 181.84/181.99 c 181.84/181.99 c ============================[ Search Statistics ]============================== 181.84/181.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.99 c =============================================================================== 181.84/181.99 c | 0 | 418 6541 11452 | 5000 0 nan | 0.000 % | 181.84/182.00 c =============================================================================== 181.94/182.01 c core #103 181.94/182.01 c 181.94/182.01 c 181.94/182.01 c Core size: 10 Core Weight: 1 Total Weight: -97 181.94/182.01 c 181.94/182.01 c 181.94/182.01 c ============================[ Search Statistics ]============================== 181.94/182.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.01 c =============================================================================== 181.94/182.01 c | 0 | 424 6542 11464 | 5000 0 nan | 0.000 % | 181.94/182.01 c =============================================================================== 181.94/182.02 c core #104 181.94/182.02 c 181.94/182.02 c 181.94/182.02 c Core size: 14 Core Weight: 1 Total Weight: -96 181.94/182.02 c 181.94/182.02 c 181.94/182.02 c ============================[ Search Statistics ]============================== 181.94/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.02 c =============================================================================== 181.94/182.02 c | 0 | 432 6543 11480 | 5000 0 nan | 0.000 % | 181.94/182.02 c =============================================================================== 181.94/182.03 c core #105 181.94/182.03 c 181.94/182.03 c 181.94/182.03 c Core size: 10 Core Weight: 1 Total Weight: -95 181.94/182.03 c 181.94/182.03 c 181.94/182.03 c ============================[ Search Statistics ]============================== 181.94/182.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.03 c =============================================================================== 181.94/182.03 c | 0 | 438 6544 11492 | 5000 0 nan | 0.000 % | 181.94/182.04 c =============================================================================== 181.94/182.05 c core #106 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c Core size: 10 Core Weight: 1 Total Weight: -94 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c ============================[ Search Statistics ]============================== 181.94/182.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.05 c =============================================================================== 181.94/182.05 c | 0 | 444 6545 11504 | 5000 0 nan | 0.000 % | 181.94/182.05 c =============================================================================== 181.94/182.06 c core #107 181.94/182.06 c 181.94/182.06 c 181.94/182.06 c Core size: 10 Core Weight: 1 Total Weight: -93 181.94/182.06 c 181.94/182.06 c 181.94/182.06 c ============================[ Search Statistics ]============================== 181.94/182.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.06 c =============================================================================== 181.94/182.06 c | 0 | 450 6546 11516 | 5000 0 nan | 0.000 % | 181.94/182.06 c =============================================================================== 181.94/182.08 c core #108 181.94/182.08 c 181.94/182.08 c 181.94/182.08 c Core size: 8 Core Weight: 1 Total Weight: -92 181.94/182.08 c 181.94/182.08 c 181.94/182.08 c ============================[ Search Statistics ]============================== 181.94/182.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.08 c =============================================================================== 181.94/182.08 c | 0 | 454 6547 11524 | 5000 0 nan | 0.000 % | 181.94/182.08 c =============================================================================== 181.94/182.09 c core #109 181.94/182.09 c 181.94/182.09 c 181.94/182.09 c Core size: 17 Core Weight: 1 Total Weight: -91 181.94/182.09 c 181.94/182.09 c 181.94/182.09 c ============================[ Search Statistics ]============================== 181.94/182.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.09 c =============================================================================== 181.94/182.09 c | 0 | 468 6548 11552 | 5000 0 nan | 0.000 % | 181.94/182.09 c =============================================================================== 182.04/182.11 c core #110 182.04/182.11 c 182.04/182.11 c 182.04/182.11 c Core size: 10 Core Weight: 1 Total Weight: -90 182.04/182.11 c 182.04/182.11 c 182.04/182.11 c ============================[ Search Statistics ]============================== 182.04/182.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.11 c =============================================================================== 182.04/182.11 c | 0 | 474 6549 11564 | 5000 0 nan | 0.000 % | 182.04/182.11 c =============================================================================== 182.04/182.12 c core #111 182.04/182.12 c 182.04/182.12 c 182.04/182.12 c Core size: 10 Core Weight: 1 Total Weight: -89 182.04/182.12 c 182.04/182.12 c 182.04/182.12 c ============================[ Search Statistics ]============================== 182.04/182.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.12 c =============================================================================== 182.04/182.12 c | 0 | 480 6550 11576 | 5000 0 nan | 0.000 % | 182.04/182.12 c =============================================================================== 182.04/182.13 c core #112 182.04/182.13 c 182.04/182.13 c 182.04/182.13 c Core size: 10 Core Weight: 1 Total Weight: -88 182.04/182.13 c 182.04/182.13 c 182.04/182.13 c ============================[ Search Statistics ]============================== 182.04/182.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.14 c =============================================================================== 182.04/182.14 c | 0 | 486 6551 11588 | 5000 0 nan | 0.000 % | 182.04/182.14 c =============================================================================== 182.04/182.15 c core #113 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 10 Core Weight: 1 Total Weight: -87 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c ============================[ Search Statistics ]============================== 182.04/182.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.15 c =============================================================================== 182.04/182.15 c | 0 | 492 6552 11600 | 5000 0 nan | 0.000 % | 182.04/182.15 c =============================================================================== 182.04/182.16 c core #114 182.04/182.16 c 182.04/182.16 c 182.04/182.16 c Core size: 18 Core Weight: 1 Total Weight: -86 182.04/182.16 c 182.04/182.16 c 182.04/182.16 c ============================[ Search Statistics ]============================== 182.04/182.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.16 c =============================================================================== 182.04/182.16 c | 0 | 506 6553 11628 | 5000 0 nan | 0.000 % | 182.04/182.17 c =============================================================================== 182.04/182.18 c core #115 182.04/182.18 c 182.04/182.18 c 182.04/182.18 c Core size: 12 Core Weight: 1 Total Weight: -85 182.04/182.18 c 182.04/182.18 c 182.04/182.18 c ============================[ Search Statistics ]============================== 182.04/182.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.18 c =============================================================================== 182.04/182.18 c | 0 | 514 6554 11644 | 5000 0 nan | 0.000 % | 182.04/182.18 c =============================================================================== 182.04/182.19 c core #116 182.04/182.19 c 182.04/182.19 c 182.04/182.19 c Core size: 10 Core Weight: 1 Total Weight: -84 182.04/182.19 c 182.04/182.19 c 182.04/182.19 c ============================[ Search Statistics ]============================== 182.04/182.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.19 c =============================================================================== 182.04/182.19 c | 0 | 520 6555 11656 | 5000 0 nan | 0.000 % | 182.04/182.19 c =============================================================================== 182.14/182.21 c core #117 182.14/182.21 c 182.14/182.21 c 182.14/182.21 c Core size: 16 Core Weight: 1 Total Weight: -83 182.14/182.21 c 182.14/182.21 c 182.14/182.21 c ============================[ Search Statistics ]============================== 182.14/182.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.21 c =============================================================================== 182.14/182.21 c | 0 | 530 6556 11676 | 5000 0 nan | 0.000 % | 182.14/182.21 c =============================================================================== 182.14/182.22 c core #118 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 16 Core Weight: 1 Total Weight: -82 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c ============================[ Search Statistics ]============================== 182.14/182.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.22 c =============================================================================== 182.14/182.22 c | 0 | 540 6557 11696 | 5000 0 nan | 0.000 % | 182.14/182.22 c =============================================================================== 182.14/182.23 c core #119 182.14/182.23 c 182.14/182.23 c 182.14/182.23 c Core size: 14 Core Weight: 1 Total Weight: -81 182.14/182.23 c 182.14/182.23 c 182.14/182.23 c ============================[ Search Statistics ]============================== 182.14/182.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.23 c =============================================================================== 182.14/182.23 c | 0 | 548 6558 11712 | 5000 0 nan | 0.000 % | 182.14/182.24 c =============================================================================== 182.14/182.25 c core #120 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c Core size: 20 Core Weight: 1 Total Weight: -80 182.14/182.25 c 182.14/182.25 c 182.14/182.25 c ============================[ Search Statistics ]============================== 182.14/182.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.25 c =============================================================================== 182.14/182.25 c | 0 | 560 6559 11736 | 5000 0 nan | 0.000 % | 182.14/182.25 c =============================================================================== 182.14/182.26 c core #121 182.14/182.26 c 182.14/182.26 c 182.14/182.26 c Core size: 12 Core Weight: 1 Total Weight: -79 182.14/182.26 c 182.14/182.26 c 182.14/182.26 c ============================[ Search Statistics ]============================== 182.14/182.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.26 c =============================================================================== 182.14/182.26 c | 0 | 568 6560 11752 | 5000 0 nan | 0.000 % | 182.14/182.26 c =============================================================================== 182.14/182.28 c core #122 182.14/182.28 c 182.14/182.28 c 182.14/182.28 c Core size: 18 Core Weight: 1 Total Weight: -78 182.14/182.28 c 182.14/182.28 c 182.14/182.28 c ============================[ Search Statistics ]============================== 182.14/182.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.28 c =============================================================================== 182.14/182.28 c | 0 | 578 6561 11772 | 5000 0 nan | 0.000 % | 182.14/182.28 c =============================================================================== 182.14/182.29 c core #123 182.14/182.29 c 182.14/182.29 c 182.14/182.29 c Core size: 17 Core Weight: 1 Total Weight: -77 182.14/182.29 c 182.14/182.29 c 182.14/182.29 c ============================[ Search Statistics ]============================== 182.14/182.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.29 c =============================================================================== 182.14/182.29 c | 0 | 592 6562 11800 | 5000 0 nan | 0.000 % | 182.23/182.30 c =============================================================================== 182.23/182.31 c core #124 182.23/182.31 c 182.23/182.31 c 182.23/182.31 c Core size: 42 Core Weight: 1 Total Weight: -76 182.23/182.31 c 182.23/182.31 c 182.23/182.31 c ============================[ Search Statistics ]============================== 182.23/182.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.31 c =============================================================================== 182.23/182.31 c | 0 | 620 6563 11856 | 5000 0 nan | 0.000 % | 182.23/182.32 c =============================================================================== 182.23/182.33 c core #125 182.23/182.33 c 182.23/182.33 c 182.23/182.33 c Core size: 37 Core Weight: 1 Total Weight: -75 182.23/182.33 c 182.23/182.33 c 182.23/182.33 c ============================[ Search Statistics ]============================== 182.23/182.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.33 c =============================================================================== 182.23/182.33 c | 0 | 646 6564 11908 | 5000 0 nan | 0.000 % | 182.23/182.36 c | 105 | 646 6564 11908 | 5500 105 12 | 82.792 % | 182.23/182.36 c =============================================================================== 182.23/182.38 c core #126 182.23/182.38 c 182.23/182.38 c 182.23/182.38 c Core size: 33 Core Weight: 1 Total Weight: -74 182.23/182.38 c 182.23/182.38 c 182.23/182.38 c ============================[ Search Statistics ]============================== 182.23/182.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.38 c =============================================================================== 182.23/182.38 c | 0 | 678 6565 11972 | 5000 0 nan | 0.000 % | 182.33/182.40 c | 102 | 678 6565 11972 | 5500 102 31 | 82.092 % | 182.33/182.43 c | 255 | 678 6565 11972 | 6050 255 29 | 82.092 % | 182.33/182.48 c | 481 | 678 6565 11972 | 6655 481 30 | 82.092 % | 182.45/182.55 c | 819 | 678 6565 11972 | 7320 819 29 | 82.092 % | 182.55/182.65 c =============================================================================== 182.55/182.68 c core #127 182.55/182.68 c 182.55/182.68 c 182.55/182.68 c Core size: 54 Core Weight: 1 Total Weight: -73 182.55/182.68 c 182.55/182.68 c 182.55/182.68 c ============================[ Search Statistics ]============================== 182.55/182.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.68 c =============================================================================== 182.55/182.68 c | 0 | 727 6566 12070 | 5000 0 nan | 0.000 % | 182.64/182.70 c | 100 | 727 6566 12070 | 5500 100 50 | 81.043 % | 182.64/182.72 c | 250 | 726 6566 12070 | 6050 250 37 | 81.069 % | 182.64/182.75 c | 476 | 726 6566 12070 | 6655 474 36 | 81.069 % | 182.74/182.80 c | 814 | 726 6566 12070 | 7320 812 34 | 81.069 % | 182.84/182.90 c | 1320 | 717 6566 12070 | 8052 1316 29 | 81.304 % | 182.84/182.90 c =============================================================================== 182.84/182.92 c core #128 182.84/182.92 c 182.84/182.92 c 182.84/182.92 c Core size: 49 Core Weight: 1 Total Weight: -72 182.84/182.92 c 182.84/182.92 c 182.84/182.92 c ============================[ Search Statistics ]============================== 182.84/182.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.92 c =============================================================================== 182.84/182.92 c | 0 | 767 6567 12150 | 5000 0 nan | 0.000 % | 182.84/182.94 c | 103 | 767 6567 12150 | 5500 103 43 | 80.206 % | 182.84/182.97 c | 253 | 767 6567 12150 | 6050 253 38 | 80.206 % | 182.94/183.01 c | 481 | 767 6567 12150 | 6655 481 36 | 80.206 % | 182.94/183.07 c | 822 | 767 6567 12150 | 7320 822 36 | 80.206 % | 183.03/183.19 c | 1332 | 767 6567 12150 | 8052 1332 36 | 80.206 % | 183.24/183.35 c | 2092 | 767 6567 12150 | 8857 2092 37 | 80.206 % | 183.54/183.60 c | 3232 | 767 6567 12150 | 9743 3232 37 | 80.206 % | 183.93/184.03 c | 4940 | 767 6567 12150 | 10717 4940 37 | 80.206 % | 184.54/184.68 c =============================================================================== 184.65/184.77 c core #129 184.65/184.77 c 184.65/184.77 c 184.65/184.77 c Core size: 105 Core Weight: 1 Total Weight: -71 184.65/184.77 c 184.65/184.77 c 184.65/184.77 c ============================[ Search Statistics ]============================== 184.65/184.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.77 c =============================================================================== 184.65/184.77 c | 0 | 855 6568 12326 | 5000 0 nan | 0.000 % | 184.65/184.80 c | 104 | 855 6568 12326 | 5500 104 15 | 78.425 % | 184.75/184.82 c | 256 | 855 6568 12326 | 6050 256 15 | 78.425 % | 184.75/184.87 c | 482 | 847 6568 12326 | 6655 479 14 | 79.258 % | 184.75/184.89 c =============================================================================== 184.84/184.91 c core #130 184.84/184.91 c 184.84/184.91 c 184.84/184.91 c Core size: 66 Core Weight: 1 Total Weight: -70 184.84/184.91 c 184.84/184.91 c 184.84/184.91 c ============================[ Search Statistics ]============================== 184.84/184.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.91 c =============================================================================== 184.84/184.91 c | 0 | 907 6569 12430 | 5000 0 nan | 0.000 % | 184.84/184.92 c | 100 | 907 6569 12430 | 5500 100 29 | 77.410 % | 184.84/184.95 c | 250 | 907 6569 12430 | 6050 250 33 | 77.410 % | 184.94/185.01 c | 476 | 907 6569 12430 | 6655 476 41 | 77.410 % | 184.94/185.08 c | 815 | 907 6569 12430 | 7320 815 40 | 77.410 % | 185.13/185.20 c | 1322 | 907 6569 12430 | 8052 1322 38 | 77.410 % | 185.24/185.35 c | 2081 | 871 6569 12430 | 8857 1768 58 | 78.306 % | 185.44/185.59 c | 3221 | 871 6569 12430 | 9743 2908 102 | 78.306 % | 186.04/186.13 c | 4929 | 870 6569 12430 | 10717 4616 127 | 78.331 % | 186.63/186.73 c | 7495 | 870 6569 12430 | 11789 7182 141 | 78.331 % | 187.43/187.53 c =============================================================================== 187.43/187.56 c core #131 187.43/187.56 c 187.43/187.56 c 187.43/187.56 c Core size: 136 Core Weight: 1 Total Weight: -69 187.43/187.56 c 187.43/187.56 c 187.43/187.56 c ============================[ Search Statistics ]============================== 187.43/187.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.56 c =============================================================================== 187.43/187.56 c | 0 | 979 6570 12574 | 5000 0 nan | 0.000 % | 187.43/187.60 c | 101 | 979 6570 12574 | 5500 101 77 | 76.046 % | 187.53/187.61 c | 251 | 979 6570 12574 | 6050 251 45 | 76.046 % | 187.53/187.63 c | 476 | 979 6570 12574 | 6655 476 43 | 76.046 % | 187.53/187.67 c | 813 | 979 6570 12574 | 7320 813 45 | 76.046 % | 187.64/187.75 c | 1321 | 979 6570 12574 | 8052 1321 50 | 76.046 % | 187.84/187.90 c | 2083 | 979 6570 12574 | 8857 2083 58 | 76.046 % | 188.13/188.21 c | 3225 | 979 6570 12574 | 9743 3225 63 | 76.046 % | 188.63/188.79 c | 4934 | 979 6570 12574 | 10717 4934 69 | 76.046 % | 189.73/189.85 c | 7496 | 979 6570 12574 | 11789 7496 74 | 76.046 % | 191.63/191.72 c | 11340 | 979 6570 12574 | 12968 11340 76 | 76.046 % | 193.04/193.11 c | 17106 | 979 6570 12574 | 14265 8947 110 | 76.046 % | 197.54/197.60 c | 25756 | 979 6570 12574 | 15692 8822 172 | 76.046 % | 209.34/209.48 c | 38731 | 979 6570 12574 | 17261 12288 173 | 76.046 % | 227.92/228.04 c | 58192 | 979 6570 12574 | 18987 11203 172 | 76.046 % | 266.02/266.15 c | 87385 | 979 6570 12574 | 20886 17222 173 | 76.046 % | 315.61/315.72 c | 131174 | 979 6570 12574 | 22974 20811 170 | 76.046 % | 360.49/360.67 c | 196859 | 979 6570 12574 | 25272 25044 171 | 76.046 % | 471.56/471.74 c | 295386 | 979 6570 12574 | 27799 17976 173 | 76.046 % | 642.91/643.19 c | 443177 | 979 6570 12574 | 30579 25508 172 | 76.046 % | 924.54/924.80 c | 664862 | 979 6570 12574 | 33637 19974 173 | 76.046 % | 1468.11/1468.52 c | 997390 | 979 6570 12574 | 37001 18412 170 | 76.046 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702555-1278570048/watcher-2702555-1278570048 -o /tmp/evaluation-result-2702555-1278570048/solver-2702555-1278570048 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702555-1278570048.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.99 2/106 3776 /proc/meminfo: memFree=1558084/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=3116 CPUtime=0 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 337 0 0 0 0 0 0 0 19 0 1 0 25218606 3190784 255 1992294400 134512640 135752675 4289816832 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 779 255 133 303 0 411 0 [startup+0.021383 s] /proc/loadavg: 0.93 0.98 0.99 2/106 3776 /proc/meminfo: memFree=1558084/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=3548 CPUtime=0.01 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 461 0 0 0 1 0 0 0 19 0 1 0 25218606 3633152 379 1992294400 134512640 135752675 4289816832 18446744073709551615 135162579 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 887 379 151 303 0 519 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3548 [startup+0.101393 s] /proc/loadavg: 0.93 0.98 0.99 2/106 3776 /proc/meminfo: memFree=1558084/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=4380 CPUtime=0.09 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 789 0 0 0 9 0 0 0 20 0 1 0 25218606 4485120 644 1992294400 134512640 135752675 4289816832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 1095 644 145 303 0 790 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4380 [startup+0.300416 s] /proc/loadavg: 0.93 0.98 0.99 2/106 3776 /proc/meminfo: memFree=1558084/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=5152 CPUtime=0.29 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 988 0 0 0 28 1 0 0 20 0 1 0 25218606 5275648 843 1992294400 134512640 135752675 4289816832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 1288 843 145 303 0 983 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5152 [startup+0.700463 s] /proc/loadavg: 0.93 0.98 0.99 2/106 3776 /proc/meminfo: memFree=1558084/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=6572 CPUtime=0.68 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 1341 0 0 0 67 1 0 0 20 0 1 0 25218606 6729728 1196 1992294400 134512640 135752675 4289816832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 1643 1196 145 303 0 1338 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6572 [startup+1.50056 s] /proc/loadavg: 0.93 0.98 0.99 2/107 3777 /proc/meminfo: memFree=1553488/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=8128 CPUtime=1.49 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 1725 0 0 0 147 2 0 0 23 0 1 0 25218606 8323072 1580 1992294400 134512640 135752675 4289816832 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 2032 1580 145 303 0 1727 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8128 [startup+3.10074 s] /proc/loadavg: 0.93 0.98 0.99 2/107 3777 /proc/meminfo: memFree=1550760/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=11456 CPUtime=3.09 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 2558 0 0 0 305 4 0 0 25 0 1 0 25218606 11730944 2413 1992294400 134512640 135752675 4289816832 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 2864 2413 145 303 0 2559 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11456 [startup+6.30112 s] /proc/loadavg: 0.93 0.98 0.99 2/107 3777 /proc/meminfo: memFree=1545056/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=16484 CPUtime=6.29 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 3813 0 0 0 622 7 0 0 25 0 1 0 25218606 16879616 3668 1992294400 134512640 135752675 4289816832 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 4121 3668 145 303 0 3816 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16484 [startup+12.7009 s] /proc/loadavg: 0.94 0.98 0.99 2/107 3778 /proc/meminfo: memFree=1537864/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=22948 CPUtime=12.69 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 5426 0 0 0 1259 10 0 0 25 0 1 0 25218606 23498752 5281 1992294400 134512640 135752675 4289816832 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 5737 5281 145 303 0 5432 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22948 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/107 3778 /proc/meminfo: memFree=1526456/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=34128 CPUtime=25.48 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 8198 0 0 0 2533 15 0 0 25 0 1 0 25218606 34947072 8053 1992294400 134512640 135752675 4289816832 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 8532 8053 145 303 0 8227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34128 [startup+51.1003 s] /proc/loadavg: 0.97 0.98 0.99 2/107 3778 /proc/meminfo: memFree=1508104/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=52604 CPUtime=51.08 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 12825 0 0 0 5083 25 0 0 25 0 1 0 25218606 53866496 12680 1992294400 134512640 135752675 4289816832 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 13151 12680 145 303 0 12846 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 52604 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 3780 /proc/meminfo: memFree=1451188/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=109024 CPUtime=102.27 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 26893 0 0 0 10174 53 0 0 25 0 1 0 25218606 111640576 26748 1992294400 134512640 135752675 4289816832 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 27256 26748 145 303 0 26951 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 109024 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3782 /proc/meminfo: memFree=1399728/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=160552 CPUtime=162.24 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 39733 0 0 0 16143 81 0 0 25 0 1 0 25218606 164405248 39588 1992294400 134512640 135752675 4289816832 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 40138 39588 145 303 0 39833 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 160552 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3783 /proc/meminfo: memFree=1361288/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=198516 CPUtime=222.23 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 49299 0 0 0 22108 115 0 0 25 0 1 0 25218606 203280384 49154 1992294400 134512640 135752675 4289816832 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 49629 49154 146 303 0 49324 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 198516 [startup+282.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3784 /proc/meminfo: memFree=1322104/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=237928 CPUtime=282.21 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 59118 0 0 0 28083 138 0 0 25 0 1 0 25218606 243638272 58973 1992294400 134512640 135752675 4289816832 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 59482 58973 146 303 0 59177 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 237928 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3786 /proc/meminfo: memFree=1275976/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=283956 CPUtime=342.19 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 70569 0 0 0 34054 165 0 0 25 0 1 0 25218606 290770944 70424 1992294400 134512640 135752675 4289816832 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 70989 70424 146 303 0 70684 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 283956 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3788 /proc/meminfo: memFree=1229104/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=330920 CPUtime=402.18 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 82267 0 0 0 40026 192 0 0 25 0 1 0 25218606 338862080 82122 1992294400 134512640 135752675 4289816832 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 82730 82122 146 303 0 82425 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 330920 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3790 /proc/meminfo: memFree=1188556/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=371472 CPUtime=462.16 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 92379 0 0 0 45999 217 0 0 25 0 1 0 25218606 380387328 92234 1992294400 134512640 135752675 4289816832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 92868 92234 146 303 0 92563 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 371472 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3791 /proc/meminfo: memFree=1160160/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=399876 CPUtime=522.15 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 99447 0 0 0 51982 233 0 0 25 0 1 0 25218606 409473024 99302 1992294400 134512640 135752675 4289816832 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 99969 99302 146 303 0 99664 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 399876 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3792 /proc/meminfo: memFree=1130648/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=429732 CPUtime=582.13 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 106930 0 0 0 57959 254 0 0 25 0 1 0 25218606 440045568 106785 1992294400 134512640 135752675 4289816832 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 107433 106785 146 303 0 107128 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 429732 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3794 /proc/meminfo: memFree=1069020/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=490436 CPUtime=642.13 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 122083 0 0 0 63925 288 0 0 25 0 1 0 25218606 502206464 121938 1992294400 134512640 135752675 4289816832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 122609 121938 146 303 0 122304 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 490436 [startup+702.301 s] ################ # More data... # ################ /proc/loadavg: 0.99 0.98 0.99 2/107 3808 /proc/meminfo: memFree=793616/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=765512 CPUtime=1181.97 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 190770 0 0 0 117727 470 0 0 25 0 1 0 25218606 783884288 190625 1992294400 134512640 135752675 4289816832 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 191378 190625 146 303 0 191073 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 765512 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 3/107 3810 /proc/meminfo: memFree=773156/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=785808 CPUtime=1241.95 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 195851 0 0 0 123708 487 0 0 25 0 1 0 25218606 804667392 195706 1992294400 134512640 135752675 4289816832 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 196452 195706 146 303 0 196147 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 785808 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3812 /proc/meminfo: memFree=753688/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=805164 CPUtime=1301.95 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 200667 0 0 0 129695 500 0 0 25 0 1 0 25218606 824487936 200522 1992294400 134512640 135752675 4289816832 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 201291 200522 146 303 0 200986 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 805164 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3814 /proc/meminfo: memFree=713636/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=845444 CPUtime=1361.92 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 210743 0 0 0 135669 523 0 0 25 0 1 0 25218606 865734656 210598 1992294400 134512640 135752675 4289816832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 211361 210598 146 303 0 211056 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 845444 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3815 /proc/meminfo: memFree=678792/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=880036 CPUtime=1421.92 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 219401 0 0 0 141648 544 0 0 25 0 1 0 25218606 901156864 219256 1992294400 134512640 135752675 4289816832 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 220009 219256 146 303 0 219704 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 880036 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3816 /proc/meminfo: memFree=645808/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=912980 CPUtime=1481.89 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 227608 0 0 0 147626 563 0 0 25 0 1 0 25218606 934891520 227463 1992294400 134512640 135752675 4289816832 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 228245 227463 146 303 0 227940 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 912980 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3818 /proc/meminfo: memFree=629812/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=929080 CPUtime=1541.87 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 231631 0 0 0 153612 575 0 0 25 0 1 0 25218606 951377920 231486 1992294400 134512640 135752675 4289816832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 232270 231486 146 303 0 231965 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 929080 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3820 /proc/meminfo: memFree=611832/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=947320 CPUtime=1601.86 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 236207 0 0 0 159596 590 0 0 25 0 1 0 25218606 970055680 236062 1992294400 134512640 135752675 4289816832 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 236830 236062 146 303 0 236525 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 947320 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3822 /proc/meminfo: memFree=552436/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=1006256 CPUtime=1661.84 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 250898 0 0 0 165565 619 0 0 25 0 1 0 25218606 1030406144 250753 1992294400 134512640 135752675 4289816832 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 251564 250753 146 303 0 251259 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1006256 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3823 /proc/meminfo: memFree=493660/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=1065564 CPUtime=1721.82 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 265666 0 0 0 171530 652 0 0 25 0 1 0 25218606 1091137536 265521 1992294400 134512640 135752675 4289816832 18446744073709551615 134650580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 266391 265521 146 303 0 266086 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1065564 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3824 /proc/meminfo: memFree=451252/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=1107260 CPUtime=1781.81 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 276036 0 0 0 177502 679 0 0 25 0 1 0 25218606 1133834240 275891 1992294400 134512640 135752675 4289816832 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 276815 275891 146 303 0 276510 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1107260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3825 /proc/meminfo: memFree=440588/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=1117760 CPUtime=1800.01 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 278660 0 0 0 179315 686 0 0 25 0 1 0 25218606 1144586240 278515 1992294400 134512640 135752675 4289816832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 279440 278515 146 303 0 279135 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1117760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.01 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.01 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3825 /proc/meminfo: memFree=440588/2059040 swapFree=4139384/4192956 [pid=3776] ppid=3774 vsize=1117760 CPUtime=1800.01 /proc/3776/stat : 3776 (wbo1.4b) R 3774 3776 3274 0 -1 4202496 278660 0 0 0 179315 686 0 0 25 0 1 0 25218606 1144586240 278515 1992294400 134512640 135752675 4289816832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3776/statm: 279440 278515 146 303 0 279135 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1117760 [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3826 /proc/meminfo: memFree=1526820/2059040 swapFree=4139384/4192956 [pid=3776] ppid=-1 vsize=0 CPUtime=0 /proc/3776/stat : -- couldn't open stat file --/proc/3776/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3826 /proc/meminfo: memFree=1526820/2059040 swapFree=4139384/4192956 [pid=3776] ppid=-1 vsize=0 CPUtime=0 /proc/3776/stat : -- couldn't open stat file --/proc/3776/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3776 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=156398 # childrusage.ru_stime.tv_sec=6 # childrusage.ru_stime.tv_usec=967940 # CPU time returned by wait4() is 1800.12 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.01 # lost CPU user time (s): 1793.15 # lost CPU system time (s): 6.86 Real time (s): 1800.61 CPU time (s): 1800.01 CPU user time (s): 1793.15 CPU system time (s): 6.86 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 1117760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.16 system time used= 6.96794 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278660 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 3089 runsolver used 3.15852 second user time and 8.33773 second system time The end
Begin job on node001 at 2010-07-08 08:20:48 IDJOB=2702555 IDBENCH=48212 IDSOLVER=1190 FILE ID=node001/2702555-1278570048 PBS_JOBID= 11239541 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702555-1278570048/watcher-2702555-1278570048 -o /tmp/evaluation-result-2702555-1278570048/solver-2702555-1278570048 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702555-1278570048.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED=1864881932 node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1559108 kB Buffers: 90080 kB Cached: 304824 kB SwapCached: 8392 kB Active: 134720 kB Inactive: 275292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1559108 kB SwapTotal: 4192956 kB SwapFree: 4139384 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 12032 kB Mapped: 12096 kB Slab: 68004 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180236 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702555-1278570048.opb Free space on /tmp at the end= 62500 MiB End job on node001 at 2010-07-08 08:50:51