Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b (fixed) | ? (TO) | 1800.25 | 1800.87 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_2.opb |
| MD5SUM | fdcfb05eaa099feeb8cfb1f8f1c05926 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -15 |
| Best CPU time to get the best result obtained on this benchmark | 39.8839 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -15 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| 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 | 100 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 45 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 3074 |
| Sum of products size (including duplicates) | 6148 |
| Number of different products | 1537 |
| Sum of products size | 3074 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702493-1278568480.opb. 0.00/0.00 c Instance file HOME/instance-2702493-1278568480.opb 0.00/0.00 c File size is 121790 bytes. 0.00/0.02 c Highest Coefficient sum: 45 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1637 | 0.00/0.02 c | Number Clauses: 1537 | 0.00/0.02 c | Number Cardinality: 200 | 0.00/0.02 c | Number PB Constraints: 1537 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3274 7610 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 0 0.00/0.02 o 0 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3275 7710 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -1 0.00/0.02 o -1 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3276 7810 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -2 0.00/0.02 o -2 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 2 | 100 3277 7910 | 5000 2 100 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -3 0.00/0.03 o -3 0.00/0.03 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 5 | 100 3278 8010 | 5000 5 99 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -4 0.00/0.03 o -4 0.00/0.03 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 6 | 100 3279 8110 | 5000 6 99 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -5 0.00/0.03 o -5 0.00/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 21 | 100 3280 8210 | 5000 21 99 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -6 0.02/0.03 o -6 0.02/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 48 | 100 3281 8310 | 5000 48 102 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -7 0.02/0.03 o -7 0.02/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 66 | 100 3282 8410 | 5000 66 102 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -8 0.02/0.03 o -8 0.02/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 110 | 100 3283 8510 | 5000 110 103 | 0.000 % | 0.02/0.04 c | 212 | 100 3283 8510 | 5500 212 103 | 93.891 % | 0.02/0.05 c | 366 | 100 3283 8510 | 6050 366 103 | 93.891 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: -9 0.02/0.06 o -9 0.02/0.06 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 395 | 100 3284 8610 | 5000 395 103 | 93.891 % | 0.02/0.07 c | 495 | 100 3284 8610 | 5500 495 103 | 93.891 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c New solution: -10 0.02/0.08 o -10 0.02/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.02/0.08 c =============================================================================== 0.02/0.08 c | 591 | 100 3285 8710 | 5000 591 103 | 93.891 % | 0.02/0.10 c | 694 | 100 3285 8710 | 5500 694 104 | 93.891 % | 0.09/0.12 c | 845 | 100 3285 8710 | 6050 845 104 | 93.891 % | 0.09/0.15 c | 1070 | 100 3285 8710 | 6655 1070 111 | 93.891 % | 0.20/0.22 c | 1410 | 100 3285 8710 | 7320 1410 108 | 93.891 % | 0.20/0.27 c =============================================================================== 0.20/0.27 c New solution: -11 0.20/0.27 o -11 0.20/0.27 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s 0.20/0.27 c =============================================================================== 0.20/0.27 c | 1707 | 100 3286 8810 | 5000 1707 107 | 93.891 % | 0.29/0.30 c | 1809 | 100 3286 8810 | 5500 1809 107 | 93.891 % | 0.29/0.34 c | 1960 | 100 3286 8810 | 6050 1960 107 | 93.891 % | 0.39/0.40 c | 2186 | 100 3286 8810 | 6655 2186 108 | 93.891 % | 0.39/0.49 c | 2523 | 100 3286 8810 | 7320 2523 114 | 93.891 % | 0.59/0.65 c | 3029 | 100 3286 8810 | 8052 3029 112 | 93.891 % | 0.99/1.00 c | 3791 | 100 3286 8810 | 8857 3791 111 | 93.891 % | 1.39/1.45 c | 4930 | 100 3286 8810 | 9743 4930 111 | 93.891 % | 2.69/2.71 c | 6639 | 100 3286 8810 | 10717 6639 109 | 93.891 % | 4.89/4.93 c =============================================================================== 4.89/4.93 c New solution: -12 4.89/4.93 o -12 4.89/4.93 c Elapsed CPU time: 4.90025 s Remaining CPU time: 175.1 s 4.89/4.93 c =============================================================================== 4.89/4.93 c | 8773 | 100 3287 8910 | 5000 8773 108 | 93.891 % | 4.99/5.00 c | 8875 | 100 3287 8910 | 5500 4489 104 | 93.891 % | 4.99/5.07 c | 9026 | 100 3287 8910 | 6050 4640 104 | 93.891 % | 5.09/5.17 c | 9255 | 100 3287 8910 | 6655 4869 112 | 93.891 % | 5.39/5.40 c | 9595 | 100 3287 8910 | 7320 5209 115 | 93.891 % | 5.59/5.65 c | 10101 | 100 3287 8910 | 8052 5715 125 | 93.891 % | 6.09/6.19 c | 10861 | 100 3287 8910 | 8857 6475 152 | 93.891 % | 6.69/6.72 c | 12003 | 100 3287 8910 | 9743 7617 168 | 93.891 % | 7.89/7.97 c | 13711 | 100 3287 8910 | 10717 9325 158 | 93.891 % | 11.09/11.10 c | 16273 | 100 3287 8910 | 11789 11887 160 | 93.891 % | 14.58/14.68 c | 20117 | 100 3287 8910 | 12968 9028 171 | 93.891 % | 22.88/22.99 c | 25886 | 100 3287 8910 | 14265 7501 235 | 93.891 % | 33.68/33.77 c | 34537 | 100 3287 8910 | 15692 8207 377 | 93.891 % | 43.07/43.13 c =============================================================================== 43.07/43.13 c New solution: -13 43.07/43.13 o -13 43.07/43.13 c Elapsed CPU time: 42.9145 s Remaining CPU time: 137.086 s 43.07/43.13 c =============================================================================== 43.07/43.13 c | 41522 | 100 3288 9010 | 5000 15192 383 | 93.891 % | 43.27/43.31 c | 41624 | 100 3288 9010 | 5500 3900 403 | 93.891 % | 43.27/43.35 c | 41778 | 100 3288 9010 | 6050 4054 404 | 93.891 % | 43.38/43.41 c | 42004 | 100 3288 9010 | 6655 4280 404 | 93.891 % | 43.48/43.50 c | 42346 | 100 3288 9010 | 7320 4622 418 | 93.891 % | 43.67/43.78 c | 42852 | 100 3288 9010 | 8052 5128 410 | 93.891 % | 44.17/44.28 c | 43612 | 100 3288 9010 | 8857 5888 373 | 93.891 % | 44.87/44.99 c | 44751 | 100 3288 9010 | 9743 7027 353 | 93.891 % | 46.07/46.14 c | 46460 | 100 3288 9010 | 10717 8736 324 | 93.891 % | 48.38/48.41 c =============================================================================== 48.38/48.41 c New solution: -14 48.38/48.41 o -14 48.38/48.41 c Elapsed CPU time: 48.1567 s Remaining CPU time: 131.843 s 48.38/48.41 c =============================================================================== 48.38/48.41 c | 48880 | 100 3289 9110 | 5000 11156 295 | 93.891 % | 48.47/48.53 c | 48981 | 100 3289 9110 | 5500 5679 218 | 93.891 % | 48.57/48.67 c | 49133 | 100 3289 9110 | 6050 5831 217 | 93.891 % | 48.78/48.81 c | 49362 | 100 3289 9110 | 6655 6060 217 | 93.891 % | 48.88/48.92 c | 49700 | 100 3289 9110 | 7320 6398 220 | 93.891 % | 49.28/49.31 c | 50206 | 100 3289 9110 | 8052 6904 231 | 93.891 % | 49.97/50.03 c | 50968 | 100 3289 9110 | 8857 7666 223 | 93.891 % | 50.88/50.99 c | 52109 | 100 3289 9110 | 9743 8807 208 | 93.891 % | 53.07/53.10 c | 53824 | 100 3289 9110 | 10717 10522 206 | 93.891 % | 56.27/56.30 c | 56389 | 100 3289 9110 | 11789 6916 182 | 93.891 % | 58.57/58.63 c | 60233 | 100 3289 9110 | 12968 10760 154 | 93.891 % | 65.46/65.54 c | 66000 | 100 3289 9110 | 14265 9231 219 | 93.891 % | 76.77/76.81 c | 74654 | 100 3289 9110 | 15692 9941 386 | 93.891 % | 85.46/85.55 c | 87631 | 100 3289 9110 | 17261 14262 274 | 93.891 % | 105.46/105.55 c | 107096 | 100 3289 9110 | 18987 14843 228 | 93.891 % | 148.54/148.66 c | 136288 | 100 3289 9110 | 20886 13129 547 | 93.891 % | 180.73/180.86 c There are 1537 assigned variables. 0 in cost function. 181.13/181.21 c core #1 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -99 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #2 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -98 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #3 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -97 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #4 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -96 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #5 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -95 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #6 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -94 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #7 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -93 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #8 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -92 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #9 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -91 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #10 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -90 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #11 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -89 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #12 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -88 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #13 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -87 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #14 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -86 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #15 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -85 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #16 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -84 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #17 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -83 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #18 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -82 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #19 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -81 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #20 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -80 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #21 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -79 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #22 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -78 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #23 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -77 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #24 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -76 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #25 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -75 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #26 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -74 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #27 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -73 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #28 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -72 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #29 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -71 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c core #30 181.13/181.21 c 181.13/181.21 c 181.13/181.21 c Core size: 3 Core Weight: 1 Total Weight: -70 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #31 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -69 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #32 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -68 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #33 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -67 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #34 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -66 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #35 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -65 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #36 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -64 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #37 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -63 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #38 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -62 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #39 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -61 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #40 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -60 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #41 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -59 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #42 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -58 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #43 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -57 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #44 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -56 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #45 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -55 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #46 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -54 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #47 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -53 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #48 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -52 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #49 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 3 Core Weight: 1 Total Weight: -51 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c core #50 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 7 Core Weight: 1 Total Weight: -50 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c ============================[ Search Statistics ]============================== 181.13/181.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.22 c =============================================================================== 181.13/181.22 c | 0 | 202 3239 4878 | 5000 0 nan | 0.000 % | 181.13/181.22 c =============================================================================== 181.13/181.22 c core #51 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 10 Core Weight: 1 Total Weight: -49 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c ============================[ Search Statistics ]============================== 181.13/181.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.22 c =============================================================================== 181.13/181.22 c | 0 | 208 3240 4890 | 5000 0 nan | 0.000 % | 181.13/181.22 c =============================================================================== 181.13/181.22 c core #52 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c Core size: 10 Core Weight: 1 Total Weight: -48 181.13/181.22 c 181.13/181.22 c 181.13/181.22 c ============================[ Search Statistics ]============================== 181.13/181.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.22 c =============================================================================== 181.13/181.22 c | 0 | 214 3241 4902 | 5000 0 nan | 0.000 % | 181.13/181.23 c =============================================================================== 181.13/181.23 c core #53 181.13/181.23 c 181.13/181.23 c 181.13/181.23 c Core size: 10 Core Weight: 1 Total Weight: -47 181.13/181.23 c 181.13/181.23 c 181.13/181.23 c ============================[ Search Statistics ]============================== 181.13/181.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.23 c =============================================================================== 181.13/181.23 c | 0 | 220 3242 4914 | 5000 0 nan | 0.000 % | 181.13/181.23 c =============================================================================== 181.13/181.24 c core #54 181.13/181.24 c 181.13/181.24 c 181.13/181.24 c Core size: 8 Core Weight: 1 Total Weight: -46 181.13/181.24 c 181.13/181.24 c 181.13/181.24 c ============================[ Search Statistics ]============================== 181.13/181.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.24 c =============================================================================== 181.13/181.24 c | 0 | 224 3243 4922 | 5000 0 nan | 0.000 % | 181.13/181.24 c =============================================================================== 181.13/181.24 c core #55 181.13/181.24 c 181.13/181.24 c 181.13/181.24 c Core size: 10 Core Weight: 1 Total Weight: -45 181.13/181.24 c 181.13/181.24 c 181.13/181.24 c ============================[ Search Statistics ]============================== 181.13/181.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.24 c =============================================================================== 181.13/181.24 c | 0 | 230 3244 4934 | 5000 0 nan | 0.000 % | 181.13/181.24 c =============================================================================== 181.13/181.25 c core #56 181.13/181.25 c 181.13/181.25 c 181.13/181.25 c Core size: 10 Core Weight: 1 Total Weight: -44 181.13/181.25 c 181.13/181.25 c 181.13/181.25 c ============================[ Search Statistics ]============================== 181.13/181.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.25 c =============================================================================== 181.13/181.25 c | 0 | 236 3245 4946 | 5000 0 nan | 0.000 % | 181.13/181.25 c =============================================================================== 181.13/181.26 c core #57 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c Core size: 10 Core Weight: 1 Total Weight: -43 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c ============================[ Search Statistics ]============================== 181.13/181.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.26 c =============================================================================== 181.13/181.26 c | 0 | 242 3246 4958 | 5000 0 nan | 0.000 % | 181.13/181.26 c =============================================================================== 181.13/181.26 c core #58 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c Core size: 10 Core Weight: 1 Total Weight: -42 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c ============================[ Search Statistics ]============================== 181.13/181.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.26 c =============================================================================== 181.13/181.26 c | 0 | 248 3247 4970 | 5000 0 nan | 0.000 % | 181.13/181.26 c =============================================================================== 181.13/181.27 c core #59 181.13/181.27 c 181.13/181.27 c 181.13/181.27 c Core size: 10 Core Weight: 1 Total Weight: -41 181.13/181.27 c 181.13/181.27 c 181.13/181.27 c ============================[ Search Statistics ]============================== 181.13/181.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.27 c =============================================================================== 181.13/181.27 c | 0 | 254 3248 4982 | 5000 0 nan | 0.000 % | 181.13/181.27 c =============================================================================== 181.13/181.28 c core #60 181.13/181.28 c 181.13/181.28 c 181.13/181.28 c Core size: 10 Core Weight: 1 Total Weight: -40 181.13/181.28 c 181.13/181.28 c 181.13/181.28 c ============================[ Search Statistics ]============================== 181.13/181.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.28 c =============================================================================== 181.13/181.28 c | 0 | 260 3249 4994 | 5000 0 nan | 0.000 % | 181.13/181.28 c =============================================================================== 181.13/181.28 c core #61 181.13/181.28 c 181.13/181.28 c 181.13/181.28 c Core size: 10 Core Weight: 1 Total Weight: -39 181.13/181.28 c 181.13/181.28 c 181.13/181.28 c ============================[ Search Statistics ]============================== 181.13/181.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.28 c =============================================================================== 181.13/181.28 c | 0 | 266 3250 5006 | 5000 0 nan | 0.000 % | 181.13/181.29 c =============================================================================== 181.13/181.29 c core #62 181.13/181.29 c 181.13/181.29 c 181.13/181.29 c Core size: 14 Core Weight: 1 Total Weight: -38 181.13/181.29 c 181.13/181.29 c 181.13/181.29 c ============================[ Search Statistics ]============================== 181.13/181.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.29 c =============================================================================== 181.13/181.29 c | 0 | 274 3251 5022 | 5000 0 nan | 0.000 % | 181.13/181.29 c =============================================================================== 181.22/181.30 c core #63 181.22/181.30 c 181.22/181.30 c 181.22/181.30 c Core size: 14 Core Weight: 1 Total Weight: -37 181.22/181.30 c 181.22/181.30 c 181.22/181.30 c ============================[ Search Statistics ]============================== 181.22/181.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.22/181.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.22/181.30 c =============================================================================== 181.22/181.30 c | 0 | 282 3252 5038 | 5000 0 nan | 0.000 % | 181.22/181.30 c =============================================================================== 181.22/181.30 c core #64 181.22/181.30 c 181.22/181.30 c 181.22/181.30 c Core size: 18 Core Weight: 1 Total Weight: -36 181.22/181.30 c 181.22/181.30 c 181.22/181.30 c ============================[ Search Statistics ]============================== 181.22/181.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.22/181.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.22/181.30 c =============================================================================== 181.22/181.30 c | 0 | 292 3253 5058 | 5000 0 nan | 0.000 % | 181.22/181.31 c =============================================================================== 181.22/181.31 c core #65 181.22/181.31 c 181.22/181.31 c 181.22/181.31 c Core size: 18 Core Weight: 1 Total Weight: -35 181.22/181.31 c 181.22/181.31 c 181.22/181.31 c ============================[ Search Statistics ]============================== 181.22/181.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.22/181.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.22/181.31 c =============================================================================== 181.22/181.31 c | 0 | 300 3254 5074 | 5000 0 nan | 0.000 % | 181.22/181.32 c =============================================================================== 181.22/181.32 c core #66 181.22/181.32 c 181.22/181.32 c 181.22/181.32 c Core size: 21 Core Weight: 1 Total Weight: -34 181.22/181.32 c 181.22/181.32 c 181.22/181.32 c ============================[ Search Statistics ]============================== 181.22/181.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.22/181.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.22/181.32 c =============================================================================== 181.22/181.32 c | 0 | 316 3255 5106 | 5000 0 nan | 0.000 % | 181.22/181.33 c | 104 | 315 3255 5106 | 5500 104 65 | 83.001 % | 181.22/181.35 c | 254 | 314 3255 5106 | 6050 254 71 | 83.055 % | 181.22/181.36 c =============================================================================== 181.22/181.36 c core #67 181.22/181.36 c 181.22/181.36 c 181.22/181.36 c Core size: 59 Core Weight: 1 Total Weight: -33 181.22/181.36 c 181.22/181.36 c 181.22/181.36 c ============================[ Search Statistics ]============================== 181.22/181.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.22/181.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.22/181.36 c =============================================================================== 181.22/181.36 c | 0 | 344 3256 5162 | 5000 0 nan | 0.000 % | 181.22/181.37 c | 100 | 344 3256 5162 | 5500 100 64 | 81.712 % | 181.22/181.38 c | 250 | 344 3256 5162 | 6050 250 68 | 81.712 % | 181.33/181.41 c | 475 | 344 3256 5162 | 6655 475 72 | 81.712 % | 181.33/181.44 c =============================================================================== 181.33/181.44 c core #68 181.33/181.44 c 181.33/181.44 c 181.33/181.44 c Core size: 108 Core Weight: 1 Total Weight: -32 181.33/181.44 c 181.33/181.44 c 181.33/181.44 c ============================[ Search Statistics ]============================== 181.33/181.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.33/181.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.33/181.44 c =============================================================================== 181.33/181.44 c | 0 | 370 3257 5214 | 5000 0 nan | 0.000 % | 181.33/181.46 c | 101 | 370 3257 5214 | 5500 101 35 | 80.598 % | 181.33/181.47 c | 251 | 370 3257 5214 | 6050 251 58 | 80.598 % | 181.33/181.50 c | 477 | 290 3257 5214 | 6655 67 44 | 85.317 % | 181.33/181.50 c =============================================================================== 181.33/181.50 c core #69 181.33/181.50 c 181.33/181.50 c 181.33/181.50 c Core size: 99 Core Weight: 1 Total Weight: -31 181.33/181.50 c 181.33/181.50 c 181.33/181.50 c ============================[ Search Statistics ]============================== 181.33/181.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.33/181.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.33/181.50 c =============================================================================== 181.33/181.50 c | 0 | 386 3258 5246 | 5000 0 nan | 0.000 % | 181.44/181.51 c | 104 | 386 3258 5246 | 5500 104 52 | 79.927 % | 181.44/181.53 c | 254 | 386 3258 5246 | 6050 254 64 | 79.927 % | 181.44/181.55 c | 479 | 386 3258 5246 | 6655 479 67 | 79.927 % | 181.44/181.58 c | 816 | 386 3258 5246 | 7320 816 66 | 79.927 % | 181.53/181.63 c | 1323 | 386 3258 5246 | 8052 1323 64 | 79.927 % | 181.63/181.70 c | 2082 | 385 3258 5246 | 8857 2080 63 | 79.979 % | 181.73/181.85 c | 3221 | 385 3258 5246 | 9743 3219 68 | 79.981 % | 181.93/182.01 c =============================================================================== 181.93/182.02 c core #70 181.93/182.02 c 181.93/182.02 c 181.93/182.02 c Core size: 92 Core Weight: 1 Total Weight: -30 181.93/182.02 c 181.93/182.02 c 181.93/182.02 c ============================[ Search Statistics ]============================== 181.93/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.02 c =============================================================================== 181.93/182.02 c | 0 | 400 3259 5274 | 5000 0 nan | 0.000 % | 181.93/182.04 c | 101 | 400 3259 5274 | 5500 101 53 | 79.350 % | 181.93/182.05 c | 251 | 400 3259 5274 | 6050 251 65 | 79.350 % | 181.93/182.07 c | 476 | 400 3259 5274 | 6655 476 67 | 79.350 % | 182.02/182.11 c | 814 | 400 3259 5274 | 7320 814 66 | 79.350 % | 182.02/182.17 c | 1320 | 400 3259 5274 | 8052 1320 64 | 79.350 % | 182.13/182.26 c | 2082 | 400 3259 5274 | 8857 2082 61 | 79.350 % | 182.33/182.42 c | 3221 | 400 3259 5274 | 9743 3221 58 | 79.350 % | 182.62/182.75 c | 4931 | 400 3259 5274 | 10717 4931 56 | 79.350 % | 183.43/183.57 c | 7496 | 400 3259 5274 | 11789 7496 60 | 79.350 % | 185.93/186.08 c | 11342 | 400 3259 5274 | 12968 11342 66 | 79.350 % | 189.73/189.87 c | 17112 | 400 3259 5274 | 14265 9819 77 | 79.350 % | 198.32/198.43 c | 25761 | 400 3259 5274 | 15692 10529 74 | 79.350 % | 211.42/211.51 c | 38735 | 400 3259 5274 | 17261 14848 76 | 79.350 % | 227.01/227.18 c | 58205 | 400 3259 5274 | 18987 15444 76 | 79.350 % | 231.91/232.01 c =============================================================================== 232.11/232.21 c core #71 232.11/232.21 c 232.11/232.21 c 232.11/232.21 c Core size: 103 Core Weight: 1 Total Weight: -29 232.11/232.21 c 232.11/232.21 c 232.11/232.21 c ============================[ Search Statistics ]============================== 232.11/232.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.11/232.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.11/232.21 c =============================================================================== 232.11/232.21 c | 0 | 422 3260 5318 | 5000 0 nan | 0.000 % | 232.11/232.23 c | 102 | 422 3260 5318 | 5500 102 15 | 78.458 % | 232.11/232.25 c | 252 | 422 3260 5318 | 6050 252 46 | 78.458 % | 232.11/232.27 c | 479 | 422 3260 5318 | 6655 479 59 | 78.458 % | 232.22/232.31 c | 817 | 422 3260 5318 | 7320 817 67 | 78.458 % | 232.22/232.39 c | 1325 | 422 3260 5318 | 8052 1325 72 | 78.458 % | 232.51/232.61 c | 2085 | 422 3260 5318 | 8857 2085 75 | 78.458 % | 232.71/232.85 c | 3226 | 422 3260 5318 | 9743 3226 74 | 78.458 % | 233.02/233.11 c | 4934 | 422 3260 5318 | 10717 4934 75 | 78.458 % | 233.91/234.01 c | 7500 | 422 3260 5318 | 11789 7500 75 | 78.458 % | 236.41/236.53 c | 11344 | 422 3260 5318 | 12968 11344 76 | 78.458 % | 240.31/240.48 c | 17112 | 422 3260 5318 | 14265 9825 77 | 78.458 % | 249.70/249.84 c | 25763 | 422 3260 5318 | 15692 10536 78 | 78.458 % | 264.50/264.66 c | 38741 | 422 3260 5318 | 17261 14861 77 | 78.458 % | 276.30/276.41 c =============================================================================== 276.50/276.64 c core #72 276.50/276.64 c 276.50/276.64 c 276.50/276.64 c Core size: 113 Core Weight: 1 Total Weight: -28 276.50/276.64 c 276.50/276.64 c 276.50/276.64 c ============================[ Search Statistics ]============================== 276.50/276.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 276.50/276.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 276.50/276.64 c =============================================================================== 276.50/276.64 c | 0 | 448 3261 5370 | 5000 0 nan | 0.000 % | 276.50/276.67 c | 100 | 448 3261 5370 | 5500 100 21 | 77.431 % | 276.50/276.68 c | 250 | 448 3261 5370 | 6050 250 51 | 77.431 % | 276.59/276.71 c | 476 | 448 3261 5370 | 6655 476 60 | 77.431 % | 276.59/276.74 c | 813 | 448 3261 5370 | 7320 813 62 | 77.431 % | 276.70/276.81 c | 1320 | 448 3261 5370 | 8052 1320 61 | 77.431 % | 276.70/276.89 c | 2081 | 448 3261 5370 | 8857 2081 59 | 77.431 % | 276.89/277.07 c | 3221 | 448 3261 5370 | 9743 3221 57 | 77.431 % | 277.29/277.42 c | 4932 | 448 3261 5370 | 10717 4932 55 | 77.431 % | 277.90/278.05 c | 7495 | 448 3261 5370 | 11789 7495 54 | 77.431 % | 279.50/279.67 c | 11344 | 448 3261 5370 | 12968 11344 53 | 77.431 % | 282.60/282.76 c | 17110 | 448 3261 5370 | 14265 9814 50 | 77.431 % | 286.40/286.57 c | 25763 | 448 3261 5370 | 15692 10529 46 | 77.431 % | 290.69/290.80 c | 38738 | 448 3261 5370 | 17261 14852 45 | 77.431 % | 297.19/297.35 c | 58203 | 448 3261 5370 | 18987 15433 38 | 77.431 % | 307.99/308.16 c | 87395 | 448 3261 5370 | 20886 13715 32 | 77.431 % | 327.38/327.52 c =============================================================================== 327.48/327.65 c core #73 327.48/327.65 c 327.48/327.65 c 327.48/327.65 c Core size: 98 Core Weight: 1 Total Weight: -27 327.48/327.65 c 327.48/327.65 c 327.48/327.65 c ============================[ Search Statistics ]============================== 327.48/327.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 327.48/327.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 327.48/327.65 c =============================================================================== 327.48/327.65 c | 0 | 464 3262 5402 | 5000 0 nan | 0.000 % | 327.48/327.68 c | 103 | 464 3262 5402 | 5500 103 63 | 76.812 % | 327.58/327.70 c | 255 | 464 3262 5402 | 6050 255 69 | 76.812 % | 327.58/327.72 c | 482 | 464 3262 5402 | 6655 482 68 | 76.812 % | 327.58/327.76 c | 820 | 464 3262 5402 | 7320 820 65 | 76.812 % | 327.69/327.81 c | 1329 | 464 3262 5402 | 8052 1329 62 | 76.812 % | 327.69/327.89 c | 2089 | 464 3262 5402 | 8857 2089 59 | 76.812 % | 327.88/328.03 c | 3229 | 464 3262 5402 | 9743 3229 56 | 76.812 % | 328.18/328.36 c | 4938 | 464 3262 5402 | 10717 4938 55 | 76.812 % | 328.87/329.03 c | 7501 | 464 3262 5402 | 11789 7501 53 | 76.812 % | 330.07/330.24 c | 11348 | 464 3262 5402 | 12968 11348 50 | 76.812 % | 331.58/331.71 c | 17116 | 464 3262 5402 | 14265 9825 41 | 76.812 % | 334.98/335.16 c | 25766 | 464 3262 5402 | 15692 10530 45 | 76.812 % | 339.38/339.50 c | 38743 | 464 3262 5402 | 17261 14868 43 | 76.812 % | 344.98/345.13 c | 58205 | 464 3262 5402 | 18987 15447 37 | 76.812 % | 353.37/353.52 c | 87398 | 464 3262 5402 | 20886 13723 28 | 76.812 % | 366.96/367.16 c =============================================================================== 367.17/367.30 c core #74 367.17/367.30 c 367.17/367.30 c 367.17/367.30 c Core size: 98 Core Weight: 1 Total Weight: -26 367.17/367.30 c 367.17/367.30 c 367.17/367.30 c ============================[ Search Statistics ]============================== 367.17/367.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.17/367.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.17/367.30 c =============================================================================== 367.17/367.30 c | 0 | 476 3263 5426 | 5000 0 nan | 0.000 % | 367.17/367.34 c | 102 | 476 3263 5426 | 5500 102 69 | 76.354 % | 367.17/367.36 c | 252 | 476 3263 5426 | 6050 252 71 | 76.354 % | 367.17/367.38 c | 478 | 476 3263 5426 | 6655 478 69 | 76.354 % | 367.27/367.41 c | 817 | 476 3263 5426 | 7320 817 67 | 76.354 % | 367.27/367.46 c | 1323 | 476 3263 5426 | 8052 1323 65 | 76.354 % | 367.37/367.59 c | 2084 | 476 3263 5426 | 8857 2084 62 | 76.354 % | 367.57/367.72 c | 3225 | 476 3263 5426 | 9743 3225 58 | 76.354 % | 367.76/367.99 c | 4936 | 476 3263 5426 | 10717 4936 56 | 76.354 % | 368.46/368.63 c | 7500 | 476 3263 5426 | 11789 7500 54 | 76.354 % | 369.56/369.79 c | 11348 | 476 3263 5426 | 12968 11348 52 | 76.354 % | 371.68/371.87 c | 17115 | 476 3263 5426 | 14265 9819 46 | 76.354 % | 375.26/375.48 c | 25764 | 476 3263 5426 | 15692 10530 46 | 76.354 % | 380.76/380.93 c | 38739 | 476 3263 5426 | 17261 14846 48 | 76.354 % | 388.35/388.59 c | 58200 | 476 3263 5426 | 18987 15423 41 | 76.354 % | 397.44/397.64 c | 87392 | 476 3263 5426 | 20886 13698 35 | 76.354 % | 413.24/413.47 c | 131187 | 476 3263 5426 | 22974 10943 23 | 76.354 % | 427.24/427.46 c =============================================================================== 427.44/427.63 c core #75 427.44/427.63 c 427.44/427.63 c 427.44/427.63 c Core size: 55 Core Weight: 1 Total Weight: -25 427.44/427.63 c 427.44/427.63 c 427.44/427.63 c ============================[ Search Statistics ]============================== 427.44/427.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 427.44/427.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 427.44/427.63 c =============================================================================== 427.44/427.63 c | 0 | 494 3266 5468 | 5000 0 nan | 0.000 % | 427.44/427.67 c | 100 | 494 3266 5468 | 5500 100 49 | 75.677 % | 427.44/427.69 c | 250 | 494 3266 5468 | 6050 250 65 | 75.677 % | 427.54/427.71 c | 477 | 494 3266 5468 | 6655 477 66 | 75.677 % | 427.54/427.75 c | 815 | 494 3266 5468 | 7320 815 66 | 75.677 % | 427.64/427.82 c | 1323 | 494 3266 5468 | 8052 1323 63 | 75.677 % | 427.64/427.90 c | 2083 | 494 3266 5468 | 8857 2083 61 | 75.677 % | 427.93/428.11 c | 3223 | 494 3266 5468 | 9743 3223 58 | 75.677 % | 428.13/428.39 c | 4932 | 494 3266 5468 | 10717 4932 55 | 75.677 % | 428.74/428.92 c | 7494 | 494 3266 5468 | 11789 7494 54 | 75.677 % | 429.73/429.94 c | 11339 | 494 3266 5468 | 12968 11339 52 | 75.677 % | 433.43/433.66 c | 17106 | 494 3266 5468 | 14265 9811 47 | 75.677 % | 437.13/437.31 c | 25758 | 494 3266 5468 | 15692 10521 40 | 75.677 % | 440.13/440.38 c | 38733 | 494 3266 5468 | 17261 14840 36 | 75.677 % | 446.33/446.55 c | 58194 | 494 3266 5468 | 18987 15423 36 | 75.677 % | 456.93/457.17 c | 87387 | 494 3266 5468 | 20886 13707 31 | 75.677 % | 468.13/468.39 c | 131178 | 494 3266 5468 | 22974 11339 38 | 75.678 % | 469.62/469.90 c =============================================================================== 469.82/470.04 c core #76 469.82/470.04 c 469.82/470.04 c 469.82/470.04 c Core size: 102 Core Weight: 1 Total Weight: -24 469.82/470.04 c 469.82/470.04 c 469.82/470.04 c ============================[ Search Statistics ]============================== 469.82/470.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 469.82/470.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 469.82/470.04 c =============================================================================== 469.82/470.04 c | 0 | 510 3268 5502 | 5000 0 nan | 0.000 % | 469.82/470.08 c | 101 | 510 3268 5502 | 5500 101 71 | 75.086 % | 469.92/470.10 c | 255 | 510 3268 5502 | 6050 255 67 | 75.086 % | 469.92/470.12 c | 483 | 510 3268 5502 | 6655 483 65 | 75.086 % | 469.92/470.15 c | 824 | 510 3268 5502 | 7320 824 62 | 75.086 % | 470.02/470.20 c | 1335 | 510 3268 5502 | 8052 1335 60 | 75.086 % | 470.02/470.27 c | 2094 | 510 3268 5502 | 8857 2094 58 | 75.086 % | 470.22/470.42 c | 3233 | 510 3268 5502 | 9743 3233 57 | 75.086 % | 470.52/470.70 c | 4943 | 510 3268 5502 | 10717 4943 55 | 75.086 % | 471.12/471.33 c | 7508 | 510 3268 5502 | 11789 7508 52 | 75.086 % | 472.42/472.63 c | 11353 | 510 3268 5502 | 12968 11353 50 | 75.086 % | 475.22/475.40 c | 17119 | 510 3268 5502 | 14265 9822 45 | 75.086 % | 478.52/478.76 c | 25769 | 510 3268 5502 | 15692 10528 43 | 75.086 % | 482.92/483.16 c | 38745 | 510 3268 5502 | 17261 14850 45 | 75.086 % | 488.71/488.92 c | 58209 | 510 3268 5502 | 18987 15428 37 | 75.086 % | 499.92/500.13 c | 87401 | 510 3268 5502 | 20886 13719 31 | 75.086 % | 513.01/513.20 c | 131192 | 510 3268 5502 | 22974 11187 25 | 75.086 % | 528.50/528.71 c =============================================================================== 528.60/528.89 c core #77 528.60/528.89 c 528.60/528.89 c 528.60/528.89 c Core size: 114 Core Weight: 1 Total Weight: -23 528.60/528.89 c 528.60/528.89 c 528.60/528.89 c ============================[ Search Statistics ]============================== 528.60/528.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 528.60/528.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 528.60/528.89 c =============================================================================== 528.60/528.89 c | 0 | 538 3291 5614 | 5000 0 nan | 0.000 % | 528.70/528.93 c | 100 | 537 3291 5614 | 5500 100 25 | 74.121 % | 528.70/528.95 c | 254 | 532 3291 5614 | 6050 250 41 | 74.361 % | 528.70/528.97 c | 486 | 532 3291 5614 | 6655 482 39 | 74.361 % | 528.70/529.00 c | 824 | 532 3291 5614 | 7320 820 36 | 74.361 % | 528.81/529.05 c | 1330 | 532 3291 5614 | 8052 1326 31 | 74.361 % | 528.91/529.13 c | 2092 | 532 3291 5614 | 8857 2088 33 | 74.361 % | 529.00/529.28 c | 3235 | 532 3291 5614 | 9743 3229 28 | 74.362 % | 529.30/529.56 c | 4945 | 532 3291 5614 | 10717 4939 30 | 74.361 % | 529.70/529.90 c | 7509 | 532 3291 5614 | 11789 7503 27 | 74.362 % | 530.10/530.32 c =============================================================================== 530.10/530.35 c core #78 530.10/530.35 c 530.10/530.35 c 530.10/530.35 c Core size: 100 Core Weight: 1 Total Weight: -22 530.10/530.35 c 530.10/530.35 c 530.10/530.35 c ============================[ Search Statistics ]============================== 530.10/530.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 530.10/530.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 530.10/530.35 c =============================================================================== 530.10/530.35 c | 0 | 561 3302 5683 | 5000 0 nan | 0.000 % | 530.10/530.36 c | 102 | 560 3302 5683 | 5500 102 39 | 73.321 % | 530.10/530.38 c | 252 | 560 3302 5683 | 6050 252 38 | 73.321 % | 530.20/530.40 c | 477 | 560 3302 5683 | 6655 477 35 | 73.321 % | 530.20/530.43 c | 819 | 560 3302 5683 | 7320 819 32 | 73.321 % | 530.20/530.48 c | 1326 | 560 3302 5683 | 8052 1325 31 | 73.321 % | 530.31/530.56 c | 2085 | 560 3302 5683 | 8857 2084 29 | 73.321 % | 530.41/530.68 c | 3226 | 560 3302 5683 | 9743 3225 26 | 73.321 % | 530.80/531.05 c | 4936 | 559 3302 5683 | 10717 4935 29 | 73.369 % | 531.31/531.52 c | 7501 | 559 3302 5683 | 11789 7500 26 | 73.368 % | 531.70/531.93 c =============================================================================== 531.70/531.96 c core #79 531.70/531.96 c 531.70/531.96 c 531.70/531.96 c Core size: 104 Core Weight: 1 Total Weight: -21 531.70/531.96 c 531.70/531.96 c 531.70/531.96 c ============================[ Search Statistics ]============================== 531.70/531.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 531.70/531.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 531.70/531.96 c =============================================================================== 531.70/531.96 c | 0 | 601 3307 5771 | 5000 0 nan | 0.000 % | 531.70/531.98 c | 100 | 600 3307 5771 | 5500 100 48 | 71.963 % | 531.70/531.99 c | 253 | 600 3307 5771 | 6050 253 39 | 71.963 % | 531.80/532.01 c | 479 | 600 3307 5771 | 6655 479 33 | 71.963 % | 531.80/532.05 c | 819 | 600 3307 5771 | 7320 819 29 | 71.963 % | 531.90/532.10 c | 1328 | 599 3307 5771 | 8052 1327 37 | 72.009 % | 531.90/532.19 c | 2089 | 599 3307 5771 | 8857 2088 38 | 72.009 % | 532.11/532.33 c | 3229 | 599 3307 5771 | 9743 3228 34 | 72.009 % | 532.50/532.70 c | 4939 | 598 3307 5771 | 10717 4938 38 | 72.056 % | 532.90/533.16 c | 7503 | 598 3307 5771 | 11789 7499 33 | 72.056 % | 533.40/533.67 c | 11348 | 598 3307 5771 | 12968 11344 38 | 72.056 % | 533.70/533.98 c =============================================================================== 533.80/534.03 c core #80 533.80/534.03 c 533.80/534.03 c 533.80/534.03 c Core size: 47 Core Weight: 1 Total Weight: -20 533.80/534.03 c 533.80/534.03 c 533.80/534.03 c ============================[ Search Statistics ]============================== 533.80/534.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 533.80/534.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 533.80/534.03 c =============================================================================== 533.80/534.03 c | 0 | 637 3312 5851 | 5000 0 nan | 0.000 % | 533.80/534.04 c | 101 | 636 3312 5851 | 5500 101 50 | 70.800 % | 533.80/534.06 c | 255 | 636 3312 5851 | 6050 255 39 | 70.799 % | 533.80/534.08 c | 483 | 636 3312 5851 | 6655 483 33 | 70.799 % | 533.90/534.11 c | 824 | 636 3312 5851 | 7320 824 30 | 70.799 % | 533.90/534.16 c | 1333 | 636 3312 5851 | 8052 1332 28 | 70.799 % | 534.00/534.24 c | 2093 | 635 3312 5851 | 8857 2092 34 | 70.845 % | 534.20/534.41 c | 3237 | 634 3312 5851 | 9743 3236 36 | 70.891 % | 534.41/534.68 c | 4945 | 606 3312 5851 | 10717 4944 30 | 72.176 % | 534.80/535.05 c | 7508 | 606 3312 5851 | 11789 7507 29 | 72.176 % | 535.41/535.65 c | 11355 | 606 3312 5851 | 12968 9141 40 | 72.176 % | 536.61/536.80 c | 17122 | 588 3312 5851 | 14265 7548 62 | 73.003 % | 538.59/538.88 c | 25777 | 588 3312 5851 | 15692 14720 88 | 73.003 % | 544.60/544.85 c | 38753 | 588 3312 5851 | 17261 10310 109 | 73.003 % | 548.70/548.98 c =============================================================================== 549.29/549.51 c core #81 549.29/549.51 c 549.29/549.51 c 549.29/549.51 c Core size: 140 Core Weight: 1 Total Weight: -19 549.29/549.51 c 549.29/549.51 c 549.29/549.51 c ============================[ Search Statistics ]============================== 549.29/549.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 549.29/549.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 549.29/549.51 c =============================================================================== 549.29/549.51 c | 0 | 693 3313 5963 | 5000 0 nan | 0.000 % | 549.29/549.55 c | 100 | 692 3313 5963 | 5500 100 35 | 69.025 % | 549.29/549.56 c | 250 | 692 3313 5963 | 6050 250 29 | 69.025 % | 549.29/549.58 c | 477 | 692 3313 5963 | 6655 477 25 | 69.025 % | 549.40/549.61 c | 814 | 692 3313 5963 | 7320 814 21 | 69.025 % | 549.40/549.66 c | 1322 | 691 3313 5963 | 8052 1321 26 | 69.070 % | 549.50/549.75 c | 2082 | 691 3313 5963 | 8857 2081 24 | 69.070 % | 549.60/549.90 c | 3221 | 690 3313 5963 | 9743 3220 24 | 69.114 % | 549.80/550.07 c | 4929 | 690 3313 5963 | 10717 4928 37 | 69.114 % | 550.19/550.47 c | 7491 | 689 3313 5963 | 11789 7488 48 | 69.158 % | 551.10/551.31 c | 11339 | 686 3313 5963 | 12968 11336 71 | 69.293 % | 552.50/552.72 c | 17109 | 684 3313 5963 | 14265 9747 100 | 69.382 % | 553.89/554.10 c | 25758 | 684 3313 5963 | 15692 10405 73 | 69.382 % | 557.69/557.98 c | 38736 | 684 3313 5963 | 17261 14664 83 | 69.382 % | 560.39/560.66 c =============================================================================== 560.79/561.04 c core #82 560.79/561.04 c 560.79/561.04 c 560.79/561.04 c Core size: 117 Core Weight: 1 Total Weight: -18 560.79/561.04 c 560.79/561.04 c 560.79/561.04 c ============================[ Search Statistics ]============================== 560.79/561.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 560.79/561.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 560.79/561.04 c =============================================================================== 560.79/561.04 c | 0 | 742 3321 6075 | 5000 0 nan | 0.000 % | 560.79/561.07 c | 101 | 741 3321 6075 | 5500 101 52 | 67.557 % | 560.79/561.09 c | 252 | 741 3321 6075 | 6050 252 39 | 67.557 % | 560.90/561.11 c | 478 | 741 3321 6075 | 6655 478 33 | 67.557 % | 560.90/561.15 c | 818 | 741 3321 6075 | 7320 818 30 | 67.557 % | 560.99/561.20 c | 1327 | 741 3321 6075 | 8052 1326 28 | 67.557 % | 560.99/561.29 c | 2087 | 741 3321 6075 | 8857 2086 34 | 67.557 % | 561.09/561.37 c | 3227 | 741 3321 6075 | 9743 3226 37 | 67.557 % | 561.29/561.59 c | 4941 | 741 3321 6075 | 10717 4940 68 | 67.557 % | 561.79/562.05 c | 7504 | 740 3321 6075 | 11789 7502 95 | 67.601 % | 563.09/563.36 c | 11348 | 740 3321 6075 | 12968 11346 124 | 67.601 % | 564.29/564.56 c | 17115 | 738 3321 6075 | 14265 9733 124 | 67.688 % | 566.49/566.78 c | 25769 | 736 3321 6075 | 15692 10342 126 | 67.776 % | 571.29/571.54 c | 38744 | 736 3321 6075 | 17261 14611 123 | 67.776 % | 581.08/581.32 c | 58205 | 736 3321 6075 | 18987 14986 176 | 67.776 % | 592.09/592.39 c | 87397 | 735 3321 6075 | 20886 13048 124 | 67.820 % | 614.77/615.02 c | 131187 | 734 3321 6075 | 22974 11529 174 | 67.863 % | 645.86/646.11 c | 196875 | 734 3321 6075 | 25272 15302 173 | 67.863 % | 731.24/731.58 c | 295405 | 734 3321 6075 | 27799 13608 187 | 67.863 % | 839.20/839.53 c | 443198 | 734 3321 6075 | 30579 15697 138 | 67.863 % | 1013.14/1013.54 c | 664889 | 734 3321 6075 | 33637 28726 136 | 67.863 % | 1306.74/1307.28 c | 997417 | 734 3321 6075 | 37001 30215 149 | 67.863 % | 1693.81/1694.48 c | 1496206 | 734 3321 6075 | 40701 17465 152 | 67.863 % |
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-2702493-1278568480/watcher-2702493-1278568480 -o /tmp/evaluation-result-2702493-1278568480/solver-2702493-1278568480 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702493-1278568480.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.92 0.98 0.97 3/106 1524 /proc/meminfo: memFree=1666060/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=2848 CPUtime=0 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 325 0 0 0 0 0 0 0 18 0 1 0 25055204 2916352 243 1992294400 134512640 135752675 4288113936 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 712 243 133 303 0 377 0 [startup+0.0333069 s] /proc/loadavg: 0.92 0.98 0.97 3/106 1524 /proc/meminfo: memFree=1666060/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=3396 CPUtime=0.02 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 528 0 0 0 2 0 0 0 20 0 1 0 25055204 3477504 416 1992294400 134512640 135752675 4288113936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 849 416 144 303 0 544 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3396 [startup+0.101319 s] /proc/loadavg: 0.92 0.98 0.97 3/106 1524 /proc/meminfo: memFree=1666060/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=3528 CPUtime=0.09 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 554 0 0 0 9 0 0 0 20 0 1 0 25055204 3612672 442 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 882 442 145 303 0 577 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3528 [startup+0.301355 s] /proc/loadavg: 0.92 0.98 0.97 3/106 1524 /proc/meminfo: memFree=1666060/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=4180 CPUtime=0.29 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 719 0 0 0 28 1 0 0 20 0 1 0 25055204 4280320 607 1992294400 134512640 135752675 4288113936 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 1045 607 145 303 0 740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4180 [startup+0.701427 s] /proc/loadavg: 0.92 0.98 0.97 3/106 1524 /proc/meminfo: memFree=1666060/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=5100 CPUtime=0.69 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 940 0 0 0 68 1 0 0 20 0 1 0 25055204 5222400 828 1992294400 134512640 135752675 4288113936 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 1275 828 145 303 0 970 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5100 [startup+1.50157 s] /proc/loadavg: 0.92 0.98 0.97 2/107 1525 /proc/meminfo: memFree=1663324/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=6276 CPUtime=1.49 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 1236 0 0 0 148 1 0 0 23 0 1 0 25055204 6426624 1124 1992294400 134512640 135752675 4288113936 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 1569 1124 145 303 0 1264 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6276 [startup+3.10186 s] /proc/loadavg: 0.92 0.98 0.97 2/107 1525 /proc/meminfo: memFree=1661836/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=7760 CPUtime=3.09 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 1604 0 0 0 307 2 0 0 25 0 1 0 25055204 7946240 1492 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 1940 1492 145 303 0 1635 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7760 [startup+6.30145 s] /proc/loadavg: 0.93 0.98 0.97 2/107 1525 /proc/meminfo: memFree=1659108/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=11176 CPUtime=6.29 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 2458 0 0 0 625 4 0 0 25 0 1 0 25055204 11444224 2346 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 2794 2346 145 303 0 2489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11176 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.97 2/107 1525 /proc/meminfo: memFree=1652164/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=16988 CPUtime=12.68 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 3904 0 0 0 1262 6 0 0 25 0 1 0 25055204 17395712 3792 1992294400 134512640 135752675 4288113936 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 4247 3792 145 303 0 3942 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16988 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.97 2/107 1525 /proc/meminfo: memFree=1640260/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=28760 CPUtime=25.48 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 6804 0 0 0 2537 11 0 0 25 0 1 0 25055204 29450240 6692 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 7190 6692 145 303 0 6885 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28760 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.97 2/107 1525 /proc/meminfo: memFree=1607648/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=61084 CPUtime=51.08 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 14902 0 0 0 5083 25 0 0 25 0 1 0 25055204 62550016 14790 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 15271 14790 145 303 0 14966 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61084 [startup+102.309 s] /proc/loadavg: 1.03 1.00 0.98 2/107 1527 /proc/meminfo: memFree=1556808/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=111616 CPUtime=102.27 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 27488 0 0 0 10182 45 0 0 25 0 1 0 25055204 114294784 27376 1992294400 134512640 135752675 4288113936 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 27904 27376 145 303 0 27599 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 111616 [startup+162.301 s] /proc/loadavg: 1.01 1.00 0.98 2/107 1529 /proc/meminfo: memFree=1459592/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=210208 CPUtime=162.23 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 52091 0 0 0 16150 73 0 0 25 0 1 0 25055204 215252992 51979 1992294400 134512640 135752675 4288113936 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 52552 51979 145 303 0 52247 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 210208 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1531 /proc/meminfo: memFree=1439256/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=228368 CPUtime=222.22 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 56755 0 0 0 22127 95 0 0 25 0 1 0 25055204 233848832 56643 1992294400 134512640 135752675 4288113936 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 57092 56643 146 303 0 56787 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 228368 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1531 /proc/meminfo: memFree=1435660/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=232032 CPUtime=282.19 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 57684 0 0 0 28103 116 0 0 25 0 1 0 25055204 237600768 57572 1992294400 134512640 135752675 4288113936 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 58008 57572 146 303 0 57703 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 232032 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1533 /proc/meminfo: memFree=1402924/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=265132 CPUtime=342.17 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 65875 0 0 0 34057 160 0 0 25 0 1 0 25055204 271495168 65763 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 66283 65763 146 303 0 65978 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 265132 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1544 /proc/meminfo: memFree=1367212/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=300688 CPUtime=402.15 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 74694 0 0 0 40005 210 0 0 25 0 1 0 25055204 307904512 74582 1992294400 134512640 135752675 4288113936 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 75172 74582 146 303 0 74867 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 300688 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1546 /proc/meminfo: memFree=1339560/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=328032 CPUtime=462.12 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 81554 0 0 0 45956 256 0 0 25 0 1 0 25055204 335904768 81442 1992294400 134512640 135752675 4288113936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 82008 81442 146 303 0 81703 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 328032 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1548 /proc/meminfo: memFree=1312032/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=355672 CPUtime=522.1 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 88488 0 0 0 51905 305 0 0 25 0 1 0 25055204 364208128 88376 1992294400 134512640 135752675 4288113936 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 88918 88376 146 303 0 88613 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 355672 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1548 /proc/meminfo: memFree=1250404/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=417244 CPUtime=582.09 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 103990 0 0 0 57835 374 0 0 25 0 1 0 25055204 427257856 103878 1992294400 134512640 135752675 4288113936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 104311 103878 146 303 0 104006 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 417244 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1550 /proc/meminfo: memFree=1159760/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=506800 CPUtime=642.06 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 126368 0 0 0 63777 429 0 0 25 0 1 0 25055204 518963200 126256 1992294400 134512640 135752675 4288113936 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 126700 126256 146 303 0 126395 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 506800 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1556 /proc/meminfo: memFree=891052/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=775588 CPUtime=881.98 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 193388 0 0 0 87610 588 0 0 25 0 1 0 25055204 794202112 193276 1992294400 134512640 135752675 4288113936 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 193897 193276 146 303 0 193592 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 775588 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1558 /proc/meminfo: memFree=838724/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=828344 CPUtime=941.96 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 206516 0 0 0 93574 622 0 0 25 0 1 0 25055204 848224256 206404 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 207086 206404 146 303 0 206781 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 828344 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1560 /proc/meminfo: memFree=780196/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=886364 CPUtime=1001.94 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 221014 0 0 0 99530 664 0 0 25 0 1 0 25055204 907636736 220902 1992294400 134512640 135752675 4288113936 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 221591 220902 146 303 0 221286 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 886364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1566 /proc/meminfo: memFree=719684/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=947916 CPUtime=1061.92 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 236375 0 0 0 105489 703 0 0 25 0 1 0 25055204 970665984 236263 1992294400 134512640 135752675 4288113936 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 236979 236263 146 303 0 236674 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 947916 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1568 /proc/meminfo: memFree=666364/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1000332 CPUtime=1121.91 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 249474 0 0 0 111455 736 0 0 25 0 1 0 25055204 1024339968 249362 1992294400 134512640 135752675 4288113936 18446744073709551615 134612107 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 250083 249362 146 303 0 249778 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1000332 [startup+1182.3 s] /proc/loadavg: 1.03 1.01 0.98 2/107 1568 /proc/meminfo: memFree=611556/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1055532 CPUtime=1181.88 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 263233 0 0 0 117416 772 0 0 25 0 1 0 25055204 1080864768 263121 1992294400 134512640 135752675 4288113936 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 263883 263121 146 303 0 263578 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1055532 [startup+1242.3 s] /proc/loadavg: 1.08 1.02 0.99 2/107 1570 /proc/meminfo: memFree=553400/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1112960 CPUtime=1241.86 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 277574 0 0 0 123376 810 0 0 25 0 1 0 25055204 1139671040 277462 1992294400 134512640 135752675 4288113936 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 278240 277462 146 303 0 277935 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1112960 [startup+1302.3 s] /proc/loadavg: 1.10 1.03 1.00 2/107 1572 /proc/meminfo: memFree=500824/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1165048 CPUtime=1301.84 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 290587 0 0 0 129340 844 0 0 25 0 1 0 25055204 1193009152 290475 1992294400 134512640 135752675 4288113936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 291262 290475 146 303 0 290957 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1165048 [startup+1362.3 s] /proc/loadavg: 1.10 1.04 1.00 2/107 1574 /proc/meminfo: memFree=451348/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1214844 CPUtime=1361.82 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 303009 0 0 0 135304 878 0 0 25 0 1 0 25055204 1244000256 302897 1992294400 134512640 135752675 4288113936 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 303711 302897 146 303 0 303406 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1214844 [startup+1422.31 s] /proc/loadavg: 1.09 1.04 1.00 2/107 1576 /proc/meminfo: memFree=392200/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1273640 CPUtime=1421.81 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 317696 0 0 0 141265 916 0 0 25 0 1 0 25055204 1304207360 317584 1992294400 134512640 135752675 4288113936 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 318410 317584 146 303 0 318105 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1273640 [startup+1482.3 s] /proc/loadavg: 1.08 1.05 1.00 2/107 1576 /proc/meminfo: memFree=333176/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1332828 CPUtime=1481.79 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 332468 0 0 0 147222 957 0 0 25 0 1 0 25055204 1364815872 332356 1992294400 134512640 135752675 4288113936 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 333207 332356 146 303 0 332902 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1332828 [startup+1542.3 s] /proc/loadavg: 1.08 1.05 1.00 2/107 1581 /proc/meminfo: memFree=272912/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1392848 CPUtime=1541.76 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 347467 0 0 0 153179 997 0 0 25 0 1 0 25055204 1426276352 347355 1992294400 134512640 135752675 4288113936 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 348212 347355 146 303 0 347907 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1392848 [startup+1602.3 s] /proc/loadavg: 1.07 1.06 1.00 2/107 1583 /proc/meminfo: memFree=219964/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1446480 CPUtime=1601.74 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 360848 0 0 0 159140 1034 0 0 25 0 1 0 25055204 1481195520 360736 1992294400 134512640 135752675 4288113936 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 361620 360736 146 303 0 361315 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1446480 [startup+1662.3 s] /proc/loadavg: 1.26 1.12 1.02 2/107 1586 /proc/meminfo: memFree=150524/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1515288 CPUtime=1661.71 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 378046 0 0 0 165092 1079 0 0 25 0 1 0 25055204 1551654912 377934 1992294400 134512640 135752675 4288113936 18446744073709551615 134605055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 378822 377934 146 303 0 378517 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1515288 [startup+1722.3 s] /proc/loadavg: 1.09 1.09 1.02 2/107 1588 /proc/meminfo: memFree=86540/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1579948 CPUtime=1721.7 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 394165 0 0 0 171051 1119 0 0 25 0 1 0 25055204 1617866752 394053 1992294400 134512640 135752675 4288113936 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 394987 394053 146 303 0 394682 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1579948 [startup+1782.3 s] /proc/loadavg: 1.03 1.07 1.01 2/107 1588 /proc/meminfo: memFree=37560/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1628020 CPUtime=1781.67 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 406176 0 0 0 177010 1157 0 0 25 0 1 0 25055204 1667092480 406064 1992294400 134512640 135752675 4288113936 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 407005 406065 146 303 0 406700 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1628020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.02 1.07 1.01 2/107 1590 /proc/meminfo: memFree=18712/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=1646764 CPUtime=1800.09 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4202496 410842 0 0 0 178842 1167 0 0 25 0 1 0 25055204 1686286336 410730 1992294400 134512640 135752675 4288113936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1524/statm: 411691 410730 146 303 0 411386 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1646764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.02 1.07 1.01 2/107 1590 /proc/meminfo: memFree=18712/2059040 swapFree=4164940/4192956 [pid=1524] ppid=1522 vsize=0 CPUtime=1800.18 /proc/1524/stat : 1524 (wbo1.4b) R 1522 1524 1013 0 -1 4203524 410842 0 0 0 178842 1176 0 0 25 0 1 0 25055204 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/1524/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.25 CPU user time (s): 1788.43 CPU system time (s): 11.8222 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 1646764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.43 system time used= 11.8222 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 410842 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= 10 involuntary context switches= 3492 runsolver used 2.94255 second user time and 8.5567 second system time The end
Begin job on node045 at 2010-07-08 07:54:40 IDJOB=2702493 IDBENCH=48181 IDSOLVER=1190 FILE ID=node045/2702493-1278568480 PBS_JOBID= 11239558 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_2.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-2702493-1278568480/watcher-2702493-1278568480 -o /tmp/evaluation-result-2702493-1278568480/solver-2702493-1278568480 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702493-1278568480.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fdcfb05eaa099feeb8cfb1f8f1c05926 RANDOM SEED=173726431 node045.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.265 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1667208 kB Buffers: 82904 kB Cached: 198864 kB SwapCached: 1476 kB Active: 150248 kB Inactive: 164932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1667208 kB SwapTotal: 4192956 kB SwapFree: 4164940 kB Dirty: 2612 kB Writeback: 0 kB AnonPages: 31928 kB Mapped: 13516 kB Slab: 54796 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181404 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-2702493-1278568480.opb Free space on /tmp at the end= 62528 MiB End job on node045 at 2010-07-08 08:24:43