Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.05 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb |
MD5SUM | dfa433e4e6a88cd1c776cef0a80ce991 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8034 |
Best CPU time to get the best result obtained on this benchmark | 0.012997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8034 |
Optimality of the best value was proved | YES |
Number of variables | 210 |
Total number of constraints | 220 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 2937 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 109101 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2937 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 109101 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655765-1276629856.opb. 0.00/0.00 c Instance file HOME/instance-2655765-1276629856.opb 0.00/0.00 c File size is 8308 bytes. 0.00/0.00 c Highest Coefficient sum: 11 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 210 | 0.00/0.00 c | Number Clauses: 220 | 0.00/0.00 c | Number Cardinality: 20 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 210 240 800 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 9519 0.00/0.00 o 9519 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 210 241 1010 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 9423 0.00/0.00 o 9423 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 3 | 210 242 1220 | 5000 3 47 | 0.000 % | 0.00/0.01 c | 104 | 210 242 1220 | 5500 104 24 | 0.002 % | 0.00/0.01 c | 256 | 210 242 1220 | 6050 256 30 | 0.002 % | 0.00/0.02 c | 482 | 210 242 1220 | 6655 482 35 | 0.048 % | 0.00/0.04 c | 820 | 210 242 1220 | 7320 820 33 | 0.002 % | 0.04/0.06 c | 1327 | 210 242 1220 | 8052 1327 31 | 0.002 % | 0.09/0.10 c | 2087 | 210 242 1220 | 8857 2087 34 | 0.048 % | 0.09/0.15 c | 3228 | 210 242 1220 | 9743 3228 33 | 0.048 % | 0.19/0.25 c | 4936 | 210 242 1220 | 10717 4936 32 | 0.002 % | 0.39/0.41 c | 7499 | 210 242 1220 | 11789 7499 36 | 0.048 % | 0.59/0.65 c | 11343 | 210 242 1220 | 12968 11343 37 | 0.048 % | 1.10/1.14 c | 17109 | 210 242 1220 | 14265 10556 37 | 0.002 % | 1.79/1.80 c | 25758 | 210 242 1220 | 15692 11983 35 | 0.002 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c New solution: 9411 2.29/2.35 o 9411 2.29/2.35 c Elapsed CPU time: 2.26965 s Remaining CPU time: 177.73 s 2.29/2.35 c =============================================================================== 2.29/2.35 c | 33317 | 210 243 1430 | 5000 11622 36 | 0.002 % | 2.29/2.38 c | 33421 | 210 243 1430 | 5500 3010 34 | 0.048 % | 2.29/2.39 c | 33571 | 210 243 1430 | 6050 3160 34 | 0.002 % | 2.39/2.40 c | 33797 | 210 243 1430 | 6655 3386 34 | 0.048 % | 2.39/2.42 c | 34134 | 210 243 1430 | 7320 3723 34 | 0.002 % | 2.39/2.46 c | 34640 | 210 243 1430 | 8052 4229 36 | 0.002 % | 2.49/2.50 c | 35399 | 210 243 1430 | 8857 4988 37 | 0.048 % | 2.49/2.57 c | 36539 | 210 243 1430 | 9743 6128 36 | 0.048 % | 2.59/2.68 c | 38247 | 210 243 1430 | 10717 7836 36 | 0.002 % | 2.79/2.87 c | 40812 | 210 243 1430 | 11789 10401 36 | 0.002 % | 3.09/3.15 c | 44656 | 210 243 1430 | 12968 8293 36 | 0.002 % | 3.58/3.60 c | 50423 | 210 243 1430 | 14265 7521 36 | 0.048 % | 3.58/3.66 c =============================================================================== 3.58/3.66 c New solution: 9378 3.58/3.66 o 9378 3.58/3.66 c Elapsed CPU time: 3.54946 s Remaining CPU time: 176.451 s 3.58/3.66 c =============================================================================== 3.58/3.66 c | 51370 | 210 244 1640 | 5000 8468 36 | 0.048 % | 3.58/3.68 c | 51470 | 210 244 1640 | 5500 4334 38 | 0.002 % | 3.58/3.69 c | 51620 | 210 244 1640 | 6050 4484 38 | 0.002 % | 3.69/3.71 c | 51847 | 210 244 1640 | 6655 4711 39 | 0.048 % | 3.69/3.73 c | 52184 | 210 244 1640 | 7320 5048 39 | 0.002 % | 3.69/3.76 c | 52690 | 210 244 1640 | 8052 5554 38 | 0.002 % | 3.79/3.82 c | 53451 | 210 244 1640 | 8857 6315 39 | 0.002 % | 3.79/3.89 c | 54591 | 210 244 1640 | 9743 7455 38 | 0.048 % | 3.99/4.01 c | 56299 | 210 244 1640 | 10717 9163 38 | 0.002 % | 4.19/4.22 c | 58861 | 210 244 1640 | 11789 6298 39 | 0.002 % | 4.48/4.54 c | 62705 | 210 244 1640 | 12968 10142 40 | 0.048 % | 4.48/4.59 c =============================================================================== 4.48/4.59 c New solution: 9360 4.48/4.59 o 9360 4.48/4.59 c Elapsed CPU time: 4.44932 s Remaining CPU time: 175.551 s 4.48/4.59 c =============================================================================== 4.48/4.59 c | 63320 | 210 245 1850 | 5000 10757 40 | 0.048 % | 4.59/4.62 c | 63423 | 210 245 1850 | 5500 2793 39 | 0.002 % | 4.59/4.64 c | 63573 | 210 245 1850 | 6050 2943 41 | 0.048 % | 4.59/4.65 c | 63798 | 210 245 1850 | 6655 3168 41 | 0.048 % | 4.59/4.68 c | 64135 | 210 245 1850 | 7320 3505 42 | 0.002 % | 4.69/4.72 c | 64641 | 210 245 1850 | 8052 4011 42 | 0.048 % | 4.69/4.77 c | 65400 | 210 245 1850 | 8857 4770 42 | 0.048 % | 4.78/4.87 c | 66539 | 210 245 1850 | 9743 5909 43 | 0.048 % | 4.89/4.99 c | 68248 | 210 245 1850 | 10717 7618 41 | 0.002 % | 5.19/5.20 c | 70810 | 210 245 1850 | 11789 10180 40 | 0.002 % | 5.50/5.51 c | 74656 | 210 245 1850 | 12968 8065 38 | 0.002 % | 5.89/5.98 c | 80422 | 210 245 1850 | 14265 7286 43 | 0.002 % | 6.69/6.72 c | 89071 | 210 245 1850 | 15692 8746 36 | 0.002 % | 6.88/6.99 c =============================================================================== 6.88/6.99 c New solution: 9309 6.88/6.99 o 9309 6.88/6.99 c Elapsed CPU time: 6.78497 s Remaining CPU time: 173.215 s 6.88/6.99 c =============================================================================== 6.88/6.99 c | 92368 | 210 246 2060 | 5000 12043 37 | 0.002 % | 6.99/7.03 c | 92470 | 210 246 2060 | 5500 3113 40 | 0.002 % | 6.99/7.04 c | 92621 | 210 246 2060 | 6050 3264 39 | 0.002 % | 6.99/7.06 c | 92846 | 210 246 2060 | 6655 3489 40 | 0.002 % | 6.99/7.08 c | 93184 | 210 246 2060 | 7320 3827 40 | 0.002 % | 7.09/7.12 c | 93691 | 210 246 2060 | 8052 4334 41 | 0.002 % | 7.09/7.18 c | 94452 | 210 246 2060 | 8857 5095 40 | 0.002 % | 7.19/7.25 c | 95592 | 210 246 2060 | 9743 6235 38 | 0.048 % | 7.29/7.34 c =============================================================================== 7.29/7.34 c New solution: 9238 7.29/7.34 o 9238 7.29/7.34 c Elapsed CPU time: 7.12292 s Remaining CPU time: 172.877 s 7.29/7.34 c =============================================================================== 7.29/7.34 c | 96671 | 210 247 2270 | 5000 7314 39 | 0.048 % | 7.29/7.36 c | 96773 | 210 247 2270 | 5500 3759 38 | 0.002 % | 7.29/7.37 c | 96924 | 210 247 2270 | 6050 3910 38 | 0.002 % | 7.29/7.39 c | 97150 | 210 247 2270 | 6655 4136 38 | 0.048 % | 7.39/7.41 c | 97487 | 210 247 2270 | 7320 4473 38 | 0.048 % | 7.39/7.45 c | 97994 | 210 247 2270 | 8052 4980 37 | 0.048 % | 7.48/7.52 c | 98753 | 210 247 2270 | 8857 5739 38 | 0.002 % | 7.48/7.60 c | 99894 | 210 247 2270 | 9743 6880 38 | 0.048 % | 7.70/7.73 c | 101602 | 210 247 2270 | 10717 8588 39 | 0.048 % | 7.89/7.98 c | 104165 | 210 247 2270 | 11789 5718 39 | 0.002 % | 8.19/8.29 c | 108009 | 210 247 2270 | 12968 9562 39 | 0.048 % | 8.70/8.80 c | 113776 | 210 247 2270 | 14265 8762 38 | 0.002 % | 9.39/9.41 c =============================================================================== 9.39/9.41 c New solution: 9228 9.39/9.41 o 9228 9.39/9.41 c Elapsed CPU time: 9.12061 s Remaining CPU time: 170.879 s 9.39/9.41 c =============================================================================== 9.39/9.41 c | 120932 | 210 248 2480 | 5000 8692 35 | 0.002 % | 9.39/9.44 c | 121033 | 210 248 2480 | 5500 4447 35 | 0.048 % | 9.39/9.44 c | 121183 | 210 248 2480 | 6050 4597 35 | 0.048 % | 9.39/9.46 c | 121408 | 210 248 2480 | 6655 4822 35 | 0.048 % | 9.39/9.49 c | 121746 | 210 248 2480 | 7320 5160 35 | 0.002 % | 9.49/9.54 c | 122253 | 210 248 2480 | 8052 5667 36 | 0.002 % | 9.49/9.59 c | 123014 | 210 248 2480 | 8857 6428 36 | 0.048 % | 9.58/9.69 c | 124154 | 210 248 2480 | 9743 7568 37 | 0.048 % | 9.79/9.83 c | 125863 | 210 248 2480 | 10717 9277 37 | 0.048 % | 9.99/10.07 c | 128426 | 210 248 2480 | 11789 6402 39 | 0.002 % | 10.29/10.39 c | 132270 | 210 248 2480 | 12968 10246 38 | 0.002 % | 10.89/10.95 c | 138037 | 210 248 2480 | 14265 9463 39 | 0.002 % | 11.69/11.73 c | 146686 | 210 248 2480 | 15692 10900 39 | 0.048 % | 12.99/13.09 c | 159660 | 210 248 2480 | 17261 7993 36 | 0.048 % | 14.78/14.86 c | 179121 | 210 248 2480 | 18987 10023 34 | 0.002 % | 15.59/15.66 c =============================================================================== 15.59/15.66 c New solution: 9178 15.59/15.66 o 9178 15.59/15.66 c Elapsed CPU time: 15.1767 s Remaining CPU time: 164.823 s 15.59/15.66 c =============================================================================== 15.59/15.66 c | 187561 | 210 249 2690 | 5000 18463 37 | 0.002 % | 15.69/15.73 c | 187661 | 210 249 2690 | 5500 4716 43 | 0.002 % | 15.69/15.74 c | 187813 | 210 249 2690 | 6050 4868 43 | 0.002 % | 15.69/15.76 c | 188038 | 210 249 2690 | 6655 5093 43 | 0.002 % | 15.69/15.79 c | 188376 | 210 249 2690 | 7320 5431 43 | 0.048 % | 15.79/15.83 c | 188883 | 210 249 2690 | 8052 5938 42 | 0.002 % | 15.79/15.90 c | 189643 | 210 249 2690 | 8857 6698 42 | 0.002 % | 15.99/16.00 c | 190783 | 210 249 2690 | 9743 7838 41 | 0.002 % | 16.09/16.16 c | 192493 | 210 249 2690 | 10717 9548 42 | 0.002 % | 16.40/16.42 c | 195055 | 210 249 2690 | 11789 6674 40 | 0.048 % | 16.69/16.75 c | 198900 | 210 249 2690 | 12968 10519 39 | 0.048 % | 17.29/17.36 c | 204667 | 210 249 2690 | 14265 9720 37 | 0.048 % | 18.29/18.34 c | 213317 | 210 249 2690 | 15692 11180 36 | 0.002 % | 19.49/19.57 c =============================================================================== 19.49/19.57 c New solution: 9164 19.49/19.57 o 9164 19.49/19.57 c Elapsed CPU time: 18.9791 s Remaining CPU time: 161.021 s 19.49/19.57 c =============================================================================== 19.49/19.57 c | 224947 | 210 250 2900 | 5000 14900 40 | 0.002 % | 19.59/19.62 c | 225048 | 210 250 2900 | 5500 3826 40 | 0.002 % | 19.59/19.63 c | 225198 | 210 250 2900 | 6050 3976 40 | 0.002 % | 19.59/19.65 c | 225423 | 210 250 2900 | 6655 4201 40 | 0.048 % | 19.59/19.68 c | 225760 | 210 250 2900 | 7320 4538 40 | 0.002 % | 19.69/19.72 c | 226266 | 210 250 2900 | 8052 5044 40 | 0.002 % | 19.69/19.78 c | 227026 | 210 250 2900 | 8857 5804 39 | 0.002 % | 19.79/19.88 c | 228166 | 210 250 2900 | 9743 6944 38 | 0.048 % | 19.98/20.07 c | 229874 | 210 250 2900 | 10717 8652 39 | 0.048 % | 20.09/20.18 c =============================================================================== 20.09/20.18 c New solution: 9148 20.09/20.18 o 9148 20.09/20.18 c Elapsed CPU time: 19.575 s Remaining CPU time: 160.425 s 20.09/20.18 c =============================================================================== 20.09/20.18 c | 231044 | 210 251 3110 | 5000 9822 39 | 0.048 % | 20.19/20.20 c | 231144 | 210 251 3110 | 5500 5011 38 | 0.002 % | 20.19/20.22 c | 231297 | 210 251 3110 | 6050 5164 38 | 0.002 % | 20.19/20.24 c | 231525 | 210 251 3110 | 6655 5392 38 | 0.002 % | 20.19/20.27 c | 231863 | 210 251 3110 | 7320 5730 38 | 0.002 % | 20.29/20.31 c | 232369 | 210 251 3110 | 8052 6236 38 | 0.002 % | 20.29/20.39 c | 233128 | 210 251 3110 | 8857 6995 38 | 0.002 % | 20.39/20.49 c | 234267 | 210 251 3110 | 9743 8134 38 | 0.002 % | 20.59/20.67 c | 235976 | 210 251 3110 | 10717 9843 39 | 0.048 % | 20.89/20.92 c | 238539 | 210 251 3110 | 11789 6988 39 | 0.002 % | 21.19/21.24 c | 242384 | 210 251 3110 | 12968 10833 37 | 0.048 % | 21.79/21.89 c | 248150 | 210 251 3110 | 14265 10028 39 | 0.048 % | 22.68/22.74 c | 256800 | 210 251 3110 | 15692 11466 35 | 0.048 % | 24.10/24.13 c | 269774 | 210 251 3110 | 17261 8618 44 | 0.048 % | 24.58/24.66 c =============================================================================== 24.58/24.66 c New solution: 9102 24.58/24.66 o 9102 24.58/24.66 c Elapsed CPU time: 23.9394 s Remaining CPU time: 156.061 s 24.58/24.66 c =============================================================================== 24.58/24.66 c | 274344 | 210 252 3320 | 5000 13188 44 | 0.048 % | 24.68/24.71 c | 274445 | 210 252 3320 | 5500 3398 44 | 0.002 % | 24.68/24.72 c | 274596 | 210 252 3320 | 6050 3549 44 | 0.002 % | 24.68/24.74 c | 274821 | 210 252 3320 | 6655 3774 44 | 0.002 % | 24.68/24.77 c | 275159 | 210 252 3320 | 7320 4112 42 | 0.002 % | 24.79/24.81 c | 275666 | 210 252 3320 | 8052 4619 42 | 0.002 % | 24.89/24.90 c | 276425 | 210 252 3320 | 8857 5378 42 | 0.002 % | 24.89/24.99 c | 277564 | 210 252 3320 | 9743 6517 40 | 0.002 % | 25.08/25.16 c | 279272 | 210 252 3320 | 10717 8225 39 | 0.048 % | 25.39/25.43 c | 281837 | 210 252 3320 | 11789 10790 38 | 0.048 % | 25.78/25.84 c | 285683 | 210 252 3320 | 12968 8690 39 | 0.002 % | 26.09/26.18 c =============================================================================== 26.09/26.18 c New solution: 9049 26.09/26.18 o 9049 26.09/26.18 c Elapsed CPU time: 25.4201 s Remaining CPU time: 154.58 s 26.09/26.18 c =============================================================================== 26.09/26.18 c | 289241 | 210 253 3530 | 5000 12248 41 | 0.002 % | 26.19/26.21 c | 289342 | 210 253 3530 | 5500 3163 43 | 0.002 % | 26.19/26.22 c | 289495 | 210 253 3530 | 6050 3316 43 | 0.002 % | 26.19/26.24 c | 289720 | 210 253 3530 | 6655 3541 42 | 0.048 % | 26.19/26.27 c | 290057 | 210 253 3530 | 7320 3878 41 | 0.002 % | 26.29/26.32 c | 290563 | 210 253 3530 | 8052 4384 41 | 0.002 % | 26.29/26.39 c | 291322 | 210 253 3530 | 8857 5143 41 | 0.048 % | 26.49/26.50 c | 292463 | 210 253 3530 | 9743 6284 41 | 0.048 % | 26.59/26.67 c | 294171 | 210 253 3530 | 10717 7992 41 | 0.048 % | 26.89/26.91 c | 296733 | 210 253 3530 | 11789 10554 40 | 0.048 % | 27.19/27.29 c | 300577 | 210 253 3530 | 12968 8427 37 | 0.002 % | 27.89/27.92 c | 306343 | 210 253 3530 | 14265 7623 34 | 0.048 % | 28.78/28.80 c | 314993 | 210 253 3530 | 15692 9059 35 | 0.048 % | 30.19/30.29 c | 327968 | 210 253 3530 | 17261 14108 38 | 0.048 % | 31.79/31.88 c =============================================================================== 31.79/31.88 c New solution: 9017 31.79/31.88 o 9017 31.79/31.88 c Elapsed CPU time: 30.9753 s Remaining CPU time: 149.025 s 31.79/31.88 c =============================================================================== 31.79/31.88 c | 341930 | 210 254 3740 | 5000 10642 34 | 0.048 % | 31.89/31.93 c | 342030 | 210 254 3740 | 5500 2761 33 | 0.048 % | 31.89/31.94 c | 342180 | 210 254 3740 | 6050 2911 33 | 0.002 % | 31.89/31.97 c | 342406 | 210 254 3740 | 6655 3137 33 | 0.048 % | 31.89/31.99 c | 342744 | 210 254 3740 | 7320 3475 33 | 0.002 % | 31.98/32.04 c | 343250 | 210 254 3740 | 8052 3981 34 | 0.048 % | 32.08/32.11 c | 344009 | 210 254 3740 | 8857 4740 33 | 0.048 % | 32.19/32.23 c | 345149 | 210 254 3740 | 9743 5880 34 | 0.048 % | 32.39/32.41 c | 346858 | 210 254 3740 | 10717 7589 34 | 0.002 % | 32.58/32.65 c | 349420 | 210 254 3740 | 11789 10151 35 | 0.048 % | 32.99/33.04 c | 353265 | 210 254 3740 | 12968 8029 37 | 0.002 % | 33.58/33.64 c | 359031 | 210 254 3740 | 14265 7228 36 | 0.048 % | 34.48/34.52 c | 367680 | 210 254 3740 | 15692 8666 40 | 0.048 % | 35.88/35.90 c | 380654 | 210 254 3740 | 17261 13706 38 | 0.048 % | 35.88/35.99 c =============================================================================== 35.88/35.99 c New solution: 9011 35.88/35.99 o 9011 35.88/35.99 c Elapsed CPU time: 34.9697 s Remaining CPU time: 145.03 s 35.88/35.99 c =============================================================================== 35.88/35.99 c | 381370 | 210 255 3950 | 5000 14422 38 | 0.048 % | 35.98/36.04 c | 381470 | 210 255 3950 | 5500 3706 40 | 0.002 % | 35.98/36.06 c | 381620 | 210 255 3950 | 6050 3856 40 | 0.002 % | 35.98/36.08 c | 381846 | 210 255 3950 | 6655 4082 40 | 0.002 % | 36.08/36.11 c | 382184 | 210 255 3950 | 7320 4420 39 | 0.002 % | 36.08/36.16 c | 382690 | 210 255 3950 | 8052 4926 39 | 0.048 % | 36.18/36.24 c | 383451 | 210 255 3950 | 8857 5687 39 | 0.002 % | 36.29/36.35 c | 384590 | 210 255 3950 | 9743 6826 38 | 0.002 % | 36.48/36.52 c | 386299 | 210 255 3950 | 10717 8535 40 | 0.002 % | 36.78/36.85 c | 388862 | 210 255 3950 | 11789 5642 42 | 0.048 % | 37.18/37.26 c | 392707 | 210 255 3950 | 12968 9487 43 | 0.048 % | 37.78/37.89 c | 398475 | 210 255 3950 | 14265 8714 37 | 0.002 % | 38.78/38.83 c | 407125 | 210 255 3950 | 15692 10150 36 | 0.002 % | 38.88/38.90 c =============================================================================== 38.88/38.90 c New solution: 8954 38.88/38.90 o 8954 38.88/38.90 c Elapsed CPU time: 37.8053 s Remaining CPU time: 142.195 s 38.88/38.90 c =============================================================================== 38.88/38.90 c | 407719 | 210 256 4160 | 5000 10744 36 | 0.002 % | 38.88/38.93 c | 407819 | 210 256 4160 | 5500 2786 35 | 0.002 % | 38.88/38.95 c | 407969 | 210 256 4160 | 6050 2936 36 | 0.002 % | 38.88/38.98 c | 408195 | 210 256 4160 | 6655 3162 36 | 0.002 % | 38.98/39.01 c | 408533 | 210 256 4160 | 7320 3500 36 | 0.048 % | 38.98/39.06 c | 409039 | 210 256 4160 | 8052 4006 36 | 0.002 % | 39.08/39.14 c | 409798 | 210 256 4160 | 8857 4765 36 | 0.002 % | 39.18/39.27 c | 410937 | 210 256 4160 | 9743 5904 36 | 0.048 % | 39.38/39.45 c | 412645 | 210 256 4160 | 10717 7612 37 | 0.048 % | 39.69/39.75 c | 415207 | 210 256 4160 | 11789 10174 37 | 0.002 % | 39.98/40.02 c =============================================================================== 39.98/40.02 c New solution: 8924 39.98/40.02 o 8924 39.98/40.02 c Elapsed CPU time: 38.8911 s Remaining CPU time: 141.109 s 39.98/40.02 c =============================================================================== 39.98/40.02 c | 417391 | 210 257 4370 | 5000 6389 39 | 0.002 % | 39.98/40.04 c | 417493 | 210 257 4370 | 5500 3297 40 | 0.002 % | 39.98/40.05 c | 417644 | 210 257 4370 | 6050 3448 40 | 0.002 % | 39.98/40.07 c | 417869 | 210 257 4370 | 6655 3673 40 | 0.048 % | 40.08/40.11 c | 418207 | 210 257 4370 | 7320 4011 40 | 0.002 % | 40.08/40.17 c | 418715 | 210 257 4370 | 8052 4519 41 | 0.002 % | 40.18/40.25 c | 419474 | 210 257 4370 | 8857 5278 40 | 0.048 % | 40.28/40.37 c | 420613 | 210 257 4370 | 9743 6417 41 | 0.048 % | 40.48/40.56 c | 422322 | 210 257 4370 | 10717 8126 42 | 0.048 % | 40.78/40.86 c | 424886 | 210 257 4370 | 11789 10690 42 | 0.048 % | 41.28/41.32 c | 428730 | 210 257 4370 | 12968 8572 41 | 0.002 % | 41.98/42.02 c | 434496 | 210 257 4370 | 14265 7765 41 | 0.048 % | 42.89/42.99 c | 443146 | 210 257 4370 | 15692 9219 37 | 0.002 % | 42.98/43.06 c =============================================================================== 42.98/43.06 c New solution: 8907 42.98/43.06 o 8907 42.98/43.06 c Elapsed CPU time: 41.8766 s Remaining CPU time: 138.123 s 42.98/43.06 c =============================================================================== 42.98/43.06 c | 443620 | 210 258 4580 | 5000 9693 38 | 0.002 % | 43.08/43.10 c | 443720 | 210 258 4580 | 5500 4947 39 | 0.002 % | 43.08/43.12 c | 443871 | 210 258 4580 | 6050 5098 39 | 0.002 % | 43.08/43.15 c | 444097 | 210 258 4580 | 6655 5324 40 | 0.048 % | 43.08/43.18 c | 444434 | 210 258 4580 | 7320 5661 40 | 0.048 % | 43.18/43.24 c | 444941 | 210 258 4580 | 8052 6168 40 | 0.048 % | 43.28/43.32 c | 445701 | 210 258 4580 | 8857 6928 40 | 0.048 % | 43.38/43.44 c | 446842 | 210 258 4580 | 9743 8069 41 | 0.048 % | 43.58/43.64 c | 448550 | 210 258 4580 | 10717 9777 42 | 0.048 % | 43.88/43.95 c | 451113 | 210 258 4580 | 11789 6937 44 | 0.002 % | 44.28/44.39 c | 454957 | 210 258 4580 | 12968 10781 44 | 0.002 % | 44.98/45.06 c | 460723 | 210 258 4580 | 14265 10007 40 | 0.002 % | 46.09/46.10 c | 469374 | 210 258 4580 | 15692 11447 37 | 0.048 % | 47.67/47.79 c | 482348 | 210 258 4580 | 17261 8581 34 | 0.048 % | 49.98/50.09 c =============================================================================== 49.98/50.09 c New solution: 8901 49.98/50.09 o 8901 49.98/50.09 c Elapsed CPU time: 48.7706 s Remaining CPU time: 131.229 s 49.98/50.09 c =============================================================================== 49.98/50.09 c | 499915 | 210 259 4790 | 5000 17435 37 | 0.048 % | 50.18/50.20 c | 500015 | 210 259 4790 | 5500 4459 39 | 0.002 % | 50.18/50.22 c | 500165 | 210 259 4790 | 6050 4609 38 | 0.002 % | 50.18/50.25 c | 500390 | 210 259 4790 | 6655 4834 38 | 0.002 % | 50.18/50.28 c | 500729 | 210 259 4790 | 7320 5173 38 | 0.002 % | 50.27/50.34 c | 501235 | 210 259 4790 | 8052 5679 38 | 0.002 % | 50.38/50.42 c | 501996 | 210 259 4790 | 8857 6440 37 | 0.002 % | 50.49/50.56 c | 503135 | 210 259 4790 | 9743 7579 37 | 0.048 % | 50.67/50.76 c | 504843 | 210 259 4790 | 10717 9287 36 | 0.048 % | 50.98/51.06 c | 507406 | 210 259 4790 | 11789 6444 34 | 0.048 % | 51.48/51.55 c | 511250 | 210 259 4790 | 12968 10288 37 | 0.048 % | 52.28/52.33 c | 517017 | 210 259 4790 | 14265 9488 41 | 0.002 % | 53.28/53.38 c | 525666 | 210 259 4790 | 15692 10925 38 | 0.048 % | 54.99/55.08 c | 538641 | 210 259 4790 | 17261 8072 40 | 0.048 % | 57.68/57.70 c | 558103 | 210 259 4790 | 18987 10117 34 | 0.002 % | 61.48/61.59 c =============================================================================== 61.48/61.59 c New solution: 8890 61.48/61.59 o 8890 61.48/61.59 c Elapsed CPU time: 60.0129 s Remaining CPU time: 119.987 s 61.48/61.59 c =============================================================================== 61.48/61.59 c | 586494 | 210 260 5000 | 5000 9751 38 | 0.002 % | 61.58/61.63 c | 586595 | 210 260 5000 | 5500 4977 36 | 0.002 % | 61.58/61.65 c | 586745 | 210 260 5000 | 6050 5127 37 | 0.002 % | 61.58/61.68 c | 586971 | 210 260 5000 | 6655 5353 37 | 0.048 % | 61.68/61.72 c | 587308 | 210 260 5000 | 7320 5690 37 | 0.002 % | 61.68/61.78 c | 587814 | 210 260 5000 | 8052 6196 37 | 0.048 % | 61.77/61.86 c | 588573 | 210 260 5000 | 8857 6955 36 | 0.002 % | 61.97/62.02 c | 589712 | 210 260 5000 | 9743 8094 37 | 0.002 % | 62.17/62.22 c | 591421 | 210 260 5000 | 10717 9803 37 | 0.002 % | 62.47/62.57 c | 593983 | 210 260 5000 | 11789 6939 38 | 0.048 % | 62.98/63.05 c | 597827 | 210 260 5000 | 12968 10783 38 | 0.048 % | 63.68/63.79 c | 603593 | 210 260 5000 | 14265 9985 37 | 0.002 % | 64.98/65.01 c | 612244 | 210 260 5000 | 15692 11431 41 | 0.002 % | 67.09/67.12 c | 625219 | 210 260 5000 | 17261 8561 39 | 0.048 % | 67.37/67.49 c =============================================================================== 67.37/67.49 c New solution: 8886 67.37/67.49 o 8886 67.37/67.49 c Elapsed CPU time: 65.771 s Remaining CPU time: 114.229 s 67.37/67.49 c =============================================================================== 67.37/67.49 c | 628164 | 210 261 5210 | 5000 11506 38 | 0.048 % | 67.48/67.53 c | 628264 | 210 261 5210 | 5500 2977 34 | 0.002 % | 67.48/67.55 c | 628418 | 210 261 5210 | 6050 3131 35 | 0.002 % | 67.48/67.58 c | 628643 | 210 261 5210 | 6655 3356 35 | 0.002 % | 67.58/67.61 c | 628980 | 210 261 5210 | 7320 3693 35 | 0.002 % | 67.58/67.68 c | 629487 | 210 261 5210 | 8052 4200 37 | 0.002 % | 67.68/67.77 c | 630246 | 210 261 5210 | 8857 4959 35 | 0.048 % | 67.77/67.89 c | 631385 | 210 261 5210 | 9743 6098 36 | 0.048 % | 67.98/68.09 c | 633093 | 210 261 5210 | 10717 7806 35 | 0.002 % | 68.38/68.45 c | 635657 | 210 261 5210 | 11789 10370 38 | 0.048 % | 68.87/68.95 c | 639504 | 210 261 5210 | 12968 8254 40 | 0.048 % | 69.58/69.69 c | 645270 | 210 261 5210 | 14265 7446 36 | 0.048 % | 70.77/70.81 c | 653919 | 210 261 5210 | 15692 8876 38 | 0.048 % | 70.97/71.01 c =============================================================================== 70.97/71.01 c New solution: 8884 70.97/71.01 o 8884 70.97/71.01 c Elapsed CPU time: 69.2305 s Remaining CPU time: 110.77 s 70.97/71.01 c =============================================================================== 70.97/71.01 c | 655668 | 210 262 5420 | 5000 10625 38 | 0.048 % | 70.97/71.05 c | 655770 | 210 262 5420 | 5500 2759 39 | 0.002 % | 70.97/71.06 c | 655922 | 210 262 5420 | 6050 2911 39 | 0.002 % | 70.97/71.09 c | 656147 | 210 262 5420 | 6655 3136 39 | 0.002 % | 71.07/71.14 c | 656484 | 210 262 5420 | 7320 3473 39 | 0.002 % | 71.07/71.19 c | 656991 | 210 262 5420 | 8052 3980 38 | 0.048 % | 71.17/71.27 c | 657751 | 210 262 5420 | 8857 4740 38 | 0.002 % | 71.38/71.41 c | 658891 | 210 262 5420 | 9743 5880 38 | 0.048 % | 71.57/71.63 c | 660600 | 210 262 5420 | 10717 7589 40 | 0.002 % | 71.88/71.97 c | 663162 | 210 262 5420 | 11789 10151 42 | 0.002 % | 72.38/72.47 c | 667006 | 210 262 5420 | 12968 8023 43 | 0.048 % | 72.77/72.87 c =============================================================================== 72.77/72.87 c New solution: 8849 72.77/72.87 o 8849 72.77/72.87 c Elapsed CPU time: 71.0572 s Remaining CPU time: 108.943 s 72.77/72.87 c =============================================================================== 72.77/72.87 c | 669774 | 210 263 5630 | 5000 10791 42 | 0.048 % | 72.88/72.90 c | 669874 | 210 263 5630 | 5500 2798 36 | 0.048 % | 72.88/72.92 c | 670024 | 210 263 5630 | 6050 2948 36 | 0.002 % | 72.88/72.94 c | 670249 | 210 263 5630 | 6655 3173 36 | 0.002 % | 72.88/72.99 c | 670587 | 210 263 5630 | 7320 3511 36 | 0.002 % | 72.97/73.05 c | 671095 | 210 263 5630 | 8052 4019 35 | 0.048 % | 73.07/73.15 c | 671857 | 210 263 5630 | 8857 4781 37 | 0.002 % | 73.27/73.30 c | 672996 | 210 263 5630 | 9743 5920 38 | 0.002 % | 73.47/73.52 c | 674705 | 210 263 5630 | 10717 7629 39 | 0.048 % | 73.88/73.90 c | 677268 | 210 263 5630 | 11789 10192 40 | 0.048 % | 74.37/74.44 c | 681113 | 210 263 5630 | 12968 8068 39 | 0.048 % | 75.17/75.27 c | 686879 | 210 263 5630 | 14265 7269 42 | 0.048 % | 76.47/76.58 c | 695528 | 210 263 5630 | 15692 8691 40 | 0.048 % | 78.18/78.29 c | 708503 | 210 263 5630 | 17261 13757 34 | 0.002 % | 81.17/81.20 c | 727964 | 210 263 5630 | 18987 15810 40 | 0.048 % | 83.07/83.17 c =============================================================================== 83.07/83.17 c New solution: 8792 83.07/83.17 o 8792 83.07/83.17 c Elapsed CPU time: 81.1457 s Remaining CPU time: 98.8543 s 83.07/83.17 c =============================================================================== 83.07/83.17 c | 740970 | 210 264 5840 | 5000 9684 40 | 0.048 % | 83.17/83.20 c | 741073 | 210 264 5840 | 5500 4945 38 | 0.002 % | 83.17/83.22 c | 741224 | 210 264 5840 | 6050 5096 38 | 0.002 % | 83.17/83.25 c | 741449 | 210 264 5840 | 6655 5321 38 | 0.048 % | 83.27/83.31 c | 741786 | 210 264 5840 | 7320 5658 38 | 0.002 % | 83.27/83.37 c | 742292 | 210 264 5840 | 8052 6164 38 | 0.002 % | 83.37/83.48 c | 743054 | 210 264 5840 | 8857 6926 38 | 0.002 % | 83.57/83.63 c | 744193 | 210 264 5840 | 9743 8065 40 | 0.048 % | 83.77/83.86 c | 745901 | 210 264 5840 | 10717 9773 38 | 0.002 % | 84.17/84.22 c | 748464 | 210 264 5840 | 11789 6928 40 | 0.048 % | 84.58/84.70 c | 752308 | 210 264 5840 | 12968 10772 38 | 0.002 % | 85.07/85.17 c =============================================================================== 85.07/85.17 c New solution: 8788 85.07/85.17 o 8788 85.07/85.17 c Elapsed CPU time: 83.0954 s Remaining CPU time: 96.9046 s 85.07/85.17 c =============================================================================== 85.07/85.17 c | 755218 | 210 265 6050 | 5000 7113 40 | 0.002 % | 85.07/85.19 c | 755319 | 210 265 6050 | 5500 3658 44 | 0.002 % | 85.17/85.21 c | 755469 | 210 265 6050 | 6050 3808 44 | 0.002 % | 85.17/85.25 c | 755695 | 210 265 6050 | 6655 4034 44 | 0.048 % | 85.17/85.29 c | 756033 | 210 265 6050 | 7320 4372 43 | 0.002 % | 85.27/85.36 c | 756540 | 210 265 6050 | 8052 4879 42 | 0.002 % | 85.37/85.45 c | 757299 | 210 265 6050 | 8857 5638 42 | 0.002 % | 85.47/85.59 c | 758440 | 210 265 6050 | 9743 6779 41 | 0.002 % | 85.67/85.80 c | 760148 | 210 265 6050 | 10717 8487 40 | 0.048 % | 86.07/86.18 c | 762710 | 210 265 6050 | 11789 5604 39 | 0.048 % | 86.57/86.63 c | 766554 | 210 265 6050 | 12968 9448 37 | 0.048 % | 87.37/87.41 c | 772321 | 210 265 6050 | 14265 8647 34 | 0.002 % | 88.67/88.71 c | 780970 | 210 265 6050 | 15692 10092 38 | 0.002 % | 89.17/89.21 c =============================================================================== 89.17/89.21 c New solution: 8722 89.17/89.21 o 8722 89.17/89.21 c Elapsed CPU time: 87.0598 s Remaining CPU time: 92.9402 s 89.17/89.21 c =============================================================================== 89.17/89.21 c | 784276 | 210 266 6260 | 5000 13398 39 | 0.002 % | 89.17/89.26 c | 784376 | 210 266 6260 | 5500 3450 43 | 0.048 % | 89.17/89.28 c | 784526 | 210 266 6260 | 6050 3600 43 | 0.002 % | 89.27/89.31 c | 784759 | 210 266 6260 | 6655 3833 44 | 0.048 % | 89.27/89.36 c | 785096 | 210 266 6260 | 7320 4170 44 | 0.048 % | 89.37/89.43 c | 785602 | 210 266 6260 | 8052 4676 43 | 0.048 % | 89.47/89.54 c | 786362 | 210 266 6260 | 8857 5436 44 | 0.002 % | 89.57/89.67 c | 787501 | 210 266 6260 | 9743 6575 43 | 0.048 % | 89.86/89.93 c | 789209 | 210 266 6260 | 10717 8283 43 | 0.002 % | 90.17/90.28 c | 791772 | 210 266 6260 | 11789 10846 40 | 0.002 % | 90.77/90.80 c | 795616 | 210 266 6260 | 12968 8717 38 | 0.002 % | 91.47/91.59 c | 801382 | 210 266 6260 | 14265 7916 36 | 0.002 % | 92.86/92.98 c | 810031 | 210 266 6260 | 15692 9338 51 | 0.048 % | 94.87/94.90 c | 823006 | 210 266 6260 | 17261 14391 36 | 0.002 % | 97.17/97.28 c =============================================================================== 97.17/97.28 c New solution: 8676 97.17/97.28 o 8676 97.17/97.28 c Elapsed CPU time: 94.9886 s Remaining CPU time: 85.0114 s 97.17/97.28 c =============================================================================== 97.17/97.28 c | 840024 | 210 267 6470 | 5000 13985 34 | 0.002 % | 97.27/97.34 c | 840125 | 210 267 6470 | 5500 3598 32 | 0.048 % | 97.27/97.35 c | 840276 | 210 267 6470 | 6050 3749 33 | 0.002 % | 97.27/97.38 c | 840502 | 210 267 6470 | 6655 3975 33 | 0.048 % | 97.37/97.42 c | 840841 | 210 267 6470 | 7320 4314 33 | 0.002 % | 97.46/97.50 c | 841348 | 210 267 6470 | 8052 4821 34 | 0.002 % | 97.57/97.60 c | 842107 | 210 267 6470 | 8857 5580 34 | 0.048 % | 97.67/97.74 c | 843247 | 210 267 6470 | 9743 6720 35 | 0.048 % | 97.87/97.97 c | 844956 | 210 267 6470 | 10717 8429 35 | 0.048 % | 98.26/98.32 c | 847518 | 210 267 6470 | 11789 5551 35 | 0.048 % | 98.66/98.79 c | 851362 | 210 267 6470 | 12968 9395 37 | 0.048 % | 99.66/99.71 c | 857128 | 210 267 6470 | 14265 8591 43 | 0.048 % | 100.86/100.93 c | 865777 | 210 267 6470 | 15692 10025 39 | 0.048 % | 102.86/102.99 c | 878752 | 210 267 6470 | 17261 15071 38 | 0.002 % | 105.67/105.72 c | 898213 | 210 267 6470 | 18987 17131 34 | 0.002 % | 107.96/108.04 c =============================================================================== 107.96/108.04 c New solution: 8654 107.96/108.04 o 8654 107.96/108.04 c Elapsed CPU time: 105.548 s Remaining CPU time: 74.452 s 107.96/108.04 c =============================================================================== 107.96/108.04 c | 911542 | 210 268 6680 | 5000 11313 40 | 0.002 % | 107.96/108.09 c | 911644 | 210 268 6680 | 5500 2931 41 | 0.002 % | 108.07/108.11 c | 911795 | 210 268 6680 | 6050 3082 41 | 0.002 % | 108.07/108.14 c | 912020 | 210 268 6680 | 6655 3307 41 | 0.002 % | 108.07/108.19 c | 912357 | 210 268 6680 | 7320 3644 41 | 0.002 % | 108.17/108.27 c | 912865 | 210 268 6680 | 8052 4152 40 | 0.002 % | 108.26/108.37 c | 913625 | 210 268 6680 | 8857 4912 39 | 0.048 % | 108.46/108.52 c | 914765 | 210 268 6680 | 9743 6052 38 | 0.048 % | 108.66/108.76 c | 916474 | 210 268 6680 | 10717 7761 39 | 0.048 % | 109.06/109.16 c | 919036 | 210 268 6680 | 11789 10323 38 | 0.048 % | 109.66/109.78 c | 922881 | 210 268 6680 | 12968 8181 41 | 0.048 % | 110.47/110.57 c | 928649 | 210 268 6680 | 14265 7414 40 | 0.048 % | 111.76/111.83 c | 937299 | 210 268 6680 | 15692 8864 39 | 0.048 % | 113.76/113.83 c | 950273 | 210 268 6680 | 17261 13930 38 | 0.048 % | 116.76/116.85 c | 969734 | 210 268 6680 | 18987 15978 36 | 0.002 % | 121.56/121.60 c | 998926 | 210 268 6680 | 20886 16428 36 | 0.048 % | 126.26/126.30 c =============================================================================== 126.26/126.30 c New solution: 8623 126.26/126.30 o 8623 126.26/126.30 c Elapsed CPU time: 123.499 s Remaining CPU time: 56.5008 s 126.26/126.30 c =============================================================================== 126.26/126.30 c | 1025502 | 210 269 6890 | 5000 11475 36 | 0.048 % | 126.26/126.35 c | 1025602 | 210 269 6890 | 5500 2969 34 | 0.002 % | 126.26/126.37 c | 1025752 | 210 269 6890 | 6050 3119 34 | 0.002 % | 126.36/126.41 c | 1025978 | 210 269 6890 | 6655 3345 35 | 0.048 % | 126.36/126.45 c | 1026315 | 210 269 6890 | 7320 3682 35 | 0.048 % | 126.46/126.51 c | 1026821 | 210 269 6890 | 8052 4188 34 | 0.002 % | 126.56/126.61 c | 1027581 | 210 269 6890 | 8857 4948 34 | 0.048 % | 126.66/126.75 c | 1028720 | 210 269 6890 | 9743 6087 35 | 0.048 % | 126.96/127.00 c | 1030428 | 210 269 6890 | 10717 7795 35 | 0.048 % | 127.26/127.35 c | 1032990 | 210 269 6890 | 11789 10357 35 | 0.002 % | 127.76/127.89 c | 1036834 | 210 269 6890 | 12968 8269 35 | 0.048 % | 128.67/128.77 c | 1042602 | 210 269 6890 | 14265 7494 35 | 0.048 % | 129.86/129.92 c | 1051252 | 210 269 6890 | 15692 8936 36 | 0.048 % | 130.56/130.67 c =============================================================================== 130.56/130.67 c New solution: 8585 130.56/130.67 o 8585 130.56/130.67 c Elapsed CPU time: 127.792 s Remaining CPU time: 52.2084 s 130.56/130.67 c =============================================================================== 130.56/130.67 c | 1056629 | 210 270 7100 | 5000 14313 36 | 0.048 % | 130.66/130.72 c | 1056732 | 210 270 7100 | 5500 3682 34 | 0.048 % | 130.66/130.75 c | 1056882 | 210 270 7100 | 6050 3832 35 | 0.002 % | 130.66/130.77 c | 1057109 | 210 270 7100 | 6655 4059 36 | 0.002 % | 130.77/130.82 c | 1057446 | 210 270 7100 | 7320 4396 36 | 0.048 % | 130.77/130.90 c | 1057953 | 210 270 7100 | 8052 4903 38 | 0.002 % | 130.86/130.99 c | 1058713 | 210 270 7100 | 8857 5663 38 | 0.002 % | 131.06/131.15 c | 1059852 | 210 270 7100 | 9743 6802 39 | 0.048 % | 131.36/131.47 c | 1061560 | 210 270 7100 | 10717 8510 41 | 0.048 % | 131.87/131.91 c | 1064122 | 210 270 7100 | 11789 5637 44 | 0.048 % | 132.36/132.41 c | 1067967 | 210 270 7100 | 12968 9482 41 | 0.048 % | 132.86/133.00 c =============================================================================== 132.86/133.00 c New solution: 8562 132.86/133.00 o 8562 132.86/133.00 c Elapsed CPU time: 130.067 s Remaining CPU time: 49.9328 s 132.86/133.00 c =============================================================================== 132.86/133.00 c | 1070789 | 210 271 7310 | 5000 12304 41 | 0.048 % | 132.96/133.04 c | 1070890 | 210 271 7310 | 5500 3177 42 | 0.002 % | 132.96/133.06 c | 1071042 | 210 271 7310 | 6050 3329 42 | 0.002 % | 132.96/133.09 c | 1071267 | 210 271 7310 | 6655 3554 42 | 0.002 % | 133.06/133.14 c | 1071604 | 210 271 7310 | 7320 3891 42 | 0.002 % | 133.16/133.20 c | 1072110 | 210 271 7310 | 8052 4397 42 | 0.048 % | 133.16/133.29 c | 1072869 | 210 271 7310 | 8857 5156 41 | 0.048 % | 133.36/133.48 c | 1074009 | 210 271 7310 | 9743 6296 42 | 0.048 % | 133.65/133.70 c | 1075718 | 210 271 7310 | 10717 8005 42 | 0.002 % | 134.06/134.11 c | 1078281 | 210 271 7310 | 11789 10568 41 | 0.048 % | 134.56/134.65 c | 1082125 | 210 271 7310 | 12968 8427 39 | 0.048 % | 135.46/135.57 c | 1087892 | 210 271 7310 | 14265 7620 37 | 0.048 % | 136.86/136.99 c | 1096541 | 210 271 7310 | 15692 9059 36 | 0.048 % | 137.47/137.59 c =============================================================================== 137.47/137.59 c New solution: 8526 137.47/137.59 o 8526 137.47/137.59 c Elapsed CPU time: 134.562 s Remaining CPU time: 45.4385 s 137.47/137.59 c =============================================================================== 137.47/137.59 c | 1100727 | 210 272 7520 | 5000 13245 35 | 0.048 % | 137.55/137.64 c | 1100827 | 210 272 7520 | 5500 3412 34 | 0.002 % | 137.55/137.66 c | 1100979 | 210 272 7520 | 6050 3564 34 | 0.002 % | 137.55/137.69 c | 1101204 | 210 272 7520 | 6655 3789 34 | 0.048 % | 137.65/137.74 c | 1101541 | 210 272 7520 | 7320 4126 35 | 0.048 % | 137.76/137.81 c | 1102049 | 210 272 7520 | 8052 4634 37 | 0.048 % | 137.86/137.92 c | 1102809 | 210 272 7520 | 8857 5394 36 | 0.002 % | 138.06/138.11 c | 1103948 | 210 272 7520 | 9743 6533 37 | 0.048 % | 138.25/138.33 c | 1105656 | 210 272 7520 | 10717 8241 37 | 0.002 % | 138.57/138.69 c | 1108218 | 210 272 7520 | 11789 10803 37 | 0.002 % | 139.26/139.35 c | 1112063 | 210 272 7520 | 12968 8668 39 | 0.048 % | 140.16/140.23 c | 1117829 | 210 272 7520 | 14265 7883 37 | 0.048 % | 140.66/140.79 c =============================================================================== 140.66/140.79 c New solution: 8478 140.66/140.79 o 8478 140.66/140.79 c Elapsed CPU time: 137.715 s Remaining CPU time: 42.2849 s 140.66/140.79 c =============================================================================== 140.66/140.79 c | 1121300 | 210 273 7730 | 5000 11354 37 | 0.048 % | 140.76/140.84 c | 1121400 | 210 273 7730 | 5500 2939 37 | 0.048 % | 140.76/140.86 c | 1121550 | 210 273 7730 | 6050 3089 38 | 0.002 % | 140.76/140.89 c | 1121775 | 210 273 7730 | 6655 3314 38 | 0.048 % | 140.86/140.94 c | 1122113 | 210 273 7730 | 7320 3652 38 | 0.048 % | 140.96/141.01 c | 1122619 | 210 273 7730 | 8052 4158 38 | 0.002 % | 141.05/141.14 c | 1123378 | 210 273 7730 | 8857 4917 41 | 0.048 % | 141.16/141.28 c | 1124517 | 210 273 7730 | 9743 6056 41 | 0.002 % | 141.45/141.52 c | 1126225 | 210 273 7730 | 10717 7764 40 | 0.048 % | 141.86/141.92 c | 1128787 | 210 273 7730 | 11789 10326 40 | 0.048 % | 142.45/142.50 c | 1132631 | 210 273 7730 | 12968 8194 42 | 0.048 % | 143.46/143.50 c | 1138397 | 210 273 7730 | 14265 7397 42 | 0.048 % | 144.76/144.85 c | 1147047 | 210 273 7730 | 15692 8858 37 | 0.048 % | 146.95/147.07 c | 1160021 | 210 273 7730 | 17261 13912 43 | 0.002 % | 150.25/150.35 c | 1179482 | 210 273 7730 | 18987 15943 36 | 0.048 % | 155.36/155.40 c | 1208675 | 210 273 7730 | 20886 16412 35 | 0.048 % | 162.85/162.96 c | 1252465 | 210 273 7730 | 22974 18126 34 | 0.050 % | 171.05/171.18 c =============================================================================== 171.05/171.18 c New solution: 8380 171.05/171.18 o 8380 171.05/171.18 c Elapsed CPU time: 167.575 s Remaining CPU time: 12.4255 s 171.05/171.18 c =============================================================================== 171.05/171.18 c | 1294378 | 210 274 7940 | 5000 11136 35 | 0.050 % | 171.15/171.22 c | 1294480 | 210 274 7940 | 5500 2886 36 | 0.002 % | 171.15/171.24 c | 1294630 | 210 274 7940 | 6050 3036 36 | 0.050 % | 171.15/171.27 c | 1294855 | 210 274 7940 | 6655 3261 35 | 0.050 % | 171.25/171.34 c | 1295193 | 210 274 7940 | 7320 3599 36 | 0.002 % | 171.35/171.40 c | 1295699 | 210 274 7940 | 8052 4105 35 | 0.002 % | 171.46/171.50 c | 1296459 | 210 274 7940 | 8857 4865 37 | 0.050 % | 171.56/171.67 c | 1297600 | 210 274 7940 | 9743 6006 37 | 0.050 % | 171.84/171.94 c | 1299309 | 210 274 7940 | 10717 7715 36 | 0.050 % | 172.14/172.29 c | 1301871 | 210 274 7940 | 11789 10277 35 | 0.048 % | 172.85/172.92 c | 1305716 | 210 274 7940 | 12968 8155 36 | 0.050 % | 173.65/173.79 c | 1311483 | 210 274 7940 | 14265 7359 36 | 0.050 % | 175.05/175.18 c | 1320133 | 210 274 7940 | 15692 8795 37 | 0.003 % | 177.15/177.25 c | 1333108 | 210 274 7940 | 17261 13840 36 | 0.050 % | 180.44/180.53 c | 1352570 | 210 274 7940 | 18987 15907 35 | 0.048 % | 183.74/183.82 c There are 0 assigned variables. 0 in cost function. 185.54/185.60 c core #1 185.54/185.60 c core #2 185.54/185.60 c core #3 185.54/185.60 c core #4 185.54/185.60 c core #5 185.54/185.60 c core #6 185.54/185.60 c core #7 185.54/185.60 c core #8 185.54/185.60 c core #9 185.54/185.60 c core #10 185.54/185.60 c core #11 185.54/185.60 c core #12 185.54/185.60 c core #13 185.54/185.60 c core #14 185.54/185.60 c core #15 185.54/185.60 c core #16 185.54/185.60 c core #17 185.54/185.60 c core #18 185.54/185.60 c core #19 185.54/185.60 c core #20 185.54/185.60 c core #21 185.54/185.60 c core #22 185.54/185.60 c core #23 185.54/185.60 c core #24 185.54/185.60 c core #25 185.54/185.60 c core #26 185.54/185.60 c core #27 185.54/185.60 c core #28 185.54/185.60 c core #29 185.54/185.60 c core #30 185.54/185.60 c core #31 185.54/185.60 c core #32 185.54/185.60 c core #33 185.54/185.60 c core #34 185.54/185.60 c core #35 185.54/185.60 c core #36 185.54/185.60 c core #37 185.54/185.60 c core #38 185.54/185.60 c core #39 185.54/185.60 c core #40 185.54/185.60 c core #41 185.54/185.60 c core #42 185.54/185.60 c core #43 185.54/185.60 c core #44 185.54/185.60 c core #45 185.54/185.60 c core #46 185.54/185.60 c core #47 185.54/185.60 c core #48 185.54/185.60 c core #49 185.54/185.60 c core #50 185.54/185.60 c core #51 185.54/185.60 c core #52 185.54/185.60 c core #53 185.54/185.60 c core #54 185.54/185.60 c core #55 185.54/185.60 c core #56 185.54/185.60 c core #57 185.54/185.60 c core #58 185.54/185.60 c core #59 185.54/185.60 c core #60 185.54/185.60 c core #61 185.54/185.60 c core #62 185.54/185.60 c core #63 185.54/185.60 c core #64 185.54/185.60 c core #65 185.54/185.60 c core #66 185.54/185.60 c core #67 185.54/185.60 c core #68 185.54/185.60 c core #69 185.54/185.60 c core #70 185.54/185.60 c core #71 185.54/185.60 c core #72 185.54/185.60 c core #73 185.54/185.60 c core #74 185.54/185.60 c core #75 185.54/185.60 c core #76 185.54/185.60 c core #77 185.54/185.60 c core #78 185.54/185.60 c core #79 185.54/185.60 c core #80 185.54/185.60 c core #81 185.54/185.60 c core #82 185.54/185.60 c core #83 185.54/185.60 c core #84 185.54/185.60 c core #85 185.54/185.60 c core #86 185.54/185.60 c core #87 185.54/185.60 c core #88 185.54/185.60 c core #89 185.54/185.60 c core #90 185.54/185.60 c core #91 185.54/185.60 c core #92 185.54/185.60 c core #93 185.54/185.60 c core #94 185.54/185.60 c core #95 185.54/185.60 c core #96 185.54/185.60 c core #97 185.54/185.60 c core #98 185.54/185.60 c core #99 185.54/185.60 c core #100 185.54/185.60 c core #101 185.54/185.60 c core #102 185.54/185.60 c core #103 185.54/185.60 c core #104 185.54/185.60 c core #105 185.54/185.60 c core #106 185.54/185.60 c core #107 185.54/185.60 c core #108 185.54/185.60 c ============================[ Search Statistics ]============================== 185.54/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.60 c =============================================================================== 185.54/185.60 c | 0 | 1891 2315 10581 | 5000 0 nan | 0.000 % | 185.54/185.60 c =============================================================================== 185.54/185.61 c core #109 185.54/185.61 c ============================[ Search Statistics ]============================== 185.54/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.61 c =============================================================================== 185.54/185.61 c | 0 | 1913 2337 10626 | 5000 0 nan | 0.000 % | 185.54/185.61 c =============================================================================== 185.54/185.62 c core #110 185.54/185.62 c ============================[ Search Statistics ]============================== 185.54/185.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.62 c =============================================================================== 185.54/185.62 c | 0 | 1935 2359 10671 | 5000 0 nan | 0.000 % | 185.54/185.62 c =============================================================================== 185.54/185.63 c core #111 185.54/185.63 c ============================[ Search Statistics ]============================== 185.54/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.63 c =============================================================================== 185.54/185.63 c | 0 | 1957 2381 10716 | 5000 0 nan | 0.000 % | 185.54/185.64 c =============================================================================== 185.54/185.65 c core #112 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 1979 2403 10761 | 5000 0 nan | 0.000 % | 185.54/185.65 c =============================================================================== 185.54/185.66 c core #113 185.54/185.66 c ============================[ Search Statistics ]============================== 185.54/185.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.66 c =============================================================================== 185.54/185.66 c | 0 | 2001 2425 10806 | 5000 0 nan | 0.000 % | 185.54/185.66 c =============================================================================== 185.54/185.67 c core #114 185.54/185.67 c ============================[ Search Statistics ]============================== 185.54/185.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.67 c =============================================================================== 185.54/185.67 c | 0 | 2023 2447 10851 | 5000 0 nan | 0.000 % | 185.54/185.67 c =============================================================================== 185.54/185.69 c core #115 185.54/185.69 c ============================[ Search Statistics ]============================== 185.54/185.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.69 c =============================================================================== 185.54/185.69 c | 0 | 2045 2469 10896 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.70 c core #116 185.64/185.70 c ============================[ Search Statistics ]============================== 185.64/185.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.70 c =============================================================================== 185.64/185.70 c | 0 | 2067 2491 10941 | 5000 0 nan | 0.000 % | 185.64/185.70 c =============================================================================== 185.64/185.71 c core #117 185.64/185.71 c ============================[ Search Statistics ]============================== 185.64/185.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.71 c =============================================================================== 185.64/185.71 c | 0 | 2092 2517 11001 | 5000 0 nan | 0.000 % | 185.64/185.72 c =============================================================================== 185.64/185.73 c core #118 185.64/185.73 c ============================[ Search Statistics ]============================== 185.64/185.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.73 c =============================================================================== 185.64/185.73 c | 0 | 2116 2541 11054 | 5000 0 nan | 0.000 % | 185.64/185.73 c =============================================================================== 185.64/185.74 c core #119 185.64/185.74 c ============================[ Search Statistics ]============================== 185.64/185.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.74 c =============================================================================== 185.64/185.74 c | 0 | 2140 2565 11107 | 5000 0 nan | 0.000 % | 185.64/185.75 c =============================================================================== 185.64/185.76 c core #120 185.64/185.76 c ============================[ Search Statistics ]============================== 185.64/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.76 c =============================================================================== 185.64/185.76 c | 0 | 2164 2589 11160 | 5000 0 nan | 0.000 % | 185.64/185.76 c =============================================================================== 185.64/185.77 c core #121 185.64/185.77 c ============================[ Search Statistics ]============================== 185.64/185.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.77 c =============================================================================== 185.64/185.77 c | 0 | 2189 2610 11275 | 5000 0 nan | 0.000 % | 185.64/185.78 c =============================================================================== 185.64/185.79 c core #122 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.79 c =============================================================================== 185.64/185.79 c | 0 | 2217 2636 11322 | 5000 0 nan | 0.000 % | 185.64/185.79 c =============================================================================== 185.75/185.80 c core #123 185.75/185.80 c ============================[ Search Statistics ]============================== 185.75/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.80 c =============================================================================== 185.75/185.80 c | 0 | 2241 2660 11411 | 5000 0 nan | 0.000 % | 185.75/185.81 c =============================================================================== 185.75/185.82 c core #124 185.75/185.82 c ============================[ Search Statistics ]============================== 185.75/185.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.82 c =============================================================================== 185.75/185.82 c | 0 | 2269 2687 11460 | 5000 0 nan | 0.000 % | 185.75/185.82 c =============================================================================== 185.75/185.84 c core #125 185.75/185.84 c ============================[ Search Statistics ]============================== 185.75/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.84 c =============================================================================== 185.75/185.84 c | 0 | 2296 2715 11519 | 5000 0 nan | 0.000 % | 185.75/185.84 c =============================================================================== 185.75/185.85 c core #126 185.75/185.85 c ============================[ Search Statistics ]============================== 185.75/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.85 c =============================================================================== 185.75/185.85 c | 0 | 2323 2741 11570 | 5000 0 nan | 0.000 % | 185.75/185.86 c =============================================================================== 185.75/185.87 c core #127 185.75/185.87 c ============================[ Search Statistics ]============================== 185.75/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.87 c =============================================================================== 185.75/185.87 c | 0 | 2359 2774 11640 | 5000 0 nan | 0.000 % | 185.75/185.87 c =============================================================================== 185.75/185.89 c core #128 185.75/185.89 c ============================[ Search Statistics ]============================== 185.75/185.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.89 c =============================================================================== 185.75/185.89 c | 0 | 2379 2794 11680 | 5000 0 nan | 0.000 % | 185.75/185.89 c =============================================================================== 185.86/185.91 c core #129 185.86/185.91 c ============================[ Search Statistics ]============================== 185.86/185.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.91 c =============================================================================== 185.86/185.91 c | 0 | 2410 2824 11731 | 5000 0 nan | 0.000 % | 185.86/185.91 c =============================================================================== 185.86/185.92 c core #130 185.86/185.92 c ============================[ Search Statistics ]============================== 185.86/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.92 c =============================================================================== 185.86/185.92 c | 0 | 2438 2853 11786 | 5000 0 nan | 0.000 % | 185.86/185.93 c =============================================================================== 185.86/185.94 c core #131 185.86/185.94 c ============================[ Search Statistics ]============================== 185.86/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.94 c =============================================================================== 185.86/185.94 c | 0 | 2466 2879 11833 | 5000 0 nan | 0.000 % | 185.86/185.94 c =============================================================================== 185.86/185.96 c core #132 185.86/185.96 c ============================[ Search Statistics ]============================== 185.86/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.96 c =============================================================================== 185.86/185.96 c | 0 | 2501 2911 11893 | 5000 0 nan | 0.000 % | 185.86/185.96 c =============================================================================== 185.86/185.98 c core #133 185.86/185.98 c ============================[ Search Statistics ]============================== 185.86/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.98 c =============================================================================== 185.86/185.98 c | 0 | 2529 2940 11948 | 5000 0 nan | 0.000 % | 185.86/185.98 c =============================================================================== 185.86/185.99 c core #134 185.86/185.99 c ============================[ Search Statistics ]============================== 185.86/185.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.99 c =============================================================================== 185.86/185.99 c | 0 | 2556 2967 12009 | 5000 0 nan | 0.000 % | 185.95/186.00 c =============================================================================== 185.95/186.01 c core #135 185.95/186.01 c ============================[ Search Statistics ]============================== 185.95/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.01 c =============================================================================== 185.95/186.01 c | 0 | 2582 2994 12068 | 5000 0 nan | 0.000 % | 185.95/186.02 c =============================================================================== 185.95/186.03 c core #136 185.95/186.03 c ============================[ Search Statistics ]============================== 185.95/186.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.03 c =============================================================================== 185.95/186.03 c | 0 | 2613 3021 12123 | 5000 0 nan | 0.000 % | 185.95/186.04 c =============================================================================== 185.95/186.05 c core #137 185.95/186.05 c ============================[ Search Statistics ]============================== 185.95/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.05 c =============================================================================== 185.95/186.05 c | 0 | 2646 3054 12190 | 5000 0 nan | 0.000 % | 185.95/186.05 c =============================================================================== 185.95/186.07 c core #138 185.95/186.07 c ============================[ Search Statistics ]============================== 185.95/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.07 c =============================================================================== 185.95/186.07 c | 0 | 2691 3098 12314 | 5000 0 nan | 0.000 % | 185.95/186.07 c =============================================================================== 185.95/186.09 c core #139 185.95/186.09 c ============================[ Search Statistics ]============================== 185.95/186.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.95/186.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.95/186.09 c =============================================================================== 185.95/186.09 c | 0 | 2724 3131 12384 | 5000 0 nan | 0.000 % | 185.95/186.09 c =============================================================================== 186.04/186.10 c core #140 186.04/186.10 c ============================[ Search Statistics ]============================== 186.04/186.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.10 c =============================================================================== 186.04/186.10 c | 0 | 2764 3167 12563 | 5000 0 nan | 0.000 % | 186.04/186.11 c =============================================================================== 186.04/186.12 c core #141 186.04/186.12 c ============================[ Search Statistics ]============================== 186.04/186.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.12 c =============================================================================== 186.04/186.12 c | 0 | 2806 3206 12665 | 5000 0 nan | 0.000 % | 186.04/186.13 c =============================================================================== 186.04/186.14 c core #142 186.04/186.14 c ============================[ Search Statistics ]============================== 186.04/186.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.14 c =============================================================================== 186.04/186.14 c | 0 | 2847 3247 12771 | 5000 0 nan | 0.000 % | 186.04/186.15 c =============================================================================== 186.04/186.16 c core #143 186.04/186.16 c ============================[ Search Statistics ]============================== 186.04/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.16 c =============================================================================== 186.04/186.16 c | 0 | 2885 3284 12862 | 5000 0 nan | 0.000 % | 186.04/186.17 c =============================================================================== 186.04/186.18 c core #144 186.04/186.18 c ============================[ Search Statistics ]============================== 186.04/186.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.18 c =============================================================================== 186.04/186.18 c | 0 | 2922 3314 12929 | 5000 0 nan | 0.000 % | 186.04/186.19 c =============================================================================== 186.15/186.20 c core #145 186.15/186.20 c ============================[ Search Statistics ]============================== 186.15/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.20 c =============================================================================== 186.15/186.20 c | 0 | 2964 3357 13048 | 5000 0 nan | 0.000 % | 186.15/186.21 c =============================================================================== 186.15/186.22 c core #146 186.15/186.22 c ============================[ Search Statistics ]============================== 186.15/186.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.22 c =============================================================================== 186.15/186.22 c | 0 | 3000 3393 13134 | 5000 0 nan | 0.000 % | 186.15/186.23 c =============================================================================== 186.15/186.24 c core #147 186.15/186.24 c ============================[ Search Statistics ]============================== 186.15/186.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.24 c =============================================================================== 186.15/186.24 c | 0 | 3050 3442 13248 | 5000 0 nan | 0.000 % | 186.15/186.25 c =============================================================================== 186.15/186.27 c core #148 186.15/186.27 c ============================[ Search Statistics ]============================== 186.15/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.27 c =============================================================================== 186.15/186.27 c | 0 | 3090 3483 13359 | 5000 0 nan | 0.000 % | 186.15/186.27 c =============================================================================== 186.15/186.29 c core #149 186.15/186.29 c ============================[ Search Statistics ]============================== 186.15/186.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.29 c =============================================================================== 186.15/186.29 c | 0 | 3133 3518 13452 | 5000 0 nan | 0.000 % | 186.24/186.30 c =============================================================================== 186.24/186.31 c core #150 186.24/186.31 c ============================[ Search Statistics ]============================== 186.24/186.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.31 c =============================================================================== 186.24/186.31 c | 0 | 3185 3570 13581 | 5000 0 nan | 0.000 % | 186.24/186.32 c =============================================================================== 186.24/186.33 c core #151 186.24/186.33 c ============================[ Search Statistics ]============================== 186.24/186.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.33 c =============================================================================== 186.24/186.33 c | 0 | 3223 3607 13676 | 5000 0 nan | 0.000 % | 186.24/186.34 c =============================================================================== 186.24/186.36 c core #152 186.24/186.36 c ============================[ Search Statistics ]============================== 186.24/186.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.36 c =============================================================================== 186.24/186.36 c | 0 | 3272 3649 13807 | 5000 0 nan | 0.000 % | 186.24/186.37 c =============================================================================== 186.24/186.38 c core #153 186.24/186.38 c ============================[ Search Statistics ]============================== 186.24/186.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.38 c =============================================================================== 186.24/186.38 c | 0 | 3309 3685 13899 | 5000 0 nan | 0.000 % | 186.24/186.39 c =============================================================================== 186.34/186.41 c core #154 186.34/186.41 c ============================[ Search Statistics ]============================== 186.34/186.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.41 c =============================================================================== 186.34/186.41 c | 0 | 3353 3728 13988 | 5000 0 nan | 0.000 % | 186.34/186.42 c =============================================================================== 186.34/186.43 c core #155 186.34/186.44 c ============================[ Search Statistics ]============================== 186.34/186.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.44 c =============================================================================== 186.34/186.44 c | 0 | 3411 3781 14108 | 5000 0 nan | 0.000 % | 186.34/186.44 c =============================================================================== 186.34/186.46 c core #156 186.34/186.46 c ============================[ Search Statistics ]============================== 186.34/186.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.46 c =============================================================================== 186.34/186.46 c | 0 | 3460 3827 14233 | 5000 0 nan | 0.000 % | 186.34/186.47 c =============================================================================== 186.34/186.49 c core #157 186.34/186.49 c ============================[ Search Statistics ]============================== 186.34/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.49 c =============================================================================== 186.34/186.49 c | 0 | 3511 3876 14361 | 5000 0 nan | 0.000 % | 186.45/186.50 c =============================================================================== 186.45/186.52 c core #158 186.45/186.52 c ============================[ Search Statistics ]============================== 186.45/186.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.52 c =============================================================================== 186.45/186.52 c | 0 | 3551 3917 14471 | 5000 0 nan | 0.000 % | 186.45/186.53 c =============================================================================== 186.45/186.54 c core #159 186.45/186.54 c ============================[ Search Statistics ]============================== 186.45/186.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.54 c =============================================================================== 186.45/186.54 c | 0 | 3604 3964 14590 | 5000 0 nan | 0.000 % | 186.45/186.55 c =============================================================================== 186.45/186.57 c core #160 186.45/186.57 c ============================[ Search Statistics ]============================== 186.45/186.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.57 c =============================================================================== 186.45/186.57 c | 0 | 3637 3998 14674 | 5000 0 nan | 0.000 % | 186.45/186.58 c =============================================================================== 186.45/186.60 c core #161 186.45/186.60 c ============================[ Search Statistics ]============================== 186.45/186.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.60 c =============================================================================== 186.45/186.60 c | 0 | 3692 4035 14798 | 5000 0 nan | 0.000 % | 186.54/186.61 c =============================================================================== 186.54/186.63 c core #162 186.54/186.63 c ============================[ Search Statistics ]============================== 186.54/186.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.63 c =============================================================================== 186.54/186.63 c | 0 | 3766 4077 14941 | 5000 0 nan | 0.000 % | 186.54/186.64 c =============================================================================== 186.54/186.66 c core #163 186.54/186.66 c ============================[ Search Statistics ]============================== 186.54/186.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.66 c =============================================================================== 186.54/186.66 c | 0 | 3819 4116 15070 | 5000 0 nan | 0.000 % | 186.54/186.66 c =============================================================================== 186.54/186.68 c core #164 186.54/186.68 c ============================[ Search Statistics ]============================== 186.54/186.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.68 c =============================================================================== 186.54/186.68 c | 0 | 3857 4148 15149 | 5000 0 nan | 0.000 % | 186.65/186.70 c =============================================================================== 186.65/186.72 c core #165 186.65/186.72 c ============================[ Search Statistics ]============================== 186.65/186.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.72 c =============================================================================== 186.65/186.72 c | 0 | 3918 4186 15268 | 5000 0 nan | 0.000 % | 186.65/186.73 c =============================================================================== 186.65/186.75 c core #166 186.65/186.75 c ============================[ Search Statistics ]============================== 186.65/186.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.75 c =============================================================================== 186.65/186.75 c | 0 | 3991 4220 15544 | 5000 0 nan | 0.000 % | 186.65/186.76 c =============================================================================== 186.65/186.78 c core #167 186.65/186.78 c ============================[ Search Statistics ]============================== 186.65/186.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.78 c =============================================================================== 186.65/186.78 c | 0 | 4056 4255 15686 | 5000 0 nan | 0.000 % | 186.74/186.80 c =============================================================================== 186.74/186.82 c core #168 186.74/186.82 c ============================[ Search Statistics ]============================== 186.74/186.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.82 c =============================================================================== 186.74/186.82 c | 0 | 4135 4300 15896 | 5000 0 nan | 0.000 % | 186.74/186.83 c =============================================================================== 186.74/186.85 c core #169 186.74/186.85 c ============================[ Search Statistics ]============================== 186.74/186.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.85 c =============================================================================== 186.74/186.85 c | 0 | 4192 4344 16055 | 5000 0 nan | 0.000 % | 186.74/186.87 c | 101 | 4180 4344 16055 | 5500 101 40 | 21.087 % | 186.74/186.89 c | 253 | 3426 4344 16055 | 6050 251 32 | 24.378 % | 186.85/186.91 c | 481 | 3285 4344 16055 | 6655 478 27 | 24.378 % | 186.85/186.92 c =============================================================================== 186.85/186.95 c core #170 186.85/186.95 c ============================[ Search Statistics ]============================== 186.85/186.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.95 c =============================================================================== 186.85/186.95 c | 0 | 4306 4384 16287 | 5000 0 nan | 0.000 % | 186.85/186.96 c | 100 | 4286 4384 16287 | 5500 100 14 | 18.035 % | 186.85/186.97 c | 250 | 3650 4384 16287 | 6050 249 14 | 23.441 % | 186.85/186.99 c | 475 | 3413 4384 16287 | 6655 463 13 | 23.441 % | 186.95/187.02 c | 812 | 3049 4384 16287 | 7320 404 12 | 31.607 % | 186.95/187.03 c =============================================================================== 186.95/187.06 c core #171 186.95/187.06 c ============================[ Search Statistics ]============================== 186.95/187.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.95/187.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.95/187.06 c =============================================================================== 186.95/187.06 c | 0 | 4468 4430 16657 | 5000 0 nan | 0.000 % | 186.95/187.08 c | 100 | 4446 4430 16657 | 5500 100 20 | 22.922 % | 187.04/187.10 c | 252 | 3559 4430 16657 | 6050 246 19 | 22.987 % | 187.04/187.12 c =============================================================================== 187.04/187.14 c core #172 187.04/187.14 c ============================[ Search Statistics ]============================== 187.04/187.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.04/187.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.04/187.14 c =============================================================================== 187.04/187.14 c | 0 | 4603 4480 16921 | 5000 0 nan | 0.000 % | 187.04/187.16 c | 100 | 3695 4480 16921 | 5500 96 19 | 22.292 % | 187.04/187.17 c | 251 | 3695 4480 16921 | 6050 247 29 | 22.292 % | 187.15/187.20 c | 478 | 3695 4480 16921 | 6655 474 29 | 22.292 % | 187.15/187.24 c | 816 | 3607 4480 16921 | 7320 745 36 | 24.143 % | 187.24/187.31 c | 1323 | 3606 4480 16921 | 8052 1249 36 | 24.164 % | 187.35/187.40 c | 2084 | 3606 4480 16921 | 8857 2010 32 | 24.164 % | 187.44/187.56 c | 3223 | 3605 4480 16921 | 9743 3147 30 | 24.185 % | 187.54/187.60 c =============================================================================== 187.54/187.66 c core #173 187.54/187.66 c ============================[ Search Statistics ]============================== 187.54/187.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.54/187.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.54/187.66 c =============================================================================== 187.54/187.66 c | 0 | 4784 4520 17291 | 5000 0 nan | 0.000 % | 187.54/187.68 c | 103 | 4769 4520 17291 | 5500 103 18 | 21.475 % | 187.65/187.70 c | 253 | 3876 4520 17291 | 6050 248 19 | 21.475 % | 187.65/187.73 c | 479 | 3876 4520 17291 | 6655 474 23 | 21.475 % | 187.65/187.77 c | 819 | 3875 4520 17291 | 7320 812 26 | 21.495 % | 187.74/187.85 c | 1325 | 3875 4520 17291 | 8052 1318 29 | 21.495 % | 187.84/187.98 c | 2086 | 3786 4520 17291 | 8857 1834 31 | 23.298 % | 188.05/188.14 c | 3225 | 3786 4520 17291 | 9743 2971 31 | 23.298 % | 188.34/188.42 c | 4937 | 3786 4520 17291 | 10717 4683 30 | 23.298 % | 188.95/189.01 c | 7501 | 3786 4520 17291 | 11789 7247 32 | 23.298 % | 189.94/190.04 c | 11345 | 3786 4520 17291 | 12968 11091 32 | 23.298 % | 191.85/191.93 c | 17111 | 3786 4520 17291 | 14265 9647 37 | 23.299 % | 193.64/193.76 c =============================================================================== 194.04/194.19 c core #174 194.04/194.19 c ============================[ Search Statistics ]============================== 194.04/194.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.19 c =============================================================================== 194.04/194.19 c | 0 | 4995 4569 17704 | 5000 0 nan | 0.000 % | 194.14/194.22 c | 101 | 4995 4569 17704 | 5500 101 33 | 2.953 % | 194.14/194.24 c | 251 | 4341 4569 17704 | 6050 250 26 | 20.575 % | 194.14/194.27 c | 478 | 4088 4569 17704 | 6655 474 34 | 20.575 % | 194.24/194.31 c | 816 | 4088 4569 17704 | 7320 812 32 | 20.575 % | 194.24/194.39 c | 1324 | 4088 4569 17704 | 8052 1320 37 | 20.575 % | 194.44/194.51 c | 2083 | 4088 4569 17704 | 8857 2079 34 | 20.575 % | 194.65/194.71 c | 3226 | 4088 4569 17704 | 9743 3222 35 | 20.575 % | 194.94/195.08 c | 4934 | 4088 4569 17704 | 10717 4930 35 | 20.575 % | 195.64/195.73 c | 7496 | 4088 4569 17704 | 11789 7492 41 | 20.575 % | 196.54/196.68 c | 11341 | 4000 4569 17704 | 12968 8638 44 | 22.285 % | 198.44/198.52 c | 17108 | 4000 4569 17704 | 14265 7238 42 | 22.285 % | 202.25/202.32 c | 25758 | 4000 4569 17704 | 15692 7969 42 | 22.285 % | 206.54/206.61 c | 38733 | 4000 4569 17704 | 17261 12217 60 | 22.285 % | 215.94/216.05 c | 58195 | 4000 4569 17704 | 18987 12873 64 | 22.285 % | 230.73/230.80 c | 87387 | 3989 4569 17704 | 20886 11231 69 | 22.499 % | 249.72/249.81 c | 131177 | 3989 4569 17704 | 22974 21257 66 | 22.499 % | 289.82/289.98 c | 196861 | 3989 4569 17704 | 25272 13042 56 | 22.499 % | 353.80/353.91 c | 295389 | 3989 4569 17704 | 27799 25606 68 | 22.499 % | 461.18/461.31 c | 443178 | 3989 4569 17704 | 30579 25810 68 | 22.499 % | 641.53/641.70 c | 664861 | 3989 4569 17704 | 33637 20190 75 | 22.499 % | 888.47/888.78 c | 997386 | 3989 4569 17704 | 37001 33428 89 | 22.499 % | 1002.73/1003.05 c =============================================================================== 1015.33/1015.69 c core #175 1015.33/1015.69 c ============================[ Search Statistics ]============================== 1015.33/1015.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1015.33/1015.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1015.33/1015.69 c =============================================================================== 1015.33/1015.69 c | 0 | 5223 4608 18180 | 5000 0 nan | 0.000 % | 1015.53/1015.83 c | 101 | 5223 4608 18180 | 5500 101 37 | 2.831 % | 1015.53/1015.86 c | 252 | 4568 4608 18180 | 6050 250 31 | 19.703 % | 1015.64/1015.90 c | 479 | 4316 4608 18180 | 6655 471 36 | 19.702 % | 1015.64/1015.95 c | 817 | 4316 4608 18180 | 7320 809 33 | 19.702 % | 1015.74/1016.09 c | 1330 | 4316 4608 18180 | 8052 1322 42 | 19.703 % | 1015.94/1016.25 c | 2089 | 4316 4608 18180 | 8857 2081 45 | 19.702 % | 1016.23/1016.55 c | 3228 | 4316 4608 18180 | 9743 3220 52 | 19.702 % | 1016.93/1017.21 c | 4938 | 4316 4608 18180 | 10717 4930 59 | 19.702 % | 1018.13/1018.47 c | 7501 | 4316 4608 18180 | 11789 7493 63 | 19.702 % | 1019.63/1019.91 c | 11347 | 4316 4608 18180 | 12968 11339 64 | 19.702 % | 1023.03/1023.33 c | 17114 | 4316 4608 18180 | 14265 9902 67 | 19.702 % | 1027.14/1027.45 c | 25764 | 4316 4608 18180 | 15692 10647 74 | 19.702 % | 1031.13/1031.42 c | 38738 | 4316 4608 18180 | 17261 15114 45 | 19.703 % | 1038.83/1039.19 c | 58201 | 4316 4608 18180 | 18987 15538 89 | 19.703 % | 1052.62/1052.96 c | 87394 | 4316 4608 18180 | 20886 14044 71 | 19.702 % | 1072.13/1072.42 c | 131184 | 4305 4608 18180 | 22974 12937 68 | 19.907 % | 1116.71/1117.07 c | 196868 | 4305 4608 18180 | 25272 15862 80 | 19.907 % | 1193.10/1193.48 c | 295397 | 4305 4608 18180 | 27799 16642 95 | 19.907 % | 1288.27/1288.68 c | 443186 | 4217 4608 18180 | 30579 25857 76 | 21.544 % | 1478.52/1478.97 c | 664871 | 4217 4608 18180 | 33637 20218 93 | 21.544 % |
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-2655765-1276629856/watcher-2655765-1276629856 -o /tmp/evaluation-result-2655765-1276629856/solver-2655765-1276629856 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655765-1276629856.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.38 1.16 1.06 3/106 4571 /proc/meminfo: memFree=1829392/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=2576 CPUtime=0 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 38572059 2637824 217 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 644 217 146 303 0 339 0 [startup+0.0470661 s] /proc/loadavg: 1.38 1.16 1.06 3/106 4571 /proc/meminfo: memFree=1829392/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=2708 CPUtime=0.04 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 335 0 0 0 4 0 0 0 20 0 1 0 38572059 2772992 251 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 677 251 147 303 0 372 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2708 [startup+0.10107 s] /proc/loadavg: 1.38 1.16 1.06 3/106 4571 /proc/meminfo: memFree=1829392/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=2968 CPUtime=0.09 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 407 0 0 0 9 0 0 0 20 0 1 0 38572059 3039232 323 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 742 323 147 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.30109 s] /proc/loadavg: 1.38 1.16 1.06 3/106 4571 /proc/meminfo: memFree=1829392/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=4024 CPUtime=0.29 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 661 0 0 0 29 0 0 0 20 0 1 0 38572059 4120576 577 1992294400 134512640 135751879 4288738912 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 1006 577 147 303 0 701 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4024 [startup+0.70113 s] /proc/loadavg: 1.38 1.16 1.06 3/106 4571 /proc/meminfo: memFree=1829392/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=5768 CPUtime=0.69 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 1103 0 0 0 67 2 0 0 20 0 1 0 38572059 5906432 1019 1992294400 134512640 135751879 4288738912 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 1442 1019 147 303 0 1137 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5768 [startup+1.50021 s] /proc/loadavg: 1.38 1.16 1.06 2/107 4572 /proc/meminfo: memFree=1824920/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=8396 CPUtime=1.49 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 1758 0 0 0 145 4 0 0 22 0 1 0 38572059 8597504 1674 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 2099 1674 148 303 0 1794 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8396 [startup+3.10037 s] /proc/loadavg: 1.38 1.16 1.06 2/107 4572 /proc/meminfo: memFree=1820952/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=14188 CPUtime=3.09 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 3190 0 0 0 300 9 0 0 25 0 1 0 38572059 14528512 3106 1992294400 134512640 135751879 4288738912 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 3547 3106 148 303 0 3242 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14188 [startup+6.30069 s] /proc/loadavg: 1.35 1.15 1.06 2/107 4572 /proc/meminfo: memFree=1809296/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=25108 CPUtime=6.29 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 5941 0 0 0 610 19 0 0 25 0 1 0 38572059 25710592 5857 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 6277 5857 148 303 0 5972 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25108 [startup+12.7013 s] /proc/loadavg: 1.32 1.15 1.05 2/107 4572 /proc/meminfo: memFree=1789208/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=43888 CPUtime=12.69 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 10636 0 0 0 1230 39 0 0 25 0 1 0 38572059 44941312 10552 1992294400 134512640 135751879 4288738912 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 10972 10552 148 303 0 10667 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43888 [startup+25.5016 s] /proc/loadavg: 1.25 1.14 1.05 2/107 4572 /proc/meminfo: memFree=1754984/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=77148 CPUtime=25.48 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 18916 0 0 0 2475 73 0 0 25 0 1 0 38572059 78999552 18832 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 19287 18832 148 303 0 18982 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77148 [startup+51.1012 s] /proc/loadavg: 1.16 1.13 1.05 2/107 4572 /proc/meminfo: memFree=1696828/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=135684 CPUtime=51.08 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 33553 0 0 0 4975 133 0 0 25 0 1 0 38572059 138940416 33469 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 33921 33469 148 303 0 33616 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 135684 [startup+102.308 s] /proc/loadavg: 1.07 1.11 1.05 2/107 4574 /proc/meminfo: memFree=1598992/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=231936 CPUtime=102.27 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 57635 0 0 0 9992 235 0 0 25 0 1 0 38572059 237502464 57551 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 57984 57551 148 303 0 57679 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 231936 [startup+162.301 s] /proc/loadavg: 1.02 1.08 1.04 2/107 4576 /proc/meminfo: memFree=1503140/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=328252 CPUtime=162.25 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 81712 0 0 0 15883 342 0 0 25 0 1 0 38572059 336130048 81628 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 82063 81628 148 303 0 81758 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 328252 [startup+222.301 s] /proc/loadavg: 1.01 1.07 1.03 2/107 4578 /proc/meminfo: memFree=1457384/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=373148 CPUtime=222.24 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 92933 0 0 0 21810 414 0 0 25 0 1 0 38572059 382103552 92820 1992294400 134512640 135751879 4288738912 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 93287 92820 151 303 0 92982 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 373148 [startup+282.301 s] /proc/loadavg: 1.00 1.05 1.03 2/107 4578 /proc/meminfo: memFree=1425392/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=405240 CPUtime=282.22 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 100929 0 0 0 27768 454 0 0 25 0 1 0 38572059 414965760 100816 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 101310 100816 151 303 0 101005 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 405240 [startup+342.301 s] /proc/loadavg: 1.00 1.04 1.02 2/107 4580 /proc/meminfo: memFree=1401088/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=429312 CPUtime=342.21 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 106930 0 0 0 33734 487 0 0 25 0 1 0 38572059 439615488 106817 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 107328 106817 151 303 0 107023 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 429312 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.02 2/107 4582 /proc/meminfo: memFree=1375296/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=455420 CPUtime=402.19 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 113404 0 0 0 39696 523 0 0 25 0 1 0 38572059 466350080 113291 1992294400 134512640 135751879 4288738912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 113855 113291 151 303 0 113550 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 455420 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.01 2/107 4584 /proc/meminfo: memFree=1347892/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=482624 CPUtime=462.17 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 120178 0 0 0 45660 557 0 0 25 0 1 0 38572059 494206976 120065 1992294400 134512640 135751879 4288738912 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 120656 120065 151 303 0 120351 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 482624 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 4586 /proc/meminfo: memFree=1322224/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=508544 CPUtime=522.16 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 126641 0 0 0 51627 589 0 0 25 0 1 0 38572059 520749056 126528 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 127136 126528 151 303 0 126831 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 508544 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 4586 /proc/meminfo: memFree=1295192/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=535380 CPUtime=582.15 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 133302 0 0 0 57593 622 0 0 25 0 1 0 38572059 548229120 133189 1992294400 134512640 135751879 4288738912 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 133845 133189 151 303 0 133540 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 535380 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 4588 /proc/meminfo: memFree=1269400/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=561020 CPUtime=642.14 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 139682 0 0 0 63562 652 0 0 25 0 1 0 38572059 574484480 139569 1992294400 134512640 135751879 4288738912 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 140255 139569 151 303 0 139950 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 561020 [startup+702.302 s] ################ # More data... # ################ /proc/loadavg: 1.00 1.00 1.00 2/107 4602 /proc/meminfo: memFree=1030328/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=798968 CPUtime=1182 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 199475 0 0 0 117252 948 0 0 25 0 1 0 38572059 818143232 199265 1992294400 134512640 135751879 4288738912 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 199742 199265 151 303 0 199437 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 798968 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4604 /proc/meminfo: memFree=996228/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=832708 CPUtime=1241.98 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 207831 0 0 0 123212 986 0 0 25 0 1 0 38572059 852692992 207621 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 208177 207621 151 303 0 207872 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 832708 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4606 /proc/meminfo: memFree=960268/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=868516 CPUtime=1301.97 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 216759 0 0 0 129174 1023 0 0 25 0 1 0 38572059 889360384 216549 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 217129 216549 151 303 0 216824 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 868516 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4608 /proc/meminfo: memFree=937328/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=891628 CPUtime=1361.95 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 222505 0 0 0 135145 1050 0 0 25 0 1 0 38572059 913027072 222295 1992294400 134512640 135751879 4288738912 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 222907 222295 151 303 0 222602 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 891628 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4610 /proc/meminfo: memFree=909552/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=919328 CPUtime=1421.93 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 229397 0 0 0 141113 1080 0 0 25 0 1 0 38572059 941391872 229187 1992294400 134512640 135751879 4288738912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 229832 229187 151 303 0 229527 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 919328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4610 /proc/meminfo: memFree=884380/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=944636 CPUtime=1481.92 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 235731 0 0 0 147084 1108 0 0 25 0 1 0 38572059 967307264 235521 1992294400 134512640 135751879 4288738912 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 236159 235521 151 303 0 235854 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 944636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4612 /proc/meminfo: memFree=861068/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=967772 CPUtime=1541.91 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 241479 0 0 0 153060 1131 0 0 25 0 1 0 38572059 990998528 241269 1992294400 134512640 135751879 4288738912 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 241943 241269 151 303 0 241638 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 967772 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4614 /proc/meminfo: memFree=832672/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=996180 CPUtime=1601.88 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 248589 0 0 0 159033 1155 0 0 25 0 1 0 38572059 1020088320 248379 1992294400 134512640 135751879 4288738912 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 249045 248379 151 303 0 248740 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 996180 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4616 /proc/meminfo: memFree=810228/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=1018780 CPUtime=1661.87 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 254184 0 0 0 165010 1177 0 0 25 0 1 0 38572059 1043230720 253974 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 254695 253974 151 303 0 254390 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1018780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4618 /proc/meminfo: memFree=789768/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=1039476 CPUtime=1721.86 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 259334 0 0 0 170990 1196 0 0 25 0 1 0 38572059 1064423424 259124 1992294400 134512640 135751879 4288738912 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 259869 259124 151 303 0 259564 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1039476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4618 /proc/meminfo: memFree=765464/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=1063304 CPUtime=1781.84 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 265282 0 0 0 176958 1226 0 0 25 0 1 0 38572059 1088823296 265072 1992294400 134512640 135751879 4288738912 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 265826 265072 151 303 0 265521 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1063304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4620 /proc/meminfo: memFree=757404/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=1071092 CPUtime=1800.05 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 267241 0 0 0 178770 1235 0 0 25 0 1 0 38572059 1096798208 267031 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 267773 267031 151 303 0 267468 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1071092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.05 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.05 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4620 /proc/meminfo: memFree=757404/2059040 swapFree=4134608/4192956 [pid=4571] ppid=4569 vsize=1071092 CPUtime=1800.05 /proc/4571/stat : 4571 (wbo1.4b) R 4569 4571 3808 0 -1 4202496 267241 0 0 0 178770 1235 0 0 25 0 1 0 38572059 1096798208 267031 1992294400 134512640 135751879 4288738912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4571/statm: 267773 267031 151 303 0 267468 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1071092 [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4621 /proc/meminfo: memFree=1792920/2059040 swapFree=4134608/4192956 [pid=4571] ppid=-1 vsize=0 CPUtime=0 /proc/4571/stat : -- couldn't open stat file --/proc/4571/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4621 /proc/meminfo: memFree=1792920/2059040 swapFree=4134608/4192956 [pid=4571] ppid=-1 vsize=0 CPUtime=0 /proc/4571/stat : -- couldn't open stat file --/proc/4571/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4571 and gives # childrusage.ru_utime.tv_sec=1787 # childrusage.ru_utime.tv_usec=703227 # childrusage.ru_stime.tv_sec=12 # childrusage.ru_stime.tv_usec=454106 # CPU time returned by wait4() is 1800.16 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.05 # lost CPU user time (s): 1787.7 # lost CPU system time (s): 12.35 Real time (s): 1800.61 CPU time (s): 1800.05 CPU user time (s): 1787.7 CPU system time (s): 12.35 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 1071092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.7 system time used= 12.4541 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267241 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= 25 involuntary context switches= 4143 runsolver used 3.10953 second user time and 8.41272 second system time The end
Begin job on node017 at 2010-06-15 21:24:17 IDJOB=2655765 IDBENCH=24970 IDSOLVER=1161 FILE ID=node017/2655765-1276629856 PBS_JOBID= 11172333 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655765-1276629856/watcher-2655765-1276629856 -o /tmp/evaluation-result-2655765-1276629856/solver-2655765-1276629856 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655765-1276629856.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991 RANDOM SEED=945227823 node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1829920 kB Buffers: 47172 kB Cached: 100168 kB SwapCached: 11736 kB Active: 78852 kB Inactive: 83184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1829920 kB SwapTotal: 4192956 kB SwapFree: 4134608 kB Dirty: 2768 kB Writeback: 4 kB AnonPages: 12964 kB Mapped: 9388 kB Slab: 45376 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183156 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node017 at 2010-06-15 21:54:19