Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
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 | 44 |
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) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 3110 |
Sum of products size | 6220 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702525-1278569354.opb. 0.00/0.00 c Instance file HOME/instance-2702525-1278569354.opb 0.00/0.00 c File size is 256583 bytes. 0.01/0.04 c Highest Coefficient sum: 44 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: 3310 | 0.01/0.04 c | Number Clauses: 3110 | 0.01/0.04 c | Number Cardinality: 400 | 0.01/0.04 c | Number PB Constraints: 3110 | 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 6620 15298 | 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.054991 s Remaining CPU time: 179.945 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6621 15498 | 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.055991 s Remaining CPU time: 179.944 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 200 6622 15698 | 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.056991 s Remaining CPU time: 179.943 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 200 6623 15898 | 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.057991 s Remaining CPU time: 179.942 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 200 6624 16098 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: -4 0.01/0.06 o -4 0.01/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 1 | 200 6625 16298 | 5000 1 197 | 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.06099 s Remaining CPU time: 179.939 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 1 | 200 6626 16498 | 5000 1 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.06399 s Remaining CPU time: 179.936 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 16 | 200 6627 16698 | 5000 16 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.065989 s Remaining CPU time: 179.934 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 25 | 200 6628 16898 | 5000 25 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.067989 s Remaining CPU time: 179.932 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 36 | 200 6629 17098 | 5000 36 195 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -9 0.01/0.07 o -9 0.01/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 51 | 200 6630 17298 | 5000 51 194 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: -10 0.01/0.07 o -10 0.01/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 81 | 200 6631 17498 | 5000 81 194 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: -11 0.01/0.08 o -11 0.01/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 104 | 200 6632 17698 | 5000 104 194 | 0.000 % | 0.01/0.09 c | 206 | 200 6632 17698 | 5500 206 195 | 93.958 % | 0.09/0.11 c | 357 | 200 6632 17698 | 6050 357 194 | 93.958 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: -12 0.09/0.12 o -12 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 466 | 200 6633 17898 | 5000 466 194 | 93.958 % | 0.09/0.13 c | 566 | 200 6633 17898 | 5500 566 193 | 93.958 % | 0.09/0.16 c | 717 | 200 6633 17898 | 6050 717 194 | 93.958 % | 0.09/0.19 c | 944 | 200 6633 17898 | 6655 944 193 | 93.958 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -13 0.19/0.24 o -13 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1262 | 200 6634 18098 | 5000 1262 193 | 93.958 % | 0.19/0.27 c | 1363 | 200 6634 18098 | 5500 1363 193 | 93.958 % | 0.28/0.30 c | 1513 | 200 6634 18098 | 6050 1513 193 | 93.958 % | 0.28/0.35 c | 1739 | 200 6634 18098 | 6655 1739 193 | 93.958 % | 0.28/0.39 c =============================================================================== 0.28/0.39 c New solution: -14 0.28/0.39 o -14 0.28/0.39 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.28/0.39 c =============================================================================== 0.28/0.39 c | 1918 | 200 6635 18298 | 5000 1918 193 | 93.958 % | 0.39/0.41 c | 2019 | 200 6635 18298 | 5500 2019 193 | 93.958 % | 0.39/0.44 c | 2170 | 200 6635 18298 | 6050 2170 195 | 93.958 % | 0.49/0.50 c | 2395 | 200 6635 18298 | 6655 2395 197 | 93.958 % | 0.49/0.57 c | 2734 | 200 6635 18298 | 7320 2734 197 | 93.958 % | 0.59/0.69 c | 3241 | 200 6635 18298 | 8052 3241 195 | 93.958 % | 0.89/0.96 c | 4002 | 200 6635 18298 | 8857 4002 194 | 93.958 % | 1.28/1.38 c | 5141 | 200 6635 18298 | 9743 5141 193 | 93.958 % | 2.09/2.16 c =============================================================================== 2.09/2.16 c New solution: -15 2.09/2.16 o -15 2.09/2.16 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s 2.09/2.16 c =============================================================================== 2.09/2.16 c | 6270 | 200 6636 18498 | 5000 6270 192 | 93.958 % | 2.20/2.28 c | 6370 | 200 6636 18498 | 5500 6370 192 | 93.958 % | 2.29/2.39 c | 6520 | 200 6636 18498 | 6050 6520 192 | 93.958 % | 2.59/2.63 c | 6745 | 200 6636 18498 | 6655 6745 192 | 93.958 % | 2.78/2.87 c | 7082 | 200 6636 18498 | 7320 7082 194 | 93.958 % | 3.38/3.46 c | 7589 | 200 6636 18498 | 8052 7589 194 | 93.958 % | 3.59/3.63 c | 8349 | 200 6636 18498 | 8857 8349 193 | 93.958 % | 4.58/4.66 c | 9488 | 200 6636 18498 | 9743 9488 193 | 93.958 % | 6.59/6.65 c | 11199 | 200 6636 18498 | 10717 11199 192 | 93.958 % | 9.89/9.97 c | 13761 | 200 6636 18498 | 11789 13761 192 | 93.958 % | 11.99/12.08 c =============================================================================== 11.99/12.08 c New solution: -16 11.99/12.08 o -16 11.99/12.08 c Elapsed CPU time: 12.0062 s Remaining CPU time: 167.994 s 11.99/12.08 c =============================================================================== 11.99/12.08 c | 15001 | 200 6637 18698 | 5000 15001 191 | 93.958 % | 12.18/12.24 c | 15101 | 200 6637 18698 | 5500 7601 189 | 93.958 % | 12.28/12.33 c | 15253 | 200 6637 18698 | 6050 7753 189 | 93.958 % | 12.48/12.50 c | 15478 | 200 6637 18698 | 6655 7978 189 | 93.958 % | 12.69/12.72 c | 15815 | 200 6637 18698 | 7320 8315 189 | 93.958 % | 13.20/13.26 c | 16323 | 200 6637 18698 | 8052 8823 189 | 93.958 % | 14.29/14.37 c | 17082 | 200 6637 18698 | 8857 9582 190 | 93.958 % | 16.50/16.53 c | 18222 | 200 6637 18698 | 9743 10722 191 | 93.958 % | 18.98/19.09 c | 19930 | 200 6637 18698 | 10717 12430 192 | 93.958 % | 21.58/21.62 c | 22492 | 200 6637 18698 | 11789 7986 197 | 93.958 % | 24.09/24.12 c | 26336 | 200 6637 18698 | 12968 11830 194 | 93.958 % | 26.19/26.26 c =============================================================================== 26.19/26.26 c New solution: -17 26.19/26.26 o -17 26.19/26.26 c Elapsed CPU time: 26.124 s Remaining CPU time: 153.876 s 26.19/26.26 c =============================================================================== 26.19/26.26 c | 28231 | 200 6638 18898 | 5000 13725 193 | 93.958 % | 26.39/26.47 c | 28332 | 200 6638 18898 | 5500 6964 188 | 93.958 % | 26.48/26.55 c | 28483 | 200 6638 18898 | 6050 7115 188 | 93.958 % | 26.58/26.64 c | 28711 | 200 6638 18898 | 6655 7343 188 | 93.958 % | 26.88/26.95 c | 29050 | 200 6638 18898 | 7320 7682 188 | 93.958 % | 27.28/27.32 c | 29558 | 200 6638 18898 | 8052 8190 189 | 93.958 % | 27.68/27.80 c | 30321 | 200 6638 18898 | 8857 8953 190 | 93.958 % | 28.38/28.41 c =============================================================================== 28.38/28.41 c New solution: -18 28.38/28.41 o -18 28.38/28.41 c Elapsed CPU time: 28.2607 s Remaining CPU time: 151.739 s 28.38/28.41 c =============================================================================== 28.38/28.41 c | 30921 | 200 6639 19098 | 5000 9553 190 | 93.958 % | 28.49/28.52 c | 31022 | 200 6639 19098 | 5500 4878 191 | 93.958 % | 28.49/28.60 c | 31174 | 200 6639 19098 | 6050 5030 191 | 93.958 % | 28.68/28.70 c | 31399 | 200 6639 19098 | 6655 5255 192 | 93.958 % | 28.68/28.76 c | 31737 | 200 6639 19098 | 7320 5593 191 | 93.958 % | 28.98/29.06 c | 32244 | 200 6639 19098 | 8052 6100 192 | 93.958 % | 29.38/29.46 c | 33003 | 200 6639 19098 | 8857 6859 192 | 93.958 % | 30.08/30.13 c | 34142 | 200 6639 19098 | 9743 7998 191 | 93.958 % | 32.28/32.38 c | 35850 | 200 6639 19098 | 10717 9706 190 | 93.958 % | 34.48/34.55 c | 38412 | 200 6639 19098 | 11789 12268 189 | 93.958 % | 39.48/39.59 c | 42260 | 200 6639 19098 | 12968 8577 187 | 93.958 % | 46.68/46.79 c | 48029 | 200 6639 19098 | 14265 14346 187 | 93.958 % | 59.47/59.53 c | 56678 | 200 6639 19098 | 15692 14218 188 | 93.958 % | 60.17/60.21 c =============================================================================== 60.17/60.21 c New solution: -19 60.17/60.21 o -19 60.17/60.21 c Elapsed CPU time: 59.9339 s Remaining CPU time: 120.066 s 60.17/60.21 c =============================================================================== 60.17/60.21 c | 57452 | 200 6640 19298 | 5000 14992 188 | 93.958 % | 60.38/60.42 c | 57552 | 200 6640 19298 | 5500 7596 188 | 93.958 % | 60.48/60.51 c | 57702 | 200 6640 19298 | 6050 7746 188 | 93.958 % | 60.57/60.66 c | 57929 | 200 6640 19298 | 6655 7973 188 | 93.958 % | 60.77/60.87 c | 58266 | 200 6640 19298 | 7320 8310 190 | 93.958 % | 61.37/61.46 c | 58773 | 200 6640 19298 | 8052 8817 191 | 93.958 % | 61.77/61.84 c | 59533 | 200 6640 19298 | 8857 9577 191 | 93.958 % | 62.68/62.73 c | 60672 | 200 6640 19298 | 9743 10716 191 | 93.958 % | 63.37/63.42 c =============================================================================== 63.37/63.42 c New solution: -20 63.37/63.42 o -20 63.37/63.42 c Elapsed CPU time: 63.1314 s Remaining CPU time: 116.869 s 63.37/63.42 c =============================================================================== 63.37/63.42 c | 61120 | 200 6641 19498 | 5000 11164 191 | 93.958 % | 63.47/63.56 c | 61221 | 200 6641 19498 | 5500 5683 193 | 93.958 % | 63.57/63.66 c | 61372 | 200 6641 19498 | 6050 5834 193 | 93.958 % | 63.78/63.83 c | 61598 | 200 6641 19498 | 6655 6060 193 | 93.958 % | 63.97/64.08 c | 61938 | 200 6641 19498 | 7320 6400 193 | 93.958 % | 64.37/64.47 c | 62444 | 200 6641 19498 | 8052 6906 196 | 93.958 % | 64.97/65.04 c | 63204 | 200 6641 19498 | 8857 7666 200 | 93.958 % | 65.67/65.71 c | 64346 | 200 6641 19498 | 9743 8808 199 | 93.958 % | 67.47/67.54 c | 66056 | 200 6641 19498 | 10717 10518 197 | 93.958 % | 69.56/69.60 c | 68618 | 200 6641 19498 | 11789 13080 197 | 93.958 % | 74.17/74.27 c | 72463 | 200 6641 19498 | 12968 9386 190 | 93.958 % | 81.76/81.81 c | 78229 | 200 6641 19498 | 14265 15152 189 | 93.958 % | 94.76/94.86 c | 86878 | 200 6641 19498 | 15692 15024 187 | 93.958 % | 116.96/117.07 c | 99856 | 200 6641 19498 | 17261 18510 189 | 93.958 % | 139.15/139.29 c | 119317 | 200 6641 19498 | 18987 17420 187 | 93.958 % | 170.24/170.39 c =============================================================================== 170.24/170.39 c New solution: -21 170.24/170.39 o -21 170.24/170.39 c Elapsed CPU time: 169.667 s Remaining CPU time: 10.3328 s 170.24/170.39 c =============================================================================== 170.24/170.39 c | 140607 | 200 6642 19698 | 5000 15540 202 | 93.958 % | 170.45/170.52 c | 140708 | 200 6642 19698 | 5500 7871 188 | 93.958 % | 170.45/170.58 c | 140860 | 200 6642 19698 | 6050 8023 188 | 93.958 % | 170.54/170.65 c | 141085 | 200 6642 19698 | 6655 8248 190 | 93.958 % | 170.54/170.66 c =============================================================================== 170.54/170.66 c New solution: -22 170.54/170.66 o -22 170.54/170.66 c Elapsed CPU time: 169.925 s Remaining CPU time: 10.0748 s 170.54/170.66 c =============================================================================== 170.54/170.66 c | 141099 | 200 6643 19898 | 5000 8262 190 | 93.958 % | 170.64/170.74 c | 141201 | 200 6643 19898 | 5500 4233 192 | 93.958 % | 170.64/170.77 c | 141351 | 200 6643 19898 | 6050 4383 194 | 93.958 % | 170.74/170.89 c | 141579 | 200 6643 19898 | 6655 4611 197 | 93.958 % | 171.04/171.12 c | 141916 | 200 6643 19898 | 7320 4948 207 | 93.958 % | 171.34/171.47 c | 142423 | 200 6643 19898 | 8052 5455 213 | 93.958 % | 171.95/172.00 c | 143184 | 200 6643 19898 | 8857 6216 226 | 93.958 % | 172.74/172.82 c | 144323 | 200 6643 19898 | 9743 7355 222 | 93.958 % | 174.04/174.17 c | 146031 | 200 6643 19898 | 10717 9063 215 | 93.958 % | 177.44/177.54 c | 148597 | 200 6643 19898 | 11789 11629 209 | 93.958 % | 180.64/180.79 c There are 3110 assigned variables. 0 in cost function. 181.24/181.38 c core #1 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -199 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #2 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -198 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #3 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -197 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #4 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -196 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #5 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -195 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #6 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -194 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #7 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -193 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #8 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -192 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #9 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -191 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #10 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -190 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #11 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -189 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #12 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -188 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #13 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -187 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #14 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -186 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #15 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -185 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #16 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -184 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #17 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -183 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #18 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -182 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #19 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -181 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #20 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -180 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #21 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -179 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #22 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -178 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #23 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -177 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #24 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -176 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #25 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -175 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #26 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -174 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #27 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -173 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #28 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -172 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #29 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -171 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #30 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -170 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #31 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -169 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #32 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -168 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #33 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -167 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #34 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -166 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #35 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -165 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #36 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -164 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #37 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -163 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #38 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -162 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #39 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -161 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #40 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -160 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #41 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -159 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #42 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -158 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #43 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -157 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #44 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -156 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #45 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -155 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #46 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -154 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #47 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -153 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #48 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -152 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #49 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -151 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #50 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -150 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #51 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -149 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #52 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -148 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #53 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -147 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #54 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -146 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #55 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -145 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #56 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -144 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #57 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -143 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #58 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -142 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c core #59 181.24/181.38 c 181.24/181.38 c 181.24/181.38 c Core size: 3 Core Weight: 1 Total Weight: -141 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #60 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -140 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #61 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -139 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #62 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -138 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #63 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -137 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #64 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -136 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #65 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -135 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #66 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -134 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #67 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -133 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #68 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -132 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #69 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -131 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #70 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -130 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #71 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -129 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #72 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -128 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #73 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -127 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #74 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -126 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #75 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -125 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #76 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -124 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #77 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -123 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #78 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -122 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #79 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -121 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #80 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -120 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #81 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -119 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #82 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -118 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #83 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -117 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #84 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -116 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #85 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -115 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #86 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -114 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #87 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -113 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #88 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -112 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #89 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -111 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #90 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -110 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #91 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -109 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #92 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -108 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #93 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -107 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #94 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -106 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #95 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -105 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #96 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -104 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #97 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 3 Core Weight: 1 Total Weight: -103 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #98 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 7 Core Weight: 1 Total Weight: -102 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #99 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 7 Core Weight: 1 Total Weight: -101 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c core #100 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c Core size: 7 Core Weight: 1 Total Weight: -100 181.64/181.73 c 181.64/181.73 c 181.64/181.73 c ============================[ Search Statistics ]============================== 181.64/181.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.73 c =============================================================================== 181.64/181.73 c | 0 | 406 6543 11432 | 5000 0 nan | 0.000 % | 181.64/181.73 c =============================================================================== 181.64/181.74 c core #101 181.64/181.74 c 181.64/181.74 c 181.64/181.74 c Core size: 10 Core Weight: 1 Total Weight: -99 181.64/181.74 c 181.64/181.74 c 181.64/181.74 c ============================[ Search Statistics ]============================== 181.64/181.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.74 c =============================================================================== 181.64/181.74 c | 0 | 412 6544 11444 | 5000 0 nan | 0.000 % | 181.64/181.74 c =============================================================================== 181.64/181.75 c core #102 181.64/181.75 c 181.64/181.75 c 181.64/181.75 c Core size: 10 Core Weight: 1 Total Weight: -98 181.64/181.75 c 181.64/181.75 c 181.64/181.75 c ============================[ Search Statistics ]============================== 181.64/181.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.75 c =============================================================================== 181.64/181.75 c | 0 | 418 6545 11456 | 5000 0 nan | 0.000 % | 181.64/181.75 c =============================================================================== 181.64/181.76 c core #103 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 10 Core Weight: 1 Total Weight: -97 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c ============================[ Search Statistics ]============================== 181.64/181.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.76 c =============================================================================== 181.64/181.76 c | 0 | 424 6546 11468 | 5000 0 nan | 0.000 % | 181.64/181.76 c =============================================================================== 181.64/181.77 c core #104 181.64/181.77 c 181.64/181.77 c 181.64/181.77 c Core size: 10 Core Weight: 1 Total Weight: -96 181.64/181.77 c 181.64/181.77 c 181.64/181.77 c ============================[ Search Statistics ]============================== 181.64/181.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.77 c =============================================================================== 181.64/181.77 c | 0 | 430 6547 11480 | 5000 0 nan | 0.000 % | 181.64/181.78 c =============================================================================== 181.64/181.79 c core #105 181.64/181.79 c 181.64/181.79 c 181.64/181.79 c Core size: 10 Core Weight: 1 Total Weight: -95 181.64/181.79 c 181.64/181.79 c 181.64/181.79 c ============================[ Search Statistics ]============================== 181.64/181.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.79 c =============================================================================== 181.64/181.79 c | 0 | 436 6548 11492 | 5000 0 nan | 0.000 % | 181.64/181.79 c =============================================================================== 181.74/181.80 c core #106 181.74/181.80 c 181.74/181.80 c 181.74/181.80 c Core size: 10 Core Weight: 1 Total Weight: -94 181.74/181.80 c 181.74/181.80 c 181.74/181.80 c ============================[ Search Statistics ]============================== 181.74/181.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.80 c =============================================================================== 181.74/181.80 c | 0 | 442 6549 11504 | 5000 0 nan | 0.000 % | 181.74/181.81 c =============================================================================== 181.74/181.82 c core #107 181.74/181.82 c 181.74/181.82 c 181.74/181.82 c Core size: 14 Core Weight: 1 Total Weight: -93 181.74/181.82 c 181.74/181.82 c 181.74/181.82 c ============================[ Search Statistics ]============================== 181.74/181.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.82 c =============================================================================== 181.74/181.82 c | 0 | 450 6550 11520 | 5000 0 nan | 0.000 % | 181.74/181.82 c =============================================================================== 181.74/181.83 c core #108 181.74/181.83 c 181.74/181.83 c 181.74/181.83 c Core size: 12 Core Weight: 1 Total Weight: -92 181.74/181.83 c 181.74/181.83 c 181.74/181.83 c ============================[ Search Statistics ]============================== 181.74/181.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.83 c =============================================================================== 181.74/181.83 c | 0 | 458 6551 11536 | 5000 0 nan | 0.000 % | 181.74/181.83 c =============================================================================== 181.74/181.84 c core #109 181.74/181.84 c 181.74/181.84 c 181.74/181.84 c Core size: 12 Core Weight: 1 Total Weight: -91 181.74/181.84 c 181.74/181.84 c 181.74/181.84 c ============================[ Search Statistics ]============================== 181.74/181.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.84 c =============================================================================== 181.74/181.84 c | 0 | 466 6552 11552 | 5000 0 nan | 0.000 % | 181.74/181.85 c =============================================================================== 181.74/181.86 c core #110 181.74/181.86 c 181.74/181.86 c 181.74/181.86 c Core size: 10 Core Weight: 1 Total Weight: -90 181.74/181.86 c 181.74/181.86 c 181.74/181.86 c ============================[ Search Statistics ]============================== 181.74/181.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.86 c =============================================================================== 181.74/181.86 c | 0 | 472 6553 11564 | 5000 0 nan | 0.000 % | 181.74/181.86 c =============================================================================== 181.74/181.87 c core #111 181.74/181.87 c 181.74/181.87 c 181.74/181.87 c Core size: 10 Core Weight: 1 Total Weight: -89 181.74/181.87 c 181.74/181.87 c 181.74/181.87 c ============================[ Search Statistics ]============================== 181.74/181.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.87 c =============================================================================== 181.74/181.87 c | 0 | 478 6554 11576 | 5000 0 nan | 0.000 % | 181.74/181.88 c =============================================================================== 181.74/181.89 c core #112 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 14 Core Weight: 1 Total Weight: -88 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c ============================[ Search Statistics ]============================== 181.74/181.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.89 c =============================================================================== 181.74/181.89 c | 0 | 486 6555 11592 | 5000 0 nan | 0.000 % | 181.74/181.89 c =============================================================================== 181.84/181.90 c core #113 181.84/181.90 c 181.84/181.90 c 181.84/181.90 c Core size: 14 Core Weight: 1 Total Weight: -87 181.84/181.90 c 181.84/181.90 c 181.84/181.90 c ============================[ Search Statistics ]============================== 181.84/181.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.90 c =============================================================================== 181.84/181.90 c | 0 | 494 6556 11608 | 5000 0 nan | 0.000 % | 181.84/181.90 c =============================================================================== 181.84/181.92 c core #114 181.84/181.92 c 181.84/181.92 c 181.84/181.92 c Core size: 10 Core Weight: 1 Total Weight: -86 181.84/181.92 c 181.84/181.92 c 181.84/181.92 c ============================[ Search Statistics ]============================== 181.84/181.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.92 c =============================================================================== 181.84/181.92 c | 0 | 500 6557 11620 | 5000 0 nan | 0.000 % | 181.84/181.92 c =============================================================================== 181.84/181.93 c core #115 181.84/181.93 c 181.84/181.93 c 181.84/181.93 c Core size: 10 Core Weight: 1 Total Weight: -85 181.84/181.93 c 181.84/181.93 c 181.84/181.93 c ============================[ Search Statistics ]============================== 181.84/181.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.93 c =============================================================================== 181.84/181.93 c | 0 | 506 6558 11632 | 5000 0 nan | 0.000 % | 181.84/181.93 c =============================================================================== 181.84/181.94 c core #116 181.84/181.94 c 181.84/181.94 c 181.84/181.94 c Core size: 14 Core Weight: 1 Total Weight: -84 181.84/181.94 c 181.84/181.94 c 181.84/181.94 c ============================[ Search Statistics ]============================== 181.84/181.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.94 c =============================================================================== 181.84/181.94 c | 0 | 514 6559 11648 | 5000 0 nan | 0.000 % | 181.84/181.94 c =============================================================================== 181.84/181.96 c core #117 181.84/181.96 c 181.84/181.96 c 181.84/181.96 c Core size: 10 Core Weight: 1 Total Weight: -83 181.84/181.96 c 181.84/181.96 c 181.84/181.96 c ============================[ Search Statistics ]============================== 181.84/181.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.96 c =============================================================================== 181.84/181.96 c | 0 | 520 6560 11660 | 5000 0 nan | 0.000 % | 181.84/181.96 c =============================================================================== 181.84/181.97 c core #118 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c Core size: 10 Core Weight: 1 Total Weight: -82 181.84/181.97 c 181.84/181.97 c 181.84/181.97 c ============================[ Search Statistics ]============================== 181.84/181.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.97 c =============================================================================== 181.84/181.97 c | 0 | 526 6561 11672 | 5000 0 nan | 0.000 % | 181.84/181.97 c =============================================================================== 181.84/181.98 c core #119 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c Core size: 10 Core Weight: 1 Total Weight: -81 181.84/181.98 c 181.84/181.98 c 181.84/181.98 c ============================[ Search Statistics ]============================== 181.84/181.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.98 c =============================================================================== 181.84/181.98 c | 0 | 532 6562 11684 | 5000 0 nan | 0.000 % | 181.84/181.98 c =============================================================================== 181.84/182.00 c core #120 181.84/182.00 c 181.84/182.00 c 181.84/182.00 c Core size: 16 Core Weight: 1 Total Weight: -80 181.84/182.00 c 181.84/182.00 c 181.84/182.00 c ============================[ Search Statistics ]============================== 181.84/182.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/182.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/182.00 c =============================================================================== 181.84/182.00 c | 0 | 542 6563 11704 | 5000 0 nan | 0.000 % | 181.94/182.00 c =============================================================================== 181.94/182.01 c core #121 181.94/182.01 c 181.94/182.01 c 181.94/182.01 c Core size: 16 Core Weight: 1 Total Weight: -79 181.94/182.01 c 181.94/182.01 c 181.94/182.01 c ============================[ Search Statistics ]============================== 181.94/182.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.01 c =============================================================================== 181.94/182.01 c | 0 | 552 6564 11724 | 5000 0 nan | 0.000 % | 181.94/182.01 c =============================================================================== 181.94/182.02 c core #122 181.94/182.02 c 181.94/182.02 c 181.94/182.02 c Core size: 14 Core Weight: 1 Total Weight: -78 181.94/182.02 c 181.94/182.02 c 181.94/182.02 c ============================[ Search Statistics ]============================== 181.94/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.02 c =============================================================================== 181.94/182.02 c | 0 | 560 6565 11740 | 5000 0 nan | 0.000 % | 181.94/182.02 c =============================================================================== 181.94/182.04 c core #123 181.94/182.04 c 181.94/182.04 c 181.94/182.04 c Core size: 14 Core Weight: 1 Total Weight: -77 181.94/182.04 c 181.94/182.04 c 181.94/182.04 c ============================[ Search Statistics ]============================== 181.94/182.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.04 c =============================================================================== 181.94/182.04 c | 0 | 568 6566 11756 | 5000 0 nan | 0.000 % | 181.94/182.04 c =============================================================================== 181.94/182.05 c core #124 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c Core size: 16 Core Weight: 1 Total Weight: -76 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c ============================[ Search Statistics ]============================== 181.94/182.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.05 c =============================================================================== 181.94/182.05 c | 0 | 578 6567 11776 | 5000 0 nan | 0.000 % | 181.94/182.05 c =============================================================================== 181.94/182.06 c core #125 181.94/182.06 c 181.94/182.06 c 181.94/182.06 c Core size: 15 Core Weight: 1 Total Weight: -75 181.94/182.06 c 181.94/182.06 c 181.94/182.06 c ============================[ Search Statistics ]============================== 181.94/182.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.06 c =============================================================================== 181.94/182.06 c | 0 | 590 6568 11800 | 5000 0 nan | 0.000 % | 181.94/182.07 c =============================================================================== 181.94/182.08 c core #126 181.94/182.08 c 181.94/182.08 c 181.94/182.08 c Core size: 23 Core Weight: 1 Total Weight: -74 181.94/182.08 c 181.94/182.08 c 181.94/182.08 c ============================[ Search Statistics ]============================== 181.94/182.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.08 c =============================================================================== 181.94/182.08 c | 0 | 604 6569 11828 | 5000 0 nan | 0.000 % | 181.94/182.09 c =============================================================================== 182.04/182.10 c core #127 182.04/182.10 c 182.04/182.10 c 182.04/182.10 c Core size: 40 Core Weight: 1 Total Weight: -73 182.04/182.10 c 182.04/182.10 c 182.04/182.10 c ============================[ Search Statistics ]============================== 182.04/182.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.10 c =============================================================================== 182.04/182.10 c | 0 | 628 6570 11876 | 5000 0 nan | 0.000 % | 182.04/182.12 c =============================================================================== 182.04/182.13 c core #128 182.04/182.13 c 182.04/182.13 c 182.04/182.13 c Core size: 35 Core Weight: 1 Total Weight: -72 182.04/182.13 c 182.04/182.13 c 182.04/182.13 c ============================[ Search Statistics ]============================== 182.04/182.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.13 c =============================================================================== 182.04/182.13 c | 0 | 660 6571 11940 | 5000 0 nan | 0.000 % | 182.04/182.15 c | 100 | 660 6571 11940 | 5500 100 8 | 82.493 % | 182.04/182.17 c =============================================================================== 182.04/182.19 c core #129 182.04/182.19 c 182.04/182.19 c 182.04/182.19 c Core size: 58 Core Weight: 1 Total Weight: -71 182.04/182.19 c 182.04/182.19 c 182.04/182.19 c ============================[ Search Statistics ]============================== 182.04/182.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.19 c =============================================================================== 182.04/182.19 c | 0 | 710 6572 12040 | 5000 0 nan | 0.000 % | 182.14/182.20 c | 100 | 710 6572 12040 | 5500 100 12 | 81.414 % | 182.14/182.22 c | 253 | 710 6572 12040 | 6050 253 17 | 81.414 % | 182.14/182.27 c | 481 | 710 6572 12040 | 6655 481 16 | 81.414 % | 182.24/182.32 c =============================================================================== 182.24/182.34 c core #130 182.24/182.34 c 182.24/182.34 c 182.24/182.34 c Core size: 68 Core Weight: 1 Total Weight: -70 182.24/182.34 c 182.24/182.34 c 182.24/182.34 c ============================[ Search Statistics ]============================== 182.24/182.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.34 c =============================================================================== 182.24/182.34 c | 0 | 770 6573 12160 | 5000 0 nan | 0.000 % | 182.24/182.36 c | 100 | 770 6573 12160 | 5500 100 20 | 80.155 % | 182.24/182.38 c | 251 | 770 6573 12160 | 6050 251 17 | 80.155 % | 182.34/182.42 c | 477 | 770 6573 12160 | 6655 477 16 | 80.155 % | 182.34/182.47 c =============================================================================== 182.34/182.48 c core #131 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 116 Core Weight: 1 Total Weight: -69 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c ============================[ Search Statistics ]============================== 182.34/182.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.48 c =============================================================================== 182.34/182.48 c | 0 | 848 6574 12316 | 5000 0 nan | 0.000 % | 182.45/182.51 c | 101 | 848 6574 12316 | 5500 101 17 | 78.575 % | 182.45/182.53 c | 253 | 783 6574 12316 | 6050 222 16 | 80.217 % | 182.45/182.53 c =============================================================================== 182.45/182.55 c core #132 182.45/182.55 c 182.45/182.55 c 182.45/182.55 c Core size: 67 Core Weight: 1 Total Weight: -68 182.45/182.55 c 182.45/182.55 c 182.45/182.55 c ============================[ Search Statistics ]============================== 182.45/182.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.55 c =============================================================================== 182.45/182.55 c | 0 | 898 6575 12416 | 5000 0 nan | 0.000 % | 182.45/182.57 c | 102 | 898 6575 12416 | 5500 102 17 | 77.595 % | 182.45/182.58 c | 252 | 898 6575 12416 | 6050 252 17 | 77.595 % | 182.55/182.62 c | 477 | 898 6575 12416 | 6655 477 18 | 77.595 % | 182.55/182.67 c | 816 | 895 6575 12416 | 7320 812 17 | 77.670 % | 182.55/182.67 c =============================================================================== 182.55/182.69 c core #133 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 63 Core Weight: 1 Total Weight: -67 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c ============================[ Search Statistics ]============================== 182.55/182.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.69 c =============================================================================== 182.55/182.69 c | 0 | 950 6576 12520 | 5000 0 nan | 0.000 % | 182.64/182.71 c | 100 | 950 6576 12520 | 5500 100 23 | 76.601 % | 182.64/182.74 c | 251 | 950 6576 12520 | 6050 251 25 | 76.601 % | 182.64/182.77 c | 481 | 950 6576 12520 | 6655 481 26 | 76.601 % | 182.74/182.83 c | 822 | 950 6576 12520 | 7320 822 29 | 76.601 % | 182.84/182.92 c | 1328 | 950 6576 12520 | 8052 1328 31 | 76.601 % | 182.94/183.07 c | 2087 | 950 6576 12520 | 8857 2087 29 | 76.601 % | 183.24/183.36 c | 3229 | 949 6576 12520 | 9743 3214 30 | 76.626 % | 183.44/183.50 c =============================================================================== 183.44/183.55 c core #134 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 81 Core Weight: 1 Total Weight: -66 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c ============================[ Search Statistics ]============================== 183.44/183.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.55 c =============================================================================== 183.44/183.55 c | 0 | 1018 6577 12656 | 5000 0 nan | 0.000 % | 183.44/183.57 c | 103 | 1018 6577 12656 | 5500 103 34 | 75.339 % | 183.44/183.59 c | 254 | 1018 6577 12656 | 6050 254 30 | 75.339 % | 183.54/183.63 c | 480 | 1018 6577 12656 | 6655 480 24 | 75.339 % | 183.54/183.69 c | 817 | 1018 6577 12656 | 7320 817 27 | 75.339 % | 183.65/183.78 c | 1324 | 1018 6577 12656 | 8052 1324 29 | 75.339 % | 183.84/183.95 c | 2085 | 1018 6577 12656 | 8857 2085 28 | 75.339 % | 184.04/184.17 c =============================================================================== 184.14/184.22 c core #135 184.14/184.22 c 184.14/184.22 c 184.14/184.22 c Core size: 69 Core Weight: 1 Total Weight: -65 184.14/184.22 c 184.14/184.22 c 184.14/184.22 c ============================[ Search Statistics ]============================== 184.14/184.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.22 c =============================================================================== 184.14/184.22 c | 0 | 1076 6578 12772 | 5000 0 nan | 0.000 % | 184.14/184.24 c | 101 | 1076 6578 12772 | 5500 101 28 | 74.295 % | 184.14/184.26 c | 251 | 1076 6578 12772 | 6050 251 27 | 74.295 % | 184.24/184.30 c | 476 | 1076 6578 12772 | 6655 476 31 | 74.295 % | 184.24/184.37 c | 813 | 1076 6578 12772 | 7320 813 37 | 74.295 % | 184.34/184.47 c | 1323 | 1076 6578 12772 | 8052 1323 41 | 74.295 % | 184.54/184.64 c | 2083 | 1076 6578 12772 | 8857 2083 44 | 74.295 % | 184.84/184.99 c | 3225 | 1076 6578 12772 | 9743 3225 47 | 74.295 % | 185.34/185.48 c | 4934 | 1076 6578 12772 | 10717 4934 45 | 74.295 % | 186.44/186.57 c | 7497 | 1076 6578 12772 | 11789 7497 44 | 74.295 % | 187.44/187.58 c =============================================================================== 187.64/187.70 c core #136 187.64/187.70 c 187.64/187.70 c 187.64/187.70 c Core size: 97 Core Weight: 1 Total Weight: -64 187.64/187.70 c 187.64/187.70 c 187.64/187.70 c ============================[ Search Statistics ]============================== 187.64/187.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.64/187.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.64/187.70 c =============================================================================== 187.64/187.70 c | 0 | 1156 6579 12932 | 5000 0 nan | 0.000 % | 187.64/187.72 c | 104 | 1156 6579 12932 | 5500 104 34 | 72.902 % | 187.64/187.74 c | 254 | 1156 6579 12932 | 6050 254 39 | 72.902 % | 187.64/187.77 c | 479 | 1156 6579 12932 | 6655 479 99 | 72.902 % | 187.74/187.82 c | 816 | 1156 6579 12932 | 7320 816 126 | 72.902 % | 187.84/187.91 c | 1322 | 1156 6579 12932 | 8052 1322 140 | 72.902 % | 187.94/188.04 c | 2081 | 1156 6579 12932 | 8857 2081 148 | 72.902 % | 188.14/188.27 c | 3220 | 1156 6579 12932 | 9743 3220 152 | 72.902 % | 188.54/188.68 c | 4932 | 1156 6579 12932 | 10717 4932 154 | 72.902 % | 189.05/189.19 c | 7494 | 1156 6579 12932 | 11789 7494 155 | 72.902 % | 190.44/190.52 c | 11339 | 1156 6579 12932 | 12968 11339 155 | 72.902 % | 194.24/194.33 c | 17106 | 1156 6579 12932 | 14265 8977 157 | 72.902 % | 199.43/199.51 c | 25756 | 1156 6579 12932 | 15692 8847 156 | 72.902 % | 207.84/207.96 c | 38732 | 1156 6579 12932 | 17261 12330 152 | 72.902 % | 216.73/216.80 c | 58194 | 1156 6579 12932 | 18987 11244 149 | 72.902 % | 229.73/229.83 c | 87391 | 1156 6579 12932 | 20886 17256 146 | 72.902 % | 247.12/247.20 c | 131181 | 1156 6579 12932 | 22974 20856 144 | 72.902 % | 280.12/280.22 c | 196867 | 1156 6579 12932 | 25272 24970 145 | 72.902 % | 341.10/341.20 c | 295394 | 1156 6579 12932 | 27799 17769 171 | 72.902 % | 465.87/466.01 c | 443184 | 1156 6579 12932 | 30579 25507 168 | 72.902 % | 605.63/605.87 c | 664867 | 1156 6579 12932 | 33637 19627 146 | 72.902 % | 769.98/770.27 c | 997394 | 1156 6579 12932 | 37001 17691 138 | 72.902 % | 1068.10/1068.45 c | 1496184 | 1156 6579 12932 | 40701 23415 137 | 72.902 % | 1538.40/1538.85 c | 2244367 | 1156 6579 12932 | 44771 21404 135 | 72.902 % |
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-2702525-1278569354/watcher-2702525-1278569354 -o /tmp/evaluation-result-2702525-1278569354/solver-2702525-1278569354 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702525-1278569354.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.00 1.00 1.00 2/106 28419 /proc/meminfo: memFree=1851644/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=3248 CPUtime=0 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 381 0 0 0 0 0 0 0 19 0 1 0 25148434 3325952 300 1992294400 134512640 135752675 4292896032 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 812 300 136 303 0 444 0 [startup+0.0210599 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28419 /proc/meminfo: memFree=1851644/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=3544 CPUtime=0.01 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 461 0 0 0 1 0 0 0 19 0 1 0 25148434 3629056 380 1992294400 134512640 135752675 4292896032 18446744073709551615 135096987 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 886 380 151 303 0 518 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3544 [startup+0.101068 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28419 /proc/meminfo: memFree=1851644/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=4400 CPUtime=0.09 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 790 0 0 0 9 0 0 0 19 0 1 0 25148434 4505600 646 1992294400 134512640 135752675 4292896032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 1100 646 145 303 0 795 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4400 [startup+0.301088 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28419 /proc/meminfo: memFree=1851644/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=5040 CPUtime=0.28 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 978 0 0 0 28 0 0 0 20 0 1 0 25148434 5160960 834 1992294400 134512640 135752675 4292896032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 1260 834 145 303 0 955 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5040 [startup+0.701127 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28419 /proc/meminfo: memFree=1851644/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=6712 CPUtime=0.68 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 1388 0 0 0 67 1 0 0 20 0 1 0 25148434 6873088 1244 1992294400 134512640 135752675 4292896032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 1678 1244 145 303 0 1373 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6712 [startup+1.50121 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28420 /proc/meminfo: memFree=1846552/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=8716 CPUtime=1.49 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 1874 0 0 0 146 3 0 0 22 0 1 0 25148434 8925184 1730 1992294400 134512640 135752675 4292896032 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 2179 1730 145 303 0 1874 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8716 [startup+3.10037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28420 /proc/meminfo: memFree=1844444/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=10392 CPUtime=3.08 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 2295 0 0 0 305 3 0 0 25 0 1 0 25148434 10641408 2151 1992294400 134512640 135752675 4292896032 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 2598 2151 145 303 0 2293 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10392 [startup+6.30068 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28420 /proc/meminfo: memFree=1840600/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=13660 CPUtime=6.28 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 3116 0 0 0 623 5 0 0 25 0 1 0 25148434 13987840 2972 1992294400 134512640 135752675 4292896032 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 3415 2972 145 303 0 3110 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13660 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28420 /proc/meminfo: memFree=1836260/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=18264 CPUtime=12.69 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 4241 0 0 0 1261 8 0 0 25 0 1 0 25148434 18702336 4097 1992294400 134512640 135752675 4292896032 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 4566 4097 145 303 0 4261 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18264 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28420 /proc/meminfo: memFree=1825472/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=28772 CPUtime=25.48 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 6867 0 0 0 2536 12 0 0 25 0 1 0 25148434 29462528 6723 1992294400 134512640 135752675 4292896032 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 7193 6723 145 303 0 6888 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28772 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28420 /proc/meminfo: memFree=1805632/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=48576 CPUtime=51.07 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 11767 0 0 0 5085 22 0 0 25 0 1 0 25148434 49741824 11623 1992294400 134512640 135752675 4292896032 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 12144 11623 145 303 0 11839 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48576 [startup+102.309 s] /proc/loadavg: 1.08 1.02 1.01 2/107 28422 /proc/meminfo: memFree=1768804/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=85128 CPUtime=102.27 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 20881 0 0 0 10186 41 0 0 25 0 1 0 25148434 87171072 20737 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 21282 20737 145 303 0 20977 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 85128 [startup+162.301 s] /proc/loadavg: 1.10 1.03 1.00 2/107 28424 /proc/meminfo: memFree=1730984/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=123332 CPUtime=162.24 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 30420 0 0 0 16159 65 0 0 25 0 1 0 25148434 126291968 30276 1992294400 134512640 135752675 4292896032 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 30833 30276 145 303 0 30528 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 123332 [startup+222.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 28426 /proc/meminfo: memFree=1682996/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=170700 CPUtime=222.23 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 42341 0 0 0 22117 106 0 0 25 0 1 0 25148434 174796800 42197 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 42675 42197 146 303 0 42370 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 170700 [startup+282.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 28427 /proc/meminfo: memFree=1605372/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=248712 CPUtime=282.22 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 61795 0 0 0 28073 149 0 0 25 0 1 0 25148434 254681088 61651 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 62178 61651 146 303 0 61873 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 248712 [startup+342.301 s] /proc/loadavg: 1.09 1.05 1.00 2/107 28428 /proc/meminfo: memFree=1535684/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=317836 CPUtime=342.2 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 79010 0 0 0 34033 187 0 0 25 0 1 0 25148434 325464064 78866 1992294400 134512640 135752675 4292896032 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 79459 78866 146 303 0 79154 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 317836 [startup+402.302 s] /proc/loadavg: 1.08 1.05 1.00 2/107 28430 /proc/meminfo: memFree=1502948/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=350588 CPUtime=402.19 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 87195 0 0 0 40014 205 0 0 25 0 1 0 25148434 359002112 87051 1992294400 134512640 135752675 4292896032 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 87647 87051 146 303 0 87342 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 350588 [startup+462.302 s] /proc/loadavg: 1.08 1.06 1.00 2/107 28432 /proc/meminfo: memFree=1431896/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=421828 CPUtime=462.17 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 104979 0 0 0 45975 242 0 0 25 0 1 0 25148434 431951872 104835 1992294400 134512640 135752675 4292896032 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 105457 104835 146 303 0 105152 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 421828 [startup+522.302 s] /proc/loadavg: 1.17 1.09 1.01 2/107 28434 /proc/meminfo: memFree=1383784/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=471836 CPUtime=522.16 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 117464 0 0 0 51946 270 0 0 25 0 1 0 25148434 483160064 117320 1992294400 134512640 135752675 4292896032 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 117959 117320 146 303 0 117654 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 471836 [startup+582.302 s] /proc/loadavg: 1.13 1.09 1.01 2/107 28438 /proc/meminfo: memFree=1302564/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=551116 CPUtime=582.14 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 137255 0 0 0 57902 312 0 0 25 0 1 0 25148434 564342784 137111 1992294400 134512640 135752675 4292896032 18446744073709551615 134611724 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 137779 137111 146 303 0 137474 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 551116 [startup+642.302 s] /proc/loadavg: 1.05 1.07 1.01 2/107 28439 /proc/meminfo: memFree=1225932/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=626848 CPUtime=642.12 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 156158 0 0 0 63855 357 0 0 25 0 1 0 25148434 641892352 156014 1992294400 134512640 135752675 4292896032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 156712 156014 146 303 0 156407 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 626848 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28447 /proc/meminfo: memFree=951148/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=901296 CPUtime=882.05 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 224673 0 0 0 87687 518 0 0 25 0 1 0 25148434 922927104 224529 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 225324 224529 146 303 0 225019 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 901296 [startup+942.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 28447 /proc/meminfo: memFree=888156/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=964972 CPUtime=942.04 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 240586 0 0 0 93648 556 0 0 25 0 1 0 25148434 988131328 240442 1992294400 134512640 135752675 4292896032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 241243 240442 146 303 0 240938 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 964972 [startup+1002.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 28449 /proc/meminfo: memFree=824792/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1027996 CPUtime=1002.03 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 256310 0 0 0 99608 595 0 0 25 0 1 0 25148434 1052667904 256166 1992294400 134512640 135752675 4292896032 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 256999 256166 146 303 0 256694 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1027996 [startup+1062.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 28451 /proc/meminfo: memFree=759072/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1093748 CPUtime=1062.01 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 272733 0 0 0 105566 635 0 0 25 0 1 0 25148434 1119997952 272589 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 273437 272589 146 303 0 273132 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1093748 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 28453 /proc/meminfo: memFree=695460/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1156572 CPUtime=1121.99 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 288408 0 0 0 111527 672 0 0 25 0 1 0 25148434 1184329728 288264 1992294400 134512640 135752675 4292896032 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 289143 288264 146 303 0 288838 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1156572 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28454 /proc/meminfo: memFree=635692/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1217364 CPUtime=1181.98 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 303567 0 0 0 117488 710 0 0 25 0 1 0 25148434 1246580736 303423 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 304341 303423 146 303 0 304036 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1217364 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28455 /proc/meminfo: memFree=575800/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1276236 CPUtime=1241.96 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 318286 0 0 0 123447 749 0 0 25 0 1 0 25148434 1306865664 318142 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 319059 318142 146 303 0 318754 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1276236 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28457 /proc/meminfo: memFree=514544/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1337008 CPUtime=1301.96 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 333472 0 0 0 129408 788 0 0 25 0 1 0 25148434 1369096192 333328 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 334252 333328 146 303 0 333947 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1337008 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28459 /proc/meminfo: memFree=463580/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1388020 CPUtime=1361.94 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 346203 0 0 0 135373 821 0 0 25 0 1 0 25148434 1421332480 346059 1992294400 134512640 135752675 4292896032 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 347005 346059 146 303 0 346700 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1388020 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28461 /proc/meminfo: memFree=405672/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1445532 CPUtime=1421.93 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 360609 0 0 0 141335 858 0 0 25 0 1 0 25148434 1480224768 360465 1992294400 134512640 135752675 4292896032 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 361383 360465 146 303 0 361078 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1445532 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28462 /proc/meminfo: memFree=351980/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1500480 CPUtime=1481.9 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 374360 0 0 0 147296 894 0 0 25 0 1 0 25148434 1536491520 374216 1992294400 134512640 135752675 4292896032 18446744073709551615 134640517 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 375120 374216 146 303 0 374815 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1500480 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28463 /proc/meminfo: memFree=287872/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1563412 CPUtime=1541.89 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 390035 0 0 0 153256 933 0 0 25 0 1 0 25148434 1600933888 389891 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 390853 389891 146 303 0 390548 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1563412 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28465 /proc/meminfo: memFree=220912/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1630980 CPUtime=1601.87 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 406906 0 0 0 159213 974 0 0 25 0 1 0 25148434 1670123520 406762 1992294400 134512640 135752675 4292896032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 407745 406762 146 303 0 407440 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1630980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28467 /proc/meminfo: memFree=167468/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1684028 CPUtime=1661.85 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 420170 0 0 0 165183 1002 0 0 25 0 1 0 25148434 1724444672 420026 1992294400 134512640 135752675 4292896032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 421007 420026 146 303 0 420702 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1684028 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28469 /proc/meminfo: memFree=97532/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1753484 CPUtime=1721.84 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 437535 0 0 0 171139 1045 0 0 25 0 1 0 25148434 1795567616 437391 1992294400 134512640 135752675 4292896032 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 438371 437391 146 303 0 438066 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1753484 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28470 /proc/meminfo: memFree=43964/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1806600 CPUtime=1781.82 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 450801 0 0 0 177102 1080 0 0 25 0 1 0 25148434 1849958400 450657 1992294400 134512640 135752675 4292896032 18446744073709551615 134603326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 451650 450657 146 303 0 451345 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1806600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28471 /proc/meminfo: memFree=24496/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=1826092 CPUtime=1800.03 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4202496 455663 0 0 0 178909 1094 0 0 25 0 1 0 25148434 1869918208 455519 1992294400 134512640 135752675 4292896032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28419/statm: 456523 455519 146 303 0 456218 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1826092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 28472 /proc/meminfo: memFree=1086176/2059040 swapFree=4110772/4192956 [pid=28419] ppid=28417 vsize=0 CPUtime=1800.13 /proc/28419/stat : 28419 (wbo1.4b) R 28417 28419 28027 0 -1 4203524 455663 0 0 0 178909 1104 0 0 25 0 1 0 25148434 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28419/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.68 CPU time (s): 1800.21 CPU user time (s): 1789.1 CPU system time (s): 11.1103 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1826092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.1 system time used= 11.1103 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 455663 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= 23 involuntary context switches= 3472 runsolver used 2.90156 second user time and 8.60069 second system time The end
Begin job on node012 at 2010-07-08 08:09:14 IDJOB=2702525 IDBENCH=48197 IDSOLVER=1190 FILE ID=node012/2702525-1278569354 PBS_JOBID= 11239581 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_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-2702525-1278569354/watcher-2702525-1278569354 -o /tmp/evaluation-result-2702525-1278569354/solver-2702525-1278569354 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702525-1278569354.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED=2139206821 node012.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.248 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.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854768 kB Buffers: 11572 kB Cached: 76920 kB SwapCached: 35600 kB Active: 79656 kB Inactive: 51244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854768 kB SwapTotal: 4192956 kB SwapFree: 4110772 kB Dirty: 2696 kB Writeback: 0 kB AnonPages: 12032 kB Mapped: 12216 kB Slab: 51404 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181396 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-2702525-1278569354.opb Free space on /tmp at the end= 62488 MiB End job on node012 at 2010-07-08 08:39:17