Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.22 | 1800.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb |
MD5SUM | 2cdec46d3e8e924c4987d217b8438ed8 |
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 | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
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 | 43 |
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) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 3102 |
Sum of products size | 6204 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702545-1278569671.opb. 0.00/0.00 c Instance file HOME/instance-2702545-1278569671.opb 0.00/0.00 c File size is 255995 bytes. 0.01/0.04 c Highest Coefficient sum: 43 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: 3302 | 0.01/0.04 c | Number Clauses: 3102 | 0.01/0.04 c | Number Cardinality: 400 | 0.01/0.04 c | Number PB Constraints: 3102 | 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 6604 15310 | 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 6605 15510 | 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 6606 15710 | 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 6607 15910 | 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.055991 s Remaining CPU time: 179.944 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 2 | 200 6608 16110 | 5000 2 198 | 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 | 3 | 200 6609 16310 | 5000 3 198 | 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 | 8 | 200 6610 16510 | 5000 8 197 | 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 | 15 | 200 6611 16710 | 5000 15 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 | 21 | 200 6612 16910 | 5000 21 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.065989 s Remaining CPU time: 179.934 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 51 | 200 6613 17110 | 5000 51 196 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: -9 0.01/0.08 o -9 0.01/0.08 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 129 | 200 6614 17310 | 5000 129 195 | 0.000 % | 0.01/0.08 c | 229 | 200 6614 17310 | 5500 229 194 | 93.943 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: -10 0.01/0.09 o -10 0.01/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 272 | 200 6615 17510 | 5000 272 194 | 93.943 % | 0.09/0.10 c | 372 | 200 6615 17510 | 5500 372 195 | 93.943 % | 0.09/0.12 c | 523 | 200 6615 17510 | 6050 523 194 | 93.943 % | 0.09/0.15 c | 751 | 200 6615 17510 | 6655 751 194 | 93.943 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -11 0.09/0.15 o -11 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 760 | 200 6616 17710 | 5000 760 194 | 93.943 % | 0.09/0.16 c | 860 | 200 6616 17710 | 5500 860 194 | 93.943 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -12 0.09/0.18 o -12 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 1009 | 200 6617 17910 | 5000 1009 195 | 93.943 % | 0.19/0.20 c | 1109 | 200 6617 17910 | 5500 1109 194 | 93.943 % | 0.19/0.23 c | 1259 | 200 6617 17910 | 6050 1259 194 | 93.943 % | 0.19/0.29 c | 1484 | 200 6617 17910 | 6655 1484 194 | 93.943 % | 0.28/0.38 c | 1822 | 200 6617 17910 | 7320 1822 195 | 93.943 % | 0.49/0.50 c | 2328 | 200 6617 17910 | 8052 2328 198 | 93.943 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: -13 0.49/0.53 o -13 0.49/0.53 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 2452 | 200 6618 18110 | 5000 2452 198 | 93.943 % | 0.49/0.56 c | 2554 | 200 6618 18110 | 5500 2554 199 | 93.943 % | 0.49/0.59 c | 2704 | 200 6618 18110 | 6050 2704 199 | 93.943 % | 0.58/0.63 c | 2930 | 200 6618 18110 | 6655 2930 198 | 93.943 % | 0.68/0.77 c | 3269 | 200 6618 18110 | 7320 3269 198 | 93.943 % | 0.88/0.92 c | 3776 | 200 6618 18110 | 8052 3776 198 | 93.943 % | 1.19/1.23 c | 4537 | 200 6618 18110 | 8857 4537 197 | 93.943 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c New solution: -14 1.49/1.56 o -14 1.49/1.56 c Elapsed CPU time: 1.53677 s Remaining CPU time: 178.463 s 1.49/1.56 c =============================================================================== 1.49/1.56 c | 5506 | 200 6619 18310 | 5000 5506 196 | 93.943 % | 1.59/1.64 c | 5607 | 200 6619 18310 | 5500 5607 196 | 93.943 % | 1.69/1.77 c | 5757 | 200 6619 18310 | 6050 5757 196 | 93.943 % | 1.88/1.90 c | 5984 | 200 6619 18310 | 6655 5984 196 | 93.943 % | 2.09/2.13 c | 6321 | 200 6619 18310 | 7320 6321 197 | 93.943 % | 2.39/2.44 c | 6827 | 200 6619 18310 | 8052 6827 197 | 93.943 % | 2.89/2.96 c | 7588 | 200 6619 18310 | 8857 7588 200 | 93.943 % | 3.69/3.73 c | 8727 | 200 6619 18310 | 9743 8727 199 | 93.943 % | 4.49/4.54 c | 10436 | 200 6619 18310 | 10717 10436 198 | 93.943 % | 4.69/4.78 c =============================================================================== 4.69/4.78 c New solution: -15 4.69/4.78 o -15 4.69/4.78 c Elapsed CPU time: 4.73528 s Remaining CPU time: 175.265 s 4.69/4.78 c =============================================================================== 4.69/4.78 c | 10645 | 200 6620 18510 | 5000 10645 198 | 93.943 % | 4.89/4.90 c | 10746 | 200 6620 18510 | 5500 5424 199 | 93.943 % | 4.99/5.01 c | 10899 | 200 6620 18510 | 6050 5577 199 | 93.943 % | 5.09/5.14 c | 11124 | 200 6620 18510 | 6655 5802 200 | 93.943 % | 5.28/5.30 c | 11461 | 200 6620 18510 | 7320 6139 200 | 93.943 % | 5.39/5.43 c | 11967 | 200 6620 18510 | 8052 6645 199 | 93.943 % | 5.69/5.76 c | 12728 | 200 6620 18510 | 8857 7406 198 | 93.943 % | 6.49/6.50 c | 13868 | 200 6620 18510 | 9743 8546 197 | 93.943 % | 7.08/7.11 c =============================================================================== 7.08/7.11 c New solution: -16 7.08/7.11 o -16 7.08/7.11 c Elapsed CPU time: 7.05193 s Remaining CPU time: 172.948 s 7.08/7.11 c =============================================================================== 7.08/7.11 c | 15019 | 200 6621 18710 | 5000 9697 196 | 93.943 % | 7.08/7.18 c | 15119 | 200 6621 18710 | 5500 4949 193 | 93.943 % | 7.18/7.21 c | 15270 | 200 6621 18710 | 6050 5100 193 | 93.943 % | 7.29/7.31 c | 15495 | 200 6621 18710 | 6655 5325 194 | 93.943 % | 7.39/7.45 c | 15834 | 200 6621 18710 | 7320 5664 195 | 93.943 % | 7.60/7.62 c | 16341 | 200 6621 18710 | 8052 6171 195 | 93.943 % | 7.99/8.01 c | 17101 | 200 6621 18710 | 8857 6931 194 | 93.943 % | 8.98/9.03 c | 18241 | 200 6621 18710 | 9743 8071 194 | 93.943 % | 10.28/10.31 c | 19950 | 200 6621 18710 | 10717 9780 193 | 93.943 % | 11.79/11.87 c | 22512 | 200 6621 18710 | 11789 12342 193 | 93.943 % | 16.28/16.36 c | 26357 | 200 6621 18710 | 12968 8651 191 | 93.943 % | 23.28/23.34 c | 32123 | 200 6621 18710 | 14265 14417 190 | 93.943 % | 27.58/27.64 c =============================================================================== 27.58/27.64 c New solution: -17 27.58/27.65 o -17 27.58/27.65 c Elapsed CPU time: 27.4928 s Remaining CPU time: 152.507 s 27.58/27.65 c =============================================================================== 27.58/27.65 c | 37800 | 200 6622 18910 | 5000 11318 189 | 93.943 % | 27.68/27.76 c | 37904 | 200 6622 18910 | 5500 5763 189 | 93.943 % | 27.78/27.82 c | 38054 | 200 6622 18910 | 6050 5913 190 | 93.943 % | 27.88/27.96 c | 38279 | 200 6622 18910 | 6655 6138 189 | 93.943 % | 28.08/28.11 c | 38617 | 200 6622 18910 | 7320 6476 189 | 93.943 % | 28.28/28.38 c =============================================================================== 28.28/28.38 c New solution: -18 28.28/28.38 o -18 28.28/28.38 c Elapsed CPU time: 28.2207 s Remaining CPU time: 151.779 s 28.28/28.38 c =============================================================================== 28.28/28.38 c | 39046 | 200 6623 19110 | 5000 6905 189 | 93.943 % | 28.38/28.40 c | 39147 | 200 6623 19110 | 5500 7006 189 | 93.943 % | 28.38/28.48 c | 39298 | 200 6623 19110 | 6050 7157 190 | 93.943 % | 28.49/28.60 c | 39523 | 200 6623 19110 | 6655 7382 191 | 93.943 % | 28.68/28.79 c | 39864 | 200 6623 19110 | 7320 7723 193 | 93.943 % | 29.08/29.19 c | 40372 | 200 6623 19110 | 8052 8231 193 | 93.943 % | 29.68/29.79 c | 41133 | 200 6623 19110 | 8857 8992 193 | 93.943 % | 30.69/30.78 c | 42275 | 200 6623 19110 | 9743 10134 193 | 93.943 % | 31.98/32.02 c | 43984 | 200 6623 19110 | 10717 11843 192 | 93.943 % | 34.09/34.17 c =============================================================================== 34.09/34.17 c New solution: -19 34.09/34.17 o -19 34.09/34.17 c Elapsed CPU time: 33.9898 s Remaining CPU time: 146.01 s 34.09/34.17 c =============================================================================== 34.09/34.17 c | 46000 | 200 6624 19310 | 5000 13859 192 | 93.943 % | 34.28/34.35 c | 46102 | 200 6624 19310 | 5500 7032 194 | 93.943 % | 34.38/34.48 c | 46253 | 200 6624 19310 | 6050 7183 194 | 93.943 % | 34.57/34.65 c | 46481 | 200 6624 19310 | 6655 7411 194 | 93.943 % | 34.77/34.86 c | 46818 | 200 6624 19310 | 7320 7748 193 | 93.943 % | 34.97/35.09 c | 47324 | 200 6624 19310 | 8052 8254 194 | 93.943 % | 35.58/35.64 c | 48083 | 200 6624 19310 | 8857 9013 197 | 93.943 % | 36.47/36.55 c | 49222 | 200 6624 19310 | 9743 10152 201 | 93.943 % | 37.87/37.91 c | 50931 | 200 6624 19310 | 10717 11861 210 | 93.943 % | 41.69/41.76 c | 53494 | 200 6624 19310 | 11789 7422 220 | 93.943 % | 43.18/43.28 c | 57340 | 200 6624 19310 | 12968 11268 214 | 93.943 % | 50.37/50.40 c | 63107 | 200 6624 19310 | 14265 8909 191 | 93.943 % | 58.57/58.67 c | 71759 | 200 6624 19310 | 15692 8792 186 | 93.943 % | 60.97/61.02 c =============================================================================== 60.97/61.02 c New solution: -20 60.97/61.02 o -20 60.97/61.02 c Elapsed CPU time: 60.6988 s Remaining CPU time: 119.301 s 60.97/61.02 c =============================================================================== 60.97/61.02 c | 76608 | 200 6625 19510 | 5000 13641 186 | 93.943 % | 61.17/61.24 c | 76711 | 200 6625 19510 | 5500 6924 187 | 93.943 % | 61.17/61.26 c | 76863 | 200 6625 19510 | 6050 7076 187 | 93.943 % | 61.48/61.59 c | 77088 | 200 6625 19510 | 6655 7301 187 | 93.943 % | 61.67/61.72 c | 77425 | 200 6625 19510 | 7320 7638 188 | 93.943 % | 61.97/62.02 c | 77931 | 200 6625 19510 | 8052 8144 189 | 93.943 % | 62.57/62.61 c | 78692 | 200 6625 19510 | 8857 8905 192 | 93.943 % | 63.07/63.13 c | 79831 | 200 6625 19510 | 9743 10044 195 | 93.943 % | 63.97/64.01 c | 81540 | 200 6625 19510 | 10717 11753 194 | 93.943 % | 65.77/65.82 c | 84102 | 200 6625 19510 | 11789 7316 198 | 93.943 % | 68.37/68.48 c | 87946 | 200 6625 19510 | 12968 11160 196 | 93.943 % | 72.96/73.09 c | 93713 | 200 6625 19510 | 14265 8801 190 | 93.943 % | 81.06/81.16 c | 102363 | 200 6625 19510 | 15692 17451 188 | 93.943 % | 88.66/88.76 c | 115338 | 200 6625 19510 | 17261 11450 186 | 93.943 % | 108.95/109.04 c =============================================================================== 108.95/109.04 c New solution: -21 108.95/109.04 o -21 108.95/109.04 c Elapsed CPU time: 108.443 s Remaining CPU time: 71.5575 s 108.95/109.04 c =============================================================================== 108.95/109.04 c | 131657 | 200 6626 19710 | 5000 17499 185 | 93.943 % | 109.05/109.19 c | 131757 | 200 6626 19710 | 5500 4475 184 | 93.943 % | 109.15/109.26 c | 131908 | 200 6626 19710 | 6050 4626 184 | 93.943 % | 109.25/109.32 c | 132134 | 200 6626 19710 | 6655 4852 184 | 93.943 % | 109.35/109.49 c | 132472 | 200 6626 19710 | 7320 5190 184 | 93.943 % | 109.55/109.63 c | 132978 | 200 6626 19710 | 8052 5696 185 | 93.943 % | 109.86/109.95 c | 133738 | 200 6626 19710 | 8857 6456 187 | 93.943 % | 110.55/110.69 c | 134878 | 200 6626 19710 | 9743 7596 188 | 93.943 % | 111.56/111.63 c | 136588 | 200 6626 19710 | 10717 9306 189 | 93.943 % | 112.66/112.73 c | 139151 | 200 6626 19710 | 11789 11869 189 | 93.943 % | 115.55/115.68 c | 142996 | 200 6626 19710 | 12968 8178 210 | 93.943 % | 118.56/118.69 c | 148762 | 200 6626 19710 | 14265 13944 210 | 93.943 % | 124.95/125.00 c | 157415 | 200 6626 19710 | 15692 13824 201 | 93.943 % | 138.55/138.61 c | 170391 | 200 6626 19710 | 17261 17314 188 | 93.943 % | 158.43/158.59 c | 189852 | 200 6626 19710 | 18987 16234 187 | 93.943 % | 177.83/177.91 c | 219045 | 200 6626 19710 | 20886 10691 184 | 93.943 % | 180.92/181.06 c There are 3102 assigned variables. 0 in cost function. 181.63/181.74 c core #1 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -199 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #2 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -198 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #3 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -197 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #4 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -196 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #5 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -195 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #6 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -194 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #7 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -193 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #8 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -192 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #9 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -191 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #10 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -190 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #11 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -189 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #12 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -188 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #13 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -187 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #14 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -186 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #15 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -185 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #16 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -184 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #17 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -183 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #18 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -182 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #19 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -181 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #20 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -180 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #21 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -179 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #22 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -178 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #23 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -177 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #24 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -176 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #25 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -175 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #26 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -174 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #27 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -173 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #28 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -172 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #29 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -171 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #30 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -170 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #31 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -169 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #32 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -168 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #33 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -167 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #34 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -166 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #35 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -165 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #36 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -164 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #37 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -163 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #38 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -162 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #39 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -161 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #40 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -160 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #41 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -159 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #42 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -158 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #43 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -157 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #44 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -156 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #45 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -155 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #46 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -154 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #47 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -153 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #48 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -152 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #49 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -151 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #50 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -150 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #51 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -149 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #52 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -148 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #53 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -147 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #54 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -146 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #55 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -145 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #56 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -144 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #57 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -143 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #58 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -142 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c core #59 181.63/181.74 c 181.63/181.74 c 181.63/181.74 c Core size: 3 Core Weight: 1 Total Weight: -141 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #60 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -140 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #61 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -139 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #62 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -138 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #63 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -137 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #64 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -136 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #65 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -135 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #66 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -134 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #67 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -133 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #68 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -132 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #69 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -131 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #70 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -130 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #71 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -129 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #72 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -128 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #73 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -127 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #74 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -126 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #75 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -125 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #76 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -124 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #77 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -123 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #78 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -122 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #79 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -121 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #80 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -120 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #81 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -119 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #82 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -118 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #83 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -117 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #84 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -116 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #85 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -115 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #86 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -114 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #87 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -113 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #88 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -112 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #89 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -111 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #90 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -110 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #91 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -109 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #92 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -108 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #93 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -107 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #94 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -106 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #95 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -105 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #96 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -104 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #97 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -103 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #98 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 3 Core Weight: 1 Total Weight: -102 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #99 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 7 Core Weight: 1 Total Weight: -101 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c core #100 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 19 Core Weight: 1 Total Weight: -100 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c ============================[ Search Statistics ]============================== 181.93/182.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.09 c =============================================================================== 181.93/182.09 c | 0 | 410 6526 11224 | 5000 0 nan | 0.000 % | 181.93/182.09 c =============================================================================== 182.03/182.10 c core #101 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 10 Core Weight: 1 Total Weight: -99 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c ============================[ Search Statistics ]============================== 182.03/182.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.10 c =============================================================================== 182.03/182.10 c | 0 | 416 6527 11236 | 5000 0 nan | 0.000 % | 182.03/182.11 c =============================================================================== 182.03/182.12 c core #102 182.03/182.12 c 182.03/182.12 c 182.03/182.12 c Core size: 14 Core Weight: 1 Total Weight: -98 182.03/182.12 c 182.03/182.12 c 182.03/182.12 c ============================[ Search Statistics ]============================== 182.03/182.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.12 c =============================================================================== 182.03/182.12 c | 0 | 424 6528 11252 | 5000 0 nan | 0.000 % | 182.03/182.12 c =============================================================================== 182.03/182.13 c core #103 182.03/182.13 c 182.03/182.13 c 182.03/182.13 c Core size: 14 Core Weight: 1 Total Weight: -97 182.03/182.13 c 182.03/182.13 c 182.03/182.13 c ============================[ Search Statistics ]============================== 182.03/182.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.13 c =============================================================================== 182.03/182.13 c | 0 | 432 6529 11268 | 5000 0 nan | 0.000 % | 182.03/182.13 c =============================================================================== 182.03/182.14 c core #104 182.03/182.14 c 182.03/182.14 c 182.03/182.14 c Core size: 10 Core Weight: 1 Total Weight: -96 182.03/182.14 c 182.03/182.14 c 182.03/182.14 c ============================[ Search Statistics ]============================== 182.03/182.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.14 c =============================================================================== 182.03/182.14 c | 0 | 438 6530 11280 | 5000 0 nan | 0.000 % | 182.03/182.15 c =============================================================================== 182.03/182.16 c core #105 182.03/182.16 c 182.03/182.16 c 182.03/182.16 c Core size: 12 Core Weight: 1 Total Weight: -95 182.03/182.16 c 182.03/182.16 c 182.03/182.16 c ============================[ Search Statistics ]============================== 182.03/182.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.16 c =============================================================================== 182.03/182.16 c | 0 | 446 6531 11296 | 5000 0 nan | 0.000 % | 182.03/182.16 c =============================================================================== 182.03/182.17 c core #106 182.03/182.17 c 182.03/182.17 c 182.03/182.17 c Core size: 12 Core Weight: 1 Total Weight: -94 182.03/182.17 c 182.03/182.17 c 182.03/182.17 c ============================[ Search Statistics ]============================== 182.03/182.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.17 c =============================================================================== 182.03/182.17 c | 0 | 454 6532 11312 | 5000 0 nan | 0.000 % | 182.03/182.17 c =============================================================================== 182.03/182.18 c core #107 182.03/182.18 c 182.03/182.18 c 182.03/182.18 c Core size: 10 Core Weight: 1 Total Weight: -93 182.03/182.18 c 182.03/182.18 c 182.03/182.18 c ============================[ Search Statistics ]============================== 182.03/182.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.18 c =============================================================================== 182.03/182.18 c | 0 | 460 6533 11324 | 5000 0 nan | 0.000 % | 182.03/182.19 c =============================================================================== 182.13/182.20 c core #108 182.13/182.20 c 182.13/182.20 c 182.13/182.20 c Core size: 12 Core Weight: 1 Total Weight: -92 182.13/182.20 c 182.13/182.20 c 182.13/182.20 c ============================[ Search Statistics ]============================== 182.13/182.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.20 c =============================================================================== 182.13/182.20 c | 0 | 468 6534 11340 | 5000 0 nan | 0.000 % | 182.13/182.20 c =============================================================================== 182.13/182.21 c core #109 182.13/182.21 c 182.13/182.21 c 182.13/182.21 c Core size: 10 Core Weight: 1 Total Weight: -91 182.13/182.21 c 182.13/182.21 c 182.13/182.21 c ============================[ Search Statistics ]============================== 182.13/182.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.21 c =============================================================================== 182.13/182.21 c | 0 | 474 6535 11352 | 5000 0 nan | 0.000 % | 182.13/182.22 c =============================================================================== 182.13/182.23 c core #110 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 10 Core Weight: 1 Total Weight: -90 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c ============================[ Search Statistics ]============================== 182.13/182.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.23 c =============================================================================== 182.13/182.23 c | 0 | 480 6536 11364 | 5000 0 nan | 0.000 % | 182.13/182.23 c =============================================================================== 182.13/182.24 c core #111 182.13/182.24 c 182.13/182.24 c 182.13/182.24 c Core size: 10 Core Weight: 1 Total Weight: -89 182.13/182.24 c 182.13/182.24 c 182.13/182.24 c ============================[ Search Statistics ]============================== 182.13/182.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.24 c =============================================================================== 182.13/182.24 c | 0 | 486 6537 11376 | 5000 0 nan | 0.000 % | 182.13/182.24 c =============================================================================== 182.13/182.25 c core #112 182.13/182.25 c 182.13/182.25 c 182.13/182.25 c Core size: 16 Core Weight: 1 Total Weight: -88 182.13/182.25 c 182.13/182.25 c 182.13/182.25 c ============================[ Search Statistics ]============================== 182.13/182.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.25 c =============================================================================== 182.13/182.25 c | 0 | 496 6538 11396 | 5000 0 nan | 0.000 % | 182.13/182.26 c =============================================================================== 182.13/182.27 c core #113 182.13/182.27 c 182.13/182.27 c 182.13/182.27 c Core size: 10 Core Weight: 1 Total Weight: -87 182.13/182.27 c 182.13/182.27 c 182.13/182.27 c ============================[ Search Statistics ]============================== 182.13/182.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.27 c =============================================================================== 182.13/182.27 c | 0 | 502 6539 11408 | 5000 0 nan | 0.000 % | 182.13/182.27 c =============================================================================== 182.13/182.28 c core #114 182.13/182.28 c 182.13/182.28 c 182.13/182.28 c Core size: 10 Core Weight: 1 Total Weight: -86 182.13/182.28 c 182.13/182.28 c 182.13/182.28 c ============================[ Search Statistics ]============================== 182.13/182.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.28 c =============================================================================== 182.13/182.28 c | 0 | 508 6540 11420 | 5000 0 nan | 0.000 % | 182.13/182.29 c =============================================================================== 182.23/182.30 c core #115 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 14 Core Weight: 1 Total Weight: -85 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c ============================[ Search Statistics ]============================== 182.23/182.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.30 c =============================================================================== 182.23/182.30 c | 0 | 516 6541 11436 | 5000 0 nan | 0.000 % | 182.23/182.30 c =============================================================================== 182.23/182.31 c core #116 182.23/182.31 c 182.23/182.31 c 182.23/182.31 c Core size: 14 Core Weight: 1 Total Weight: -84 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 | 524 6542 11452 | 5000 0 nan | 0.000 % | 182.23/182.31 c =============================================================================== 182.23/182.32 c core #117 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 12 Core Weight: 1 Total Weight: -83 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c ============================[ Search Statistics ]============================== 182.23/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.32 c =============================================================================== 182.23/182.32 c | 0 | 532 6543 11468 | 5000 0 nan | 0.000 % | 182.23/182.33 c =============================================================================== 182.23/182.34 c core #118 182.23/182.34 c 182.23/182.34 c 182.23/182.34 c Core size: 14 Core Weight: 1 Total Weight: -82 182.23/182.34 c 182.23/182.34 c 182.23/182.34 c ============================[ Search Statistics ]============================== 182.23/182.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.34 c =============================================================================== 182.23/182.34 c | 0 | 540 6544 11484 | 5000 0 nan | 0.000 % | 182.23/182.34 c =============================================================================== 182.23/182.35 c core #119 182.23/182.35 c 182.23/182.35 c 182.23/182.35 c Core size: 14 Core Weight: 1 Total Weight: -81 182.23/182.35 c 182.23/182.35 c 182.23/182.35 c ============================[ Search Statistics ]============================== 182.23/182.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.35 c =============================================================================== 182.23/182.35 c | 0 | 548 6545 11500 | 5000 0 nan | 0.000 % | 182.23/182.35 c =============================================================================== 182.23/182.37 c core #120 182.23/182.37 c 182.23/182.37 c 182.23/182.37 c Core size: 14 Core Weight: 1 Total Weight: -80 182.23/182.37 c 182.23/182.37 c 182.23/182.37 c ============================[ Search Statistics ]============================== 182.23/182.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.37 c =============================================================================== 182.23/182.37 c | 0 | 556 6546 11516 | 5000 0 nan | 0.000 % | 182.23/182.37 c =============================================================================== 182.23/182.38 c core #121 182.23/182.38 c 182.23/182.38 c 182.23/182.38 c Core size: 16 Core Weight: 1 Total Weight: -79 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 | 566 6547 11536 | 5000 0 nan | 0.000 % | 182.23/182.38 c =============================================================================== 182.23/182.40 c core #122 182.23/182.40 c 182.23/182.40 c 182.23/182.40 c Core size: 22 Core Weight: 1 Total Weight: -78 182.23/182.40 c 182.23/182.40 c 182.23/182.40 c ============================[ Search Statistics ]============================== 182.23/182.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.40 c =============================================================================== 182.23/182.40 c | 0 | 578 6548 11560 | 5000 0 nan | 0.000 % | 182.33/182.40 c =============================================================================== 182.33/182.41 c core #123 182.33/182.41 c 182.33/182.41 c 182.33/182.41 c Core size: 16 Core Weight: 1 Total Weight: -77 182.33/182.41 c 182.33/182.41 c 182.33/182.41 c ============================[ Search Statistics ]============================== 182.33/182.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.41 c =============================================================================== 182.33/182.41 c | 0 | 588 6549 11580 | 5000 0 nan | 0.000 % | 182.33/182.41 c =============================================================================== 182.33/182.43 c core #124 182.33/182.43 c 182.33/182.43 c 182.33/182.43 c Core size: 29 Core Weight: 1 Total Weight: -76 182.33/182.43 c 182.33/182.43 c 182.33/182.43 c ============================[ Search Statistics ]============================== 182.33/182.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.43 c =============================================================================== 182.33/182.43 c | 0 | 604 6550 11612 | 5000 0 nan | 0.000 % | 182.33/182.44 c =============================================================================== 182.33/182.45 c core #125 182.33/182.45 c 182.33/182.45 c 182.33/182.45 c Core size: 32 Core Weight: 1 Total Weight: -75 182.33/182.45 c 182.33/182.45 c 182.33/182.45 c ============================[ Search Statistics ]============================== 182.33/182.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.45 c =============================================================================== 182.33/182.45 c | 0 | 636 6551 11676 | 5000 0 nan | 0.000 % | 182.33/182.47 c | 100 | 636 6551 11676 | 5500 100 15 | 82.986 % | 182.43/182.50 c =============================================================================== 182.43/182.51 c core #126 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 54 Core Weight: 1 Total Weight: -74 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c ============================[ Search Statistics ]============================== 182.43/182.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.51 c =============================================================================== 182.43/182.51 c | 0 | 680 6552 11764 | 5000 0 nan | 0.000 % | 182.43/182.54 c | 101 | 680 6552 11764 | 5500 101 23 | 82.020 % | 182.43/182.57 c | 251 | 679 6552 11764 | 6050 247 21 | 82.047 % | 182.43/182.59 c =============================================================================== 182.43/182.60 c core #127 182.43/182.60 c 182.43/182.60 c 182.43/182.60 c Core size: 74 Core Weight: 1 Total Weight: -73 182.43/182.60 c 182.43/182.60 c 182.43/182.60 c ============================[ Search Statistics ]============================== 182.43/182.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.60 c =============================================================================== 182.43/182.60 c | 0 | 736 6553 11876 | 5000 0 nan | 0.000 % | 182.53/182.62 c | 100 | 736 6553 11876 | 5500 100 22 | 80.823 % | 182.53/182.64 c | 250 | 736 6553 11876 | 6050 250 28 | 80.823 % | 182.53/182.68 c | 477 | 736 6553 11876 | 6655 477 27 | 80.823 % | 182.63/182.75 c =============================================================================== 182.63/182.77 c core #128 182.63/182.77 c 182.63/182.77 c 182.63/182.77 c Core size: 90 Core Weight: 1 Total Weight: -72 182.63/182.77 c 182.63/182.77 c 182.63/182.77 c ============================[ Search Statistics ]============================== 182.63/182.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.77 c =============================================================================== 182.63/182.77 c | 0 | 808 6554 12020 | 5000 0 nan | 0.000 % | 182.63/182.79 c | 100 | 808 6554 12020 | 5500 100 20 | 79.335 % | 182.73/182.81 c | 252 | 808 6554 12020 | 6050 252 18 | 79.335 % | 182.73/182.85 c | 479 | 808 6554 12020 | 6655 479 17 | 79.335 % | 182.83/182.90 c =============================================================================== 182.83/182.92 c core #129 182.83/182.92 c 182.83/182.92 c 182.83/182.92 c Core size: 59 Core Weight: 1 Total Weight: -71 182.83/182.92 c 182.83/182.92 c 182.83/182.92 c ============================[ Search Statistics ]============================== 182.83/182.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.92 c =============================================================================== 182.83/182.92 c | 0 | 860 6555 12124 | 5000 0 nan | 0.000 % | 182.83/182.94 c | 101 | 860 6555 12124 | 5500 101 25 | 78.294 % | 182.83/182.98 c | 253 | 860 6555 12124 | 6050 253 108 | 78.294 % | 182.92/183.02 c | 478 | 860 6555 12124 | 6655 478 136 | 78.294 % | 182.92/183.08 c | 815 | 860 6555 12124 | 7320 815 149 | 78.294 % | 183.02/183.17 c | 1323 | 860 6555 12124 | 8052 1323 157 | 78.294 % | 183.23/183.34 c | 2085 | 860 6555 12124 | 8857 2085 162 | 78.294 % | 183.43/183.55 c | 3227 | 860 6555 12124 | 9743 3227 164 | 78.294 % | 183.82/183.92 c | 4937 | 860 6555 12124 | 10717 4937 165 | 78.294 % | 184.43/184.55 c =============================================================================== 184.43/184.57 c core #130 184.43/184.57 c 184.43/184.57 c 184.43/184.57 c Core size: 69 Core Weight: 1 Total Weight: -70 184.43/184.57 c 184.43/184.57 c 184.43/184.57 c ============================[ Search Statistics ]============================== 184.43/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.57 c =============================================================================== 184.43/184.57 c | 0 | 910 6556 12224 | 5000 0 nan | 0.000 % | 184.53/184.60 c | 102 | 910 6556 12224 | 5500 102 24 | 77.318 % | 184.53/184.61 c | 252 | 910 6556 12224 | 6050 252 19 | 77.318 % | 184.53/184.66 c | 477 | 910 6556 12224 | 6655 477 19 | 77.318 % | 184.63/184.72 c | 814 | 910 6556 12224 | 7320 814 21 | 77.318 % | 184.63/184.80 c | 1323 | 910 6556 12224 | 8052 1323 20 | 77.318 % | 184.82/184.97 c | 2083 | 910 6556 12224 | 8857 2083 22 | 77.318 % | 185.13/185.22 c | 3225 | 910 6556 12224 | 9743 3225 22 | 77.318 % | 185.33/185.47 c =============================================================================== 185.42/185.53 c core #131 185.42/185.53 c 185.42/185.53 c 185.42/185.53 c Core size: 78 Core Weight: 1 Total Weight: -69 185.42/185.53 c 185.42/185.53 c 185.42/185.53 c ============================[ Search Statistics ]============================== 185.42/185.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.53 c =============================================================================== 185.42/185.53 c | 0 | 972 6557 12348 | 5000 0 nan | 0.000 % | 185.42/185.55 c | 100 | 972 6557 12348 | 5500 100 14 | 76.141 % | 185.42/185.58 c | 250 | 972 6557 12348 | 6050 250 17 | 76.141 % | 185.53/185.62 c | 475 | 972 6557 12348 | 6655 475 20 | 76.141 % | 185.63/185.71 c | 812 | 972 6557 12348 | 7320 812 27 | 76.141 % | 185.73/185.80 c | 1318 | 972 6557 12348 | 8052 1318 32 | 76.141 % | 185.93/186.03 c | 2083 | 972 6557 12348 | 8857 2083 35 | 76.141 % | 186.12/186.25 c | 3222 | 972 6557 12348 | 9743 3222 32 | 76.141 % | 186.73/186.84 c | 4933 | 972 6557 12348 | 10717 4933 34 | 76.141 % | 187.03/187.10 c =============================================================================== 187.03/187.19 c core #132 187.03/187.19 c 187.03/187.19 c 187.03/187.19 c Core size: 87 Core Weight: 1 Total Weight: -68 187.03/187.19 c 187.03/187.19 c 187.03/187.19 c ============================[ Search Statistics ]============================== 187.03/187.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.03/187.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.03/187.19 c =============================================================================== 187.03/187.19 c | 0 | 1040 6558 12484 | 5000 0 nan | 0.000 % | 187.13/187.22 c | 100 | 1040 6558 12484 | 5500 100 22 | 74.891 % | 187.13/187.23 c | 252 | 1040 6558 12484 | 6050 252 24 | 74.891 % | 187.13/187.26 c | 477 | 1040 6558 12484 | 6655 477 30 | 74.891 % | 187.23/187.32 c | 818 | 1040 6558 12484 | 7320 818 33 | 74.891 % | 187.33/187.40 c | 1324 | 1040 6558 12484 | 8052 1324 35 | 74.891 % | 187.43/187.54 c | 2086 | 1040 6558 12484 | 8857 2086 39 | 74.891 % | 187.73/187.86 c | 3225 | 1040 6558 12484 | 9743 3225 47 | 74.891 % | 188.22/188.34 c | 4936 | 1040 6558 12484 | 10717 4936 47 | 74.891 % | 189.03/189.18 c | 7505 | 1040 6558 12484 | 11789 7505 51 | 74.891 % | 190.83/190.98 c | 11350 | 1040 6558 12484 | 12968 11350 52 | 74.891 % | 193.93/194.01 c | 17117 | 1040 6558 12484 | 14265 9019 46 | 74.891 % | 196.52/196.66 c | 25768 | 1040 6558 12484 | 15692 8868 108 | 74.891 % | 202.52/202.69 c | 38744 | 1040 6558 12484 | 17261 12391 43 | 74.892 % | 207.92/208.03 c =============================================================================== 208.42/208.53 c core #133 208.42/208.53 c 208.42/208.53 c 208.42/208.53 c Core size: 98 Core Weight: 1 Total Weight: -67 208.42/208.53 c 208.42/208.53 c 208.42/208.53 c ============================[ Search Statistics ]============================== 208.42/208.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.42/208.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.42/208.53 c =============================================================================== 208.42/208.53 c | 0 | 1120 6559 12644 | 5000 0 nan | 0.000 % | 208.42/208.56 c | 101 | 1120 6559 12644 | 5500 101 31 | 73.472 % | 208.42/208.57 c | 252 | 1120 6559 12644 | 6050 252 28 | 73.472 % | 208.52/208.61 c | 477 | 1120 6559 12644 | 6655 477 37 | 73.472 % | 208.52/208.69 c | 816 | 1120 6559 12644 | 7320 816 46 | 73.472 % | 208.72/208.80 c | 1324 | 1120 6559 12644 | 8052 1324 52 | 73.472 % | 208.83/208.99 c | 2084 | 1120 6559 12644 | 8857 2084 59 | 73.472 % | 209.12/209.28 c | 3225 | 1120 6559 12644 | 9743 3225 60 | 73.472 % | 209.62/209.79 c | 4935 | 1120 6559 12644 | 10717 4935 61 | 73.472 % | 210.32/210.49 c | 7498 | 1120 6559 12644 | 11789 7498 60 | 73.472 % | 211.92/212.04 c | 11344 | 1120 6559 12644 | 12968 11344 61 | 73.472 % | 215.22/215.37 c | 17111 | 1120 6559 12644 | 14265 9050 62 | 73.472 % | 218.42/218.55 c | 25761 | 1120 6559 12644 | 15692 8879 140 | 73.472 % | 225.32/225.48 c | 38736 | 1120 6559 12644 | 17261 12366 160 | 73.472 % | 244.61/244.72 c | 58200 | 1120 6559 12644 | 18987 11259 159 | 73.472 % | 258.20/258.35 c | 87392 | 1120 6559 12644 | 20886 17316 155 | 73.472 % | 285.39/285.50 c | 131184 | 1120 6559 12644 | 22974 20925 165 | 73.472 % | 314.79/314.96 c | 196869 | 1120 6559 12644 | 25272 24993 151 | 73.472 % | 371.58/371.79 c | 295398 | 1120 6559 12644 | 27799 17829 149 | 73.472 % | 459.14/459.35 c | 443188 | 1120 6559 12644 | 30579 25150 145 | 73.472 % | 604.19/604.47 c | 664872 | 1120 6559 12644 | 33637 19289 156 | 73.472 % | 843.13/843.41 c | 997398 | 1120 6559 12644 | 37001 17397 171 | 73.472 % | 1343.08/1343.55 c | 1496186 | 1120 6559 12644 | 40701 24328 155 | 73.472 % | 1629.50/1630.07 c =============================================================================== 1631.40/1631.99 c core #134 1631.40/1631.99 c 1631.40/1631.99 c 1631.40/1631.99 c Core size: 141 Core Weight: 1 Total Weight: -66 1631.40/1631.99 c 1631.40/1631.99 c 1631.40/1631.99 c ============================[ Search Statistics ]============================== 1631.40/1631.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1631.40/1631.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1631.40/1631.99 c =============================================================================== 1631.40/1631.99 c | 0 | 1212 6560 12828 | 5000 0 nan | 0.000 % | 1631.50/1632.03 c | 100 | 1212 6560 12828 | 5500 100 29 | 71.905 % | 1631.60/1632.13 c | 250 | 1212 6560 12828 | 6050 250 27 | 71.905 % | 1631.81/1632.33 c | 475 | 1212 6560 12828 | 6655 475 25 | 71.905 % | 1631.81/1632.40 c | 815 | 1212 6560 12828 | 7320 815 30 | 71.905 % | 1631.91/1632.44 c | 1322 | 1212 6560 12828 | 8052 1322 32 | 71.905 % | 1632.00/1632.54 c | 2086 | 1212 6560 12828 | 8857 2086 39 | 71.905 % | 1632.20/1632.77 c | 3225 | 1212 6560 12828 | 9743 3225 50 | 71.905 % | 1632.60/1633.10 c | 4933 | 1212 6560 12828 | 10717 4933 57 | 71.905 % | 1633.30/1633.89 c | 7497 | 1212 6560 12828 | 11789 7497 66 | 71.905 % | 1635.50/1636.05 c | 11341 | 1212 6560 12828 | 12968 11341 73 | 71.905 % | 1638.60/1639.16 c | 17108 | 1212 6560 12828 | 14265 8993 76 | 71.905 % | 1643.19/1643.77 c | 25760 | 1212 6560 12828 | 15692 17645 83 | 71.905 % | 1654.20/1654.78 c | 38734 | 1212 6560 12828 | 17261 11677 82 | 71.905 % | 1673.19/1673.72 c | 58195 | 1212 6560 12828 | 18987 10674 86 | 71.905 % | 1696.28/1696.85 c | 87388 | 1212 6560 12828 | 20886 17702 80 | 71.905 % | 1722.87/1723.40 c | 131177 | 1212 6560 12828 | 22974 22476 129 | 71.905 % | 1766.07/1766.61 c | 196862 | 1212 6560 12828 | 25272 12112 163 | 71.905 % |
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-2702545-1278569671/watcher-2702545-1278569671 -o /tmp/evaluation-result-2702545-1278569671/solver-2702545-1278569671 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702545-1278569671.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: 1.07 1.06 1.02 2/106 2295 /proc/meminfo: memFree=1570488/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=2976 CPUtime=0 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 325 0 0 0 0 0 0 0 19 0 1 0 25179471 3047424 243 1992294400 134512640 135752675 4287903472 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 779 250 133 303 0 411 0 [startup+0.0211389 s] /proc/loadavg: 1.07 1.06 1.02 2/106 2295 /proc/meminfo: memFree=1570488/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=3556 CPUtime=0.01 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 461 0 0 0 1 0 0 0 19 0 1 0 25179471 3641344 379 1992294400 134512640 135752675 4287903472 18446744073709551615 134559930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 889 379 151 303 0 521 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3556 [startup+0.101149 s] /proc/loadavg: 1.07 1.06 1.02 2/106 2295 /proc/meminfo: memFree=1570488/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=4400 CPUtime=0.09 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 788 0 0 0 9 0 0 0 19 0 1 0 25179471 4505600 643 1992294400 134512640 135752675 4287903472 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 1100 643 145 303 0 795 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4400 [startup+0.300166 s] /proc/loadavg: 1.07 1.06 1.02 2/106 2295 /proc/meminfo: memFree=1570488/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=5172 CPUtime=0.28 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 984 0 0 0 28 0 0 0 20 0 1 0 25179471 5296128 839 1992294400 134512640 135752675 4287903472 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 1293 839 145 303 0 988 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5172 [startup+0.700208 s] /proc/loadavg: 1.07 1.06 1.02 2/106 2295 /proc/meminfo: memFree=1570488/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=6728 CPUtime=0.68 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 1369 0 0 0 67 1 0 0 20 0 1 0 25179471 6889472 1224 1992294400 134512640 135752675 4287903472 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 1682 1224 145 303 0 1377 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6728 [startup+1.50029 s] /proc/loadavg: 1.07 1.06 1.02 2/107 2296 /proc/meminfo: memFree=1565768/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=8800 CPUtime=1.49 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 1884 0 0 0 147 2 0 0 22 0 1 0 25179471 9011200 1739 1992294400 134512640 135752675 4287903472 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 2200 1739 145 303 0 1895 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8800 [startup+3.10045 s] /proc/loadavg: 1.06 1.06 1.02 2/107 2296 /proc/meminfo: memFree=1563536/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=11028 CPUtime=3.09 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 2460 0 0 0 306 3 0 0 25 0 1 0 25179471 11292672 2315 1992294400 134512640 135752675 4287903472 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 2757 2315 145 303 0 2452 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11028 [startup+6.30177 s] /proc/loadavg: 1.06 1.06 1.02 2/107 2296 /proc/meminfo: memFree=1558080/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=15972 CPUtime=6.29 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 3685 0 0 0 624 5 0 0 25 0 1 0 25179471 16355328 3540 1992294400 134512640 135752675 4287903472 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 3993 3540 145 303 0 3688 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15972 [startup+12.7014 s] /proc/loadavg: 1.05 1.06 1.02 2/107 2296 /proc/meminfo: memFree=1548160/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=25084 CPUtime=12.68 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 5941 0 0 0 1260 8 0 0 25 0 1 0 25179471 25686016 5796 1992294400 134512640 135752675 4287903472 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 6271 5796 145 303 0 5966 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25084 [startup+25.5017 s] /proc/loadavg: 1.04 1.05 1.02 2/107 2297 /proc/meminfo: memFree=1538116/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=35320 CPUtime=25.49 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 8489 0 0 0 2536 13 0 0 25 0 1 0 25179471 36167680 8344 1992294400 134512640 135752675 4287903472 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 8830 8344 145 303 0 8525 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35320 [startup+51.1013 s] /proc/loadavg: 1.03 1.05 1.01 2/107 2297 /proc/meminfo: memFree=1512200/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=61344 CPUtime=51.08 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 14982 0 0 0 5083 25 0 0 25 0 1 0 25179471 62816256 14837 1992294400 134512640 135752675 4287903472 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 15336 14837 145 303 0 15031 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61344 [startup+102.309 s] /proc/loadavg: 1.01 1.04 1.01 2/107 2299 /proc/meminfo: memFree=1458508/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=114308 CPUtime=102.27 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 28181 0 0 0 10174 53 0 0 25 0 1 0 25179471 117051392 28036 1992294400 134512640 135752675 4287903472 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 28577 28036 145 303 0 28272 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 114308 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 2300 /proc/meminfo: memFree=1401220/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=172160 CPUtime=162.24 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 42635 0 0 0 16137 87 0 0 25 0 1 0 25179471 176291840 42490 1992294400 134512640 135752675 4287903472 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 43040 42490 145 303 0 42735 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 172160 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2302 /proc/meminfo: memFree=1364268/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=208088 CPUtime=222.22 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 51723 0 0 0 22092 130 0 0 25 0 1 0 25179471 213082112 51576 1992294400 134512640 135752675 4287903472 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 52022 51576 146 303 0 51717 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 208088 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2306 /proc/meminfo: memFree=1297928/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=274144 CPUtime=282.2 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 68138 0 0 0 28051 169 0 0 25 0 1 0 25179471 280723456 67991 1992294400 134512640 135752675 4287903472 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 68536 67991 146 303 0 68231 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 274144 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2311 /proc/meminfo: memFree=1229604/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=342812 CPUtime=342.18 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 85198 0 0 0 34008 210 0 0 25 0 1 0 25179471 351039488 85051 1992294400 134512640 135752675 4287903472 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 85703 85051 146 303 0 85398 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 342812 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2313 /proc/meminfo: memFree=1170580/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=402588 CPUtime=402.16 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 100117 0 0 0 39971 245 0 0 25 0 1 0 25179471 412250112 99970 1992294400 134512640 135752675 4287903472 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 100647 99970 146 303 0 100342 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 402588 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2314 /proc/meminfo: memFree=1090848/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=481420 CPUtime=462.14 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 119772 0 0 0 45927 287 0 0 25 0 1 0 25179471 492974080 119625 1992294400 134512640 135752675 4287903472 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 120355 119625 146 303 0 120050 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 481420 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2316 /proc/meminfo: memFree=1020416/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=552540 CPUtime=522.12 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 137498 0 0 0 51887 325 0 0 25 0 1 0 25179471 565800960 137351 1992294400 134512640 135752675 4287903472 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 138135 137351 146 303 0 137830 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 552540 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2317 /proc/meminfo: memFree=969204/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=603952 CPUtime=582.1 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 150318 0 0 0 57856 354 0 0 25 0 1 0 25179471 618446848 150171 1992294400 134512640 135752675 4287903472 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 150988 150171 146 303 0 150683 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 603952 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2319 /proc/meminfo: memFree=907204/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=665084 CPUtime=642.1 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 165554 0 0 0 63823 387 0 0 25 0 1 0 25179471 681046016 165407 1992294400 134512640 135752675 4287903472 18446744073709551615 134603088 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 166271 165407 146 303 0 165966 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 665084 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2325 /proc/meminfo: memFree=670488/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=901640 CPUtime=882.02 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 224595 0 0 0 87681 521 0 0 25 0 1 0 25179471 923279360 224448 1992294400 134512640 135752675 4287903472 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 225410 224448 146 303 0 225105 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 901640 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2327 /proc/meminfo: memFree=639736/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=932612 CPUtime=942 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 232319 0 0 0 93655 545 0 0 25 0 1 0 25179471 954994688 232172 1992294400 134512640 135752675 4287903472 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 233153 232172 146 303 0 232848 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 932612 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2329 /proc/meminfo: memFree=607744/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=964476 CPUtime=1001.98 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 240280 0 0 0 99632 566 0 0 25 0 1 0 25179471 987623424 240133 1992294400 134512640 135752675 4287903472 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 241119 240133 146 303 0 240814 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 964476 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2330 /proc/meminfo: memFree=540536/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1032228 CPUtime=1061.97 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 257193 0 0 0 105593 604 0 0 25 0 1 0 25179471 1057001472 257046 1992294400 134512640 135752675 4287903472 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 258057 257046 146 303 0 257752 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1032228 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2332 /proc/meminfo: memFree=500360/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1071580 CPUtime=1121.95 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 267054 0 0 0 111562 633 0 0 25 0 1 0 25179471 1097297920 266907 1992294400 134512640 135752675 4287903472 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 267895 266907 146 303 0 267590 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1071580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2333 /proc/meminfo: memFree=459316/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1113380 CPUtime=1181.94 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 277482 0 0 0 117533 661 0 0 25 0 1 0 25179471 1140101120 277335 1992294400 134512640 135752675 4287903472 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 278345 277335 146 303 0 278040 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1113380 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2335 /proc/meminfo: memFree=416908/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1155924 CPUtime=1241.92 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 288101 0 0 0 123506 686 0 0 25 0 1 0 25179471 1183666176 287954 1992294400 134512640 135752675 4287903472 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 288981 287954 146 303 0 288676 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1155924 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2337 /proc/meminfo: memFree=365200/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1206308 CPUtime=1301.9 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 300712 0 0 0 129473 717 0 0 25 0 1 0 25179471 1235259392 300565 1992294400 134512640 135752675 4287903472 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 301577 300565 146 303 0 301272 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1206308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2338 /proc/meminfo: memFree=313616/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1258996 CPUtime=1361.88 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 313821 0 0 0 135442 746 0 0 25 0 1 0 25179471 1289211904 313674 1992294400 134512640 135752675 4287903472 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 314749 313674 146 303 0 314444 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1258996 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2340 /proc/meminfo: memFree=252112/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1319400 CPUtime=1421.87 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 328891 0 0 0 141406 781 0 0 25 0 1 0 25179471 1351065600 328744 1992294400 134512640 135752675 4287903472 18446744073709551615 134603088 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 329850 328744 146 303 0 329545 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1319400 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2341 /proc/meminfo: memFree=206356/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1365656 CPUtime=1481.84 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 340467 0 0 0 147374 810 0 0 25 0 1 0 25179471 1398431744 340320 1992294400 134512640 135752675 4287903472 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 341414 340320 146 303 0 341109 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1365656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2343 /proc/meminfo: memFree=169404/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1402188 CPUtime=1541.83 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 349596 0 0 0 153348 835 0 0 25 0 1 0 25179471 1435840512 349449 1992294400 134512640 135752675 4287903472 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 350547 349449 146 303 0 350242 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1402188 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2345 /proc/meminfo: memFree=106908/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1465872 CPUtime=1601.81 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 365502 0 0 0 159306 875 0 0 25 0 1 0 25179471 1501052928 365355 1992294400 134512640 135752675 4287903472 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 366468 365355 146 303 0 366163 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1465872 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2346 /proc/meminfo: memFree=101576/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1467136 CPUtime=1661.79 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 367421 0 0 0 165282 897 0 0 25 0 1 0 25179471 1502347264 366326 1992294400 134512640 135752675 4287903472 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 366784 366326 146 303 0 366479 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1467136 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2348 /proc/meminfo: memFree=57432/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1511588 CPUtime=1721.78 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 378462 0 0 0 171246 932 0 0 25 0 1 0 25179471 1547866112 377367 1992294400 134512640 135752675 4287903472 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 377897 377367 146 303 0 377592 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1511588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2349 /proc/meminfo: memFree=10416/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1566884 CPUtime=1781.76 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 392223 0 0 0 177209 967 0 0 25 0 1 0 25179471 1604489216 391128 1992294400 134512640 135752675 4287903472 18446744073709551615 134642752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 391721 391128 146 303 0 391416 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1566884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2350 /proc/meminfo: memFree=9212/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=1574324 CPUtime=1800.06 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4202496 394072 0 0 0 179035 971 0 0 25 0 1 0 25179471 1612107776 392977 1992294400 134512640 135752675 4287903472 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2295/statm: 393581 392977 146 303 0 393276 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1574324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2350 /proc/meminfo: memFree=9212/2059040 swapFree=4139504/4192956 [pid=2295] ppid=2293 vsize=0 CPUtime=1800.16 /proc/2295/stat : 2295 (wbo1.4b) R 2293 2295 1094 0 -1 4203524 394072 0 0 0 179035 981 0 0 25 0 1 0 25179471 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/2295/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.22 CPU user time (s): 1790.36 CPU system time (s): 9.8615 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 1574324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.36 system time used= 9.8615 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 394072 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= 30 involuntary context switches= 3615 runsolver used 2.82457 second user time and 8.67768 second system time The end
Begin job on node017 at 2010-07-08 08:14:31 IDJOB=2702545 IDBENCH=48207 IDSOLVER=1190 FILE ID=node017/2702545-1278569671 PBS_JOBID= 11239570 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.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-2702545-1278569671/watcher-2702545-1278569671 -o /tmp/evaluation-result-2702545-1278569671/solver-2702545-1278569671 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702545-1278569671.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED=710496570 node017.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.220 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.44 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.220 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1571636 kB Buffers: 73336 kB Cached: 308404 kB SwapCached: 8224 kB Active: 156408 kB Inactive: 241624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1571636 kB SwapTotal: 4192956 kB SwapFree: 4139504 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 13140 kB Mapped: 12076 kB Slab: 67416 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178996 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-2702545-1278569671.opb Free space on /tmp at the end= 62492 MiB End job on node017 at 2010-07-08 08:44:34