Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.73 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_4.opb |
| MD5SUM | 85583812489e95a26f37a10baffcd23f |
| 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.26 |
| 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 | 50 |
| 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) | 6260 |
| Sum of products size (including duplicates) | 12520 |
| Number of different products | 3130 |
| Sum of products size | 6260 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702509-1278568714.opb. 0.00/0.00 c Instance file HOME/instance-2702509-1278568714.opb 0.00/0.00 c File size is 258221 bytes. 0.00/0.04 c Highest Coefficient sum: 50 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3330 | 0.00/0.04 c | Number Clauses: 3130 | 0.00/0.04 c | Number Cardinality: 400 | 0.00/0.04 c | Number PB Constraints: 3130 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 200 6660 15349 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 0 0.00/0.05 o 0 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 200 6661 15549 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: -1 0.00/0.05 o -1 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 200 6662 15749 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: -2 0.00/0.05 o -2 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 200 6663 15949 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -3 0.00/0.06 o -3 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 1 | 200 6664 16149 | 5000 1 198 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -4 0.00/0.06 o -4 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 1 | 200 6665 16349 | 5000 1 198 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -5 0.00/0.06 o -5 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 4 | 200 6666 16549 | 5000 4 197 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -6 0.00/0.06 o -6 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 5 | 200 6667 16749 | 5000 5 196 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -7 0.00/0.06 o -7 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 33 | 200 6668 16949 | 5000 33 196 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -8 0.00/0.07 o -8 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 50 | 200 6669 17149 | 5000 50 196 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -9 0.00/0.07 o -9 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 58 | 200 6670 17349 | 5000 58 196 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -10 0.00/0.07 o -10 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 88 | 200 6671 17549 | 5000 88 196 | 0.000 % | 0.08/0.08 c | 189 | 200 6671 17549 | 5500 189 195 | 93.994 % | 0.09/0.10 c | 340 | 200 6671 17549 | 6050 340 194 | 93.994 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -11 0.09/0.10 o -11 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 358 | 200 6672 17749 | 5000 358 194 | 93.994 % | 0.09/0.11 c | 458 | 200 6672 17749 | 5500 458 195 | 93.994 % | 0.09/0.13 c | 608 | 200 6672 17749 | 6050 608 195 | 93.994 % | 0.09/0.17 c | 834 | 200 6672 17749 | 6655 834 194 | 93.994 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -12 0.19/0.20 o -12 0.19/0.20 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1071 | 200 6673 17949 | 5000 1071 197 | 93.994 % | 0.19/0.23 c | 1173 | 200 6673 17949 | 5500 1173 196 | 93.994 % | 0.19/0.27 c | 1323 | 200 6673 17949 | 6050 1323 196 | 93.994 % | 0.29/0.32 c | 1548 | 200 6673 17949 | 6655 1548 196 | 93.994 % | 0.39/0.41 c | 1885 | 200 6673 17949 | 7320 1885 195 | 93.994 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -13 0.39/0.46 o -13 0.39/0.46 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 2104 | 200 6674 18149 | 5000 2104 195 | 93.994 % | 0.39/0.48 c | 2207 | 200 6674 18149 | 5500 2207 195 | 93.994 % | 0.49/0.50 c | 2359 | 200 6674 18149 | 6050 2359 195 | 93.994 % | 0.49/0.53 c | 2587 | 200 6674 18149 | 6655 2587 194 | 93.994 % | 0.59/0.64 c | 2924 | 200 6674 18149 | 7320 2924 195 | 93.994 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: -14 0.69/0.75 o -14 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 3275 | 200 6675 18349 | 5000 3275 194 | 93.994 % | 0.79/0.80 c | 3376 | 200 6675 18349 | 5500 3376 194 | 93.994 % | 0.79/0.86 c | 3528 | 200 6675 18349 | 6050 3528 194 | 93.994 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: -15 0.79/0.87 o -15 0.79/0.87 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 3566 | 200 6676 18549 | 5000 3566 194 | 93.994 % | 0.89/0.91 c | 3666 | 200 6676 18549 | 5500 3666 195 | 93.994 % | 0.89/0.97 c | 3819 | 200 6676 18549 | 6050 3819 195 | 93.994 % | 1.00/1.05 c | 4046 | 200 6676 18549 | 6655 4046 195 | 93.994 % | 1.10/1.15 c | 4383 | 200 6676 18549 | 7320 4383 194 | 93.994 % | 1.49/1.51 c | 4890 | 200 6676 18549 | 8052 4890 194 | 93.994 % | 1.79/1.81 c | 5649 | 200 6676 18549 | 8857 5649 194 | 93.994 % | 2.59/2.61 c | 6788 | 200 6676 18549 | 9743 6788 194 | 93.994 % | 3.89/3.92 c | 8499 | 200 6676 18549 | 10717 8499 193 | 93.994 % | 6.09/6.14 c =============================================================================== 6.09/6.14 c New solution: -16 6.09/6.14 o -16 6.09/6.14 c Elapsed CPU time: 6.10507 s Remaining CPU time: 173.895 s 6.09/6.14 c =============================================================================== 6.09/6.14 c | 10249 | 200 6677 18749 | 5000 10249 192 | 93.994 % | 6.19/6.29 c | 10350 | 200 6677 18749 | 5500 5226 190 | 93.994 % | 6.39/6.40 c | 10500 | 200 6677 18749 | 6050 5376 190 | 93.994 % | 6.50/6.54 c | 10725 | 200 6677 18749 | 6655 5601 190 | 93.994 % | 6.79/6.81 c | 11064 | 200 6677 18749 | 7320 5940 190 | 93.994 % | 6.79/6.88 c =============================================================================== 6.79/6.88 c New solution: -17 6.79/6.88 o -17 6.79/6.88 c Elapsed CPU time: 6.83696 s Remaining CPU time: 173.163 s 6.79/6.88 c =============================================================================== 6.79/6.88 c | 11147 | 200 6678 18949 | 5000 6023 190 | 93.994 % | 6.89/6.98 c | 11248 | 200 6678 18949 | 5500 6124 190 | 93.994 % | 7.09/7.10 c | 11399 | 200 6678 18949 | 6050 6275 191 | 93.994 % | 7.19/7.29 c | 11624 | 200 6678 18949 | 6655 6500 191 | 93.994 % | 7.49/7.58 c | 11962 | 200 6678 18949 | 7320 6838 191 | 93.994 % | 8.09/8.19 c | 12469 | 200 6678 18949 | 8052 7345 191 | 93.994 % | 8.98/9.05 c | 13230 | 200 6678 18949 | 8857 8106 191 | 93.994 % | 9.80/9.88 c | 14369 | 200 6678 18949 | 9743 9245 190 | 93.994 % | 10.90/11.00 c | 16080 | 200 6678 18949 | 10717 10956 190 | 93.994 % | 14.98/15.05 c | 18644 | 200 6678 18949 | 11789 13520 190 | 93.994 % | 19.28/19.36 c | 22488 | 200 6678 18949 | 12968 9812 189 | 93.994 % | 23.28/23.38 c | 28254 | 200 6678 18949 | 14265 15578 188 | 93.994 % | 28.08/28.16 c =============================================================================== 28.08/28.16 c New solution: -18 28.08/28.16 o -18 28.08/28.16 c Elapsed CPU time: 28.0157 s Remaining CPU time: 151.984 s 28.08/28.16 c =============================================================================== 28.08/28.16 c | 34617 | 200 6679 19149 | 5000 13151 187 | 93.994 % | 28.28/28.31 c | 34718 | 200 6679 19149 | 5500 6677 186 | 93.994 % | 28.28/28.38 c | 34868 | 200 6679 19149 | 6050 6827 186 | 93.994 % | 28.49/28.58 c | 35094 | 200 6679 19149 | 6655 7053 186 | 93.994 % | 28.78/28.84 c | 35432 | 200 6679 19149 | 7320 7391 188 | 93.994 % | 28.98/29.03 c | 35939 | 200 6679 19149 | 8052 7898 188 | 93.994 % | 29.59/29.63 c | 36701 | 200 6679 19149 | 8857 8660 187 | 93.994 % | 30.49/30.52 c | 37842 | 200 6679 19149 | 9743 9801 187 | 93.994 % | 32.59/32.63 c | 39551 | 200 6679 19149 | 10717 11510 187 | 93.994 % | 37.38/37.49 c | 42113 | 200 6679 19149 | 11789 7057 190 | 93.994 % | 40.47/40.55 c | 45957 | 200 6679 19149 | 12968 10901 189 | 93.994 % | 47.19/47.22 c | 51725 | 200 6679 19149 | 14265 8534 193 | 93.994 % | 48.98/49.06 c =============================================================================== 48.98/49.06 c New solution: -19 48.98/49.06 o -19 48.98/49.06 c Elapsed CPU time: 48.8266 s Remaining CPU time: 131.173 s 48.98/49.06 c =============================================================================== 48.98/49.06 c | 54937 | 200 6680 19349 | 5000 11746 191 | 93.994 % | 49.18/49.28 c | 55038 | 200 6680 19349 | 5500 5974 196 | 93.994 % | 49.39/49.44 c | 55190 | 200 6680 19349 | 6050 6126 196 | 93.994 % | 49.39/49.46 c =============================================================================== 49.39/49.46 c New solution: -20 49.39/49.46 o -20 49.39/49.46 c Elapsed CPU time: 49.2305 s Remaining CPU time: 130.769 s 49.39/49.46 c =============================================================================== 49.39/49.46 c | 55223 | 200 6681 19549 | 5000 6159 196 | 93.994 % | 49.49/49.56 c | 55323 | 200 6681 19549 | 5500 6259 196 | 93.994 % | 49.68/49.73 c | 55475 | 200 6681 19549 | 6050 6411 196 | 93.994 % | 49.88/49.97 c | 55702 | 200 6681 19549 | 6655 6638 195 | 93.994 % | 50.28/50.32 c | 56041 | 200 6681 19549 | 7320 6977 196 | 93.994 % | 50.58/50.69 c | 56548 | 200 6681 19549 | 8052 7484 196 | 93.994 % | 51.28/51.34 c | 57307 | 200 6681 19549 | 8857 8243 196 | 93.994 % | 52.37/52.43 c | 58446 | 200 6681 19549 | 9743 9382 197 | 93.994 % | 54.08/54.19 c | 60154 | 200 6681 19549 | 10717 11090 205 | 93.994 % | 56.09/56.17 c | 62718 | 200 6681 19549 | 11789 13654 204 | 93.994 % | 56.18/56.28 c =============================================================================== 56.18/56.28 c New solution: -21 56.18/56.28 o -21 56.18/56.28 c Elapsed CPU time: 56.0115 s Remaining CPU time: 123.989 s 56.18/56.28 c =============================================================================== 56.18/56.28 c | 62867 | 200 6682 19749 | 5000 13803 204 | 93.994 % | 56.38/56.45 c | 62968 | 200 6682 19749 | 5500 7003 212 | 93.994 % | 56.38/56.49 c | 63120 | 200 6682 19749 | 6050 7155 212 | 93.994 % | 56.48/56.54 c | 63347 | 200 6682 19749 | 6655 7382 211 | 93.994 % | 56.57/56.69 c | 63684 | 200 6682 19749 | 7320 7719 210 | 93.994 % | 57.08/57.13 c | 64191 | 200 6682 19749 | 8052 8226 209 | 93.994 % | 57.78/57.82 c | 64950 | 200 6682 19749 | 8857 8985 208 | 93.994 % | 58.97/59.03 c | 66090 | 200 6682 19749 | 9743 10125 209 | 93.994 % | 60.87/60.95 c | 67800 | 200 6682 19749 | 10717 11835 206 | 93.994 % | 64.68/64.70 c | 70362 | 200 6682 19749 | 11789 7384 194 | 93.994 % | 66.47/66.54 c | 74208 | 200 6682 19749 | 12968 11230 192 | 93.994 % | 72.77/72.83 c | 79975 | 200 6682 19749 | 14265 8859 186 | 93.994 % | 86.47/86.58 c | 88625 | 200 6682 19749 | 15692 17509 185 | 93.994 % | 103.76/103.89 c | 101602 | 200 6682 19749 | 17261 11488 184 | 93.994 % | 118.46/118.51 c | 121063 | 200 6682 19749 | 18987 10380 186 | 93.994 % | 149.73/149.87 c | 150255 | 200 6682 19749 | 20886 16366 187 | 93.994 % | 180.72/180.80 c There are 3130 assigned variables. 0 in cost function. 181.33/181.40 c core #1 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -199 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #2 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -198 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #3 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -197 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #4 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -196 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #5 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -195 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #6 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -194 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #7 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -193 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #8 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -192 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #9 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -191 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #10 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -190 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #11 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -189 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #12 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -188 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #13 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -187 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #14 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -186 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c core #15 181.33/181.40 c 181.33/181.40 c 181.33/181.40 c Core size: 3 Core Weight: 1 Total Weight: -185 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #16 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -184 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #17 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -183 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #18 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -182 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #19 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -181 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #20 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -180 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #21 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -179 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #22 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -178 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #23 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -177 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #24 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -176 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #25 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -175 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #26 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -174 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #27 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -173 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #28 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -172 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #29 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -171 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #30 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -170 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #31 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -169 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #32 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -168 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #33 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -167 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #34 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -166 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #35 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -165 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #36 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -164 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #37 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -163 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #38 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -162 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #39 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -161 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #40 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -160 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #41 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -159 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #42 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -158 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #43 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -157 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #44 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -156 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #45 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -155 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #46 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -154 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #47 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -153 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #48 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -152 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #49 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -151 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #50 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -150 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #51 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -149 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #52 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -148 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #53 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -147 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #54 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -146 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #55 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -145 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #56 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -144 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #57 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -143 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #58 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -142 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c core #59 181.33/181.41 c 181.33/181.41 c 181.33/181.41 c Core size: 3 Core Weight: 1 Total Weight: -141 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #60 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -140 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #61 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -139 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #62 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -138 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #63 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -137 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #64 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -136 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #65 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -135 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #66 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -134 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #67 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -133 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #68 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -132 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #69 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -131 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #70 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -130 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #71 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -129 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #72 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -128 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #73 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -127 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #74 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -126 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #75 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -125 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #76 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -124 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #77 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -123 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #78 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -122 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #79 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -121 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #80 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -120 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #81 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -119 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #82 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -118 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #83 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -117 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #84 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -116 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #85 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -115 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #86 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -114 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #87 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -113 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #88 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -112 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #89 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -111 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #90 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -110 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #91 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -109 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #92 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -108 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #93 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -107 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #94 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -106 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #95 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -105 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #96 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -104 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #97 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 3 Core Weight: 1 Total Weight: -103 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #98 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 7 Core Weight: 1 Total Weight: -102 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #99 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 7 Core Weight: 1 Total Weight: -101 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #100 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 6 Core Weight: 1 Total Weight: -100 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c core #101 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c Core size: 14 Core Weight: 1 Total Weight: -99 181.62/181.75 c 181.62/181.75 c 181.62/181.75 c ============================[ Search Statistics ]============================== 181.62/181.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.62/181.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.62/181.75 c =============================================================================== 181.62/181.75 c | 0 | 412 6583 11284 | 5000 0 nan | 0.000 % | 181.62/181.75 c =============================================================================== 181.62/181.76 c core #102 181.62/181.76 c 181.62/181.76 c 181.62/181.76 c Core size: 10 Core Weight: 1 Total Weight: -98 181.62/181.76 c 181.62/181.76 c 181.62/181.76 c ============================[ Search Statistics ]============================== 181.62/181.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.62/181.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.62/181.76 c =============================================================================== 181.62/181.76 c | 0 | 418 6584 11296 | 5000 0 nan | 0.000 % | 181.62/181.77 c =============================================================================== 181.62/181.78 c core #103 181.62/181.78 c 181.62/181.78 c 181.62/181.78 c Core size: 10 Core Weight: 1 Total Weight: -97 181.62/181.78 c 181.62/181.78 c 181.62/181.78 c ============================[ Search Statistics ]============================== 181.62/181.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.62/181.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.62/181.78 c =============================================================================== 181.62/181.78 c | 0 | 424 6585 11308 | 5000 0 nan | 0.000 % | 181.62/181.78 c =============================================================================== 181.62/181.79 c core #104 181.62/181.79 c 181.62/181.79 c 181.62/181.79 c Core size: 10 Core Weight: 1 Total Weight: -96 181.62/181.79 c 181.62/181.79 c 181.62/181.79 c ============================[ Search Statistics ]============================== 181.62/181.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.62/181.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.62/181.79 c =============================================================================== 181.62/181.79 c | 0 | 430 6586 11320 | 5000 0 nan | 0.000 % | 181.62/181.79 c =============================================================================== 181.72/181.80 c core #105 181.72/181.80 c 181.72/181.80 c 181.72/181.80 c Core size: 10 Core Weight: 1 Total Weight: -95 181.72/181.80 c 181.72/181.80 c 181.72/181.80 c ============================[ Search Statistics ]============================== 181.72/181.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.80 c =============================================================================== 181.72/181.80 c | 0 | 436 6587 11332 | 5000 0 nan | 0.000 % | 181.72/181.80 c =============================================================================== 181.72/181.82 c core #106 181.72/181.82 c 181.72/181.82 c 181.72/181.82 c Core size: 10 Core Weight: 1 Total Weight: -94 181.72/181.82 c 181.72/181.82 c 181.72/181.82 c ============================[ Search Statistics ]============================== 181.72/181.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.82 c =============================================================================== 181.72/181.82 c | 0 | 442 6588 11344 | 5000 0 nan | 0.000 % | 181.72/181.82 c =============================================================================== 181.72/181.83 c core #107 181.72/181.83 c 181.72/181.83 c 181.72/181.83 c Core size: 14 Core Weight: 1 Total Weight: -93 181.72/181.83 c 181.72/181.83 c 181.72/181.83 c ============================[ Search Statistics ]============================== 181.72/181.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.83 c =============================================================================== 181.72/181.83 c | 0 | 450 6589 11360 | 5000 0 nan | 0.000 % | 181.72/181.83 c =============================================================================== 181.72/181.84 c core #108 181.72/181.84 c 181.72/181.84 c 181.72/181.84 c Core size: 12 Core Weight: 1 Total Weight: -92 181.72/181.84 c 181.72/181.84 c 181.72/181.84 c ============================[ Search Statistics ]============================== 181.72/181.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.84 c =============================================================================== 181.72/181.84 c | 0 | 458 6590 11376 | 5000 0 nan | 0.000 % | 181.72/181.85 c =============================================================================== 181.72/181.86 c core #109 181.72/181.86 c 181.72/181.86 c 181.72/181.86 c Core size: 12 Core Weight: 1 Total Weight: -91 181.72/181.86 c 181.72/181.86 c 181.72/181.86 c ============================[ Search Statistics ]============================== 181.72/181.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.86 c =============================================================================== 181.72/181.86 c | 0 | 466 6591 11392 | 5000 0 nan | 0.000 % | 181.72/181.86 c =============================================================================== 181.72/181.87 c core #110 181.72/181.87 c 181.72/181.87 c 181.72/181.87 c Core size: 10 Core Weight: 1 Total Weight: -90 181.72/181.87 c 181.72/181.87 c 181.72/181.87 c ============================[ Search Statistics ]============================== 181.72/181.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.87 c =============================================================================== 181.72/181.87 c | 0 | 472 6592 11404 | 5000 0 nan | 0.000 % | 181.72/181.88 c =============================================================================== 181.72/181.89 c core #111 181.72/181.89 c 181.72/181.89 c 181.72/181.89 c Core size: 10 Core Weight: 1 Total Weight: -89 181.72/181.89 c 181.72/181.89 c 181.72/181.89 c ============================[ Search Statistics ]============================== 181.72/181.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.89 c =============================================================================== 181.72/181.89 c | 0 | 478 6593 11416 | 5000 0 nan | 0.000 % | 181.72/181.89 c =============================================================================== 181.82/181.90 c core #112 181.82/181.90 c 181.82/181.90 c 181.82/181.90 c Core size: 10 Core Weight: 1 Total Weight: -88 181.82/181.90 c 181.82/181.90 c 181.82/181.90 c ============================[ Search Statistics ]============================== 181.82/181.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.90 c =============================================================================== 181.82/181.90 c | 0 | 484 6594 11428 | 5000 0 nan | 0.000 % | 181.82/181.90 c =============================================================================== 181.82/181.91 c core #113 181.82/181.91 c 181.82/181.91 c 181.82/181.91 c Core size: 14 Core Weight: 1 Total Weight: -87 181.82/181.91 c 181.82/181.91 c 181.82/181.91 c ============================[ Search Statistics ]============================== 181.82/181.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.91 c =============================================================================== 181.82/181.91 c | 0 | 492 6595 11444 | 5000 0 nan | 0.000 % | 181.82/181.92 c =============================================================================== 181.82/181.93 c core #114 181.82/181.93 c 181.82/181.93 c 181.82/181.93 c Core size: 12 Core Weight: 1 Total Weight: -86 181.82/181.93 c 181.82/181.93 c 181.82/181.93 c ============================[ Search Statistics ]============================== 181.82/181.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.93 c =============================================================================== 181.82/181.93 c | 0 | 500 6596 11460 | 5000 0 nan | 0.000 % | 181.82/181.93 c =============================================================================== 181.82/181.94 c core #115 181.82/181.94 c 181.82/181.94 c 181.82/181.94 c Core size: 16 Core Weight: 1 Total Weight: -85 181.82/181.94 c 181.82/181.94 c 181.82/181.94 c ============================[ Search Statistics ]============================== 181.82/181.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.94 c =============================================================================== 181.82/181.94 c | 0 | 510 6597 11480 | 5000 0 nan | 0.000 % | 181.82/181.94 c =============================================================================== 181.82/181.96 c core #116 181.82/181.96 c 181.82/181.96 c 181.82/181.96 c Core size: 16 Core Weight: 1 Total Weight: -84 181.82/181.96 c 181.82/181.96 c 181.82/181.96 c ============================[ Search Statistics ]============================== 181.82/181.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.96 c =============================================================================== 181.82/181.96 c | 0 | 520 6598 11500 | 5000 0 nan | 0.000 % | 181.82/181.96 c =============================================================================== 181.82/181.97 c core #117 181.82/181.97 c 181.82/181.97 c 181.82/181.97 c Core size: 12 Core Weight: 1 Total Weight: -83 181.82/181.97 c 181.82/181.97 c 181.82/181.97 c ============================[ Search Statistics ]============================== 181.82/181.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.97 c =============================================================================== 181.82/181.97 c | 0 | 528 6599 11516 | 5000 0 nan | 0.000 % | 181.82/181.97 c =============================================================================== 181.82/181.98 c core #118 181.82/181.98 c 181.82/181.98 c 181.82/181.98 c Core size: 10 Core Weight: 1 Total Weight: -82 181.82/181.98 c 181.82/181.98 c 181.82/181.98 c ============================[ Search Statistics ]============================== 181.82/181.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.98 c =============================================================================== 181.82/181.98 c | 0 | 534 6600 11528 | 5000 0 nan | 0.000 % | 181.82/181.99 c =============================================================================== 181.92/182.00 c core #119 181.92/182.00 c 181.92/182.00 c 181.92/182.00 c Core size: 14 Core Weight: 1 Total Weight: -81 181.92/182.00 c 181.92/182.00 c 181.92/182.00 c ============================[ Search Statistics ]============================== 181.92/182.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.00 c =============================================================================== 181.92/182.00 c | 0 | 542 6601 11544 | 5000 0 nan | 0.000 % | 181.92/182.00 c =============================================================================== 181.92/182.01 c core #120 181.92/182.01 c 181.92/182.01 c 181.92/182.01 c Core size: 14 Core Weight: 1 Total Weight: -80 181.92/182.01 c 181.92/182.01 c 181.92/182.01 c ============================[ Search Statistics ]============================== 181.92/182.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.01 c =============================================================================== 181.92/182.01 c | 0 | 550 6602 11560 | 5000 0 nan | 0.000 % | 181.92/182.01 c =============================================================================== 181.92/182.03 c core #121 181.92/182.03 c 181.92/182.03 c 181.92/182.03 c Core size: 16 Core Weight: 1 Total Weight: -79 181.92/182.03 c 181.92/182.03 c 181.92/182.03 c ============================[ Search Statistics ]============================== 181.92/182.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.03 c =============================================================================== 181.92/182.03 c | 0 | 560 6603 11580 | 5000 0 nan | 0.000 % | 181.92/182.03 c =============================================================================== 181.92/182.04 c core #122 181.92/182.04 c 181.92/182.04 c 181.92/182.04 c Core size: 10 Core Weight: 1 Total Weight: -78 181.92/182.04 c 181.92/182.04 c 181.92/182.04 c ============================[ Search Statistics ]============================== 181.92/182.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.04 c =============================================================================== 181.92/182.04 c | 0 | 566 6604 11592 | 5000 0 nan | 0.000 % | 181.92/182.04 c =============================================================================== 181.92/182.05 c core #123 181.92/182.05 c 181.92/182.05 c 181.92/182.05 c Core size: 22 Core Weight: 1 Total Weight: -77 181.92/182.05 c 181.92/182.05 c 181.92/182.05 c ============================[ Search Statistics ]============================== 181.92/182.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.05 c =============================================================================== 181.92/182.05 c | 0 | 582 6605 11624 | 5000 0 nan | 0.000 % | 181.92/182.06 c =============================================================================== 181.92/182.07 c core #124 181.92/182.07 c 181.92/182.07 c 181.92/182.07 c Core size: 33 Core Weight: 1 Total Weight: -76 181.92/182.07 c 181.92/182.07 c 181.92/182.07 c ============================[ Search Statistics ]============================== 181.92/182.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.07 c =============================================================================== 181.92/182.07 c | 0 | 602 6606 11664 | 5000 0 nan | 0.000 % | 181.92/182.08 c =============================================================================== 181.92/182.09 c core #125 181.92/182.09 c 181.92/182.09 c 181.92/182.09 c Core size: 30 Core Weight: 1 Total Weight: -75 181.92/182.09 c 181.92/182.09 c 181.92/182.09 c ============================[ Search Statistics ]============================== 181.92/182.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.92/182.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.92/182.09 c =============================================================================== 181.92/182.09 c | 0 | 623 6607 11706 | 5000 0 nan | 0.000 % | 182.02/182.10 c =============================================================================== 182.02/182.11 c core #126 182.02/182.11 c 182.02/182.11 c 182.02/182.11 c Core size: 30 Core Weight: 1 Total Weight: -74 182.02/182.11 c 182.02/182.11 c 182.02/182.11 c ============================[ Search Statistics ]============================== 182.02/182.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.02/182.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.02/182.11 c =============================================================================== 182.02/182.11 c | 0 | 648 6608 11756 | 5000 0 nan | 0.000 % | 182.02/182.13 c | 101 | 648 6608 11756 | 5500 101 11 | 82.848 % | 182.02/182.16 c | 255 | 648 6608 11756 | 6050 255 12 | 82.848 % | 182.02/182.19 c =============================================================================== 182.12/182.21 c core #127 182.12/182.21 c 182.12/182.21 c 182.12/182.21 c Core size: 64 Core Weight: 1 Total Weight: -73 182.12/182.21 c 182.12/182.21 c 182.12/182.21 c ============================[ Search Statistics ]============================== 182.12/182.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.12/182.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.12/182.21 c =============================================================================== 182.12/182.21 c | 0 | 694 6609 11848 | 5000 0 nan | 0.000 % | 182.12/182.23 c | 103 | 693 6609 11848 | 5500 103 22 | 81.878 % | 182.12/182.25 c | 260 | 693 6609 11848 | 6050 260 18 | 81.878 % | 182.22/182.30 c | 487 | 693 6609 11848 | 6655 484 21 | 81.878 % | 182.22/182.36 c | 824 | 665 6609 11848 | 7320 462 18 | 82.662 % | 182.22/182.37 c =============================================================================== 182.22/182.39 c core #128 182.22/182.39 c 182.22/182.39 c 182.22/182.39 c Core size: 121 Core Weight: 1 Total Weight: -72 182.22/182.39 c 182.22/182.39 c 182.22/182.39 c ============================[ Search Statistics ]============================== 182.22/182.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.22/182.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.22/182.39 c =============================================================================== 182.22/182.39 c | 0 | 790 6610 12040 | 5000 0 nan | 0.000 % | 182.32/182.41 c | 103 | 790 6610 12040 | 5500 103 15 | 79.847 % | 182.32/182.42 c | 254 | 790 6610 12040 | 6050 254 17 | 79.847 % | 182.32/182.46 c | 480 | 789 6610 12040 | 6655 473 18 | 79.872 % | 182.32/182.47 c =============================================================================== 182.32/182.49 c core #129 182.32/182.49 c 182.32/182.49 c 182.32/182.49 c Core size: 51 Core Weight: 1 Total Weight: -71 182.32/182.49 c 182.32/182.49 c 182.32/182.49 c ============================[ Search Statistics ]============================== 182.32/182.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.32/182.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.32/182.49 c =============================================================================== 182.32/182.49 c | 0 | 832 6611 12124 | 5000 0 nan | 0.000 % | 182.42/182.51 c | 100 | 832 6611 12124 | 5500 100 46 | 79.001 % | 182.42/182.54 c =============================================================================== 182.42/182.55 c core #130 182.42/182.55 c 182.42/182.55 c 182.42/182.55 c Core size: 34 Core Weight: 1 Total Weight: -70 182.42/182.55 c 182.42/182.55 c 182.42/182.55 c ============================[ Search Statistics ]============================== 182.42/182.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.42/182.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.42/182.55 c =============================================================================== 182.42/182.55 c | 0 | 864 6612 12188 | 5000 0 nan | 0.000 % | 182.42/182.58 c | 102 | 864 6612 12188 | 5500 102 24 | 78.368 % | 182.52/182.61 c | 252 | 864 6612 12188 | 6050 252 22 | 78.368 % | 182.52/182.63 c | 477 | 864 6612 12188 | 6655 477 22 | 78.368 % | 182.52/182.68 c =============================================================================== 182.52/182.69 c core #131 182.52/182.69 c 182.52/182.69 c 182.52/182.69 c Core size: 38 Core Weight: 1 Total Weight: -69 182.52/182.69 c 182.52/182.69 c 182.52/182.69 c ============================[ Search Statistics ]============================== 182.52/182.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.52/182.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.52/182.69 c =============================================================================== 182.52/182.69 c | 0 | 894 6613 12248 | 5000 0 nan | 0.000 % | 182.61/182.72 c | 101 | 894 6613 12248 | 5500 101 52 | 77.783 % | 182.61/182.74 c | 251 | 894 6613 12248 | 6050 251 40 | 77.783 % | 182.61/182.77 c | 477 | 894 6613 12248 | 6655 477 34 | 77.783 % | 182.72/182.83 c | 814 | 894 6613 12248 | 7320 814 29 | 77.783 % | 182.81/182.93 c | 1320 | 894 6613 12248 | 8052 1320 26 | 77.783 % | 182.81/182.96 c =============================================================================== 182.81/182.98 c core #132 182.81/182.98 c 182.81/182.98 c 182.81/182.98 c Core size: 85 Core Weight: 1 Total Weight: -68 182.81/182.98 c 182.81/182.98 c 182.81/182.98 c ============================[ Search Statistics ]============================== 182.81/182.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.81/182.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.81/182.98 c =============================================================================== 182.81/182.98 c | 0 | 953 6614 12366 | 5000 0 nan | 0.000 % | 182.91/183.02 c | 101 | 953 6614 12366 | 5500 101 64 | 76.659 % | 182.91/183.04 c | 252 | 953 6614 12366 | 6050 252 46 | 76.659 % | 182.91/183.08 c | 478 | 953 6614 12366 | 6655 478 46 | 76.659 % | 183.01/183.13 c | 818 | 953 6614 12366 | 7320 818 45 | 76.659 % | 183.11/183.23 c | 1326 | 953 6614 12366 | 8052 1326 54 | 76.659 % | 183.21/183.37 c | 2087 | 953 6614 12366 | 8857 2087 55 | 76.659 % | 183.52/183.68 c | 3226 | 953 6614 12366 | 9743 3226 58 | 76.659 % | 184.01/184.11 c | 4934 | 953 6614 12366 | 10717 4934 58 | 76.659 % | 184.72/184.81 c | 7497 | 953 6614 12366 | 11789 7497 56 | 76.659 % | 184.81/184.96 c =============================================================================== 184.81/184.99 c core #133 184.81/184.99 c 184.81/184.99 c 184.81/184.99 c Core size: 71 Core Weight: 1 Total Weight: -67 184.81/184.99 c 184.81/184.99 c 184.81/184.99 c ============================[ Search Statistics ]============================== 184.81/184.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.81/184.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.81/184.99 c =============================================================================== 184.81/184.99 c | 0 | 1005 6615 12470 | 5000 0 nan | 0.000 % | 184.91/185.02 c | 103 | 1005 6615 12470 | 5500 103 46 | 75.695 % | 184.91/185.03 c | 254 | 1005 6615 12470 | 6050 254 31 | 75.695 % | 184.91/185.07 c | 479 | 1005 6615 12470 | 6655 479 25 | 75.695 % | 185.01/185.12 c | 816 | 1005 6615 12470 | 7320 816 25 | 75.695 % | 185.11/185.23 c | 1324 | 1005 6615 12470 | 8052 1324 27 | 75.695 % | 185.31/185.41 c | 2083 | 1005 6615 12470 | 8857 2083 30 | 75.695 % | 185.51/185.60 c | 3222 | 1005 6615 12470 | 9743 3222 31 | 75.695 % | 186.01/186.13 c | 4931 | 1005 6615 12470 | 10717 4931 32 | 75.695 % | 186.41/186.51 c =============================================================================== 186.41/186.59 c core #134 186.41/186.59 c 186.41/186.59 c 186.41/186.59 c Core size: 67 Core Weight: 1 Total Weight: -66 186.41/186.59 c 186.41/186.59 c 186.41/186.59 c ============================[ Search Statistics ]============================== 186.41/186.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.41/186.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.41/186.59 c =============================================================================== 186.41/186.59 c | 0 | 1060 6616 12580 | 5000 0 nan | 0.000 % | 186.51/186.62 c | 101 | 1060 6616 12580 | 5500 101 28 | 74.702 % | 186.51/186.63 c | 255 | 1060 6616 12580 | 6050 255 41 | 74.702 % | 186.51/186.68 c | 480 | 1060 6616 12580 | 6655 480 43 | 74.702 % | 186.61/186.73 c | 818 | 1060 6616 12580 | 7320 818 50 | 74.702 % | 186.71/186.83 c | 1324 | 1060 6616 12580 | 8052 1324 54 | 74.702 % | 186.82/186.97 c | 2083 | 1060 6616 12580 | 8857 2083 57 | 74.702 % | 187.21/187.32 c | 3223 | 1060 6616 12580 | 9743 3223 64 | 74.702 % | 187.92/188.01 c | 4941 | 1060 6616 12580 | 10717 4941 73 | 74.702 % | 188.81/188.92 c | 7504 | 1060 6616 12580 | 11789 7504 74 | 74.702 % | 190.51/190.61 c | 11349 | 1060 6616 12580 | 12968 11349 77 | 74.702 % | 192.90/193.08 c | 17115 | 1060 6616 12580 | 14265 8976 74 | 74.702 % | 196.91/197.08 c | 25764 | 1060 6616 12580 | 15692 17625 87 | 74.702 % | 204.71/204.84 c | 38739 | 1060 6616 12580 | 17261 11619 68 | 74.702 % | 218.10/218.29 c | 58200 | 1060 6616 12580 | 18987 10528 71 | 74.702 % | 240.10/240.29 c | 87394 | 1060 6616 12580 | 20886 17475 70 | 74.702 % | 274.68/274.82 c | 131184 | 1060 6616 12580 | 22974 12955 51 | 74.702 % | 334.96/335.15 c | 196870 | 1060 6616 12580 | 25272 26128 81 | 74.702 % | 354.86/355.02 c =============================================================================== 359.86/360.01 c core #135 359.86/360.01 c 359.86/360.01 c 359.86/360.01 c Core size: 145 Core Weight: 1 Total Weight: -65 359.86/360.01 c 359.86/360.01 c 359.86/360.01 c ============================[ Search Statistics ]============================== 359.86/360.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 359.86/360.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 359.86/360.01 c =============================================================================== 359.86/360.01 c | 0 | 1174 6617 12808 | 5000 0 nan | 0.000 % | 359.86/360.06 c | 102 | 1174 6617 12808 | 5500 102 41 | 72.723 % | 359.86/360.09 c | 252 | 1174 6617 12808 | 6050 252 35 | 72.723 % | 359.95/360.13 c | 479 | 1174 6617 12808 | 6655 479 34 | 72.723 % | 359.95/360.18 c | 818 | 1174 6617 12808 | 7320 818 32 | 72.723 % | 360.06/360.28 c | 1325 | 1174 6617 12808 | 8052 1325 31 | 72.723 % | 360.25/360.44 c | 2086 | 1174 6617 12808 | 8857 2086 33 | 72.723 % | 360.36/360.58 c | 3227 | 1174 6617 12808 | 9743 3227 41 | 72.723 % | 360.76/360.95 c | 4935 | 1174 6617 12808 | 10717 4935 46 | 72.723 % | 361.36/361.57 c | 7499 | 1174 6617 12808 | 11789 7499 47 | 72.723 % | 362.35/362.59 c | 11344 | 1174 6617 12808 | 12968 11344 57 | 72.723 % | 364.76/364.96 c | 17113 | 1174 6617 12808 | 14265 8914 64 | 72.723 % | 370.25/370.49 c | 25762 | 1174 6617 12808 | 15692 17563 68 | 72.723 % | 378.55/378.70 c | 38736 | 1174 6617 12808 | 17261 11544 61 | 72.723 % | 389.85/390.05 c | 58197 | 1174 6617 12808 | 18987 10386 68 | 72.723 % | 413.84/414.09 c | 87389 | 1174 6617 12808 | 20886 17293 76 | 72.723 % | 445.43/445.68 c =============================================================================== 446.13/446.39 c core #136 446.13/446.39 c 446.13/446.39 c 446.13/446.39 c Core size: 127 Core Weight: 1 Total Weight: -64 446.13/446.39 c 446.13/446.39 c 446.13/446.39 c ============================[ Search Statistics ]============================== 446.13/446.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 446.13/446.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 446.13/446.39 c =============================================================================== 446.13/446.39 c | 0 | 1278 6618 13016 | 5000 0 nan | 0.000 % | 446.23/446.43 c | 101 | 1278 6618 13016 | 5500 101 41 | 71.007 % | 446.23/446.44 c | 251 | 1278 6618 13016 | 6050 251 36 | 71.007 % | 446.23/446.50 c | 476 | 1278 6618 13016 | 6655 476 48 | 71.007 % | 446.33/446.57 c | 813 | 1278 6618 13016 | 7320 813 57 | 71.007 % | 446.44/446.69 c | 1321 | 1278 6618 13016 | 8052 1321 67 | 71.007 % | 446.63/446.83 c | 2080 | 1278 6618 13016 | 8857 2080 73 | 71.007 % | 446.83/447.08 c | 3221 | 1278 6618 13016 | 9743 3221 87 | 71.007 % | 447.33/447.56 c | 4929 | 1278 6618 13016 | 10717 4929 94 | 71.007 % | 448.53/448.72 c | 7491 | 1278 6618 13016 | 11789 7491 105 | 71.007 % | 449.13/449.36 c | 11338 | 1278 6618 13016 | 12968 11338 109 | 71.007 % | 451.63/451.81 c | 17104 | 1278 6618 13016 | 14265 8949 110 | 71.007 % | 457.43/457.70 c | 25754 | 1278 6618 13016 | 15692 17599 137 | 71.007 % | 465.42/465.63 c | 38728 | 1278 6618 13016 | 17261 11519 170 | 71.007 % | 472.11/472.37 c | 58190 | 1278 6618 13016 | 18987 20625 126 | 71.007 % | 486.02/486.24 c | 87384 | 1278 6618 13016 | 20886 15142 155 | 71.007 % | 505.01/505.22 c | 131173 | 1278 6618 13016 | 22974 18727 157 | 71.007 % | 552.00/552.24 c | 196859 | 1278 6618 13016 | 25272 22690 167 | 71.007 % | 688.76/689.01 c | 295386 | 1278 6618 13016 | 27799 15367 158 | 71.007 % | 793.43/793.74 c | 443175 | 1278 6618 13016 | 30579 22299 174 | 71.007 % | 989.17/989.51 c | 664859 | 1278 6618 13016 | 33637 16057 168 | 71.007 % | 1345.87/1346.31 c | 997384 | 1278 6618 13016 | 37001 13593 159 | 71.007 % |
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-2702509-1278568714/watcher-2702509-1278568714 -o /tmp/evaluation-result-2702509-1278568714/solver-2702509-1278568714 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702509-1278568714.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.01 1.00 3/106 28856 /proc/meminfo: memFree=1720936/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=3424 CPUtime=0 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 423 0 0 0 0 0 0 0 25 0 1 0 25082915 3506176 342 1992294400 134512640 135752675 4294157616 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 856 342 137 303 0 487 0 [startup+0.085972 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28856 /proc/meminfo: memFree=1720936/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=4356 CPUtime=0.08 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 790 0 0 0 8 0 0 0 18 0 1 0 25082915 4460544 645 1992294400 134512640 135752675 4294157616 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 1089 645 144 303 0 784 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4356 [startup+0.100973 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28856 /proc/meminfo: memFree=1720936/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=4356 CPUtime=0.09 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 791 0 0 0 9 0 0 0 18 0 1 0 25082915 4460544 646 1992294400 134512640 135752675 4294157616 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 1089 646 145 303 0 784 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4356 [startup+0.300993 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28856 /proc/meminfo: memFree=1720936/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=5124 CPUtime=0.29 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 974 0 0 0 29 0 0 0 18 0 1 0 25082915 5246976 829 1992294400 134512640 135752675 4294157616 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 1281 829 145 303 0 976 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5124 [startup+0.701034 s] /proc/loadavg: 1.00 1.01 1.00 3/106 28856 /proc/meminfo: memFree=1720936/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=6544 CPUtime=0.69 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 1349 0 0 0 69 0 0 0 18 0 1 0 25082915 6701056 1204 1992294400 134512640 135752675 4294157616 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 1636 1205 145 303 0 1331 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6544 [startup+1.50112 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28857 /proc/meminfo: memFree=1716464/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=8224 CPUtime=1.49 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 1761 0 0 0 148 1 0 0 19 0 1 0 25082915 8421376 1616 1992294400 134512640 135752675 4294157616 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 2056 1616 145 303 0 1751 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8224 [startup+3.10128 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28857 /proc/meminfo: memFree=1714108/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=10676 CPUtime=3.09 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 2355 0 0 0 307 2 0 0 25 0 1 0 25082915 10932224 2210 1992294400 134512640 135752675 4294157616 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 2669 2210 145 303 0 2364 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10676 [startup+6.3016 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28857 /proc/meminfo: memFree=1710636/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=13416 CPUtime=6.29 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 3035 0 0 0 625 4 0 0 25 0 1 0 25082915 13737984 2890 1992294400 134512640 135752675 4294157616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 3354 2890 145 303 0 3049 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13416 [startup+12.7013 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28857 /proc/meminfo: memFree=1704188/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=19508 CPUtime=12.68 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 4546 0 0 0 1262 6 0 0 25 0 1 0 25082915 19976192 4401 1992294400 134512640 135752675 4294157616 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 4877 4401 145 303 0 4572 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19508 [startup+25.5006 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28858 /proc/meminfo: memFree=1692780/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=31108 CPUtime=25.49 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 7425 0 0 0 2536 13 0 0 25 0 1 0 25082915 31854592 7280 1992294400 134512640 135752675 4294157616 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 7777 7280 145 303 0 7472 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31108 [startup+51.1012 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28858 /proc/meminfo: memFree=1669344/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=54768 CPUtime=51.08 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 13308 0 0 0 5085 23 0 0 25 0 1 0 25082915 56082432 13163 1992294400 134512640 135752675 4294157616 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 13692 13163 145 303 0 13387 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 54768 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28860 /proc/meminfo: memFree=1632020/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=91308 CPUtime=102.26 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 22415 0 0 0 10183 43 0 0 25 0 1 0 25082915 93499392 22270 1992294400 134512640 135752675 4294157616 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 22827 22270 145 303 0 22522 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 91308 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28870 /proc/meminfo: memFree=1584156/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=139364 CPUtime=162.23 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 34430 0 0 0 16156 67 0 0 25 0 1 0 25082915 142708736 34285 1992294400 134512640 135752675 4294157616 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 34841 34285 145 303 0 34536 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 139364 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28872 /proc/meminfo: memFree=1565804/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=156616 CPUtime=222.2 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 38880 0 0 0 22117 103 0 0 25 0 1 0 25082915 160374784 38735 1992294400 134512640 135752675 4294157616 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 39154 38735 146 303 0 38849 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 156616 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28874 /proc/meminfo: memFree=1537408/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=185260 CPUtime=282.18 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 46012 0 0 0 28085 133 0 0 25 0 1 0 25082915 189706240 45867 1992294400 134512640 135752675 4294157616 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 46315 45867 146 303 0 46010 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 185260 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28875 /proc/meminfo: memFree=1509012/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=213624 CPUtime=342.16 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 53058 0 0 0 34051 165 0 0 25 0 1 0 25082915 218750976 52913 1992294400 134512640 135752675 4294157616 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 53406 52913 146 303 0 53101 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 213624 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28877 /proc/meminfo: memFree=1489048/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=233708 CPUtime=402.14 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 58159 0 0 0 40014 200 0 0 25 0 1 0 25082915 239316992 57986 1992294400 134512640 135752675 4294157616 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 58427 57986 146 303 0 58122 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 233708 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28878 /proc/meminfo: memFree=1459784/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=262832 CPUtime=462.12 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 65490 0 0 0 45973 239 0 0 25 0 1 0 25082915 269139968 65265 1992294400 134512640 135752675 4294157616 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28856/statm: 65708 65265 146 303 0 65403 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 262832 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28880 /proc/meminfo: memFree=1380176/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=343868 CPUtime=522.1 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 85640 0 0 0 51926 284 0 0 25 0 1 0 25082915 352120832 85415 1992294400 134512640 135752675 4294157616 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 85967 85415 146 303 0 85662 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 343868 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28882 /proc/meminfo: memFree=1338388/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=384104 CPUtime=582.09 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 95643 0 0 0 57899 310 0 0 25 0 1 0 25082915 393322496 95418 1992294400 134512640 135752675 4294157616 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 96026 95418 146 303 0 95721 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 384104 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28883 /proc/meminfo: memFree=1308876/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=413492 CPUtime=642.07 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 102992 0 0 0 63875 332 0 0 25 0 1 0 25082915 423415808 102767 1992294400 134512640 135752675 4294157616 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 103373 102767 146 303 0 103068 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 413492 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28890 /proc/meminfo: memFree=1115932/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=607024 CPUtime=882 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 151141 0 0 0 87762 438 0 0 25 0 1 0 25082915 621592576 150916 1992294400 134512640 135752675 4294157616 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 151756 150916 146 303 0 151451 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 607024 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28891 /proc/meminfo: memFree=1053312/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=669672 CPUtime=941.98 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 166772 0 0 0 93730 468 0 0 25 0 1 0 25082915 685744128 166547 1992294400 134512640 135752675 4294157616 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 167418 166547 146 303 0 167113 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 669672 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28893 /proc/meminfo: memFree=996768/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=726068 CPUtime=1001.97 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 180849 0 0 0 99700 497 0 0 25 0 1 0 25082915 743493632 180624 1992294400 134512640 135752675 4294157616 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 181517 180624 146 303 0 181212 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 726068 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28894 /proc/meminfo: memFree=956468/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=766576 CPUtime=1061.95 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 190947 0 0 0 105675 520 0 0 25 0 1 0 25082915 784973824 190722 1992294400 134512640 135752675 4294157616 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 191644 190722 146 303 0 191339 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 766576 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28896 /proc/meminfo: memFree=922616/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=800020 CPUtime=1121.94 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 199309 0 0 0 111653 541 0 0 25 0 1 0 25082915 819220480 199084 1992294400 134512640 135752675 4294157616 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 200005 199084 146 303 0 199700 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 800020 [startup+1182.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 28898 /proc/meminfo: memFree=868428/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=854452 CPUtime=1181.92 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 212919 0 0 0 117619 573 0 0 25 0 1 0 25082915 874958848 212694 1992294400 134512640 135752675 4294157616 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 213613 212694 146 303 0 213308 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 854452 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 28902 /proc/meminfo: memFree=839908/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=881800 CPUtime=1241.9 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 219731 0 0 0 123599 591 0 0 25 0 1 0 25082915 902963200 219506 1992294400 134512640 135752675 4294157616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 220450 219506 146 303 0 220145 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 881800 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28904 /proc/meminfo: memFree=801468/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=920460 CPUtime=1301.88 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 229369 0 0 0 129577 611 0 0 25 0 1 0 25082915 942551040 229144 1992294400 134512640 135752675 4294157616 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 230115 229144 146 303 0 229810 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 920460 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28905 /proc/meminfo: memFree=755960/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=966092 CPUtime=1361.85 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 240796 0 0 0 135545 640 0 0 25 0 1 0 25082915 989278208 240571 1992294400 134512640 135752675 4294157616 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 241523 240571 146 303 0 241218 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 966092 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28907 /proc/meminfo: memFree=728804/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=993056 CPUtime=1421.85 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 247506 0 0 0 141525 660 0 0 25 0 1 0 25082915 1016889344 247281 1992294400 134512640 135752675 4294157616 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28856/statm: 248264 247281 146 303 0 247959 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 993056 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28909 /proc/meminfo: memFree=707104/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=1015160 CPUtime=1481.82 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 253035 0 0 0 147507 675 0 0 25 0 1 0 25082915 1039523840 252810 1992294400 134512640 135752675 4294157616 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 253790 252810 146 303 0 253485 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1015160 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28910 /proc/meminfo: memFree=682552/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=1039448 CPUtime=1541.8 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 259092 0 0 0 153489 691 0 0 25 0 1 0 25082915 1064394752 258867 1992294400 134512640 135752675 4294157616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 259862 258867 146 303 0 259557 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1039448 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28912 /proc/meminfo: memFree=661472/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=1060596 CPUtime=1601.78 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 264394 0 0 0 159473 705 0 0 25 0 1 0 25082915 1086050304 264169 1992294400 134512640 135752675 4294157616 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 265149 264169 146 303 0 264844 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1060596 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28913 /proc/meminfo: memFree=615220/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=1106676 CPUtime=1661.75 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 275885 0 0 0 165443 732 0 0 25 0 1 0 25082915 1133236224 275660 1992294400 134512640 135752675 4294157616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28856/statm: 276669 275660 146 303 0 276364 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1106676 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28915 /proc/meminfo: memFree=576284/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=1145784 CPUtime=1721.74 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 285645 0 0 0 171419 755 0 0 25 0 1 0 25082915 1173282816 285420 1992294400 134512640 135752675 4294157616 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 286446 285420 146 303 0 286141 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1145784 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28917 /proc/meminfo: memFree=530652/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=1191060 CPUtime=1781.72 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 296969 0 0 0 177389 783 0 0 25 0 1 0 25082915 1219645440 296744 1992294400 134512640 135752675 4294157616 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 297765 296744 146 303 0 297460 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1191060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28917 /proc/meminfo: memFree=518128/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=1203336 CPUtime=1800.02 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4202496 300047 0 0 0 179213 789 0 0 25 0 1 0 25082915 1232216064 299822 1992294400 134512640 135752675 4294157616 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28856/statm: 300834 299822 146 303 0 300529 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1203336 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 28917 /proc/meminfo: memFree=518128/2059040 swapFree=4139544/4192956 [pid=28856] ppid=28854 vsize=0 CPUtime=1800.12 /proc/28856/stat : 28856 (wbo1.4b) R 28854 28856 28268 0 -1 4203524 300047 0 0 0 179213 799 0 0 25 0 1 0 25082915 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28856/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.15 CPU user time (s): 1792.14 CPU system time (s): 8.01078 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 1203336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.14 system time used= 8.01078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 300047 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= 15 involuntary context switches= 1467 runsolver used 4.05838 second user time and 9.07562 second system time The end
Begin job on node027 at 2010-07-08 07:58:34 IDJOB=2702509 IDBENCH=48189 IDSOLVER=1190 FILE ID=node027/2702509-1278568714 PBS_JOBID= 11239551 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_4.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-2702509-1278568714/watcher-2702509-1278568714 -o /tmp/evaluation-result-2702509-1278568714/solver-2702509-1278568714 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702509-1278568714.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f RANDOM SEED=1376122484 node027.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 : 2800.222 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 : 5600.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 : 2800.222 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: 1722208 kB Buffers: 59048 kB Cached: 177764 kB SwapCached: 7452 kB Active: 93988 kB Inactive: 157336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1722208 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 2660 kB Writeback: 0 kB AnonPages: 12212 kB Mapped: 12008 kB Slab: 63500 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180648 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702509-1278568714.opb Free space on /tmp at the end= 62532 MiB End job on node027 at 2010-07-08 08:28:37