| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 296 | 3600.06 | 3610.21 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-circ10-3.opb |
| MD5SUM | e9a18706671e83c85382be3233ac0f60 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 276 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2700 |
| Total number of constraints | 42620 |
| Number of constraints which are clauses | 20220 |
| Number of constraints which are cardinality constraints (but not clauses) | 800 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 36 |
| Number of terms in the objective function | 900 |
| Biggest coefficient in the objective function | 5 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 2500 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 2500 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.10/0.20 c #variables 2700 #constraints 43070 6.77/6.86 c bounds - >= 0 @ 0.166113 6.77/6.86 c bounds 422 >= 0 @ 1.99385 6.77/6.86 c #Conflicts: 1000 | #Constraints: 44070 6.77/6.86 c #Conflicts: 2000 | #Constraints: 45070 6.77/6.86 c INPROCESSING 6.77/6.86 WSVECS04 Frhs2[1574]: 6 -8.00002 0 shouldn't be 21.13/21.29 c bounds 420 >= 0 @ 11.46 21.13/21.29 c bounds 416 >= 0 @ 11.5055 21.13/21.29 c bounds 416 >= 3 @ 11.5289 21.13/21.29 c bounds 410 >= 3 @ 11.5439 21.13/21.29 c bounds 404 >= 3 @ 11.553 21.13/21.29 c bounds 400 >= 3 @ 11.5644 21.13/21.29 c #Conflicts: 3000 | #Constraints: 45089 21.13/21.29 c bounds 396 >= 3 @ 11.5884 21.13/21.29 c bounds 396 >= 6 @ 11.6254 21.13/21.29 c bounds 384 >= 6 @ 11.6512 21.13/21.29 c bounds 382 >= 6 @ 11.6549 21.13/21.29 c bounds 380 >= 6 @ 11.6796 21.13/21.29 c #Conflicts: 4000 | #Constraints: 46096 21.13/21.29 c INPROCESSING 21.13/21.29 c GARBAGE COLLECT 21.13/21.29 c bounds 380 >= 9 @ 11.7208 21.13/21.29 c bounds 376 >= 9 @ 11.8448 21.13/21.29 c #Conflicts: 5000 | #Constraints: 45500 21.13/21.29 c #Conflicts: 6000 | #Constraints: 46500 21.13/21.29 c bounds 376 >= 12 @ 15.478 21.13/21.29 c bounds 372 >= 12 @ 15.5856 21.13/21.29 c bounds 372 >= 15 @ 15.5922 21.13/21.29 c INPROCESSING 21.13/21.29 c GARBAGE COLLECT 21.13/21.29 c #Conflicts: 7000 | #Constraints: 45511 21.13/21.29 c bounds 372 >= 18 @ 15.6639 21.13/21.29 c bounds 368 >= 18 @ 15.7439 21.13/21.29 c #Conflicts: 8000 | #Constraints: 46518 21.13/21.29 c bounds 368 >= 21 @ 15.755 21.13/21.29 c #Conflicts: 9000 | #Constraints: 47521 21.13/21.29 c bounds 368 >= 24 @ 15.7963 21.13/21.29 c INPROCESSING 21.13/21.29 c GARBAGE COLLECT 21.13/21.29 c rational objective 140 23.23/23.32 c bounds 368 >= 27 @ 21.0027 23.23/23.32 c bounds 364 >= 27 @ 21.1999 23.23/23.32 c #Conflicts: 10000 | #Constraints: 46233 23.23/23.32 c #Conflicts: 11000 | #Constraints: 47233 23.23/23.32 c bounds 364 >= 30 @ 21.3062 23.23/23.32 c #Conflicts: 12000 | #Constraints: 48239 23.23/23.32 c INPROCESSING 23.23/23.32 c GARBAGE COLLECT 23.23/23.32 c bounds 360 >= 30 @ 21.6051 23.23/23.32 c bounds 360 >= 32 @ 21.6058 23.23/23.32 c bounds 360 >= 34 @ 21.6063 23.23/23.32 c bounds 360 >= 36 @ 21.6071 23.23/23.32 c bounds 360 >= 38 @ 21.6074 23.23/23.32 c bounds 360 >= 40 @ 21.6074 23.23/23.32 c bounds 360 >= 42 @ 21.6076 23.23/23.32 c bounds 360 >= 44 @ 21.6087 23.23/23.32 c #Conflicts: 13000 | #Constraints: 46705 23.23/23.32 c bounds 360 >= 46 @ 21.6482 23.23/23.32 WSVECS04 Frhs2[104]: 6 -4.00002 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[106]: 6 -4.00002 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[310]: 6 -1.00006 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[491]: 6 -1.00002 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[501]: 6 -1.00006 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[504]: 6 -4.00007 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[540]: 6 -1.00004 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[633]: 6 -3.00003 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[646]: 6 -4.00001 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[668]: 6 -3.00005 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[691]: 6 -1.00004 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[698]: 6 -3.00009 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[700]: 6 -1.00009 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[846]: 6 -4.00006 0 shouldn't be 23.23/23.32 WSVECS04 Frhs2[863]: 6 -3.00009 0 shouldn't be 30.61/30.76 c bounds 360 >= 48 @ 26.2226 30.61/30.76 c #Conflicts: 14000 | #Constraints: 47720 30.61/30.76 c bounds 358 >= 48 @ 26.4219 30.61/30.76 c bounds 358 >= 50 @ 26.4231 30.61/30.76 c bounds 358 >= 52 @ 26.4301 30.61/30.76 c #Conflicts: 15000 | #Constraints: 48733 30.61/30.76 c INPROCESSING 30.61/30.76 c GARBAGE COLLECT 30.61/30.76 c bounds 358 >= 54 @ 26.4936 30.61/30.76 c #Conflicts: 16000 | #Constraints: 46949 30.61/30.76 c bounds 358 >= 56 @ 26.5718 30.61/30.76 c #Conflicts: 17000 | #Constraints: 47964 30.61/30.76 c #Conflicts: 18000 | #Constraints: 48964 30.61/30.76 c INPROCESSING 30.61/30.76 WSVECS04 Frhs2[41]: 6 -1.00009 0 shouldn't be 33.01/33.12 WSVECS04 Frhs2[8]: 6 -2.00003 0 shouldn't be 33.01/33.12 WSVECS04 Frhs2[9]: 6 -1.00002 0 shouldn't be 33.01/33.12 WSVECS04 Frhs2[50]: 6 -1.00002 0 shouldn't be 87.88/88.15 c #Conflicts: 19000 | #Constraints: 46978 87.88/88.15 c bounds 356 >= 56 @ 47.7316 87.88/88.15 c bounds 352 >= 56 @ 47.7641 87.88/88.15 c bounds 352 >= 57 @ 47.7647 87.88/88.15 c bounds 352 >= 58 @ 47.765 87.88/88.15 c bounds 352 >= 59 @ 47.7659 87.88/88.15 c bounds 352 >= 60 @ 47.7668 87.88/88.15 c bounds 352 >= 61 @ 47.7677 87.88/88.15 c bounds 352 >= 62 @ 47.7687 87.88/88.15 c bounds 352 >= 63 @ 47.7696 87.88/88.15 c bounds 352 >= 64 @ 47.7706 87.88/88.15 c bounds 352 >= 65 @ 47.7716 87.88/88.15 c bounds 352 >= 66 @ 47.7725 87.88/88.15 c bounds 352 >= 67 @ 47.7726 87.88/88.15 c bounds 352 >= 68 @ 47.7736 87.88/88.15 c bounds 352 >= 69 @ 47.7745 87.88/88.15 c bounds 352 >= 70 @ 47.7746 87.88/88.15 c bounds 352 >= 71 @ 47.7755 87.88/88.15 c bounds 352 >= 72 @ 47.7756 87.88/88.15 c bounds 352 >= 73 @ 47.7756 87.88/88.15 c bounds 352 >= 74 @ 47.7765 87.88/88.15 c bounds 352 >= 75 @ 47.7774 87.88/88.15 c bounds 352 >= 76 @ 47.7776 87.88/88.15 c bounds 352 >= 77 @ 47.7784 87.88/88.15 c bounds 352 >= 78 @ 47.7786 87.88/88.15 c bounds 352 >= 79 @ 47.7794 87.88/88.15 c bounds 352 >= 80 @ 47.7796 87.88/88.15 c bounds 352 >= 81 @ 47.7796 87.88/88.15 c bounds 352 >= 82 @ 47.7807 87.88/88.15 c bounds 352 >= 83 @ 47.7818 87.88/88.15 c bounds 352 >= 84 @ 47.783 87.88/88.15 c bounds 352 >= 85 @ 47.7836 87.88/88.15 c bounds 352 >= 86 @ 47.7844 87.88/88.15 c bounds 352 >= 87 @ 47.7846 87.88/88.15 c bounds 352 >= 88 @ 47.7857 87.88/88.15 c bounds 352 >= 89 @ 47.7868 87.88/88.15 c bounds 352 >= 90 @ 47.788 87.88/88.15 c bounds 352 >= 91 @ 47.7886 87.88/88.15 c bounds 352 >= 92 @ 47.7886 87.88/88.15 c bounds 352 >= 93 @ 47.7886 87.88/88.15 c bounds 352 >= 94 @ 47.7887 87.88/88.15 c bounds 352 >= 95 @ 47.7907 87.88/88.15 c bounds 352 >= 96 @ 47.792 87.88/88.15 c bounds 352 >= 97 @ 47.7926 87.88/88.15 c bounds 352 >= 98 @ 47.7941 87.88/88.15 c bounds 352 >= 99 @ 47.7953 87.88/88.15 c bounds 352 >= 100 @ 47.8001 87.88/88.15 c bounds 352 >= 101 @ 47.8156 87.88/88.15 c #Conflicts: 20000 | #Constraints: 48204 87.88/88.15 c bounds 350 >= 101 @ 48.0427 87.88/88.15 c bounds 350 >= 102 @ 48.044 87.88/88.15 c bounds 350 >= 103 @ 48.044 87.88/88.15 c bounds 350 >= 104 @ 48.045 87.88/88.15 c bounds 350 >= 105 @ 48.0458 87.88/88.15 c bounds 350 >= 106 @ 48.0523 87.88/88.15 c bounds 350 >= 107 @ 48.0736 87.88/88.15 c #Conflicts: 21000 | #Constraints: 49277 87.88/88.15 c bounds 350 >= 108 @ 48.118 87.88/88.15 c INPROCESSING 87.88/88.15 c GARBAGE COLLECT 87.88/88.15 c #Conflicts: 22000 | #Constraints: 47059 87.88/88.15 c #Conflicts: 23000 | #Constraints: 48059 87.88/88.15 c bounds 340 >= 108 @ 69.7875 87.88/88.15 c bounds 340 >= 109 @ 69.7883 87.88/88.15 c bounds 340 >= 110 @ 69.7889 87.88/88.15 c bounds 340 >= 111 @ 69.7906 87.88/88.15 c bounds 340 >= 112 @ 69.7913 87.88/88.15 c bounds 340 >= 113 @ 69.794 87.88/88.15 c bounds 340 >= 114 @ 69.7999 87.88/88.15 c bounds 340 >= 115 @ 69.8034 87.88/88.15 c bounds 340 >= 116 @ 69.8037 87.88/88.15 c bounds 340 >= 117 @ 69.8037 87.88/88.15 c bounds 340 >= 118 @ 69.8051 87.88/88.15 c bounds 340 >= 119 @ 69.8088 87.88/88.15 c #Conflicts: 24000 | #Constraints: 49186 87.88/88.15 c bounds 340 >= 120 @ 69.8137 87.88/88.15 c bounds 340 >= 121 @ 69.8245 87.88/88.15 c bounds 340 >= 122 @ 69.8783 87.88/88.15 c #Conflicts: 25000 | #Constraints: 50240 87.88/88.15 c INPROCESSING 87.88/88.15 c GARBAGE COLLECT 87.88/88.15 c bounds 340 >= 123 @ 70.0029 87.88/88.15 c #Conflicts: 26000 | #Constraints: 47868 87.88/88.15 c #Conflicts: 27000 | #Constraints: 48868 87.88/88.15 c #Conflicts: 28000 | #Constraints: 49868 87.88/88.15 c bounds 340 >= 124 @ 70.4007 87.88/88.15 c #Conflicts: 29000 | #Constraints: 50889 87.88/88.15 c INPROCESSING 87.88/88.15 c GARBAGE COLLECT 87.88/88.15 c bounds 338 >= 124 @ 70.9134 87.88/88.15 c bounds 336 >= 124 @ 70.9153 87.88/88.15 c #Conflicts: 30000 | #Constraints: 48296 87.88/88.15 c bounds 334 >= 124 @ 71.552 87.88/88.15 c bounds 334 >= 125 @ 71.5562 87.88/88.15 c bounds 334 >= 126 @ 71.5562 87.88/88.15 c #Conflicts: 31000 | #Constraints: 49319 87.88/88.15 c bounds 334 >= 127 @ 71.5973 87.88/88.15 c bounds 334 >= 128 @ 71.6117 87.88/88.15 c #Conflicts: 32000 | #Constraints: 50346 87.88/88.15 c #Conflicts: 33000 | #Constraints: 51346 87.88/88.15 c INPROCESSING 87.88/88.15 c GARBAGE COLLECT 87.88/88.15 c #Conflicts: 34000 | #Constraints: 48550 87.88/88.15 c bounds 334 >= 129 @ 71.8175 87.88/88.15 c #Conflicts: 35000 | #Constraints: 49565 87.88/88.15 c bounds 334 >= 130 @ 71.8992 87.88/88.15 c #Conflicts: 36000 | #Constraints: 50580 87.88/88.15 c #Conflicts: 37000 | #Constraints: 51580 87.88/88.15 c bounds 334 >= 131 @ 72.4818 87.88/88.15 c #Conflicts: 38000 | #Constraints: 52584 87.88/88.15 c bounds 332 >= 131 @ 72.9445 87.88/88.15 c bounds 332 >= 132 @ 72.948 87.88/88.15 c bounds 332 >= 133 @ 72.9496 87.88/88.15 c bounds 332 >= 134 @ 72.9536 87.88/88.15 c bounds 332 >= 135 @ 86.3907 87.88/88.15 c #Conflicts: 39000 | #Constraints: 53636 87.88/88.15 c bounds 332 >= 136 @ 86.4132 87.88/88.15 c bounds 332 >= 137 @ 86.4406 87.88/88.15 c bounds 332 >= 138 @ 86.5342 87.88/88.15 c #Conflicts: 40000 | #Constraints: 54693 87.88/88.15 c #Conflicts: 41000 | #Constraints: 55693 87.88/88.15 c #Conflicts: 42000 | #Constraints: 56693 87.88/88.15 c #Conflicts: 43000 | #Constraints: 57693 87.88/88.15 c bounds 332 >= 139 @ 87.0495 106.73/107.06 c #Conflicts: 44000 | #Constraints: 58720 106.73/107.06 c #Conflicts: 45000 | #Constraints: 59720 106.73/107.06 c #Conflicts: 46000 | #Constraints: 60720 106.73/107.06 c #Conflicts: 47000 | #Constraints: 61720 106.73/107.06 c #Conflicts: 48000 | #Constraints: 62720 106.73/107.06 c INPROCESSING 106.73/107.06 c GARBAGE COLLECT 106.73/107.06 c rational objective 140 134.46/134.89 c bounds 332 >= 140 @ 105.782 134.46/134.89 c bounds 332 >= 141 @ 105.784 134.46/134.89 c bounds 332 >= 142 @ 105.785 134.46/134.89 c bounds 332 >= 143 @ 105.794 134.46/134.89 c bounds 332 >= 144 @ 105.803 134.46/134.89 c bounds 332 >= 145 @ 105.838 134.46/134.89 c #Conflicts: 49000 | #Constraints: 54438 134.46/134.89 c bounds 332 >= 146 @ 105.885 134.46/134.89 c #Conflicts: 50000 | #Constraints: 55456 134.46/134.89 c bounds 332 >= 147 @ 105.997 134.46/134.89 c #Conflicts: 51000 | #Constraints: 56480 134.46/134.89 c bounds 332 >= 148 @ 113.703 134.46/134.89 c #Conflicts: 52000 | #Constraints: 57504 134.46/134.89 c #Conflicts: 53000 | #Constraints: 58504 134.46/134.89 c INPROCESSING 134.46/134.89 c GARBAGE COLLECT 134.46/134.89 c rational objective 148 140.34/140.75 c #Conflicts: 54000 | #Constraints: 52149 140.34/140.75 c #Conflicts: 55000 | #Constraints: 53149 140.34/140.75 c bounds 332 >= 149 @ 133.815 140.34/140.75 c #Conflicts: 56000 | #Constraints: 54170 140.34/140.75 c #Conflicts: 57000 | #Constraints: 55170 140.34/140.75 c #Conflicts: 58000 | #Constraints: 56170 140.34/140.75 c INPROCESSING 140.34/140.75 c GARBAGE COLLECT 140.34/140.75 c #Conflicts: 59000 | #Constraints: 50767 140.34/140.75 c #Conflicts: 60000 | #Constraints: 51767 140.34/140.75 c #Conflicts: 61000 | #Constraints: 52767 140.34/140.75 c #Conflicts: 62000 | #Constraints: 53767 140.34/140.75 c bounds 316 >= 149 @ 137.467 140.34/140.75 c #Conflicts: 63000 | #Constraints: 54768 140.34/140.75 c #Conflicts: 64000 | #Constraints: 55768 140.34/140.75 WSVECS04 Frhs2[4]: 6 -4.00007 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[52]: 6 -2.00009 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[262]: 6 -1.00004 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[596]: 6 -5.00001 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[619]: 6 -2.00002 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[651]: 6 -1.0001 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[668]: 6 -3.00003 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[691]: 6 -1.00007 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[702]: 6 -2.00004 0 shouldn't be 140.34/140.75 WSVECS04 Frhs2[719]: 6 -2.00004 0 shouldn't be 142.54/142.90 WSVECS04 Frhs2[793]: 6 -2.00001 0 shouldn't be 144.94/145.31 WSVECS04 Frhs2[30]: 6 -1.00004 0 shouldn't be 144.94/145.31 WSVECS04 Frhs2[234]: 6 -4.00009 0 shouldn't be 144.94/145.31 WSVECS04 Frhs2[360]: 6 -1.00006 0 shouldn't be 144.94/145.31 WSVECS04 Frhs2[598]: 6 -3.00003 0 shouldn't be 144.94/145.31 WSVECS04 Frhs2[842]: 6 -2.00006 0 shouldn't be 148.53/148.96 WSVECS04 Frhs2[8]: 6 -2.00009 0 shouldn't be 148.53/148.96 WSVECS04 Frhs2[548]: 6 -2.00007 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[6]: 6 -4.00009 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[10]: 6 -1.00003 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[73]: 6 -2.00005 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[82]: 6 -1.00001 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[299]: 6 -2.00007 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[304]: 6 -4.00008 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[646]: 6 -4.00008 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[892]: 6 -1.00002 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[893]: 6 -2.00003 0 shouldn't be 155.50/155.94 WSVECS04 Frhs2[898]: 6 -3.00009 0 shouldn't be 162.19/162.66 WSVECS04 Frhs2[19]: 6 -2.00007 0 shouldn't be 162.19/162.66 WSVECS04 Frhs2[246]: 6 -5.00005 0 shouldn't be 162.19/162.66 WSVECS04 Frhs2[710]: 6 -1.00003 0 shouldn't be 166.98/167.41 WSVECS04 Frhs2[241]: 6 -1.00004 0 shouldn't be 166.98/167.41 WSVECS04 Frhs2[556]: 6 -4.00009 0 shouldn't be 168.97/169.42 WSVECS04 Frhs2[272]: 6 -2.00007 0 shouldn't be 168.97/169.42 WSVECS04 Frhs2[282]: 6 -2.00009 0 shouldn't be 168.97/169.42 WSVECS04 Frhs2[568]: 6 -3.00005 0 shouldn't be 168.97/169.42 WSVECS04 Frhs2[628]: 6 -3.00009 0 shouldn't be 168.97/169.42 WSVECS04 Frhs2[682]: 6 -2.00005 0 shouldn't be 168.97/169.42 WSVECS04 Frhs2[869]: 6 -2.00006 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[203]: 6 -3.00009 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[291]: 6 -1.00001 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[306]: 6 -4.00007 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[349]: 6 -2.00006 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[597]: 6 -4.00006 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[610]: 6 -1.00003 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[701]: 6 -1.00005 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[799]: 6 -2.00006 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[882]: 6 -2.00009 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[899]: 6 -2.00002 0 shouldn't be 171.37/171.80 WSVECS04 Frhs2[900]: 6 -1.00009 0 shouldn't be 174.96/175.43 WSVECS04 Frhs2[182]: 6 -2.00004 0 shouldn't be 174.96/175.43 WSVECS04 Frhs2[334]: 6 -3.00005 0 shouldn't be 174.96/175.43 WSVECS04 Frhs2[810]: 6 -1.00008 0 shouldn't be 174.96/175.43 WSVECS04 Frhs2[828]: 6 -2.00004 0 shouldn't be 174.96/175.43 WSVECS04 Frhs2[837]: 6 -3.00001 0 shouldn't be 174.96/175.43 WSVECS04 Frhs2[864]: 6 -4.00005 0 shouldn't be 179.65/180.14 WSVECS04 Frhs2[698]: 6 -3.0001 0 shouldn't be 199.20/199.74 c #Conflicts: 65000 | #Constraints: 56768 199.20/199.74 c #Conflicts: 66000 | #Constraints: 57768 199.20/199.74 c bounds 316 >= 150 @ 182.823 199.20/199.74 c #Conflicts: 67000 | #Constraints: 58789 199.20/199.74 c #Conflicts: 68000 | #Constraints: 59789 199.20/199.74 c #Conflicts: 69000 | #Constraints: 60789 199.20/199.74 c #Conflicts: 70000 | #Constraints: 61789 199.20/199.74 c #Conflicts: 71000 | #Constraints: 62789 199.20/199.74 c #Conflicts: 72000 | #Constraints: 63789 199.20/199.74 c #Conflicts: 73000 | #Constraints: 64789 199.20/199.74 c #Conflicts: 74000 | #Constraints: 65789 199.20/199.74 c #Conflicts: 75000 | #Constraints: 66789 199.20/199.74 c bounds 316 >= 151 @ 185.971 199.20/199.74 c #Conflicts: 76000 | #Constraints: 67816 199.20/199.74 c #Conflicts: 77000 | #Constraints: 68816 199.20/199.74 c #Conflicts: 78000 | #Constraints: 69816 199.20/199.74 c INPROCESSING 199.20/199.74 c GARBAGE COLLECT 199.20/199.74 c rational objective 151 217.56/218.12 c #Conflicts: 79000 | #Constraints: 58001 217.56/218.12 c #Conflicts: 80000 | #Constraints: 59001 217.56/218.12 c #Conflicts: 81000 | #Constraints: 60001 217.56/218.12 c #Conflicts: 82000 | #Constraints: 61001 217.56/218.12 c #Conflicts: 83000 | #Constraints: 62001 217.56/218.12 c bounds 314 >= 151 @ 201.685 217.56/218.12 c bounds 314 >= 152 @ 201.686 217.56/218.12 c bounds 314 >= 153 @ 201.686 217.56/218.12 c bounds 314 >= 154 @ 201.688 217.56/218.12 c bounds 314 >= 155 @ 201.69 217.56/218.12 c bounds 314 >= 156 @ 201.693 217.56/218.12 c bounds 314 >= 157 @ 201.703 217.56/218.12 c bounds 314 >= 158 @ 201.729 217.56/218.12 c #Conflicts: 84000 | #Constraints: 63109 217.56/218.12 c bounds 314 >= 159 @ 201.79 217.56/218.12 c INPROCESSING 217.56/218.12 c GARBAGE COLLECT 217.56/218.12 c rational objective 159 230.53/231.15 c #Conflicts: 85000 | #Constraints: 54349 230.53/231.15 c #Conflicts: 86000 | #Constraints: 55349 230.53/231.15 c bounds 314 >= 160 @ 216.107 230.53/231.15 c bounds 314 >= 161 @ 216.116 230.53/231.15 c bounds 314 >= 162 @ 216.116 230.53/231.15 c bounds 314 >= 163 @ 216.117 230.53/231.15 c bounds 314 >= 164 @ 216.118 230.53/231.15 c bounds 314 >= 165 @ 216.134 230.53/231.15 c #Conflicts: 87000 | #Constraints: 56431 230.53/231.15 c bounds 314 >= 166 @ 216.269 230.53/231.15 c #Conflicts: 88000 | #Constraints: 57449 230.53/231.15 c #Conflicts: 89000 | #Constraints: 58449 230.53/231.15 c bounds 314 >= 167 @ 216.721 230.53/231.15 c #Conflicts: 90000 | #Constraints: 59473 230.53/231.15 c #Conflicts: 91000 | #Constraints: 60473 230.53/231.15 c INPROCESSING 230.53/231.15 c GARBAGE COLLECT 230.53/231.15 c rational objective 167 273.02/273.75 c #Conflicts: 92000 | #Constraints: 53101 273.02/273.75 c #Conflicts: 93000 | #Constraints: 54101 273.02/273.75 c bounds 314 >= 168 @ 229.15 273.02/273.75 c #Conflicts: 94000 | #Constraints: 55122 273.02/273.75 c #Conflicts: 95000 | #Constraints: 56122 273.02/273.75 c #Conflicts: 96000 | #Constraints: 57122 273.02/273.75 c #Conflicts: 97000 | #Constraints: 58122 273.02/273.75 c #Conflicts: 98000 | #Constraints: 59122 273.02/273.75 c bounds 314 >= 169 @ 249.333 273.02/273.75 c #Conflicts: 99000 | #Constraints: 60143 273.02/273.75 c #Conflicts: 100000 | #Constraints: 61143 273.02/273.75 c #Conflicts: 101000 | #Constraints: 62143 273.02/273.75 c #Conflicts: 102000 | #Constraints: 63143 273.02/273.75 c bounds 312 >= 169 @ 251.273 273.02/273.75 c #Conflicts: 103000 | #Constraints: 64144 273.02/273.75 c #Conflicts: 104000 | #Constraints: 65144 273.02/273.75 c #Conflicts: 105000 | #Constraints: 66144 273.02/273.75 c #Conflicts: 106000 | #Constraints: 67144 273.02/273.75 c #Conflicts: 107000 | #Constraints: 68144 273.02/273.75 c #Conflicts: 108000 | #Constraints: 69144 273.02/273.75 c #Conflicts: 109000 | #Constraints: 70144 273.02/273.75 c bounds 308 >= 169 @ 259.01 273.02/273.75 c #Conflicts: 110000 | #Constraints: 71145 273.02/273.75 c #Conflicts: 111000 | #Constraints: 72145 273.02/273.75 c #Conflicts: 112000 | #Constraints: 73145 273.02/273.75 c #Conflicts: 113000 | #Constraints: 74145 273.02/273.75 c #Conflicts: 114000 | #Constraints: 75145 273.02/273.75 c #Conflicts: 115000 | #Constraints: 76145 273.02/273.75 c INPROCESSING 273.02/273.75 c GARBAGE COLLECT 273.02/273.75 c rational objective 169 287.18/287.95 c #Conflicts: 116000 | #Constraints: 61264 287.18/287.95 c #Conflicts: 117000 | #Constraints: 62264 287.18/287.95 c #Conflicts: 118000 | #Constraints: 63264 287.18/287.95 c #Conflicts: 119000 | #Constraints: 64264 287.18/287.95 c #Conflicts: 120000 | #Constraints: 65264 287.18/287.95 c bounds 308 >= 170 @ 272.665 287.18/287.95 c #Conflicts: 121000 | #Constraints: 66288 287.18/287.95 c #Conflicts: 122000 | #Constraints: 67288 287.18/287.95 c #Conflicts: 123000 | #Constraints: 68288 287.18/287.95 c INPROCESSING 287.18/287.95 c GARBAGE COLLECT 287.18/287.95 c rational objective 170 320.70/321.52 c #Conflicts: 124000 | #Constraints: 57148 320.70/321.52 c #Conflicts: 125000 | #Constraints: 58148 320.70/321.52 c #Conflicts: 126000 | #Constraints: 59148 320.70/321.52 c bounds 308 >= 171 @ 285.768 320.70/321.52 c #Conflicts: 127000 | #Constraints: 60172 320.70/321.52 c #Conflicts: 128000 | #Constraints: 61172 320.70/321.52 c #Conflicts: 129000 | #Constraints: 62172 320.70/321.52 c #Conflicts: 130000 | #Constraints: 63172 320.70/321.52 c #Conflicts: 131000 | #Constraints: 64172 320.70/321.52 c #Conflicts: 132000 | #Constraints: 65172 320.70/321.52 c INPROCESSING 320.70/321.52 c GARBAGE COLLECT 320.70/321.52 c rational objective 171 349.52/350.49 c #Conflicts: 133000 | #Constraints: 55853 349.52/350.49 c #Conflicts: 134000 | #Constraints: 56853 349.52/350.49 c #Conflicts: 135000 | #Constraints: 57853 349.52/350.49 c #Conflicts: 136000 | #Constraints: 58853 349.52/350.49 c #Conflicts: 137000 | #Constraints: 59853 349.52/350.49 c #Conflicts: 138000 | #Constraints: 60853 349.52/350.49 c bounds 308 >= 172 @ 327.274 349.52/350.49 c #Conflicts: 139000 | #Constraints: 61874 349.52/350.49 c #Conflicts: 140000 | #Constraints: 62874 349.52/350.49 c #Conflicts: 141000 | #Constraints: 63874 349.52/350.49 c #Conflicts: 142000 | #Constraints: 64874 349.52/350.49 c #Conflicts: 143000 | #Constraints: 65875 349.52/350.49 c #Conflicts: 144000 | #Constraints: 66875 349.52/350.49 c #Conflicts: 145000 | #Constraints: 67875 349.52/350.49 c #Conflicts: 146000 | #Constraints: 68875 349.52/350.49 c #Conflicts: 147000 | #Constraints: 69875 349.52/350.49 c #Conflicts: 148000 | #Constraints: 70875 349.52/350.49 c #Conflicts: 149000 | #Constraints: 71875 349.52/350.49 c #Conflicts: 150000 | #Constraints: 72875 349.52/350.49 c #Conflicts: 151000 | #Constraints: 73876 349.52/350.49 c #Conflicts: 152000 | #Constraints: 74878 349.52/350.49 c bounds 306 >= 172 @ 345.384 349.52/350.49 c bounds 306 >= 173 @ 345.386 349.52/350.49 c bounds 306 >= 174 @ 345.386 349.52/350.49 c bounds 306 >= 175 @ 345.386 349.52/350.49 c bounds 306 >= 176 @ 345.386 349.52/350.49 WSVECS04 Frhs2[30]: 6 -1.00004 0 shouldn't be 349.52/350.49 WSVECS04 Frhs2[199]: 6 -2.00003 0 shouldn't be 349.52/350.49 WSVECS04 Frhs2[202]: 6 -2.00008 0 shouldn't be 349.52/350.49 WSVECS04 Frhs2[632]: 6 -2.00003 0 shouldn't be 349.52/350.49 WSVECS04 Frhs2[713]: 6 -2.00003 0 shouldn't be 349.52/350.49 WSVECS04 Frhs2[723]: 6 -3.00005 0 shouldn't be 349.52/350.49 WSVECS04 Frhs2[803]: 6 -2.00005 0 shouldn't be 351.62/352.58 WSVECS04 Frhs2[299]: 6 -2.00003 0 shouldn't be 353.71/354.65 WSVECS04 Frhs2[4]: 6 -4.00007 0 shouldn't be 353.71/354.65 WSVECS04 Frhs2[52]: 6 -2.00007 0 shouldn't be 353.71/354.65 WSVECS04 Frhs2[220]: 6 -1.00009 0 shouldn't be 353.71/354.65 WSVECS04 Frhs2[646]: 6 -4.00002 0 shouldn't be 357.21/358.12 WSVECS04 Frhs2[82]: 6 -1.00007 0 shouldn't be 357.21/358.12 WSVECS04 Frhs2[210]: 6 -1.00009 0 shouldn't be 357.21/358.12 WSVECS04 Frhs2[842]: 6 -2.00003 0 shouldn't be 357.21/358.12 WSVECS04 Frhs2[873]: 6 -3.00008 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[10]: 6 -1.00007 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[58]: 6 -3.00007 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[99]: 6 -1.00008 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[120]: 6 -1.00007 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[146]: 6 -5.00002 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[155]: 6 -4.00005 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[178]: 6 -3.00006 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[200]: 6 -1.00004 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[301]: 6 -1.00002 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[548]: 6 -2.00003 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[573]: 6 -3.00009 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[591]: 6 -1.00002 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[597]: 6 -4.00009 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[600]: 6 -1.00007 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[737]: 6 -3.00008 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[847]: 6 -4.00002 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[864]: 6 -4.00007 0 shouldn't be 363.69/364.63 WSVECS04 Frhs2[891]: 6 -1.00006 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[6]: 6 -4.00002 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[100]: 6 -1.00004 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[131]: 6 -1.00009 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[191]: 6 -1.00009 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[328]: 6 -3.00005 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[598]: 6 -3.00006 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[828]: 6 -2.00008 0 shouldn't be 370.28/371.26 WSVECS04 Frhs2[899]: 6 -2.00001 0 shouldn't be 374.27/375.23 WSVECS04 Frhs2[273]: 6 -3.00005 0 shouldn't be 374.27/375.23 WSVECS04 Frhs2[349]: 6 -2.00002 0 shouldn't be 374.27/375.23 WSVECS04 Frhs2[553]: 6 -3.00005 0 shouldn't be 374.27/375.23 WSVECS04 Frhs2[691]: 6 -1.00007 0 shouldn't be 374.27/375.23 WSVECS04 Frhs2[793]: 6 -2.00007 0 shouldn't be 374.27/375.23 WSVECS04 Frhs2[797]: 6 -4.00001 0 shouldn't be 375.86/376.89 WSVECS04 Frhs2[37]: 6 -4.00003 0 shouldn't be 375.86/376.89 WSVECS04 Frhs2[72]: 6 -2.00006 0 shouldn't be 375.86/376.89 WSVECS04 Frhs2[110]: 6 -1.00003 0 shouldn't be 375.86/376.89 WSVECS04 Frhs2[298]: 6 -3.00009 0 shouldn't be 375.86/376.89 WSVECS04 Frhs2[310]: 6 -1.00004 0 shouldn't be 375.86/376.89 WSVECS04 Frhs2[629]: 6 -2.00003 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[1]: 6 -1.00003 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[19]: 6 -2.00007 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[73]: 6 -2.00004 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[102]: 6 -2.00001 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[103]: 6 -3.00005 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[137]: 6 -4.00004 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[170]: 6 -1.00008 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[206]: 6 -4.0001 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[282]: 6 -2.00006 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[306]: 6 -4.00005 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[360]: 6 -1.00007 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[560]: 6 -1.00008 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[582]: 6 -2.00005 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[610]: 6 -1.00002 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[702]: 6 -2.00003 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[819]: 6 -1.00006 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[832]: 6 -2.00003 0 shouldn't be 377.26/378.27 WSVECS04 Frhs2[893]: 6 -2.00003 0 shouldn't be 379.25/380.22 WSVECS04 Frhs2[8]: 6 -2.00007 0 shouldn't be 379.25/380.22 WSVECS04 Frhs2[619]: 6 -2.00005 0 shouldn't be 379.25/380.22 WSVECS04 Frhs2[895]: 6 -4.00009 0 shouldn't be 379.25/380.22 WSVECS04 Frhs2[900]: 6 -1.00006 0 shouldn't be 381.84/382.81 WSVECS04 Frhs2[5]: 6 -5.0001 0 shouldn't be 381.84/382.81 WSVECS04 Frhs2[603]: 6 -3.00005 0 shouldn't be 384.64/385.63 WSVECS04 Frhs2[107]: 6 -3.00008 0 shouldn't be 384.64/385.63 WSVECS04 Frhs2[894]: 6 -3.00007 0 shouldn't be 388.14/389.16 WSVECS04 Frhs2[595]: 6 -4.00008 0 shouldn't be 448.08/449.22 c #Conflicts: 153000 | #Constraints: 75922 448.08/449.22 c #Conflicts: 154000 | #Constraints: 76922 448.08/449.22 c #Conflicts: 155000 | #Constraints: 77922 448.08/449.22 c #Conflicts: 156000 | #Constraints: 78922 448.08/449.22 c bounds 306 >= 177 @ 436.518 448.08/449.22 c #Conflicts: 157000 | #Constraints: 79943 448.08/449.22 c bounds 306 >= 178 @ 436.873 448.08/449.22 c #Conflicts: 158000 | #Constraints: 80958 448.08/449.22 c #Conflicts: 159000 | #Constraints: 81958 448.08/449.22 c INPROCESSING 448.08/449.22 c GARBAGE COLLECT 448.08/449.22 c rational objective 178 465.44/466.65 c #Conflicts: 160000 | #Constraints: 63985 465.44/466.65 c bounds 306 >= 179 @ 444.869 465.44/466.65 c #Conflicts: 161000 | #Constraints: 65003 465.44/466.65 c bounds 306 >= 180 @ 444.968 465.44/466.65 c #Conflicts: 162000 | #Constraints: 66018 465.44/466.65 c #Conflicts: 163000 | #Constraints: 67018 465.44/466.65 c #Conflicts: 164000 | #Constraints: 68018 465.44/466.65 c bounds 306 >= 181 @ 445.493 465.44/466.65 c #Conflicts: 165000 | #Constraints: 69036 465.44/466.65 c #Conflicts: 166000 | #Constraints: 70036 465.44/466.65 c #Conflicts: 167000 | #Constraints: 71036 465.44/466.65 c #Conflicts: 168000 | #Constraints: 72036 465.44/466.65 c bounds 306 >= 182 @ 447.071 465.44/466.65 c #Conflicts: 169000 | #Constraints: 73057 465.44/466.65 c INPROCESSING 465.44/466.65 c GARBAGE COLLECT 465.44/466.65 c rational objective 182 521.30/522.65 c #Conflicts: 170000 | #Constraints: 59694 521.30/522.65 c #Conflicts: 171000 | #Constraints: 60694 521.30/522.65 c #Conflicts: 172000 | #Constraints: 61694 521.30/522.65 c #Conflicts: 173000 | #Constraints: 62694 521.30/522.65 c #Conflicts: 174000 | #Constraints: 63694 521.30/522.65 c #Conflicts: 175000 | #Constraints: 64694 521.30/522.65 c #Conflicts: 176000 | #Constraints: 65694 521.30/522.65 c #Conflicts: 177000 | #Constraints: 66694 521.30/522.65 c bounds 306 >= 183 @ 464.427 521.30/522.65 c #Conflicts: 178000 | #Constraints: 67715 521.30/522.65 c #Conflicts: 179000 | #Constraints: 68715 521.30/522.65 c INPROCESSING 521.30/522.65 c GARBAGE COLLECT 521.30/522.65 c rational objective 183 553.52/554.96 c #Conflicts: 180000 | #Constraints: 58054 553.52/554.96 c #Conflicts: 181000 | #Constraints: 59054 553.52/554.96 c #Conflicts: 182000 | #Constraints: 60054 553.52/554.96 c #Conflicts: 183000 | #Constraints: 61054 553.52/554.96 c #Conflicts: 184000 | #Constraints: 62054 553.52/554.96 c #Conflicts: 185000 | #Constraints: 63054 553.52/554.96 c #Conflicts: 186000 | #Constraints: 64054 553.52/554.96 c #Conflicts: 187000 | #Constraints: 65054 553.52/554.96 c #Conflicts: 188000 | #Constraints: 66054 553.52/554.96 c #Conflicts: 189000 | #Constraints: 67054 553.52/554.96 c #Conflicts: 190000 | #Constraints: 68054 553.52/554.96 c #Conflicts: 191000 | #Constraints: 69054 553.52/554.96 c #Conflicts: 192000 | #Constraints: 70054 553.52/554.96 c #Conflicts: 193000 | #Constraints: 71054 553.52/554.96 c #Conflicts: 194000 | #Constraints: 72054 553.52/554.96 c #Conflicts: 195000 | #Constraints: 73054 553.52/554.96 c #Conflicts: 196000 | #Constraints: 74054 553.52/554.96 c #Conflicts: 197000 | #Constraints: 75054 553.52/554.96 c #Conflicts: 198000 | #Constraints: 76054 553.52/554.96 c #Conflicts: 199000 | #Constraints: 77054 553.52/554.96 c #Conflicts: 200000 | #Constraints: 78054 553.52/554.96 c #Conflicts: 201000 | #Constraints: 79054 553.52/554.96 c #Conflicts: 202000 | #Constraints: 80054 553.52/554.96 c #Conflicts: 203000 | #Constraints: 81054 553.52/554.96 c bounds 306 >= 184 @ 535.853 553.52/554.96 c #Conflicts: 204000 | #Constraints: 82084 553.52/554.96 c #Conflicts: 205000 | #Constraints: 83084 553.52/554.96 c #Conflicts: 206000 | #Constraints: 84084 553.52/554.96 c #Conflicts: 207000 | #Constraints: 85084 553.52/554.96 c #Conflicts: 208000 | #Constraints: 86084 553.52/554.96 c #Conflicts: 209000 | #Constraints: 87084 553.52/554.96 c #Conflicts: 210000 | #Constraints: 88084 553.52/554.96 c #Conflicts: 211000 | #Constraints: 89084 553.52/554.96 c INPROCESSING 553.52/554.96 c GARBAGE COLLECT 553.52/554.96 c rational objective 184 627.33/628.96 c #Conflicts: 212000 | #Constraints: 67846 627.33/628.96 c #Conflicts: 213000 | #Constraints: 68846 627.33/628.96 c #Conflicts: 214000 | #Constraints: 69846 627.33/628.96 c #Conflicts: 215000 | #Constraints: 70846 627.33/628.96 c #Conflicts: 216000 | #Constraints: 71846 627.33/628.96 c #Conflicts: 217000 | #Constraints: 72846 627.33/628.96 c #Conflicts: 218000 | #Constraints: 73846 627.33/628.96 c #Conflicts: 219000 | #Constraints: 74846 627.33/628.96 c #Conflicts: 220000 | #Constraints: 75846 627.33/628.96 c #Conflicts: 221000 | #Constraints: 76847 627.33/628.96 c #Conflicts: 222000 | #Constraints: 77848 627.33/628.96 c INPROCESSING 627.33/628.96 c GARBAGE COLLECT 627.33/628.96 c rational objective 184 704.24/706.03 c #Conflicts: 223000 | #Constraints: 62106 704.24/706.03 c bounds 306 >= 185 @ 681.562 704.24/706.03 c bounds 306 >= 186 @ 681.582 704.24/706.03 c #Conflicts: 224000 | #Constraints: 63154 704.24/706.03 c #Conflicts: 225000 | #Constraints: 64154 704.24/706.03 c #Conflicts: 226000 | #Constraints: 65154 704.24/706.03 c bounds 306 >= 187 @ 681.802 704.24/706.03 c #Conflicts: 227000 | #Constraints: 66169 704.24/706.03 c bounds 306 >= 188 @ 682.074 704.24/706.03 c #Conflicts: 228000 | #Constraints: 67193 704.24/706.03 c #Conflicts: 229000 | #Constraints: 68193 704.24/706.03 c #Conflicts: 230000 | #Constraints: 69193 704.24/706.03 c #Conflicts: 231000 | #Constraints: 70193 704.24/706.03 c #Conflicts: 232000 | #Constraints: 71193 704.24/706.03 c bounds 306 >= 189 @ 683.644 704.24/706.03 c #Conflicts: 233000 | #Constraints: 72211 704.24/706.03 c #Conflicts: 234000 | #Constraints: 73211 704.24/706.03 c INPROCESSING 704.24/706.03 c GARBAGE COLLECT 704.24/706.03 c rational objective 189 788.52/790.56 c #Conflicts: 235000 | #Constraints: 61055 788.52/790.56 c #Conflicts: 236000 | #Constraints: 62055 788.52/790.56 c #Conflicts: 237000 | #Constraints: 63055 788.52/790.56 c bounds 306 >= 190 @ 700.296 788.52/790.56 c #Conflicts: 238000 | #Constraints: 64079 788.52/790.56 c #Conflicts: 239000 | #Constraints: 65079 788.52/790.56 c #Conflicts: 240000 | #Constraints: 66079 788.52/790.56 c bounds 306 >= 191 @ 700.634 788.52/790.56 c bounds 306 >= 192 @ 700.684 788.52/790.56 c #Conflicts: 241000 | #Constraints: 67115 788.52/790.56 c #Conflicts: 242000 | #Constraints: 68115 788.52/790.56 c bounds 306 >= 193 @ 700.874 788.52/790.56 c #Conflicts: 243000 | #Constraints: 69136 788.52/790.56 c #Conflicts: 244000 | #Constraints: 70136 788.52/790.56 c #Conflicts: 245000 | #Constraints: 71136 788.52/790.56 c bounds 306 >= 194 @ 701.784 788.52/790.56 c #Conflicts: 246000 | #Constraints: 72157 788.52/790.56 c #Conflicts: 247000 | #Constraints: 73157 788.52/790.56 c #Conflicts: 248000 | #Constraints: 74157 788.52/790.56 c #Conflicts: 249000 | #Constraints: 75157 788.52/790.56 c #Conflicts: 250000 | #Constraints: 76157 788.52/790.56 c #Conflicts: 251000 | #Constraints: 77157 788.52/790.56 c #Conflicts: 252000 | #Constraints: 78157 788.52/790.56 c bounds 306 >= 195 @ 704.61 788.52/790.56 c #Conflicts: 253000 | #Constraints: 79184 788.52/790.56 c #Conflicts: 254000 | #Constraints: 80184 788.52/790.56 c #Conflicts: 255000 | #Constraints: 81184 788.52/790.56 c #Conflicts: 256000 | #Constraints: 82184 788.52/790.56 c #Conflicts: 257000 | #Constraints: 83184 788.52/790.56 c #Conflicts: 258000 | #Constraints: 84184 788.52/790.56 c #Conflicts: 259000 | #Constraints: 85184 788.52/790.56 c #Conflicts: 260000 | #Constraints: 86184 788.52/790.56 c #Conflicts: 261000 | #Constraints: 87184 788.52/790.56 c #Conflicts: 262000 | #Constraints: 88184 788.52/790.56 c #Conflicts: 263000 | #Constraints: 89184 788.52/790.56 c #Conflicts: 264000 | #Constraints: 90184 788.52/790.56 c #Conflicts: 265000 | #Constraints: 91184 788.52/790.56 c bounds 306 >= 196 @ 763.41 788.52/790.56 c #Conflicts: 266000 | #Constraints: 92205 788.52/790.56 c #Conflicts: 267000 | #Constraints: 93205 788.52/790.56 c #Conflicts: 268000 | #Constraints: 94205 788.52/790.56 c #Conflicts: 269000 | #Constraints: 95205 788.52/790.56 c bounds 304 >= 196 @ 766.344 788.52/790.56 c #Conflicts: 270000 | #Constraints: 96206 788.52/790.56 c INPROCESSING 788.52/790.56 c GARBAGE COLLECT 788.52/790.56 c rational objective 196 823.83/825.90 c #Conflicts: 271000 | #Constraints: 71616 823.83/825.90 c #Conflicts: 272000 | #Constraints: 72616 823.83/825.90 c #Conflicts: 273000 | #Constraints: 73616 823.83/825.90 c #Conflicts: 274000 | #Constraints: 74616 823.83/825.90 c #Conflicts: 275000 | #Constraints: 75616 823.83/825.90 c #Conflicts: 276000 | #Constraints: 76616 823.83/825.90 c #Conflicts: 277000 | #Constraints: 77616 823.83/825.90 c #Conflicts: 278000 | #Constraints: 78616 823.83/825.90 c #Conflicts: 279000 | #Constraints: 79616 823.83/825.90 c bounds 302 >= 196 @ 796.21 823.83/825.90 c #Conflicts: 280000 | #Constraints: 80617 823.83/825.90 c #Conflicts: 281000 | #Constraints: 81617 823.83/825.90 c bounds 302 >= 197 @ 796.439 823.83/825.90 c #Conflicts: 282000 | #Constraints: 82644 823.83/825.90 c INPROCESSING 823.83/825.90 c GARBAGE COLLECT 823.83/825.90 c rational objective 197 907.28/909.69 c #Conflicts: 283000 | #Constraints: 64456 907.28/909.69 c #Conflicts: 284000 | #Constraints: 65456 907.28/909.69 c #Conflicts: 285000 | #Constraints: 66456 907.28/909.69 c #Conflicts: 286000 | #Constraints: 67456 907.28/909.69 c bounds 302 >= 198 @ 818.972 907.28/909.69 c #Conflicts: 287000 | #Constraints: 68477 907.28/909.69 c #Conflicts: 288000 | #Constraints: 69477 907.28/909.69 c #Conflicts: 289000 | #Constraints: 70477 907.28/909.69 c #Conflicts: 290000 | #Constraints: 71477 907.28/909.69 c bounds 302 >= 199 @ 863.843 907.28/909.69 c #Conflicts: 291000 | #Constraints: 72504 907.28/909.69 c #Conflicts: 292000 | #Constraints: 73504 907.28/909.69 c #Conflicts: 293000 | #Constraints: 74504 907.28/909.69 c #Conflicts: 294000 | #Constraints: 75504 907.28/909.69 c #Conflicts: 295000 | #Constraints: 76504 907.28/909.69 c #Conflicts: 296000 | #Constraints: 77504 907.28/909.69 c #Conflicts: 297000 | #Constraints: 78504 907.28/909.69 c #Conflicts: 298000 | #Constraints: 79504 907.28/909.69 c #Conflicts: 299000 | #Constraints: 80504 907.28/909.69 c bounds 302 >= 200 @ 868.817 907.28/909.69 c #Conflicts: 300000 | #Constraints: 81519 907.28/909.69 c #Conflicts: 301000 | #Constraints: 82519 907.28/909.69 c #Conflicts: 302000 | #Constraints: 83519 907.28/909.69 c #Conflicts: 303000 | #Constraints: 84519 907.28/909.69 c #Conflicts: 304000 | #Constraints: 85519 907.28/909.69 c #Conflicts: 305000 | #Constraints: 86519 907.28/909.69 c #Conflicts: 306000 | #Constraints: 87519 907.28/909.69 c #Conflicts: 307000 | #Constraints: 88519 907.28/909.69 c #Conflicts: 308000 | #Constraints: 89519 907.28/909.69 c #Conflicts: 309000 | #Constraints: 90519 907.28/909.69 c #Conflicts: 310000 | #Constraints: 91519 907.28/909.69 c bounds 302 >= 201 @ 878.964 907.28/909.69 c #Conflicts: 311000 | #Constraints: 92549 907.28/909.69 c #Conflicts: 312000 | #Constraints: 93549 907.28/909.69 c #Conflicts: 313000 | #Constraints: 94549 907.28/909.69 c #Conflicts: 314000 | #Constraints: 95549 907.28/909.69 c #Conflicts: 315000 | #Constraints: 96550 907.28/909.69 c #Conflicts: 316000 | #Constraints: 97550 907.28/909.69 c #Conflicts: 317000 | #Constraints: 98550 907.28/909.69 c #Conflicts: 318000 | #Constraints: 99550 907.28/909.69 c #Conflicts: 319000 | #Constraints: 100551 907.28/909.69 c #Conflicts: 320000 | #Constraints: 101552 907.28/909.69 c #Conflicts: 321000 | #Constraints: 102552 907.28/909.69 c INPROCESSING 907.28/909.69 c GARBAGE COLLECT 907.28/909.69 c rational objective 201 947.29/949.71 c #Conflicts: 322000 | #Constraints: 74433 947.29/949.71 c #Conflicts: 323000 | #Constraints: 75433 947.29/949.71 c #Conflicts: 324000 | #Constraints: 76433 947.29/949.71 c #Conflicts: 325000 | #Constraints: 77433 947.29/949.71 c #Conflicts: 326000 | #Constraints: 78433 947.29/949.71 c bounds 302 >= 202 @ 923.179 947.29/949.71 c #Conflicts: 327000 | #Constraints: 79457 947.29/949.71 c #Conflicts: 328000 | #Constraints: 80457 947.29/949.71 c #Conflicts: 329000 | #Constraints: 81457 947.29/949.71 c #Conflicts: 330000 | #Constraints: 82457 947.29/949.71 c #Conflicts: 331000 | #Constraints: 83457 947.29/949.71 c bounds 302 >= 203 @ 925.184 947.29/949.71 c #Conflicts: 332000 | #Constraints: 84469 947.29/949.71 c #Conflicts: 333000 | #Constraints: 85469 947.29/949.71 c #Conflicts: 334000 | #Constraints: 86469 947.29/949.71 c #Conflicts: 335000 | #Constraints: 87469 947.29/949.71 c #Conflicts: 336000 | #Constraints: 88469 947.29/949.71 c INPROCESSING 947.29/949.71 c GARBAGE COLLECT 947.29/949.71 c rational objective 203 1012.40/1015.06 c bounds 300 >= 203 @ 940.909 1012.40/1015.06 c #Conflicts: 337000 | #Constraints: 67844 1012.40/1015.06 c #Conflicts: 338000 | #Constraints: 68844 1012.40/1015.06 c #Conflicts: 339000 | #Constraints: 69844 1012.40/1015.06 c #Conflicts: 340000 | #Constraints: 70844 1012.40/1015.06 c #Conflicts: 341000 | #Constraints: 71844 1012.40/1015.06 c #Conflicts: 342000 | #Constraints: 72846 1012.40/1015.06 c #Conflicts: 343000 | #Constraints: 73846 1012.40/1015.06 c #Conflicts: 344000 | #Constraints: 74848 1012.40/1015.06 c #Conflicts: 345000 | #Constraints: 75848 1012.40/1015.06 c #Conflicts: 346000 | #Constraints: 76848 1012.40/1015.06 c #Conflicts: 347000 | #Constraints: 77848 1012.40/1015.06 c #Conflicts: 348000 | #Constraints: 78848 1012.40/1015.06 c #Conflicts: 349000 | #Constraints: 79848 1012.40/1015.06 c #Conflicts: 350000 | #Constraints: 80848 1012.40/1015.06 c #Conflicts: 351000 | #Constraints: 81848 1012.40/1015.06 c #Conflicts: 352000 | #Constraints: 82848 1012.40/1015.06 c #Conflicts: 353000 | #Constraints: 83849 1012.40/1015.06 c #Conflicts: 354000 | #Constraints: 84851 1012.40/1015.06 c #Conflicts: 355000 | #Constraints: 85851 1012.40/1015.06 c #Conflicts: 356000 | #Constraints: 86851 1012.40/1015.06 c #Conflicts: 357000 | #Constraints: 87851 1012.40/1015.06 c #Conflicts: 358000 | #Constraints: 88852 1012.40/1015.06 c #Conflicts: 359000 | #Constraints: 89853 1012.40/1015.06 c #Conflicts: 360000 | #Constraints: 90854 1012.40/1015.06 c #Conflicts: 361000 | #Constraints: 91855 1012.40/1015.06 c #Conflicts: 362000 | #Constraints: 92855 1012.40/1015.06 c #Conflicts: 363000 | #Constraints: 93855 1012.40/1015.06 WSVECS04 Frhs2[50]: 6 0 4.00007 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[70]: 6 0 2.00006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[89]: 6 -3.00009 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[101]: 6 -2.00002 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[103]: 6 -2.00005 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[110]: 6 -1.00008 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[119]: 6 -2.0001 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[200]: 6 -1.00006 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[207]: 6 -2.00002 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[243]: 6 0 2.00002 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[261]: 6 0 2.00006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[273]: 6 -3.00007 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[280]: 6 -1.00007 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[300]: 6 -0.500089 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[306]: 6 -3.00004 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[310]: 6 -1.00004 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[311]: 6 0 1.00006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[319]: 6 -2.00004 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[430]: 6 0 2.00006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[541]: 6 0 1.46121 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[548]: 6 -2.00007 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[580]: 6 0 2.00004 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[597]: 6 -4.00008 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[603]: 6 -4.00009 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[610]: 6 -1.00008 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[611]: 6 0 1.00007 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[661]: 6 0 2.00002 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[664]: 6 -4.00002 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[702]: 6 -2.00003 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[731]: 6 0 1.00001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[741]: 6 0 3.00004 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[750]: 6 0 1.00007 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[781]: 6 0 2.00001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[819]: 6 -1.00007 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[820]: 6 0 1.00004 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[831]: 6 0 0.228347 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[840]: 6 0 1.77172 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[881]: 6 0 2.00002 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[895]: 6 -4.00008 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[931]: 6 0 3.31508 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[981]: 6 0 1.77176 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[983]: 6 0 1.77178 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[988]: 6 0 1.77174 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[990]: 6 0 1.77175 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[994]: 6 0 7.0001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[997]: 6 0 3.22839 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[998]: 6 0 3.22838 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[999]: 6 0 3.2284 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1030]: 6 0 3.77175 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1031]: 6 0 5.54342 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1046]: 6 0 24.5001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1053]: 6 0 4.00006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1055]: 6 0 4.00005 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1057]: 6 0 7.31512 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1060]: 6 0 4.00003 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1077]: 6 -10.0183 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1083]: 6 0 0.0868258 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1089]: 6 0 5.08685 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1106]: 6 0 9.25123 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1107]: 6 0 11.0868 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1134]: 6 0 0.931547 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1161]: 6 0 15.0001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1168]: 6 0 13.0001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1169]: 6 0 13 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1170]: 6 0 9.91334 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1190]: 6 -5.50005 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1199]: 6 0 21.0001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1235]: 6 -12.0001 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1250]: 6 0 3.46126 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1266]: 6 0 7.00005 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1306]: 6 0 0.374495 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1322]: 6 -4.00001 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1332]: 6 0 3.62562 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1352]: 6 0 0.500071 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1368]: 6 0 24.6256 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1374]: 6 -2.00008 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1412]: 6 0 4.00009 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1413]: 6 0 4.00006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1509]: 6 0 8.00002 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1517]: 6 -5.07766 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1546]: 6 -10 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1725]: 6 0 4.89504 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1772]: 6 0 8.83564 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1776]: 6 0 11.3745 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1777]: 6 0 6.62561 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1804]: 6 0 1.46123 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1808]: 6 0 1.46122 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1816]: 6 -8.00004 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1840]: 6 0 22.8357 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1852]: 6 0 21.3745 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1854]: 6 0 21.3745 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1891]: 6 0 6.27176 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1907]: 6 0 6.27179 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1928]: 6 0 1.00002 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1932]: 6 0 1.00007 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1934]: 6 0 2.50005 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1959]: 6 0 0.395057 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[1994]: 6 -17 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2001]: 6 0 22 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2002]: 6 0 23.0001 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2033]: 6 0 1.50006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2034]: 6 0 1.50005 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2036]: 6 0 7.64387 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2043]: 6 0 7.64391 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2050]: 6 0 9.64388 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2051]: 6 0 7.64386 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2052]: 6 0 7.64388 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2081]: 6 0 3.46126 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2093]: 6 0 4.53883 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2094]: 6 0 4.53882 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2104]: 6 0 6.53887 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2124]: 6 0 6.18272 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2153]: 6 -2.91782 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2166]: 6 -11.0777 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2179]: 6 0 2.69409 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2180]: 6 0 5.46123 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2189]: 6 0 5.46122 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2192]: 6 0 5.46123 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2194]: 6 0 7.4612 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2196]: 6 0 5.46121 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2212]: 6 -3.00005 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2307]: 6 0 1.00006 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2309]: 6 0 1.00008 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2310]: 6 0 1.00003 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2321]: 6 0 1.00004 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2323]: 6 0 1.00004 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2324]: 6 0 1.00003 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2327]: 6 0 1.00004 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2340]: 6 -1.00003 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2367]: 6 -2.45667 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2388]: 6 0 3.00003 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2404]: 6 -6.00008 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2479]: 6 -5.50005 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2489]: 6 -6.00007 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2540]: 6 -2.73062 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2542]: 6 0 1.62559 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2642]: 6 -15.1233 0 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2684]: 6 0 20.5 shouldn't be 1012.40/1015.06 WSVECS04 Frhs2[2693]: 6 -3.68496 0 shouldn't be 1558.77/1563.06 c #Conflicts: 364000 | #Constraints: 94855 1558.77/1563.06 c bounds 296 >= 203 @ 1007.81 1558.77/1563.06 c #Conflicts: 365000 | #Constraints: 95856 1558.77/1563.06 c #Conflicts: 366000 | #Constraints: 96856 1558.77/1563.06 c #Conflicts: 367000 | #Constraints: 97856 1558.77/1563.06 c #Conflicts: 368000 | #Constraints: 98856 1558.77/1563.06 c #Conflicts: 369000 | #Constraints: 99856 1558.77/1563.06 c #Conflicts: 370000 | #Constraints: 100856 1558.77/1563.06 c #Conflicts: 371000 | #Constraints: 101856 1558.77/1563.06 c #Conflicts: 372000 | #Constraints: 102856 1558.77/1563.06 c #Conflicts: 373000 | #Constraints: 103856 1558.77/1563.06 c #Conflicts: 374000 | #Constraints: 104856 1558.77/1563.06 c #Conflicts: 375000 | #Constraints: 105856 1558.77/1563.06 c #Conflicts: 376000 | #Constraints: 106856 1558.77/1563.06 c #Conflicts: 377000 | #Constraints: 107856 1558.77/1563.06 c bounds 296 >= 204 @ 1025.36 1558.77/1563.06 c #Conflicts: 378000 | #Constraints: 108880 1558.77/1563.06 c INPROCESSING 1558.77/1563.06 c GARBAGE COLLECT 1558.77/1563.06 c #Conflicts: 379000 | #Constraints: 77973 1558.77/1563.06 c #Conflicts: 380000 | #Constraints: 78973 1558.77/1563.06 c #Conflicts: 381000 | #Constraints: 79973 1558.77/1563.06 c #Conflicts: 382000 | #Constraints: 80973 1558.77/1563.06 c #Conflicts: 383000 | #Constraints: 81973 1558.77/1563.06 c #Conflicts: 384000 | #Constraints: 82973 1558.77/1563.06 c #Conflicts: 385000 | #Constraints: 83973 1558.77/1563.06 c #Conflicts: 386000 | #Constraints: 84973 1558.77/1563.06 c #Conflicts: 387000 | #Constraints: 85973 1558.77/1563.06 c #Conflicts: 388000 | #Constraints: 86973 1558.77/1563.06 c #Conflicts: 389000 | #Constraints: 87973 1558.77/1563.06 c #Conflicts: 390000 | #Constraints: 88973 1558.77/1563.06 c #Conflicts: 391000 | #Constraints: 89973 1558.77/1563.06 c #Conflicts: 392000 | #Constraints: 90973 1558.77/1563.06 c #Conflicts: 393000 | #Constraints: 91973 1558.77/1563.06 c INPROCESSING 1558.77/1563.06 c GARBAGE COLLECT 1558.77/1563.06 c #Conflicts: 394000 | #Constraints: 69329 1558.77/1563.06 c #Conflicts: 395000 | #Constraints: 70329 1558.77/1563.06 c #Conflicts: 396000 | #Constraints: 71329 1558.77/1563.06 c #Conflicts: 397000 | #Constraints: 72329 1558.77/1563.06 c #Conflicts: 398000 | #Constraints: 73329 1558.77/1563.06 c #Conflicts: 399000 | #Constraints: 74329 1558.77/1563.06 c #Conflicts: 400000 | #Constraints: 75329 1558.77/1563.06 c #Conflicts: 401000 | #Constraints: 76329 1558.77/1563.06 c bounds 296 >= 205 @ 1500.35 1558.77/1563.06 c #Conflicts: 402000 | #Constraints: 77365 1558.77/1563.06 c #Conflicts: 403000 | #Constraints: 78365 1558.77/1563.06 c #Conflicts: 404000 | #Constraints: 79365 1558.77/1563.06 c #Conflicts: 405000 | #Constraints: 80365 1558.77/1563.06 c #Conflicts: 406000 | #Constraints: 81365 1558.77/1563.06 c #Conflicts: 407000 | #Constraints: 82365 1558.77/1563.06 c #Conflicts: 408000 | #Constraints: 83365 1558.77/1563.06 c #Conflicts: 409000 | #Constraints: 84365 1558.77/1563.06 c #Conflicts: 410000 | #Constraints: 85365 1558.77/1563.06 c #Conflicts: 411000 | #Constraints: 86365 1558.77/1563.06 c #Conflicts: 412000 | #Constraints: 87365 1558.77/1563.06 c #Conflicts: 413000 | #Constraints: 88365 1558.77/1563.06 c #Conflicts: 414000 | #Constraints: 89365 1558.77/1563.06 c #Conflicts: 415000 | #Constraints: 90365 1558.77/1563.06 c #Conflicts: 416000 | #Constraints: 91365 1558.77/1563.06 c #Conflicts: 417000 | #Constraints: 92365 1558.77/1563.06 c #Conflicts: 418000 | #Constraints: 93365 1558.77/1563.06 c #Conflicts: 419000 | #Constraints: 94365 1558.77/1563.06 c bounds 296 >= 206 @ 1518.09 1558.77/1563.06 c #Conflicts: 420000 | #Constraints: 95392 1558.77/1563.06 c #Conflicts: 421000 | #Constraints: 96392 1558.77/1563.06 c #Conflicts: 422000 | #Constraints: 97392 1558.77/1563.06 c #Conflicts: 423000 | #Constraints: 98392 1558.77/1563.06 c #Conflicts: 424000 | #Constraints: 99392 1558.77/1563.06 c #Conflicts: 425000 | #Constraints: 100392 1558.77/1563.06 c #Conflicts: 426000 | #Constraints: 101392 1558.77/1563.06 c #Conflicts: 427000 | #Constraints: 102392 1558.77/1563.06 c #Conflicts: 428000 | #Constraints: 103392 1558.77/1563.06 c #Conflicts: 429000 | #Constraints: 104392 1558.77/1563.06 c #Conflicts: 430000 | #Constraints: 105392 1558.77/1563.06 c #Conflicts: 431000 | #Constraints: 106392 1558.77/1563.06 c #Conflicts: 432000 | #Constraints: 107392 1558.77/1563.06 c #Conflicts: 433000 | #Constraints: 108392 1558.77/1563.06 c #Conflicts: 434000 | #Constraints: 109392 1558.77/1563.06 c #Conflicts: 435000 | #Constraints: 110392 1558.77/1563.06 c #Conflicts: 436000 | #Constraints: 111392 1558.77/1563.06 c #Conflicts: 437000 | #Constraints: 112392 1558.77/1563.06 c #Conflicts: 438000 | #Constraints: 113392 1558.77/1563.06 c INPROCESSING 1581.59/1585.94 c GARBAGE COLLECT 1581.59/1585.94 c rational objective 206 1650.49/1655.05 c #Conflicts: 439000 | #Constraints: 79939 1650.49/1655.05 c #Conflicts: 440000 | #Constraints: 80939 1650.49/1655.05 c #Conflicts: 441000 | #Constraints: 81939 1650.49/1655.05 c #Conflicts: 442000 | #Constraints: 82939 1650.49/1655.05 c #Conflicts: 443000 | #Constraints: 83939 1650.49/1655.05 c #Conflicts: 444000 | #Constraints: 84939 1650.49/1655.05 c #Conflicts: 445000 | #Constraints: 85939 1650.49/1655.05 c #Conflicts: 446000 | #Constraints: 86939 1650.49/1655.05 c #Conflicts: 447000 | #Constraints: 87939 1650.49/1655.05 c #Conflicts: 448000 | #Constraints: 88939 1650.49/1655.05 c bounds 296 >= 207 @ 1583.26 1650.49/1655.05 c #Conflicts: 449000 | #Constraints: 89957 1650.49/1655.05 c #Conflicts: 450000 | #Constraints: 90957 1650.49/1655.05 c #Conflicts: 451000 | #Constraints: 91957 1650.49/1655.05 c #Conflicts: 452000 | #Constraints: 92957 1650.49/1655.05 c #Conflicts: 453000 | #Constraints: 93957 1650.49/1655.05 c #Conflicts: 454000 | #Constraints: 94957 1650.49/1655.05 c #Conflicts: 455000 | #Constraints: 95957 1650.49/1655.05 c INPROCESSING 1650.49/1655.05 c GARBAGE COLLECT 1650.49/1655.05 c rational objective 207 1722.55/1727.38 c #Conflicts: 456000 | #Constraints: 71364 1722.55/1727.38 c #Conflicts: 457000 | #Constraints: 72364 1722.55/1727.38 c #Conflicts: 458000 | #Constraints: 73364 1722.55/1727.38 c #Conflicts: 459000 | #Constraints: 74364 1722.55/1727.38 c #Conflicts: 460000 | #Constraints: 75364 1722.55/1727.38 c #Conflicts: 461000 | #Constraints: 76364 1722.55/1727.38 c #Conflicts: 462000 | #Constraints: 77364 1722.55/1727.38 c #Conflicts: 463000 | #Constraints: 78364 1722.55/1727.38 c #Conflicts: 464000 | #Constraints: 79364 1722.55/1727.38 c #Conflicts: 465000 | #Constraints: 80364 1722.55/1727.38 c bounds 296 >= 208 @ 1643.05 1722.55/1727.38 c #Conflicts: 466000 | #Constraints: 81385 1722.55/1727.38 c #Conflicts: 467000 | #Constraints: 82385 1722.55/1727.38 c #Conflicts: 468000 | #Constraints: 83385 1722.55/1727.38 c #Conflicts: 469000 | #Constraints: 84385 1722.55/1727.38 c #Conflicts: 470000 | #Constraints: 85385 1722.55/1727.38 c #Conflicts: 471000 | #Constraints: 86385 1722.55/1727.38 c #Conflicts: 472000 | #Constraints: 87385 1722.55/1727.38 c #Conflicts: 473000 | #Constraints: 88385 1722.55/1727.38 c bounds 296 >= 209 @ 1647.33 1722.55/1727.38 c #Conflicts: 474000 | #Constraints: 89412 1722.55/1727.39 c #Conflicts: 475000 | #Constraints: 90412 1722.55/1727.39 c #Conflicts: 476000 | #Constraints: 91412 1722.55/1727.39 c #Conflicts: 477000 | #Constraints: 92412 1722.55/1727.39 c #Conflicts: 478000 | #Constraints: 93412 1722.55/1727.39 c #Conflicts: 479000 | #Constraints: 94412 1722.55/1727.39 c #Conflicts: 480000 | #Constraints: 95412 1722.55/1727.39 c #Conflicts: 481000 | #Constraints: 96412 1722.55/1727.39 c #Conflicts: 482000 | #Constraints: 97412 1722.55/1727.39 c #Conflicts: 483000 | #Constraints: 98412 1722.55/1727.39 c #Conflicts: 484000 | #Constraints: 99412 1722.55/1727.39 c #Conflicts: 485000 | #Constraints: 100412 1722.55/1727.39 c #Conflicts: 486000 | #Constraints: 101412 1722.55/1727.39 c #Conflicts: 487000 | #Constraints: 102412 1722.55/1727.39 c #Conflicts: 488000 | #Constraints: 103412 1722.55/1727.39 c #Conflicts: 489000 | #Constraints: 104412 1722.55/1727.39 c #Conflicts: 490000 | #Constraints: 105412 1722.55/1727.39 c #Conflicts: 491000 | #Constraints: 106412 1722.55/1727.39 c #Conflicts: 492000 | #Constraints: 107412 1722.55/1727.39 c #Conflicts: 493000 | #Constraints: 108412 1722.55/1727.39 c #Conflicts: 494000 | #Constraints: 109412 1722.55/1727.39 c #Conflicts: 495000 | #Constraints: 110412 1722.55/1727.39 c #Conflicts: 496000 | #Constraints: 111412 1722.55/1727.39 c #Conflicts: 497000 | #Constraints: 112412 1722.55/1727.39 c #Conflicts: 498000 | #Constraints: 113412 1722.55/1727.39 c #Conflicts: 499000 | #Constraints: 114412 1722.55/1727.39 c #Conflicts: 500000 | #Constraints: 115412 1722.55/1727.39 c #Conflicts: 501000 | #Constraints: 116412 1722.55/1727.39 c #Conflicts: 502000 | #Constraints: 117412 1722.55/1727.39 c #Conflicts: 503000 | #Constraints: 118412 1722.55/1727.39 c #Conflicts: 504000 | #Constraints: 119412 1722.55/1727.39 c INPROCESSING 1722.55/1727.39 c GARBAGE COLLECT 1722.55/1727.39 c rational objective 209 1742.20/1747.02 c #Conflicts: 505000 | #Constraints: 83429 1742.20/1747.02 c #Conflicts: 506000 | #Constraints: 84429 1742.20/1747.02 c #Conflicts: 507000 | #Constraints: 85429 1742.20/1747.02 c #Conflicts: 508000 | #Constraints: 86429 1742.20/1747.02 c #Conflicts: 509000 | #Constraints: 87429 1742.20/1747.02 c #Conflicts: 510000 | #Constraints: 88429 1742.20/1747.02 c #Conflicts: 511000 | #Constraints: 89429 1742.20/1747.02 c #Conflicts: 512000 | #Constraints: 90429 1742.20/1747.02 c #Conflicts: 513000 | #Constraints: 91429 1742.20/1747.02 c #Conflicts: 514000 | #Constraints: 92429 1742.20/1747.02 c #Conflicts: 515000 | #Constraints: 93429 1742.20/1747.02 c #Conflicts: 516000 | #Constraints: 94429 1742.20/1747.02 c #Conflicts: 517000 | #Constraints: 95429 1742.20/1747.02 c #Conflicts: 518000 | #Constraints: 96429 1742.20/1747.02 c #Conflicts: 519000 | #Constraints: 97429 1742.20/1747.02 c #Conflicts: 520000 | #Constraints: 98429 1742.20/1747.02 c #Conflicts: 521000 | #Constraints: 99429 1742.20/1747.02 c #Conflicts: 522000 | #Constraints: 100429 1742.20/1747.02 c INPROCESSING 1742.20/1747.02 c GARBAGE COLLECT 1742.20/1747.02 c rational objective 209 1816.87/1821.93 c #Conflicts: 523000 | #Constraints: 73928 1816.87/1821.93 c #Conflicts: 524000 | #Constraints: 74928 1816.87/1821.93 c #Conflicts: 525000 | #Constraints: 75928 1816.87/1821.93 c #Conflicts: 526000 | #Constraints: 76928 1816.87/1821.93 c #Conflicts: 527000 | #Constraints: 77928 1816.87/1821.93 c #Conflicts: 528000 | #Constraints: 78928 1816.87/1821.93 c #Conflicts: 529000 | #Constraints: 79928 1816.87/1821.93 c #Conflicts: 530000 | #Constraints: 80928 1816.87/1821.93 c #Conflicts: 531000 | #Constraints: 81928 1816.87/1821.93 c #Conflicts: 532000 | #Constraints: 82928 1816.87/1821.93 c bounds 296 >= 210 @ 1736.08 1816.87/1821.93 c #Conflicts: 533000 | #Constraints: 83955 1816.87/1821.93 c #Conflicts: 534000 | #Constraints: 84955 1816.87/1821.93 c #Conflicts: 535000 | #Constraints: 85955 1816.87/1821.93 c #Conflicts: 536000 | #Constraints: 86955 1816.87/1821.93 c #Conflicts: 537000 | #Constraints: 87955 1816.87/1821.93 c #Conflicts: 538000 | #Constraints: 88955 1816.87/1821.93 c #Conflicts: 539000 | #Constraints: 89955 1816.87/1821.93 c #Conflicts: 540000 | #Constraints: 90955 1816.87/1821.93 c #Conflicts: 541000 | #Constraints: 91955 1816.87/1821.93 c #Conflicts: 542000 | #Constraints: 92955 1816.87/1821.93 c #Conflicts: 543000 | #Constraints: 93955 1816.87/1821.93 c #Conflicts: 544000 | #Constraints: 94955 1816.87/1821.93 c #Conflicts: 545000 | #Constraints: 95955 1816.87/1821.93 c #Conflicts: 546000 | #Constraints: 96955 1816.87/1821.93 c #Conflicts: 547000 | #Constraints: 97955 1816.87/1821.93 c #Conflicts: 548000 | #Constraints: 98955 1816.87/1821.93 c #Conflicts: 549000 | #Constraints: 99955 1816.87/1821.93 c #Conflicts: 550000 | #Constraints: 100955 1816.87/1821.93 c #Conflicts: 551000 | #Constraints: 101955 1816.87/1821.93 c #Conflicts: 552000 | #Constraints: 102955 1816.87/1821.93 c bounds 296 >= 211 @ 1754.5 1816.87/1821.93 c #Conflicts: 553000 | #Constraints: 103982 1816.87/1821.93 c #Conflicts: 554000 | #Constraints: 104982 1816.87/1821.93 c #Conflicts: 555000 | #Constraints: 105982 1816.87/1821.93 c #Conflicts: 556000 | #Constraints: 106982 1816.87/1821.93 c #Conflicts: 557000 | #Constraints: 107982 1816.87/1821.93 c #Conflicts: 558000 | #Constraints: 108982 1816.87/1821.93 c #Conflicts: 559000 | #Constraints: 109982 1816.87/1821.93 c #Conflicts: 560000 | #Constraints: 110982 1816.87/1821.93 c #Conflicts: 561000 | #Constraints: 111982 1816.87/1821.93 c #Conflicts: 562000 | #Constraints: 112982 1816.87/1821.93 c #Conflicts: 563000 | #Constraints: 113982 1816.87/1821.93 c #Conflicts: 564000 | #Constraints: 114982 1816.87/1821.93 c bounds 296 >= 212 @ 1757.41 1816.87/1821.93 c #Conflicts: 565000 | #Constraints: 116006 1816.87/1821.93 c #Conflicts: 566000 | #Constraints: 117006 1816.87/1821.93 c #Conflicts: 567000 | #Constraints: 118006 1816.87/1821.93 c #Conflicts: 568000 | #Constraints: 119006 1816.87/1821.93 c #Conflicts: 569000 | #Constraints: 120006 1816.87/1821.93 c #Conflicts: 570000 | #Constraints: 121006 1816.87/1821.93 c #Conflicts: 571000 | #Constraints: 122006 1816.87/1821.93 c #Conflicts: 572000 | #Constraints: 123006 1816.87/1821.93 c #Conflicts: 573000 | #Constraints: 124006 1816.87/1821.93 c INPROCESSING 1816.87/1821.93 c GARBAGE COLLECT 1816.87/1821.93 c rational objective 212 1864.93/1870.11 c #Conflicts: 574000 | #Constraints: 85500 1864.93/1870.11 c #Conflicts: 575000 | #Constraints: 86500 1864.93/1870.11 c #Conflicts: 576000 | #Constraints: 87500 1864.93/1870.11 c #Conflicts: 577000 | #Constraints: 88500 1864.93/1870.11 c bounds 296 >= 213 @ 1807.45 1864.93/1870.11 c #Conflicts: 578000 | #Constraints: 89527 1864.93/1870.11 c #Conflicts: 579000 | #Constraints: 90527 1864.93/1870.11 c #Conflicts: 580000 | #Constraints: 91527 1864.93/1870.11 c #Conflicts: 581000 | #Constraints: 92527 1864.93/1870.11 c #Conflicts: 582000 | #Constraints: 93527 1864.93/1870.11 c #Conflicts: 583000 | #Constraints: 94527 1864.93/1870.11 c #Conflicts: 584000 | #Constraints: 95527 1864.93/1870.11 c #Conflicts: 585000 | #Constraints: 96527 1864.93/1870.11 c #Conflicts: 586000 | #Constraints: 97527 1864.93/1870.11 c #Conflicts: 587000 | #Constraints: 98527 1864.93/1870.11 c #Conflicts: 588000 | #Constraints: 99527 1864.93/1870.11 c #Conflicts: 589000 | #Constraints: 100527 1864.93/1870.11 c #Conflicts: 590000 | #Constraints: 101527 1864.93/1870.11 c #Conflicts: 591000 | #Constraints: 102527 1864.93/1870.11 c #Conflicts: 592000 | #Constraints: 103527 1864.93/1870.11 c INPROCESSING 1864.93/1870.11 c GARBAGE COLLECT 1864.93/1870.11 c rational objective 213 1980.41/1986.08 c #Conflicts: 593000 | #Constraints: 75414 1980.41/1986.08 c #Conflicts: 594000 | #Constraints: 76414 1980.41/1986.08 c #Conflicts: 595000 | #Constraints: 77414 1980.41/1986.08 c #Conflicts: 596000 | #Constraints: 78414 1980.41/1986.08 c #Conflicts: 597000 | #Constraints: 79414 1980.41/1986.08 c #Conflicts: 598000 | #Constraints: 80414 1980.41/1986.08 c #Conflicts: 599000 | #Constraints: 81414 1980.41/1986.08 c bounds 296 >= 214 @ 1867.58 1980.41/1986.08 c #Conflicts: 600000 | #Constraints: 82441 1980.41/1986.08 c #Conflicts: 601000 | #Constraints: 83441 1980.41/1986.08 c #Conflicts: 602000 | #Constraints: 84441 1980.41/1986.08 c #Conflicts: 603000 | #Constraints: 85441 1980.41/1986.08 c #Conflicts: 604000 | #Constraints: 86441 1980.41/1986.08 c #Conflicts: 605000 | #Constraints: 87441 1980.41/1986.08 c #Conflicts: 606000 | #Constraints: 88441 1980.41/1986.08 c #Conflicts: 607000 | #Constraints: 89441 1980.41/1986.08 c #Conflicts: 608000 | #Constraints: 90441 1980.41/1986.08 c #Conflicts: 609000 | #Constraints: 91441 1980.41/1986.08 c #Conflicts: 610000 | #Constraints: 92441 1980.41/1986.08 c #Conflicts: 611000 | #Constraints: 93441 1980.41/1986.08 c #Conflicts: 612000 | #Constraints: 94441 1980.41/1986.08 c #Conflicts: 613000 | #Constraints: 95441 1980.41/1986.08 c #Conflicts: 614000 | #Constraints: 96441 1980.41/1986.08 c #Conflicts: 615000 | #Constraints: 97441 1980.41/1986.08 c #Conflicts: 616000 | #Constraints: 98441 1980.41/1986.08 c #Conflicts: 617000 | #Constraints: 99441 1980.41/1986.08 c #Conflicts: 618000 | #Constraints: 100441 1980.41/1986.08 c #Conflicts: 619000 | #Constraints: 101441 1980.41/1986.08 c #Conflicts: 620000 | #Constraints: 102441 1980.41/1986.08 c #Conflicts: 621000 | #Constraints: 103441 1980.41/1986.08 c #Conflicts: 622000 | #Constraints: 104441 1980.41/1986.08 c #Conflicts: 623000 | #Constraints: 105441 1980.41/1986.08 c #Conflicts: 624000 | #Constraints: 106441 1980.41/1986.08 c #Conflicts: 625000 | #Constraints: 107441 1980.41/1986.08 c #Conflicts: 626000 | #Constraints: 108441 1980.41/1986.08 c bounds 296 >= 215 @ 1923.05 1980.41/1986.08 c #Conflicts: 627000 | #Constraints: 109468 1980.41/1986.08 c #Conflicts: 628000 | #Constraints: 110468 1980.41/1986.08 c #Conflicts: 629000 | #Constraints: 111468 1980.41/1986.08 c #Conflicts: 630000 | #Constraints: 112468 1980.41/1986.08 c #Conflicts: 631000 | #Constraints: 113468 1980.41/1986.08 c #Conflicts: 632000 | #Constraints: 114468 1980.41/1986.08 c #Conflicts: 633000 | #Constraints: 115468 1980.41/1986.08 c #Conflicts: 634000 | #Constraints: 116469 1980.41/1986.08 c #Conflicts: 635000 | #Constraints: 117469 1980.41/1986.08 c #Conflicts: 636000 | #Constraints: 118470 1980.41/1986.08 c #Conflicts: 637000 | #Constraints: 119470 1980.41/1986.08 c #Conflicts: 638000 | #Constraints: 120470 1980.41/1986.08 c #Conflicts: 639000 | #Constraints: 121470 1980.41/1986.08 c #Conflicts: 640000 | #Constraints: 122470 1980.41/1986.08 c #Conflicts: 641000 | #Constraints: 123471 1980.41/1986.08 c #Conflicts: 642000 | #Constraints: 124471 1980.41/1986.08 c #Conflicts: 643000 | #Constraints: 125471 1980.41/1986.08 c #Conflicts: 644000 | #Constraints: 126471 1980.41/1986.08 c #Conflicts: 645000 | #Constraints: 127471 1980.41/1986.08 c #Conflicts: 646000 | #Constraints: 128471 1980.41/1986.08 c #Conflicts: 647000 | #Constraints: 129471 1980.41/1986.08 c INPROCESSING 1980.41/1986.08 c GARBAGE COLLECT 1980.41/1986.08 c rational objective 215 2018.88/2024.61 c #Conflicts: 648000 | #Constraints: 88388 2018.88/2024.61 c #Conflicts: 649000 | #Constraints: 89388 2018.88/2024.61 c #Conflicts: 650000 | #Constraints: 90388 2018.88/2024.61 c #Conflicts: 651000 | #Constraints: 91388 2018.88/2024.61 c #Conflicts: 652000 | #Constraints: 92388 2018.88/2024.61 c #Conflicts: 653000 | #Constraints: 93388 2018.88/2024.61 c #Conflicts: 654000 | #Constraints: 94388 2018.88/2024.61 c #Conflicts: 655000 | #Constraints: 95388 2018.88/2024.61 c #Conflicts: 656000 | #Constraints: 96388 2018.88/2024.61 c #Conflicts: 657000 | #Constraints: 97388 2018.88/2024.61 c #Conflicts: 658000 | #Constraints: 98388 2018.88/2024.61 c #Conflicts: 659000 | #Constraints: 99388 2018.88/2024.61 c #Conflicts: 660000 | #Constraints: 100388 2018.88/2024.61 c #Conflicts: 661000 | #Constraints: 101388 2018.88/2024.61 c #Conflicts: 662000 | #Constraints: 102388 2018.88/2024.61 c #Conflicts: 663000 | #Constraints: 103388 2018.88/2024.61 c #Conflicts: 664000 | #Constraints: 104388 2018.88/2024.61 c #Conflicts: 665000 | #Constraints: 105388 2018.88/2024.61 c #Conflicts: 666000 | #Constraints: 106388 2018.88/2024.61 c #Conflicts: 667000 | #Constraints: 107388 2018.88/2024.61 c #Conflicts: 668000 | #Constraints: 108388 2018.88/2024.61 c INPROCESSING 2018.88/2024.61 c GARBAGE COLLECT 2018.88/2024.61 c rational objective 215 2376.78/2383.55 c #Conflicts: 669000 | #Constraints: 78469 2376.78/2383.55 c #Conflicts: 670000 | #Constraints: 79469 2376.78/2383.55 c #Conflicts: 671000 | #Constraints: 80469 2376.78/2383.55 c #Conflicts: 672000 | #Constraints: 81469 2376.78/2383.55 c #Conflicts: 673000 | #Constraints: 82469 2376.78/2383.55 c #Conflicts: 674000 | #Constraints: 83469 2376.78/2383.55 c #Conflicts: 675000 | #Constraints: 84469 2376.78/2383.55 c #Conflicts: 676000 | #Constraints: 85469 2376.78/2383.55 c #Conflicts: 677000 | #Constraints: 86469 2376.78/2383.55 c #Conflicts: 678000 | #Constraints: 87469 2376.78/2383.55 c #Conflicts: 679000 | #Constraints: 88469 2376.78/2383.55 c #Conflicts: 680000 | #Constraints: 89469 2376.78/2383.55 c #Conflicts: 681000 | #Constraints: 90469 2376.78/2383.55 c #Conflicts: 682000 | #Constraints: 91469 2376.78/2383.55 c bounds 296 >= 216 @ 2244.84 2376.78/2383.55 c #Conflicts: 683000 | #Constraints: 92502 2376.78/2383.55 c #Conflicts: 684000 | #Constraints: 93502 2376.78/2383.55 c #Conflicts: 685000 | #Constraints: 94502 2376.78/2383.55 c #Conflicts: 686000 | #Constraints: 95502 2376.78/2383.55 c #Conflicts: 687000 | #Constraints: 96502 2376.78/2383.55 c #Conflicts: 688000 | #Constraints: 97502 2376.78/2383.55 c #Conflicts: 689000 | #Constraints: 98502 2376.78/2383.55 c #Conflicts: 690000 | #Constraints: 99502 2376.78/2383.55 c #Conflicts: 691000 | #Constraints: 100502 2376.78/2383.55 c #Conflicts: 692000 | #Constraints: 101502 2376.78/2383.55 c #Conflicts: 693000 | #Constraints: 102502 2376.78/2383.55 c #Conflicts: 694000 | #Constraints: 103502 2376.78/2383.55 c #Conflicts: 695000 | #Constraints: 104502 2376.78/2383.55 c #Conflicts: 696000 | #Constraints: 105502 2376.78/2383.55 c #Conflicts: 697000 | #Constraints: 106502 2376.78/2383.55 c #Conflicts: 698000 | #Constraints: 107502 2376.78/2383.55 c #Conflicts: 699000 | #Constraints: 108502 2376.78/2383.55 c #Conflicts: 700000 | #Constraints: 109502 2376.78/2383.55 c #Conflicts: 701000 | #Constraints: 110502 2376.78/2383.55 c #Conflicts: 702000 | #Constraints: 111502 2376.78/2383.55 c #Conflicts: 703000 | #Constraints: 112502 2376.78/2383.55 c #Conflicts: 704000 | #Constraints: 113502 2376.78/2383.55 c #Conflicts: 705000 | #Constraints: 114502 2376.78/2383.55 c #Conflicts: 706000 | #Constraints: 115502 2376.78/2383.55 c #Conflicts: 707000 | #Constraints: 116502 2376.78/2383.55 c bounds 296 >= 217 @ 2281.02 2376.78/2383.55 c #Conflicts: 708000 | #Constraints: 117520 2376.78/2383.55 c #Conflicts: 709000 | #Constraints: 118520 2376.78/2383.55 c #Conflicts: 710000 | #Constraints: 119520 2376.78/2383.55 c #Conflicts: 711000 | #Constraints: 120520 2376.78/2383.55 c #Conflicts: 712000 | #Constraints: 121520 2376.78/2383.55 c #Conflicts: 713000 | #Constraints: 122520 2376.78/2383.55 c #Conflicts: 714000 | #Constraints: 123520 2376.78/2383.55 c #Conflicts: 715000 | #Constraints: 124520 2376.78/2383.55 c #Conflicts: 716000 | #Constraints: 125520 2376.78/2383.55 c #Conflicts: 717000 | #Constraints: 126520 2376.78/2383.55 c #Conflicts: 718000 | #Constraints: 127520 2376.78/2383.55 c #Conflicts: 719000 | #Constraints: 128520 2376.78/2383.55 c #Conflicts: 720000 | #Constraints: 129520 2376.78/2383.55 c #Conflicts: 721000 | #Constraints: 130520 2376.78/2383.55 c #Conflicts: 722000 | #Constraints: 131520 2376.78/2383.55 c #Conflicts: 723000 | #Constraints: 132520 2376.78/2383.55 c #Conflicts: 724000 | #Constraints: 133520 2376.78/2383.55 c #Conflicts: 725000 | #Constraints: 134520 2376.78/2383.55 c INPROCESSING 2376.78/2383.55 c GARBAGE COLLECT 2376.78/2383.55 WSVECS04 Frhs2[104]: 6 -4.00004 0 shouldn't be 2518.52/2525.62 c rational objective 217 2611.80/2619.14 c #Conflicts: 726000 | #Constraints: 90791 2611.80/2619.14 c #Conflicts: 727000 | #Constraints: 91791 2611.80/2619.14 c #Conflicts: 728000 | #Constraints: 92791 2611.80/2619.14 c #Conflicts: 729000 | #Constraints: 93791 2611.80/2619.14 c #Conflicts: 730000 | #Constraints: 94791 2611.80/2619.14 c #Conflicts: 731000 | #Constraints: 95791 2611.80/2619.14 c #Conflicts: 732000 | #Constraints: 96791 2611.80/2619.14 c #Conflicts: 733000 | #Constraints: 97791 2611.80/2619.14 c #Conflicts: 734000 | #Constraints: 98791 2611.80/2619.14 c #Conflicts: 735000 | #Constraints: 99791 2611.80/2619.14 c #Conflicts: 736000 | #Constraints: 100791 2611.80/2619.14 c #Conflicts: 737000 | #Constraints: 101791 2611.80/2619.14 c #Conflicts: 738000 | #Constraints: 102791 2611.80/2619.14 c #Conflicts: 739000 | #Constraints: 103791 2611.80/2619.14 c #Conflicts: 740000 | #Constraints: 104791 2611.80/2619.14 c #Conflicts: 741000 | #Constraints: 105791 2611.80/2619.14 c #Conflicts: 742000 | #Constraints: 106791 2611.80/2619.14 c #Conflicts: 743000 | #Constraints: 107791 2611.80/2619.14 c #Conflicts: 744000 | #Constraints: 108791 2611.80/2619.14 c #Conflicts: 745000 | #Constraints: 109791 2611.80/2619.14 c #Conflicts: 746000 | #Constraints: 110791 2611.80/2619.14 c #Conflicts: 747000 | #Constraints: 111791 2611.80/2619.14 c INPROCESSING 2611.80/2619.14 c GARBAGE COLLECT 2611.80/2619.14 c rational objective 217 2825.06/2832.92 c #Conflicts: 748000 | #Constraints: 79673 2825.06/2832.92 c #Conflicts: 749000 | #Constraints: 80673 2825.06/2832.92 c #Conflicts: 750000 | #Constraints: 81673 2825.06/2832.92 c #Conflicts: 751000 | #Constraints: 82673 2825.06/2832.92 c #Conflicts: 752000 | #Constraints: 83673 2825.06/2832.92 c #Conflicts: 753000 | #Constraints: 84673 2825.06/2832.92 c #Conflicts: 754000 | #Constraints: 85673 2825.06/2832.92 c #Conflicts: 755000 | #Constraints: 86673 2825.06/2832.92 c #Conflicts: 756000 | #Constraints: 87673 2825.06/2832.92 c #Conflicts: 757000 | #Constraints: 88673 2825.06/2832.92 c #Conflicts: 758000 | #Constraints: 89673 2825.06/2832.92 c #Conflicts: 759000 | #Constraints: 90673 2825.06/2832.92 c #Conflicts: 760000 | #Constraints: 91673 2825.06/2832.92 c #Conflicts: 761000 | #Constraints: 92673 2825.06/2832.92 c #Conflicts: 762000 | #Constraints: 93673 2825.06/2832.92 c #Conflicts: 763000 | #Constraints: 94673 2825.06/2832.92 c #Conflicts: 764000 | #Constraints: 95673 2825.06/2832.92 c #Conflicts: 765000 | #Constraints: 96673 2825.06/2832.92 c #Conflicts: 766000 | #Constraints: 97673 2825.06/2832.92 c #Conflicts: 767000 | #Constraints: 98673 2825.06/2832.92 c #Conflicts: 768000 | #Constraints: 99673 2825.06/2832.92 c #Conflicts: 769000 | #Constraints: 100673 2825.06/2832.92 c #Conflicts: 770000 | #Constraints: 101673 2825.06/2832.92 c #Conflicts: 771000 | #Constraints: 102673 2825.06/2832.92 c #Conflicts: 772000 | #Constraints: 103673 2825.06/2832.92 c #Conflicts: 773000 | #Constraints: 104673 2825.06/2832.92 c #Conflicts: 774000 | #Constraints: 105673 2825.06/2832.92 c #Conflicts: 775000 | #Constraints: 106673 2825.06/2832.92 c #Conflicts: 776000 | #Constraints: 107673 2825.06/2832.92 c #Conflicts: 777000 | #Constraints: 108673 2825.06/2832.92 c #Conflicts: 778000 | #Constraints: 109673 2825.06/2832.92 c #Conflicts: 779000 | #Constraints: 110673 2825.06/2832.92 c #Conflicts: 780000 | #Constraints: 111673 2825.06/2832.92 c #Conflicts: 781000 | #Constraints: 112673 2825.06/2832.92 c #Conflicts: 782000 | #Constraints: 113673 2825.06/2832.92 c #Conflicts: 783000 | #Constraints: 114673 2825.06/2832.92 c #Conflicts: 784000 | #Constraints: 115673 2825.06/2832.92 c #Conflicts: 785000 | #Constraints: 116673 2825.06/2832.92 c #Conflicts: 786000 | #Constraints: 117673 2825.06/2832.92 c #Conflicts: 787000 | #Constraints: 118673 2825.06/2832.92 c #Conflicts: 788000 | #Constraints: 119673 2825.06/2832.92 c #Conflicts: 789000 | #Constraints: 120673 2825.06/2832.92 c #Conflicts: 790000 | #Constraints: 121673 2825.06/2832.92 c #Conflicts: 791000 | #Constraints: 122673 2825.06/2832.92 c #Conflicts: 792000 | #Constraints: 123673 2825.06/2832.92 c #Conflicts: 793000 | #Constraints: 124673 2825.06/2832.92 c #Conflicts: 794000 | #Constraints: 125673 2825.06/2832.92 c #Conflicts: 795000 | #Constraints: 126673 2825.06/2832.92 c #Conflicts: 796000 | #Constraints: 127673 2825.06/2832.92 c #Conflicts: 797000 | #Constraints: 128673 2825.06/2832.92 c #Conflicts: 798000 | #Constraints: 129673 2825.06/2832.92 c #Conflicts: 799000 | #Constraints: 130673 2825.06/2832.92 c #Conflicts: 800000 | #Constraints: 131673 2825.06/2832.92 c #Conflicts: 801000 | #Constraints: 132673 2825.06/2832.92 c #Conflicts: 802000 | #Constraints: 133673 2825.06/2832.92 c #Conflicts: 803000 | #Constraints: 134673 2825.06/2832.92 c #Conflicts: 804000 | #Constraints: 135673 2825.06/2832.92 c #Conflicts: 805000 | #Constraints: 136673 2825.06/2832.92 c #Conflicts: 806000 | #Constraints: 137673 2825.06/2832.92 c #Conflicts: 807000 | #Constraints: 138673 2825.06/2832.92 c #Conflicts: 808000 | #Constraints: 139673 2825.06/2832.92 c INPROCESSING 2825.06/2832.92 c GARBAGE COLLECT 2825.06/2832.92 c rational objective 217 2944.37/2952.55 c #Conflicts: 809000 | #Constraints: 93586 2944.37/2952.55 c #Conflicts: 810000 | #Constraints: 94586 2944.37/2952.55 c #Conflicts: 811000 | #Constraints: 95586 2944.37/2952.55 c #Conflicts: 812000 | #Constraints: 96586 2944.37/2952.55 c #Conflicts: 813000 | #Constraints: 97586 2944.37/2952.55 c #Conflicts: 814000 | #Constraints: 98586 2944.37/2952.55 c #Conflicts: 815000 | #Constraints: 99586 2944.37/2952.55 c #Conflicts: 816000 | #Constraints: 100586 2944.37/2952.55 c #Conflicts: 817000 | #Constraints: 101586 2944.37/2952.55 c #Conflicts: 818000 | #Constraints: 102586 2944.37/2952.55 c #Conflicts: 819000 | #Constraints: 103586 2944.37/2952.55 c #Conflicts: 820000 | #Constraints: 104586 2944.37/2952.55 c #Conflicts: 821000 | #Constraints: 105586 2944.37/2952.55 c #Conflicts: 822000 | #Constraints: 106586 2944.37/2952.55 c #Conflicts: 823000 | #Constraints: 107586 2944.37/2952.55 c #Conflicts: 824000 | #Constraints: 108586 2944.37/2952.55 c #Conflicts: 825000 | #Constraints: 109586 2944.37/2952.55 c #Conflicts: 826000 | #Constraints: 110586 2944.37/2952.55 c #Conflicts: 827000 | #Constraints: 111586 2944.37/2952.55 c #Conflicts: 828000 | #Constraints: 112586 2944.37/2952.55 c #Conflicts: 829000 | #Constraints: 113586 2944.37/2952.55 c #Conflicts: 830000 | #Constraints: 114586 2944.37/2952.55 c #Conflicts: 831000 | #Constraints: 115586 2944.37/2952.55 c INPROCESSING 2944.37/2952.55 c GARBAGE COLLECT 2944.37/2952.55 c rational objective 217 2983.77/2992.08 c #Conflicts: 832000 | #Constraints: 81361 2983.77/2992.08 c #Conflicts: 833000 | #Constraints: 82361 2983.77/2992.08 c #Conflicts: 834000 | #Constraints: 83361 2983.77/2992.08 c #Conflicts: 835000 | #Constraints: 84361 2983.77/2992.08 c #Conflicts: 836000 | #Constraints: 85361 2983.77/2992.08 c #Conflicts: 837000 | #Constraints: 86361 2983.77/2992.08 c #Conflicts: 838000 | #Constraints: 87361 2983.77/2992.08 c #Conflicts: 839000 | #Constraints: 88361 2983.77/2992.08 c #Conflicts: 840000 | #Constraints: 89361 2983.77/2992.08 c #Conflicts: 841000 | #Constraints: 90361 2983.77/2992.08 c #Conflicts: 842000 | #Constraints: 91361 2983.77/2992.08 c #Conflicts: 843000 | #Constraints: 92361 2983.77/2992.08 c #Conflicts: 844000 | #Constraints: 93361 2983.77/2992.08 c #Conflicts: 845000 | #Constraints: 94361 2983.77/2992.08 c #Conflicts: 846000 | #Constraints: 95361 2983.77/2992.08 c #Conflicts: 847000 | #Constraints: 96361 2983.77/2992.08 c #Conflicts: 848000 | #Constraints: 97361 2983.77/2992.08 c #Conflicts: 849000 | #Constraints: 98361 2983.77/2992.08 c #Conflicts: 850000 | #Constraints: 99361 2983.77/2992.08 c #Conflicts: 851000 | #Constraints: 100361 2983.77/2992.08 c #Conflicts: 852000 | #Constraints: 101361 2983.77/2992.08 c #Conflicts: 853000 | #Constraints: 102361 2983.77/2992.08 c #Conflicts: 854000 | #Constraints: 103361 2983.77/2992.08 c #Conflicts: 855000 | #Constraints: 104361 2983.77/2992.08 c INPROCESSING 2983.77/2992.08 c GARBAGE COLLECT 2983.77/2992.08 c rational objective 217 3108.06/3116.68 c #Conflicts: 856000 | #Constraints: 81592 3108.06/3116.68 c #Conflicts: 857000 | #Constraints: 82592 3108.06/3116.68 c #Conflicts: 858000 | #Constraints: 83592 3108.06/3116.68 c #Conflicts: 859000 | #Constraints: 84592 3108.06/3116.68 c #Conflicts: 860000 | #Constraints: 85592 3108.06/3116.68 c #Conflicts: 861000 | #Constraints: 86592 3108.06/3116.68 c #Conflicts: 862000 | #Constraints: 87592 3108.06/3116.68 c #Conflicts: 863000 | #Constraints: 88592 3108.06/3116.68 c #Conflicts: 864000 | #Constraints: 89592 3108.06/3116.68 c #Conflicts: 865000 | #Constraints: 90592 3108.06/3116.68 c #Conflicts: 866000 | #Constraints: 91592 3108.06/3116.68 c #Conflicts: 867000 | #Constraints: 92592 3108.06/3116.68 c #Conflicts: 868000 | #Constraints: 93592 3108.06/3116.68 c #Conflicts: 869000 | #Constraints: 94592 3108.06/3116.68 c #Conflicts: 870000 | #Constraints: 95592 3108.06/3116.68 c #Conflicts: 871000 | #Constraints: 96592 3108.06/3116.68 c bounds 296 >= 218 @ 2979.45 3108.06/3116.68 c #Conflicts: 872000 | #Constraints: 97625 3108.06/3116.68 c #Conflicts: 873000 | #Constraints: 98625 3108.06/3116.68 c #Conflicts: 874000 | #Constraints: 99625 3108.06/3116.68 c #Conflicts: 875000 | #Constraints: 100625 3108.06/3116.68 c #Conflicts: 876000 | #Constraints: 101625 3108.06/3116.68 c #Conflicts: 877000 | #Constraints: 102625 3108.06/3116.68 c #Conflicts: 878000 | #Constraints: 103625 3108.06/3116.68 c #Conflicts: 879000 | #Constraints: 104625 3108.06/3116.68 c #Conflicts: 880000 | #Constraints: 105625 3108.06/3116.68 c #Conflicts: 881000 | #Constraints: 106625 3108.06/3116.68 c #Conflicts: 882000 | #Constraints: 107625 3108.06/3116.68 c #Conflicts: 883000 | #Constraints: 108625 3108.06/3116.68 c #Conflicts: 884000 | #Constraints: 109625 3108.06/3116.68 c #Conflicts: 885000 | #Constraints: 110625 3108.06/3116.68 c #Conflicts: 886000 | #Constraints: 111625 3108.06/3116.68 c #Conflicts: 887000 | #Constraints: 112625 3108.06/3116.68 c #Conflicts: 888000 | #Constraints: 113625 3108.06/3116.68 c #Conflicts: 889000 | #Constraints: 114625 3108.06/3116.68 c #Conflicts: 890000 | #Constraints: 115625 3108.06/3116.68 c #Conflicts: 891000 | #Constraints: 116625 3108.06/3116.68 c #Conflicts: 892000 | #Constraints: 117625 3108.06/3116.68 c #Conflicts: 893000 | #Constraints: 118625 3108.06/3116.68 c #Conflicts: 894000 | #Constraints: 119625 3108.06/3116.68 c #Conflicts: 895000 | #Constraints: 120625 3108.06/3116.68 c #Conflicts: 896000 | #Constraints: 121625 3108.06/3116.68 c #Conflicts: 897000 | #Constraints: 122625 3108.06/3116.68 c #Conflicts: 898000 | #Constraints: 123625 3108.06/3116.68 c #Conflicts: 899000 | #Constraints: 124625 3108.06/3116.68 c #Conflicts: 900000 | #Constraints: 125625 3108.06/3116.68 c #Conflicts: 901000 | #Constraints: 126625 3108.06/3116.68 c #Conflicts: 902000 | #Constraints: 127625 3108.06/3116.68 c #Conflicts: 903000 | #Constraints: 128625 3108.06/3116.68 c #Conflicts: 904000 | #Constraints: 129625 3108.06/3116.68 c #Conflicts: 905000 | #Constraints: 130625 3108.06/3116.68 c #Conflicts: 906000 | #Constraints: 131625 3108.06/3116.68 c #Conflicts: 907000 | #Constraints: 132625 3108.06/3116.68 c #Conflicts: 908000 | #Constraints: 133625 3108.06/3116.68 c #Conflicts: 909000 | #Constraints: 134625 3108.06/3116.68 c #Conflicts: 910000 | #Constraints: 135625 3108.06/3116.68 c #Conflicts: 911000 | #Constraints: 136625 3108.06/3116.68 c #Conflicts: 912000 | #Constraints: 137625 3108.06/3116.68 c #Conflicts: 913000 | #Constraints: 138625 3108.06/3116.68 c #Conflicts: 914000 | #Constraints: 139625 3108.06/3116.68 c #Conflicts: 915000 | #Constraints: 140625 3108.06/3116.68 c #Conflicts: 916000 | #Constraints: 141625 3108.06/3116.68 c #Conflicts: 917000 | #Constraints: 142625 3108.06/3116.68 c #Conflicts: 918000 | #Constraints: 143625 3108.06/3116.68 c #Conflicts: 919000 | #Constraints: 144625 3108.06/3116.68 c #Conflicts: 920000 | #Constraints: 145625 3108.06/3116.68 c INPROCESSING 3108.06/3116.68 c GARBAGE COLLECT 3108.06/3116.68 c rational objective 218 3160.93/3169.62 c #Conflicts: 921000 | #Constraints: 96685 3160.93/3169.62 c #Conflicts: 922000 | #Constraints: 97685 3160.93/3169.62 c #Conflicts: 923000 | #Constraints: 98685 3160.93/3169.62 c #Conflicts: 924000 | #Constraints: 99685 3160.93/3169.62 c #Conflicts: 925000 | #Constraints: 100685 3160.93/3169.62 c #Conflicts: 926000 | #Constraints: 101685 3160.93/3169.62 c #Conflicts: 927000 | #Constraints: 102685 3160.93/3169.62 c #Conflicts: 928000 | #Constraints: 103685 3160.93/3169.62 c #Conflicts: 929000 | #Constraints: 104685 3160.93/3169.62 c #Conflicts: 930000 | #Constraints: 105685 3160.93/3169.62 c #Conflicts: 931000 | #Constraints: 106685 3160.93/3169.62 c #Conflicts: 932000 | #Constraints: 107685 3160.93/3169.62 c #Conflicts: 933000 | #Constraints: 108685 3160.93/3169.62 c #Conflicts: 934000 | #Constraints: 109685 3160.93/3169.62 c #Conflicts: 935000 | #Constraints: 110685 3160.93/3169.62 c #Conflicts: 936000 | #Constraints: 111685 3160.93/3169.62 c #Conflicts: 937000 | #Constraints: 112685 3160.93/3169.62 c #Conflicts: 938000 | #Constraints: 113685 3160.93/3169.62 c #Conflicts: 939000 | #Constraints: 114685 3160.93/3169.62 c #Conflicts: 940000 | #Constraints: 115685 3160.93/3169.62 c #Conflicts: 941000 | #Constraints: 116685 3160.93/3169.62 c #Conflicts: 942000 | #Constraints: 117685 3160.93/3169.62 c #Conflicts: 943000 | #Constraints: 118685 3160.93/3169.62 c #Conflicts: 944000 | #Constraints: 119685 3160.93/3169.62 c INPROCESSING 3160.93/3169.62 c GARBAGE COLLECT 3160.93/3169.62 c rational objective 218 3567.36/3577.27 c #Conflicts: 945000 | #Constraints: 84279 3567.36/3577.27 c #Conflicts: 946000 | #Constraints: 85279 3567.36/3577.27 c #Conflicts: 947000 | #Constraints: 86279 3567.36/3577.27 c #Conflicts: 948000 | #Constraints: 87279 3567.36/3577.27 c #Conflicts: 949000 | #Constraints: 88279 3567.36/3577.27 c #Conflicts: 950000 | #Constraints: 89279 3567.36/3577.27 c #Conflicts: 951000 | #Constraints: 90279 3567.36/3577.27 c #Conflicts: 952000 | #Constraints: 91279 3567.36/3577.27 c #Conflicts: 953000 | #Constraints: 92279 3567.36/3577.27 c #Conflicts: 954000 | #Constraints: 93279 3567.36/3577.27 c #Conflicts: 955000 | #Constraints: 94279 3567.36/3577.27 c #Conflicts: 956000 | #Constraints: 95279 3567.36/3577.27 c #Conflicts: 957000 | #Constraints: 96279 3567.36/3577.27 c #Conflicts: 958000 | #Constraints: 97279 3567.36/3577.27 c #Conflicts: 959000 | #Constraints: 98279 3567.36/3577.27 c #Conflicts: 960000 | #Constraints: 99279 3567.36/3577.27 c #Conflicts: 961000 | #Constraints: 100279 3567.36/3577.27 c #Conflicts: 962000 | #Constraints: 101279 3567.36/3577.27 c #Conflicts: 963000 | #Constraints: 102279 3567.36/3577.27 c #Conflicts: 964000 | #Constraints: 103279 3567.36/3577.27 c #Conflicts: 965000 | #Constraints: 104279 3567.36/3577.27 c #Conflicts: 966000 | #Constraints: 105279 3567.36/3577.27 c #Conflicts: 967000 | #Constraints: 106279 3567.36/3577.27 c #Conflicts: 968000 | #Constraints: 107279 3567.36/3577.27 c #Conflicts: 969000 | #Constraints: 108279 3567.36/3577.27 c #Conflicts: 970000 | #Constraints: 109279 3567.36/3577.27 c #Conflicts: 971000 | #Constraints: 110279 3567.36/3577.27 c #Conflicts: 972000 | #Constraints: 111279 3567.36/3577.27 c #Conflicts: 973000 | #Constraints: 112279 3567.36/3577.27 c #Conflicts: 974000 | #Constraints: 113279 3567.36/3577.27 c #Conflicts: 975000 | #Constraints: 114279 3567.36/3577.27 c #Conflicts: 976000 | #Constraints: 115279 3567.36/3577.27 c #Conflicts: 977000 | #Constraints: 116279 3567.36/3577.27 c #Conflicts: 978000 | #Constraints: 117279 3567.36/3577.27 c #Conflicts: 979000 | #Constraints: 118279 3567.36/3577.27 c #Conflicts: 980000 | #Constraints: 119279 3567.36/3577.27 c #Conflicts: 981000 | #Constraints: 120279 3567.36/3577.27 c #Conflicts: 982000 | #Constraints: 121279 3567.36/3577.27 c #Conflicts: 983000 | #Constraints: 122279 3567.36/3577.27 c #Conflicts: 984000 | #Constraints: 123279 3567.36/3577.27 c #Conflicts: 985000 | #Constraints: 124279 3567.36/3577.27 c #Conflicts: 986000 | #Constraints: 125279 3567.36/3577.27 c #Conflicts: 987000 | #Constraints: 126279 3567.36/3577.27 c #Conflicts: 988000 | #Constraints: 127279 3567.36/3577.27 c #Conflicts: 989000 | #Constraints: 128279 3567.36/3577.27 c #Conflicts: 990000 | #Constraints: 129279 3567.36/3577.27 c #Conflicts: 991000 | #Constraints: 130279 3567.36/3577.27 c #Conflicts: 992000 | #Constraints: 131279 3567.36/3577.27 c #Conflicts: 993000 | #Constraints: 132279 3567.36/3577.27 c #Conflicts: 994000 | #Constraints: 133279 3567.36/3577.27 c #Conflicts: 995000 | #Constraints: 134279 3567.36/3577.27 c #Conflicts: 996000 | #Constraints: 135279 3567.36/3577.27 c #Conflicts: 997000 | #Constraints: 136279 3567.36/3577.27 c #Conflicts: 998000 | #Constraints: 137279 3567.36/3577.27 c #Conflicts: 999000 | #Constraints: 138279 3567.36/3577.27 c #Conflicts: 1000000 | #Constraints: 139279 3567.36/3577.27 c #Conflicts: 1001000 | #Constraints: 140279 3567.36/3577.27 c #Conflicts: 1002000 | #Constraints: 141279 3567.36/3577.27 c #Conflicts: 1003000 | #Constraints: 142279 3567.36/3577.27 c #Conflicts: 1004000 | #Constraints: 143279 3567.36/3577.27 c #Conflicts: 1005000 | #Constraints: 144279 3567.36/3577.27 c #Conflicts: 1006000 | #Constraints: 145279 3567.36/3577.27 c #Conflicts: 1007000 | #Constraints: 146279 3567.36/3577.27 c #Conflicts: 1008000 | #Constraints: 147279 3567.36/3577.27 c #Conflicts: 1009000 | #Constraints: 148279 3567.36/3577.27 c #Conflicts: 1010000 | #Constraints: 149279 3567.36/3577.27 c #Conflicts: 1011000 | #Constraints: 150279 3567.36/3577.27 c #Conflicts: 1012000 | #Constraints: 151279 3567.36/3577.27 c INPROCESSING 3567.36/3577.27 c GARBAGE COLLECT 3567.36/3577.27 c rational objective 218 3598.25/3608.25 c #Conflicts: 1013000 | #Constraints: 99125 3598.25/3608.25 c #Conflicts: 1014000 | #Constraints: 100125 3598.25/3608.25 c #Conflicts: 1015000 | #Constraints: 101125 3598.25/3608.25 c #Conflicts: 1016000 | #Constraints: 102125 3598.25/3608.25 c #Conflicts: 1017000 | #Constraints: 103125 3598.25/3608.25 c #Conflicts: 1018000 | #Constraints: 104125 3598.25/3608.25 c #Conflicts: 1019000 | #Constraints: 105125 3598.25/3608.25 c #Conflicts: 1020000 | #Constraints: 106125 3598.25/3608.25 c #Conflicts: 1021000 | #Constraints: 107125 3598.25/3608.25 c #Conflicts: 1022000 | #Constraints: 108125 3598.25/3608.25 c #Conflicts: 1023000 | #Constraints: 109125 3598.25/3608.25 c #Conflicts: 1024000 | #Constraints: 110125 3598.25/3608.25 c #Conflicts: 1025000 | #Constraints: 111125 3598.25/3608.25 c #Conflicts: 1026000 | #Constraints: 112125 3598.25/3608.25 c #Conflicts: 1027000 | #Constraints: 113125 3598.25/3608.25 c #Conflicts: 1028000 | #Constraints: 114125 3598.25/3608.25 c #Conflicts: 1029000 | #Constraints: 115125 3598.25/3608.25 c #Conflicts: 1030000 | #Constraints: 116125 3598.25/3608.25 c #Conflicts: 1031000 | #Constraints: 117125 3598.25/3608.25 c #Conflicts: 1032000 | #Constraints: 118125 3598.25/3608.25 c #Conflicts: 1033000 | #Constraints: 119125 3598.25/3608.25 c #Conflicts: 1034000 | #Constraints: 120125 3598.25/3608.25 c #Conflicts: 1035000 | #Constraints: 121125 3598.25/3608.25 c #Conflicts: 1036000 | #Constraints: 122125 3598.25/3608.25 c #Conflicts: 1037000 | #Constraints: 123125 3598.25/3608.25 c #Conflicts: 1038000 | #Constraints: 124125 3598.25/3608.25 c INPROCESSING 3598.25/3608.25 c GARBAGE COLLECT 3598.25/3608.25 c rational objective 218 3600.05/3610.00 c #Conflicts: 1039000 | #Constraints: 87174 3600.05/3610.00 c #Conflicts: 1040000 | #Constraints: 88174 3600.05/3610.00 c #Conflicts: 1041000 | #Constraints: 89174 3600.05/3610.00 c #Conflicts: 1042000 | #Constraints: 90174 3600.05/3610.00 c #Conflicts: 1043000 | #Constraints: 91174 3600.05/3610.00 c #Conflicts: 1044000 | #Constraints: 92174 3600.05/3610.00 c Program interrupted by user. 3600.05/3610.00 c cpu time 3579.23 s 3600.05/3610.00 c deterministic time 127941799575 1.28e+11 3600.05/3610.00 c optimization time 1.72902 s 3600.05/3610.00 c total solve time 3577.34 s 3600.05/3610.00 c core-guided solve time 2668.98 s 3600.05/3610.00 c propagation time 2259.82 s 3600.05/3610.00 c conflict analysis time 187.771 s 3600.05/3610.00 c propagations 111094655 3600.05/3610.00 c resolve steps 15914724 3600.05/3610.00 c decisions 5320517 3600.05/3610.00 c conflicts 1044100 3600.05/3610.00 c restarts 2046 3600.05/3610.00 c inprocessing phases 49 3600.05/3610.00 c input clauses 21317 3600.05/3610.00 c input cardinalities 985 3600.05/3610.00 c input general constraints 23237 3600.05/3610.00 c input average constraint length 11.77 3600.05/3610.00 c input average constraint degree 7.33 3600.05/3610.00 c learned clauses 704125 3600.05/3610.00 c learned cardinalities 12899 3600.05/3610.00 c learned general constraints 327113 3600.05/3610.00 c learned average constraint length 238.11 3600.05/3610.00 c learned average constraint degree 2200228.55 3600.05/3610.00 c watched constraints 270743 3600.05/3610.00 c counting constraints 79607 3600.05/3610.00 c gcd simplifications 50370 3600.05/3610.00 c detected cardinalities 54 3600.05/3610.00 c weakened non-implied lits 40817334 3600.05/3610.00 c weakened non-implying lits 235317 3600.05/3610.00 c original variables 2700 3600.05/3610.00 c clausal propagations 26871137 3600.05/3610.00 c cardinality propagations 34428436 3600.05/3610.00 c watched propagations 15356855 3600.05/3610.00 c counting propagations 33564641 3600.05/3610.00 c watch lookups 17300640114 3600.05/3610.00 c watch backjump lookups 13719301222 3600.05/3610.00 c watch checks 89902294137 3600.05/3610.00 c propagation checks 6041093229 3600.05/3610.00 c constraint additions 742529194 3600.05/3610.00 c trail pops 117458978 3600.05/3610.00 c formula constraints 43070 3600.05/3610.00 c learned constraints 1044089 3600.05/3610.00 c bound constraints 218 3600.05/3610.00 c core-guided constraints 2251 3600.05/3610.00 c encountered formula constraints 7597909 3600.05/3610.00 c encountered learned constraints 7732603 3600.05/3610.00 c encountered bound constraints 20477 3600.05/3610.00 c encountered core-guided constraints 1607390 3600.05/3610.00 c LP total time 2603.74 s 3600.05/3610.00 c LP solve time 2602.8 s 3600.05/3610.00 c LP constraints added 44189 3600.05/3610.00 c LP constraints removed 1069 3600.05/3610.00 c LP pivots internal 1224159 3600.05/3610.00 c LP pivots root 843369 3600.05/3610.00 c LP calls 120 3600.05/3610.00 c LP optimalities 86 3600.05/3610.00 c LP no pivot count 6 3600.05/3610.00 c LP infeasibilities 24 3600.05/3610.00 c LP valid Farkas constraints 24 3600.05/3610.00 c LP learned Farkas constraints 24 3600.05/3610.00 c LP basis resets 1 3600.05/3610.00 c LP cycling count 0 3600.05/3610.00 c LP singular count 1 3600.05/3610.00 c LP no primal count 0 3600.05/3610.00 c LP no farkas count 0 3600.05/3610.00 c LP other issue count 0 3600.05/3610.00 c LP Gomory cuts 0 3600.05/3610.00 c LP learned cuts 1157 3600.05/3610.00 c LP deleted cuts 1119 3600.05/3610.00 c LP encountered Gomory constraints 0 3600.05/3610.00 c LP encountered Farkas constraints 379 3600.05/3610.00 c LP encountered learned Farkas constraints 42 3600.05/3610.00 c CG auxiliary variables introduced 812 3600.05/3610.00 c CG solutions found 33 3600.05/3610.00 c CG cores constructed 185 3600.05/3610.00 c CG core cardinality constraints returned 0 3600.05/3610.00 c CG unit cores 0 3600.05/3610.00 c CG single cores 182 3600.05/3610.00 c CG blocks removed during cardinality reduction 0 3600.05/3610.00 c CG first core best 0 3600.05/3610.00 c CG decision core best 0 3600.05/3610.00 c CG core reduction tie 3 3600.05/3610.00 c CG core degree average 1.00 3600.05/3610.00 c CG core slack average 12.32 3600.05/3610.00 s SATISFIABLE 3600.05/3610.00 v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 x203 -x204 -x205 -x206 x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 x301 x302 -x303 x304 -x305 x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 x499 x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 x700 x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 x793 -x794 -x795 -x796 x797 -x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 x892 x893 -x894 -x895 x896 -x897 -x898 x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 x2525 x2526 -x2527 -x2528 -x2529 x2530 x2531 -x2532 x2533 x2534 -x2535 x2536 x2537 -x2538 x2539 x2540 x2541 -x2542 x2543 -x2544 -x2545 -x2546 x2547 x2548 -x2549 x2550 -x2551 x2552 -x2553 -x2554 -x2555 x2556 x2557 x2558 x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 x2566 -x2567 x2568 x2569 x2570 -x2571 -x2572 -x2573 x2574 -x2575 x2576 x2577 x2578 -x2579 -x2580 -x2581 x2582 x2583 -x2584 x2585 -x2586 -x2587 -x2588 x2589 x2590 -x2591 x2592 -x2593 -x2594 x2595 -x2596 -x2597 x2598 x2599 -x2600 x2601 x2602 -x2603 -x2604 x2605 x2606 x2607 -x2608 x2609 -x2610 -x2611 -x2612 x2613 x2614 -x2615 -x2616 -x2617 x2618 -x2619 x2620 x2621 -x2622 x2623 -x2624 x2625 x2626 x2627 -x2628 -x2629 -x2630 -x2631 x2632 x2633 -x2634 x2635 x2636 x2637 -x2638 -x2639 x2640 x2641 x2642 -x2643 -x2644 -x2645 x2646 x2647 x2648 -x2649 -x2650 x2651 x2652 x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 x2661 x2662 x2663 -x2664 x2665 x2666 -x2667 -x2668 -x2669 x2670 x2671 x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 x2680 x2681 x2682 x2683 -x2684 -x2685 x2686 x2687 x2688 -x2689 x2690 x2691 -x2692 x2693 x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700
OK 296
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (18019 MiB free)
memory of node 1: 64510 MiB (24050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457067-1721820379/watcher-4457067-1721820379 -o /tmp/evaluation-result-4457067-1721820379/solver-4457067-1721820379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183570 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457067-1721820379 --lp-cut-gomory=0 HOME/instance-4457067-1721820379.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=185880, runsolver pid=185877
[startup+0.100094 s]*
/proc/loadavg: 4.44 4.27 4.09 5/261 185881
/proc/meminfo: memFree=43074952/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=39344 memory=10160 CPUtime=0.1 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 839 0 0 0 9 1 0 0 20 0 1 0 18566404 40288256 2540 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 9836 2540 1365 992 0 1694 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39344 KiB
Current children cumulated memory: 10160 KiB
[startup+0.205719 s]*
/proc/loadavg: 4.44 4.27 4.09 5/261 185881
/proc/meminfo: memFree=43050924/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=63528 memory=36312 CPUtime=0.2 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 6692 0 0 0 17 3 0 0 20 0 1 0 18566404 65052672 9078 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 15882 9078 1716 992 0 7740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63528 KiB
Current children cumulated memory: 36312 KiB
[startup+0.305794 s]*
/proc/loadavg: 4.44 4.27 4.09 5/261 185881
/proc/meminfo: memFree=43040212/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=69680 memory=43208 CPUtime=0.3 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 13049 0 0 0 25 5 0 0 20 0 1 0 18566404 71352320 10802 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 17420 10802 1716 992 0 9278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69680 KiB
Current children cumulated memory: 43208 KiB
[startup+0.700226 s]
/proc/loadavg: 4.44 4.27 4.09 7/261 185881
/proc/meminfo: memFree=43034272/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=69680 memory=43208 CPUtime=0.69 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 13049 0 0 0 64 5 0 0 20 0 1 0 18566404 71352320 10802 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 17420 10802 1716 992 0 9278 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69680 KiB
Current children cumulated memory: 43208 KiB
[startup+1.50022 s]
/proc/loadavg: 4.44 4.27 4.09 5/261 185881
/proc/meminfo: memFree=43033328/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=69680 memory=43208 CPUtime=1.49 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 13049 0 0 0 144 5 0 0 20 0 1 0 18566404 71352320 10802 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 17420 10802 1716 992 0 9278 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 69680 KiB
Current children cumulated memory: 43208 KiB
[startup+3.10557 s]
/proc/loadavg: 4.44 4.27 4.09 5/261 185881
/proc/meminfo: memFree=43003256/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=74376 memory=46184 CPUtime=3.09 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 14148 0 0 0 301 8 0 0 20 0 1 0 18566404 76161024 11546 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 18594 11546 1795 992 0 10452 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74376 KiB
Current children cumulated memory: 46184 KiB
[startup+6.30021 s]
/proc/loadavg: 4.41 4.26 4.09 5/259 185883
/proc/meminfo: memFree=42979436/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=74376 memory=46184 CPUtime=6.28 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 14152 0 0 0 619 9 0 0 20 0 1 0 18566404 76161024 11546 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 18594 11546 1795 992 0 10452 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 74376 KiB
Current children cumulated memory: 46184 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.26 4.09 5/259 185883
/proc/meminfo: memFree=42866596/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=78620 memory=50916 CPUtime=12.65 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 15297 0 0 0 1249 16 0 0 20 0 1 0 18566404 80506880 12729 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 19655 12729 1874 992 0 11513 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 78620 KiB
Current children cumulated memory: 50916 KiB
[startup+25.5002 s]
/proc/loadavg: 4.36 4.26 4.09 5/259 185886
/proc/meminfo: memFree=42689592/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=84444 memory=55236 CPUtime=25.42 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 17442 0 0 0 2511 31 0 0 20 0 1 0 18566404 86470656 13809 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 21111 13809 1874 992 0 12969 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 84444 KiB
Current children cumulated memory: 55236 KiB
[startup+51.1057 s]
/proc/loadavg: 4.24 4.24 4.09 5/259 185889
/proc/meminfo: memFree=42411564/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=99308 memory=66208 CPUtime=50.97 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 19673 0 0 0 5045 52 0 0 20 0 1 0 18566404 101691392 16552 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 24827 16552 1874 992 0 16685 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 66208 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.22 4.09 5/260 185899
/proc/meminfo: memFree=41789676/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=120228 memory=85740 CPUtime=102.04 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 21504 0 0 0 10104 100 0 0 20 0 1 0 18566404 123113472 21435 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 30057 21435 1890 992 0 21915 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 120228 KiB
Current children cumulated memory: 85740 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.19 4.09 5/260 186077
/proc/meminfo: memFree=41142516/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=124256 memory=89656 CPUtime=161.89 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 22479 0 0 0 16052 137 0 0 20 0 1 0 18566404 127238144 22414 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 31064 22414 1890 992 0 22922 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 124256 KiB
Current children cumulated memory: 89656 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/259 186088
/proc/meminfo: memFree=40516028/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=128168 memory=97932 CPUtime=221.74 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 23654 0 0 0 21987 187 0 0 20 0 1 0 18566404 131244032 24483 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 32042 24483 1890 992 0 23900 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 128168 KiB
Current children cumulated memory: 97932 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.15 4.09 5/263 186159
/proc/meminfo: memFree=39708348/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=152688 memory=120576 CPUtime=281.59 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 25217 0 0 0 27922 237 0 0 20 0 1 0 18566404 156352512 30144 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 38172 30144 1890 992 0 30030 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 152688 KiB
Current children cumulated memory: 120576 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/263 186170
/proc/meminfo: memFree=38765140/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=157396 memory=124800 CPUtime=341.44 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 26270 0 0 0 33862 282 0 0 20 0 1 0 18566404 161173504 31200 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 39349 31200 1890 992 0 31207 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 157396 KiB
Current children cumulated memory: 124800 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/262 186181
/proc/meminfo: memFree=37588424/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=190508 memory=145504 CPUtime=401.29 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 27916 0 0 0 39821 308 0 0 20 0 1 0 18566404 195080192 36376 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 47627 36376 1890 992 0 39485 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 190508 KiB
Current children cumulated memory: 145504 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 186238
/proc/meminfo: memFree=52782776/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=191304 memory=148544 CPUtime=461.15 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 28143 0 0 0 45768 347 0 0 20 0 1 0 18566404 195895296 37136 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 47826 37136 1890 992 0 39684 0
################
# More data... #
################
Current children cumulated memory: 509320 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 187357
/proc/meminfo: memFree=67086400/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=574028 memory=509320 CPUtime=2914.24 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 58079 0 0 0 289749 1675 0 0 20 0 1 0 18566404 587804672 127330 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 143507 127330 1978 992 0 135365 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 574028 KiB
Current children cumulated memory: 509320 KiB
[startup+2982.3 s]
/proc/loadavg: 4.34 4.15 4.11 5/259 187413
/proc/meminfo: memFree=71279140/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=574028 memory=509320 CPUtime=2974.09 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 58167 0 0 0 295697 1712 0 0 20 0 1 0 18566404 587804672 127330 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 143507 127330 1978 992 0 135365 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 574028 KiB
Current children cumulated memory: 509320 KiB
[startup+3042.3 s]
/proc/loadavg: 4.43 4.22 4.13 5/259 187425
/proc/meminfo: memFree=68255220/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=574028 memory=509320 CPUtime=3033.95 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 58253 0 0 0 301654 1741 0 0 20 0 1 0 18566404 587804672 127330 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 143507 127330 1978 992 0 135365 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 574028 KiB
Current children cumulated memory: 509320 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.19 4.13 5/260 187437
/proc/meminfo: memFree=66214920/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=574028 memory=509320 CPUtime=3093.8 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 58350 0 0 0 307595 1785 0 0 20 0 1 0 18566404 587804672 127330 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 143507 127330 1978 992 0 135365 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 574028 KiB
Current children cumulated memory: 509320 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/261 187448
/proc/meminfo: memFree=62070268/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=576732 memory=510260 CPUtime=3153.65 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 58698 0 0 0 313540 1825 0 0 20 0 1 0 18566404 590573568 127565 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144183 127565 1978 992 0 136041 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 510260 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/261 187459
/proc/meminfo: memFree=60110784/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=576732 memory=510700 CPUtime=3213.51 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 58913 0 0 0 319481 1870 0 0 20 0 1 0 18566404 590573568 127675 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144183 127675 1978 992 0 136041 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 510700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/261 187472
/proc/meminfo: memFree=57868048/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=576732 memory=511224 CPUtime=3273.33 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 59077 0 0 0 325443 1890 0 0 20 0 1 0 18566404 590573568 127806 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144183 127806 1978 992 0 136041 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 511224 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/260 187483
/proc/meminfo: memFree=55204024/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=576732 memory=511224 CPUtime=3333.13 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 59182 0 0 0 331397 1916 0 0 20 0 1 0 18566404 590573568 127806 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144183 127806 1978 992 0 136041 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 511224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/260 187495
/proc/meminfo: memFree=53280088/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=576732 memory=511224 CPUtime=3392.96 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 59299 0 0 0 337352 1944 0 0 20 0 1 0 18566404 590573568 127806 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144183 127806 1978 992 0 136041 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 511224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/259 187506
/proc/meminfo: memFree=52897272/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=576732 memory=511224 CPUtime=3452.79 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 59414 0 0 0 343314 1965 0 0 20 0 1 0 18566404 590573568 127806 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144183 127806 1978 992 0 136041 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 511224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/260 187517
/proc/meminfo: memFree=51235112/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=576732 memory=511224 CPUtime=3512.61 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 59562 0 0 0 349262 1999 0 0 20 0 1 0 18566404 590573568 127806 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144183 127806 1978 992 0 136041 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 511224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.59 4.24 4.14 5/262 187912
/proc/meminfo: memFree=49656184/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=577260 memory=512600 CPUtime=3572.42 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 60006 0 0 0 355190 2052 0 0 20 0 1 0 18566404 591114240 128150 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144315 128150 1978 992 0 136173 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 512600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.41 4.23 4.14 5/262 187918
/proc/meminfo: memFree=48911460/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=577260 memory=512600 CPUtime=3600.05 cores=4,6
/proc/185880/stat : 185880 (roundingsat) R 185877 185880 183559 0 -1 4194304 60084 0 0 0 357923 2082 0 0 20 0 1 0 18566404 591114240 128150 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144315 128150 1978 992 0 136173 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 512600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 185880 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.23 s, system=20.8281 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.2 s]
/proc/loadavg: 4.41 4.23 4.14 5/262 187918
/proc/meminfo: memFree=48911460/131524600 swapFree=131056284/131071996
[pid=185880] ppid=185877 vsize=577260 memory=512600 CPUtime=3600.05 cores=4,6
/proc/185880/stat : 185880 (roundingsat) D 185877 185880 183559 0 -1 1077936128 60087 0 0 0 357923 2082 0 0 20 0 1 0 18566404 591114240 128150 134679101440 4194304 8254037 140730130182496 0 0 0 0 0 25182210 0 0 0 17 4 0 0 29 0 0 9037040 9046032 37638144 140730130187100 140730130187362 140730130187362 140730130194377 0
/proc/185880/statm: 144315 128150 1978 992 0 136173 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 512600 KiB
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.06
CPU user time (s): 3579.23
CPU system time (s): 20.8281
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 577260
Max. memory (cumulated for all children) (KiB): 512600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.23
system time used= 20.8281
maximum resident set size= 512600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3585440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167
involuntary context switches= 2842
# summary of solver processes directly reported to runsolver:
# pid: 185880
# total CPU time (s): 3600.06
# total CPU user time (s): 3579.23
# total CPU system time (s): 20.8281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67173 second user time and 18.1539 second system time
The end
Begin job on nodeC016 at 2024-07-24 13:26:19 IDJOB=4457067 IDBENCH=155380 IDSOLVER=3085 FILE ID=nodeC016/4457067-1721820379 RUNJOBID= nodeC016-1721817186-183570 SLURM_JOB_ID= 7816868 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457067-1721820379/watcher-4457067-1721820379 -o /tmp/evaluation-result-4457067-1721820379/solver-4457067-1721820379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183570 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457067-1721820379 --lp-cut-gomory=0 HOME/instance-4457067-1721820379.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60 RANDOM SEED=1886964621 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.128 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.779 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3619.264 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.855 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.813 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.846 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3637.483 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.670 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 43080584 kB MemAvailable: 127344844 kB Buffers: 244540 kB Cached: 84553428 kB SwapCached: 200 kB Active: 2281556 kB Inactive: 85099788 kB Active(anon): 2596 kB Inactive(anon): 2633528 kB Active(file): 2278960 kB Inactive(file): 82466260 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056284 kB Dirty: 163360 kB Writeback: 0 kB AnonPages: 2579264 kB Mapped: 125320 kB Shmem: 52688 kB KReclaimable: 580272 kB Slab: 706712 kB SReclaimable: 580272 kB SUnreclaim: 126440 kB KernelStack: 4208 kB PageTables: 14732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3173824 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 1908736 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 371412 kB DirectMap2M: 41345024 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890000 MiB End job on nodeC016 at 2024-07-24 14:26:29