| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | -32 | 3600.11 | 3612.02 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb |
| MD5SUM | 678da6339402b89815c46f6042afd950 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -32 |
| Best CPU time to get the best result obtained on this benchmark | 506.649 |
| 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 | 1056 |
| Total number of constraints | 488 |
| Number of constraints which are clauses | 416 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 32 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 640 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 640 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 640 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.00/0.01 c #variables 1056 #constraints 488 0.00/0.01 c bounds - >= -640 @ 0.009103 0.00/0.01 c rational objective -40 0.68/0.71 c bounds -32 >= -640 @ 0.060079 0.68/0.71 c bounds -32 >= -625 @ 0.060499 0.68/0.71 c bounds -32 >= -610 @ 0.060676 0.68/0.71 c bounds -32 >= -595 @ 0.060837 0.68/0.71 c bounds -32 >= -580 @ 0.060992 0.68/0.71 c bounds -32 >= -565 @ 0.06114 0.68/0.71 c bounds -32 >= -550 @ 0.061296 0.68/0.71 c bounds -32 >= -535 @ 0.061451 0.68/0.71 c bounds -32 >= -520 @ 0.061596 0.68/0.71 c bounds -32 >= -505 @ 0.061735 0.68/0.71 c bounds -32 >= -490 @ 0.061874 0.68/0.71 c bounds -32 >= -475 @ 0.062028 0.68/0.71 c bounds -32 >= -460 @ 0.06217 0.68/0.71 c bounds -32 >= -445 @ 0.062303 0.68/0.71 c bounds -32 >= -430 @ 0.062436 0.68/0.71 c bounds -32 >= -415 @ 0.062568 0.68/0.71 c bounds -32 >= -400 @ 0.062701 0.68/0.71 c bounds -32 >= -385 @ 0.062838 0.68/0.71 c bounds -32 >= -370 @ 0.062969 0.68/0.71 c bounds -32 >= -355 @ 0.063096 0.68/0.71 c bounds -32 >= -340 @ 0.063221 0.68/0.71 c bounds -32 >= -325 @ 0.063345 0.68/0.71 c bounds -32 >= -310 @ 0.063462 0.68/0.71 c bounds -32 >= -295 @ 0.063576 0.68/0.71 c bounds -32 >= -280 @ 0.063687 0.68/0.71 c bounds -32 >= -265 @ 0.063798 0.68/0.71 c bounds -32 >= -250 @ 0.063906 0.68/0.71 c bounds -32 >= -235 @ 0.064009 0.68/0.71 c bounds -32 >= -220 @ 0.064111 0.68/0.71 c bounds -32 >= -205 @ 0.064213 0.68/0.71 c bounds -32 >= -190 @ 0.064314 0.68/0.71 c bounds -32 >= -175 @ 0.064411 0.68/0.71 c bounds -32 >= -160 @ 0.064508 0.68/0.71 c bounds -32 >= -145 @ 0.064625 0.68/0.71 c bounds -32 >= -130 @ 0.064719 0.68/0.71 c bounds -32 >= -115 @ 0.064811 0.68/0.71 c bounds -32 >= -100 @ 0.0649 0.68/0.71 c bounds -32 >= -85 @ 0.064985 0.68/0.71 c bounds -32 >= -70 @ 0.065075 0.68/0.71 c bounds -32 >= -55 @ 0.065162 0.68/0.71 c bounds -32 >= -40 @ 0.06525 0.68/0.71 c #Conflicts: 1000 | #Constraints: 1582 0.68/0.71 c #Conflicts: 2000 | #Constraints: 2600 0.68/0.71 c INPROCESSING 0.68/0.71 c GARBAGE COLLECT 0.68/0.71 c rational objective -40 1.38/1.41 c #Conflicts: 3000 | #Constraints: 2620 1.38/1.41 c #Conflicts: 4000 | #Constraints: 3632 1.38/1.41 c INPROCESSING 1.38/1.41 c GARBAGE COLLECT 1.38/1.41 c rational objective -40 1.99/2.06 c #Conflicts: 5000 | #Constraints: 3025 1.99/2.06 c #Conflicts: 6000 | #Constraints: 4041 1.99/2.06 c INPROCESSING 1.99/2.06 c GARBAGE COLLECT 1.99/2.06 c rational objective -40 2.58/2.60 c #Conflicts: 7000 | #Constraints: 3038 2.58/2.60 c #Conflicts: 8000 | #Constraints: 4054 2.58/2.60 c #Conflicts: 9000 | #Constraints: 5065 2.58/2.60 c INPROCESSING 2.58/2.60 c GARBAGE COLLECT 2.58/2.60 c rational objective -40 3.18/3.22 c #Conflicts: 10000 | #Constraints: 3738 3.18/3.22 c #Conflicts: 11000 | #Constraints: 4753 3.18/3.22 c #Conflicts: 12000 | #Constraints: 5759 3.18/3.22 c INPROCESSING 3.18/3.22 c GARBAGE COLLECT 3.18/3.22 c rational objective -40 3.87/3.93 c #Conflicts: 13000 | #Constraints: 4196 3.87/3.93 c #Conflicts: 14000 | #Constraints: 5211 3.87/3.93 c #Conflicts: 15000 | #Constraints: 6230 3.87/3.93 c INPROCESSING 3.87/3.93 c GARBAGE COLLECT 3.87/3.93 c rational objective -40 4.57/4.65 c #Conflicts: 16000 | #Constraints: 4430 4.57/4.65 c #Conflicts: 17000 | #Constraints: 5467 4.57/4.65 c #Conflicts: 18000 | #Constraints: 6476 4.57/4.65 c INPROCESSING 4.57/4.65 c GARBAGE COLLECT 4.57/4.65 c rational objective -40 5.37/5.48 c #Conflicts: 19000 | #Constraints: 4456 5.37/5.48 c #Conflicts: 20000 | #Constraints: 5467 5.37/5.48 c #Conflicts: 21000 | #Constraints: 6480 5.37/5.48 c bounds -32 >= -39 @ 5.07652 5.37/5.48 c INPROCESSING 5.37/5.48 c GARBAGE COLLECT 5.37/5.48 c rational objective -40 6.37/6.49 c #Conflicts: 22000 | #Constraints: 4263 6.37/6.49 c #Conflicts: 23000 | #Constraints: 5277 6.37/6.49 c #Conflicts: 24000 | #Constraints: 6288 6.37/6.49 c #Conflicts: 25000 | #Constraints: 7294 6.37/6.49 c INPROCESSING 6.37/6.49 c GARBAGE COLLECT 6.37/6.49 c rational objective -40 7.46/7.53 c #Conflicts: 26000 | #Constraints: 4866 7.46/7.53 c #Conflicts: 27000 | #Constraints: 5870 7.46/7.53 c #Conflicts: 28000 | #Constraints: 6879 7.46/7.53 c #Conflicts: 29000 | #Constraints: 7883 7.46/7.53 c INPROCESSING 7.46/7.53 c GARBAGE COLLECT 7.46/7.53 c rational objective -40 8.75/8.83 c #Conflicts: 30000 | #Constraints: 5251 8.75/8.83 c #Conflicts: 31000 | #Constraints: 6262 8.75/8.83 c #Conflicts: 32000 | #Constraints: 7277 8.75/8.83 c #Conflicts: 33000 | #Constraints: 8296 8.75/8.83 c INPROCESSING 8.75/8.83 c GARBAGE COLLECT 8.75/8.83 c rational objective -40 10.25/10.33 c #Conflicts: 34000 | #Constraints: 5469 10.25/10.33 c #Conflicts: 35000 | #Constraints: 6480 10.25/10.33 c #Conflicts: 36000 | #Constraints: 7496 10.25/10.33 c #Conflicts: 37000 | #Constraints: 8513 10.25/10.33 c INPROCESSING 10.25/10.33 c GARBAGE COLLECT 10.25/10.33 c rational objective -40 11.64/11.75 c #Conflicts: 38000 | #Constraints: 5478 11.64/11.75 c #Conflicts: 39000 | #Constraints: 6514 11.64/11.75 c #Conflicts: 40000 | #Constraints: 7540 11.64/11.75 c #Conflicts: 41000 | #Constraints: 8555 11.64/11.75 c INPROCESSING 11.64/11.75 c GARBAGE COLLECT 11.64/11.75 c rational objective -40 12.95/13.06 c #Conflicts: 42000 | #Constraints: 5290 12.95/13.06 c #Conflicts: 43000 | #Constraints: 6308 12.95/13.06 c #Conflicts: 44000 | #Constraints: 7326 12.95/13.06 c #Conflicts: 45000 | #Constraints: 8349 12.95/13.06 c #Conflicts: 46000 | #Constraints: 9357 12.95/13.06 c INPROCESSING 12.95/13.06 c GARBAGE COLLECT 12.95/13.06 c rational objective -40 14.14/14.28 c #Conflicts: 47000 | #Constraints: 5895 14.14/14.28 c #Conflicts: 48000 | #Constraints: 6921 14.14/14.28 c #Conflicts: 49000 | #Constraints: 7935 14.14/14.28 c #Conflicts: 50000 | #Constraints: 8939 14.14/14.28 c #Conflicts: 51000 | #Constraints: 9952 14.14/14.28 c INPROCESSING 14.14/14.28 c GARBAGE COLLECT 14.14/14.28 c rational objective -40 15.73/15.83 c #Conflicts: 52000 | #Constraints: 6309 15.73/15.83 c #Conflicts: 53000 | #Constraints: 7313 15.73/15.83 c #Conflicts: 54000 | #Constraints: 8322 15.73/15.83 c #Conflicts: 55000 | #Constraints: 9328 15.73/15.83 c #Conflicts: 56000 | #Constraints: 10337 15.73/15.83 c INPROCESSING 15.73/15.83 c GARBAGE COLLECT 15.73/15.83 c rational objective -40 17.12/17.21 c #Conflicts: 57000 | #Constraints: 6474 17.12/17.21 c #Conflicts: 58000 | #Constraints: 7478 17.12/17.21 c #Conflicts: 59000 | #Constraints: 8498 17.12/17.21 c #Conflicts: 60000 | #Constraints: 9507 17.12/17.21 c #Conflicts: 61000 | #Constraints: 10512 17.12/17.21 c INPROCESSING 17.12/17.21 c GARBAGE COLLECT 17.12/17.21 c rational objective -40 19.52/19.65 c #Conflicts: 62000 | #Constraints: 6481 19.52/19.65 c #Conflicts: 63000 | #Constraints: 7495 19.52/19.65 c #Conflicts: 64000 | #Constraints: 8510 19.52/19.65 c #Conflicts: 65000 | #Constraints: 9518 19.52/19.65 c #Conflicts: 66000 | #Constraints: 10532 19.52/19.65 c INPROCESSING 19.52/19.65 c GARBAGE COLLECT 19.52/19.65 c rational objective -40 21.22/21.34 c #Conflicts: 67000 | #Constraints: 6286 21.22/21.34 c #Conflicts: 68000 | #Constraints: 7298 21.22/21.34 c #Conflicts: 69000 | #Constraints: 8317 21.22/21.34 c #Conflicts: 70000 | #Constraints: 9332 21.22/21.34 c #Conflicts: 71000 | #Constraints: 10342 21.22/21.34 c #Conflicts: 72000 | #Constraints: 11354 21.22/21.34 c INPROCESSING 21.22/21.34 c GARBAGE COLLECT 21.22/21.34 c rational objective -40 23.01/23.19 c #Conflicts: 73000 | #Constraints: 6899 23.01/23.19 c #Conflicts: 74000 | #Constraints: 7907 23.01/23.19 c #Conflicts: 75000 | #Constraints: 8923 23.01/23.19 c #Conflicts: 76000 | #Constraints: 9936 23.01/23.19 c #Conflicts: 77000 | #Constraints: 10950 23.01/23.19 c #Conflicts: 78000 | #Constraints: 11967 23.01/23.19 c INPROCESSING 23.01/23.19 c GARBAGE COLLECT 23.01/23.19 c rational objective -40 25.10/25.30 c #Conflicts: 79000 | #Constraints: 7316 25.10/25.30 c #Conflicts: 80000 | #Constraints: 8327 25.10/25.30 c #Conflicts: 81000 | #Constraints: 9340 25.10/25.30 c #Conflicts: 82000 | #Constraints: 10354 25.10/25.30 c #Conflicts: 83000 | #Constraints: 11363 25.10/25.30 c #Conflicts: 84000 | #Constraints: 12374 25.10/25.30 c INPROCESSING 25.10/25.30 c GARBAGE COLLECT 25.10/25.30 c rational objective -40 26.59/26.78 c #Conflicts: 85000 | #Constraints: 7494 26.59/26.78 c #Conflicts: 86000 | #Constraints: 8495 26.59/26.78 c #Conflicts: 87000 | #Constraints: 9496 26.59/26.78 c #Conflicts: 88000 | #Constraints: 10496 26.59/26.78 c #Conflicts: 89000 | #Constraints: 11497 26.59/26.78 c #Conflicts: 90000 | #Constraints: 12499 26.59/26.78 c INPROCESSING 26.59/26.78 c GARBAGE COLLECT 26.59/26.78 c rational objective -40 28.49/28.66 c #Conflicts: 91000 | #Constraints: 7477 28.49/28.66 c #Conflicts: 92000 | #Constraints: 8498 28.49/28.66 c #Conflicts: 93000 | #Constraints: 9525 28.49/28.66 c #Conflicts: 94000 | #Constraints: 10550 28.49/28.66 c #Conflicts: 95000 | #Constraints: 11571 28.49/28.66 c #Conflicts: 96000 | #Constraints: 12592 28.49/28.66 c INPROCESSING 28.49/28.66 c GARBAGE COLLECT 28.49/28.66 c rational objective -40 31.99/32.12 c #Conflicts: 97000 | #Constraints: 7347 31.99/32.12 c #Conflicts: 98000 | #Constraints: 8359 31.99/32.12 c #Conflicts: 99000 | #Constraints: 9379 31.99/32.12 c #Conflicts: 100000 | #Constraints: 10394 31.99/32.12 c #Conflicts: 101000 | #Constraints: 11410 31.99/32.12 c #Conflicts: 102000 | #Constraints: 12422 31.99/32.12 c #Conflicts: 103000 | #Constraints: 13436 31.99/32.12 c INPROCESSING 31.99/32.12 c GARBAGE COLLECT 31.99/32.12 c rational objective -40 34.16/34.31 c #Conflicts: 104000 | #Constraints: 7937 34.16/34.31 c #Conflicts: 105000 | #Constraints: 8953 34.16/34.31 c #Conflicts: 106000 | #Constraints: 9966 34.16/34.31 c #Conflicts: 107000 | #Constraints: 10969 34.16/34.31 c #Conflicts: 108000 | #Constraints: 11978 34.16/34.31 c #Conflicts: 109000 | #Constraints: 12986 34.16/34.31 c #Conflicts: 110000 | #Constraints: 14012 34.16/34.31 c INPROCESSING 34.16/34.31 c GARBAGE COLLECT 34.16/34.31 c rational objective -40 36.56/36.76 c #Conflicts: 111000 | #Constraints: 8335 36.56/36.76 c #Conflicts: 112000 | #Constraints: 9341 36.56/36.76 c #Conflicts: 113000 | #Constraints: 10350 36.56/36.76 c #Conflicts: 114000 | #Constraints: 11357 36.56/36.76 c #Conflicts: 115000 | #Constraints: 12368 36.56/36.76 c #Conflicts: 116000 | #Constraints: 13378 36.56/36.76 c #Conflicts: 117000 | #Constraints: 14402 36.56/36.76 c INPROCESSING 36.56/36.76 c GARBAGE COLLECT 36.56/36.76 c rational objective -40 40.35/40.57 c #Conflicts: 118000 | #Constraints: 8515 40.35/40.57 c #Conflicts: 119000 | #Constraints: 9527 40.35/40.57 c #Conflicts: 120000 | #Constraints: 10535 40.35/40.57 c #Conflicts: 121000 | #Constraints: 11546 40.35/40.57 c #Conflicts: 122000 | #Constraints: 12557 40.35/40.57 c #Conflicts: 123000 | #Constraints: 13563 40.35/40.57 c #Conflicts: 124000 | #Constraints: 14569 40.35/40.57 c INPROCESSING 40.35/40.57 c GARBAGE COLLECT 40.35/40.57 c rational objective -40 42.85/43.04 c #Conflicts: 125000 | #Constraints: 8505 42.85/43.04 c #Conflicts: 126000 | #Constraints: 9521 42.85/43.04 c #Conflicts: 127000 | #Constraints: 10524 42.85/43.04 c #Conflicts: 128000 | #Constraints: 11531 42.85/43.04 c #Conflicts: 129000 | #Constraints: 12549 42.85/43.04 c #Conflicts: 130000 | #Constraints: 13574 42.85/43.04 c #Conflicts: 131000 | #Constraints: 14592 42.85/43.04 c INPROCESSING 42.85/43.04 c GARBAGE COLLECT 42.85/43.04 c rational objective -40 45.32/45.57 c #Conflicts: 132000 | #Constraints: 8306 45.32/45.57 c #Conflicts: 133000 | #Constraints: 9315 45.32/45.57 c #Conflicts: 134000 | #Constraints: 10326 45.32/45.57 c #Conflicts: 135000 | #Constraints: 11335 45.32/45.57 c #Conflicts: 136000 | #Constraints: 12348 45.32/45.57 c #Conflicts: 137000 | #Constraints: 13350 45.32/45.57 c #Conflicts: 138000 | #Constraints: 14354 45.32/45.57 c #Conflicts: 139000 | #Constraints: 15362 45.32/45.57 c INPROCESSING 45.32/45.57 c GARBAGE COLLECT 45.32/45.57 c rational objective -40 49.93/50.19 c #Conflicts: 140000 | #Constraints: 8907 49.93/50.19 c #Conflicts: 141000 | #Constraints: 9921 49.93/50.19 c #Conflicts: 142000 | #Constraints: 10937 49.93/50.19 c #Conflicts: 143000 | #Constraints: 11950 49.93/50.19 c #Conflicts: 144000 | #Constraints: 12960 49.93/50.19 c #Conflicts: 145000 | #Constraints: 13975 49.93/50.19 c #Conflicts: 146000 | #Constraints: 14986 49.93/50.19 c #Conflicts: 147000 | #Constraints: 16006 49.93/50.19 c INPROCESSING 49.93/50.19 c GARBAGE COLLECT 49.93/50.19 c rational objective -40 53.20/53.48 c #Conflicts: 148000 | #Constraints: 9318 53.20/53.48 c #Conflicts: 149000 | #Constraints: 10336 53.20/53.48 c #Conflicts: 150000 | #Constraints: 11355 53.20/53.48 c #Conflicts: 151000 | #Constraints: 12384 53.20/53.48 c #Conflicts: 152000 | #Constraints: 13398 53.20/53.48 c #Conflicts: 153000 | #Constraints: 14412 53.20/53.48 c #Conflicts: 154000 | #Constraints: 15415 53.20/53.48 c #Conflicts: 155000 | #Constraints: 16425 53.20/53.48 c INPROCESSING 53.20/53.48 c GARBAGE COLLECT 53.20/53.48 c rational objective -40 58.28/58.52 c #Conflicts: 156000 | #Constraints: 9532 58.28/58.52 c #Conflicts: 157000 | #Constraints: 10538 58.28/58.52 c #Conflicts: 158000 | #Constraints: 11544 58.28/58.52 c #Conflicts: 159000 | #Constraints: 12552 58.28/58.52 c #Conflicts: 160000 | #Constraints: 13558 58.28/58.52 c #Conflicts: 161000 | #Constraints: 14564 58.28/58.52 c #Conflicts: 162000 | #Constraints: 15569 58.28/58.52 c #Conflicts: 163000 | #Constraints: 16579 58.28/58.52 c INPROCESSING 58.28/58.52 c GARBAGE COLLECT 58.28/58.52 c rational objective -40 61.29/61.53 c #Conflicts: 164000 | #Constraints: 9522 61.29/61.53 c #Conflicts: 165000 | #Constraints: 10558 61.29/61.53 c #Conflicts: 166000 | #Constraints: 11576 61.29/61.53 c #Conflicts: 167000 | #Constraints: 12592 61.29/61.53 c #Conflicts: 168000 | #Constraints: 13607 61.29/61.53 c #Conflicts: 169000 | #Constraints: 14613 61.29/61.53 c #Conflicts: 170000 | #Constraints: 15624 61.29/61.53 c #Conflicts: 171000 | #Constraints: 16636 61.29/61.53 c INPROCESSING 61.29/61.53 c GARBAGE COLLECT 61.29/61.53 c rational objective -40 64.66/64.95 c #Conflicts: 172000 | #Constraints: 9335 64.66/64.95 c #Conflicts: 173000 | #Constraints: 10358 64.66/64.95 c #Conflicts: 174000 | #Constraints: 11370 64.66/64.95 c #Conflicts: 175000 | #Constraints: 12391 64.66/64.95 c #Conflicts: 176000 | #Constraints: 13412 64.66/64.95 c #Conflicts: 177000 | #Constraints: 14419 64.66/64.95 c #Conflicts: 178000 | #Constraints: 15435 64.66/64.95 c #Conflicts: 179000 | #Constraints: 16444 64.66/64.95 c #Conflicts: 180000 | #Constraints: 17451 64.66/64.95 c INPROCESSING 64.66/64.95 c GARBAGE COLLECT 64.66/64.95 c rational objective -40 70.94/71.22 c #Conflicts: 181000 | #Constraints: 9955 70.94/71.22 c #Conflicts: 182000 | #Constraints: 10968 70.94/71.22 c #Conflicts: 183000 | #Constraints: 11977 70.94/71.22 c #Conflicts: 184000 | #Constraints: 12990 70.94/71.22 c #Conflicts: 185000 | #Constraints: 13997 70.94/71.22 c #Conflicts: 186000 | #Constraints: 15002 70.94/71.22 c #Conflicts: 187000 | #Constraints: 16011 70.94/71.22 c #Conflicts: 188000 | #Constraints: 17022 70.94/71.22 c #Conflicts: 189000 | #Constraints: 18033 70.94/71.22 c INPROCESSING 70.94/71.22 c GARBAGE COLLECT 70.94/71.22 c rational objective -40 74.32/74.65 c #Conflicts: 190000 | #Constraints: 10330 74.32/74.65 c #Conflicts: 191000 | #Constraints: 11334 74.32/74.65 c #Conflicts: 192000 | #Constraints: 12338 74.32/74.65 c #Conflicts: 193000 | #Constraints: 13373 74.32/74.65 c #Conflicts: 194000 | #Constraints: 14398 74.32/74.65 c #Conflicts: 195000 | #Constraints: 15424 74.32/74.65 c #Conflicts: 196000 | #Constraints: 16445 74.32/74.65 c #Conflicts: 197000 | #Constraints: 17463 74.32/74.65 c #Conflicts: 198000 | #Constraints: 18478 74.32/74.65 c INPROCESSING 74.32/74.65 c GARBAGE COLLECT 74.32/74.65 c rational objective -40 78.31/78.61 c #Conflicts: 199000 | #Constraints: 10575 78.31/78.61 c #Conflicts: 200000 | #Constraints: 11591 78.31/78.61 c #Conflicts: 201000 | #Constraints: 12597 78.31/78.61 c #Conflicts: 202000 | #Constraints: 13607 78.31/78.61 c #Conflicts: 203000 | #Constraints: 14618 78.31/78.61 c #Conflicts: 204000 | #Constraints: 15627 78.31/78.61 c #Conflicts: 205000 | #Constraints: 16641 78.31/78.61 c #Conflicts: 206000 | #Constraints: 17655 78.31/78.61 c #Conflicts: 207000 | #Constraints: 18670 78.31/78.61 c INPROCESSING 78.31/78.61 c GARBAGE COLLECT 78.31/78.61 c rational objective -40 84.98/85.32 c #Conflicts: 208000 | #Constraints: 10572 84.98/85.32 c #Conflicts: 209000 | #Constraints: 11581 84.98/85.32 c #Conflicts: 210000 | #Constraints: 12590 84.98/85.32 c #Conflicts: 211000 | #Constraints: 13601 84.98/85.32 c #Conflicts: 212000 | #Constraints: 14616 84.98/85.32 c #Conflicts: 213000 | #Constraints: 15627 84.98/85.32 c #Conflicts: 214000 | #Constraints: 16637 84.98/85.32 c #Conflicts: 215000 | #Constraints: 17649 84.98/85.32 c #Conflicts: 216000 | #Constraints: 18662 84.98/85.32 c INPROCESSING 84.98/85.32 c GARBAGE COLLECT 84.98/85.32 c rational objective -40 89.16/89.56 c #Conflicts: 217000 | #Constraints: 10360 89.16/89.56 c #Conflicts: 218000 | #Constraints: 11376 89.16/89.56 c #Conflicts: 219000 | #Constraints: 12383 89.16/89.56 c #Conflicts: 220000 | #Constraints: 13408 89.16/89.56 c #Conflicts: 221000 | #Constraints: 14431 89.16/89.56 c #Conflicts: 222000 | #Constraints: 15452 89.16/89.56 c #Conflicts: 223000 | #Constraints: 16479 89.16/89.56 c #Conflicts: 224000 | #Constraints: 17499 89.16/89.56 c #Conflicts: 225000 | #Constraints: 18519 89.16/89.56 c #Conflicts: 226000 | #Constraints: 19546 89.16/89.56 c INPROCESSING 89.16/89.56 c GARBAGE COLLECT 89.16/89.56 c rational objective -40 97.43/97.83 c #Conflicts: 227000 | #Constraints: 11000 97.43/97.83 c #Conflicts: 228000 | #Constraints: 12008 97.43/97.83 c #Conflicts: 229000 | #Constraints: 13013 97.43/97.83 c #Conflicts: 230000 | #Constraints: 14022 97.43/97.83 c #Conflicts: 231000 | #Constraints: 15024 97.43/97.83 c #Conflicts: 232000 | #Constraints: 16030 97.43/97.83 c #Conflicts: 233000 | #Constraints: 17035 97.43/97.83 c #Conflicts: 234000 | #Constraints: 18044 97.43/97.83 c #Conflicts: 235000 | #Constraints: 19051 97.43/97.83 c #Conflicts: 236000 | #Constraints: 20058 97.43/97.83 c INPROCESSING 97.43/97.83 c GARBAGE COLLECT 97.43/97.83 c rational objective -40 102.63/103.02 c #Conflicts: 237000 | #Constraints: 11357 102.63/103.02 c #Conflicts: 238000 | #Constraints: 12369 102.63/103.02 c #Conflicts: 239000 | #Constraints: 13377 102.63/103.02 c #Conflicts: 240000 | #Constraints: 14383 102.63/103.02 c #Conflicts: 241000 | #Constraints: 15393 102.63/103.02 c #Conflicts: 242000 | #Constraints: 16417 102.63/103.02 c #Conflicts: 243000 | #Constraints: 17426 102.63/103.02 c #Conflicts: 244000 | #Constraints: 18434 102.63/103.02 c #Conflicts: 245000 | #Constraints: 19437 102.63/103.02 c #Conflicts: 246000 | #Constraints: 20468 102.63/103.02 c INPROCESSING 102.63/103.02 c GARBAGE COLLECT 102.63/103.02 c rational objective -40 107.99/108.45 c #Conflicts: 247000 | #Constraints: 11568 107.99/108.45 c #Conflicts: 248000 | #Constraints: 12571 107.99/108.45 c #Conflicts: 249000 | #Constraints: 13586 107.99/108.45 c #Conflicts: 250000 | #Constraints: 14594 107.99/108.45 c #Conflicts: 251000 | #Constraints: 15602 107.99/108.45 c #Conflicts: 252000 | #Constraints: 16613 107.99/108.45 c #Conflicts: 253000 | #Constraints: 17645 107.99/108.45 c #Conflicts: 254000 | #Constraints: 18653 107.99/108.45 c #Conflicts: 255000 | #Constraints: 19671 107.99/108.45 c #Conflicts: 256000 | #Constraints: 20676 107.99/108.45 c INPROCESSING 107.99/108.45 c GARBAGE COLLECT 107.99/108.45 c rational objective -40 117.86/118.35 c #Conflicts: 257000 | #Constraints: 11563 117.86/118.35 c #Conflicts: 258000 | #Constraints: 12569 117.86/118.35 c #Conflicts: 259000 | #Constraints: 13575 117.86/118.35 c #Conflicts: 260000 | #Constraints: 14578 117.86/118.35 c #Conflicts: 261000 | #Constraints: 15585 117.86/118.35 c #Conflicts: 262000 | #Constraints: 16595 117.86/118.35 c #Conflicts: 263000 | #Constraints: 17601 117.86/118.35 c #Conflicts: 264000 | #Constraints: 18608 117.86/118.35 c #Conflicts: 265000 | #Constraints: 19619 117.86/118.35 c #Conflicts: 266000 | #Constraints: 20633 117.86/118.35 c INPROCESSING 117.86/118.35 c GARBAGE COLLECT 117.86/118.35 c rational objective -40 124.14/124.64 c #Conflicts: 267000 | #Constraints: 11340 124.14/124.64 c #Conflicts: 268000 | #Constraints: 12369 124.14/124.64 c #Conflicts: 269000 | #Constraints: 13399 124.14/124.64 c #Conflicts: 270000 | #Constraints: 14405 124.14/124.64 c #Conflicts: 271000 | #Constraints: 15416 124.14/124.64 c #Conflicts: 272000 | #Constraints: 16420 124.14/124.64 c #Conflicts: 273000 | #Constraints: 17421 124.14/124.64 c #Conflicts: 274000 | #Constraints: 18426 124.14/124.64 c #Conflicts: 275000 | #Constraints: 19430 124.14/124.64 c #Conflicts: 276000 | #Constraints: 20441 124.14/124.64 c #Conflicts: 277000 | #Constraints: 21446 124.14/124.64 c INPROCESSING 124.14/124.64 c GARBAGE COLLECT 124.14/124.64 c rational objective -40 138.40/139.01 c #Conflicts: 278000 | #Constraints: 11956 138.40/139.01 c #Conflicts: 279000 | #Constraints: 12963 138.40/139.01 c #Conflicts: 280000 | #Constraints: 13970 138.40/139.01 c #Conflicts: 281000 | #Constraints: 14979 138.40/139.01 c #Conflicts: 282000 | #Constraints: 15989 138.40/139.01 c #Conflicts: 283000 | #Constraints: 16995 138.40/139.01 c #Conflicts: 284000 | #Constraints: 18003 138.40/139.01 c #Conflicts: 285000 | #Constraints: 19008 138.40/139.01 c #Conflicts: 286000 | #Constraints: 20011 138.40/139.01 c #Conflicts: 287000 | #Constraints: 21017 138.40/139.01 c #Conflicts: 288000 | #Constraints: 22022 138.40/139.01 c INPROCESSING 138.40/139.01 c GARBAGE COLLECT 138.40/139.01 c rational objective -40 145.48/146.07 c #Conflicts: 289000 | #Constraints: 12329 145.48/146.07 c #Conflicts: 290000 | #Constraints: 13342 145.48/146.07 c #Conflicts: 291000 | #Constraints: 14371 145.48/146.07 c #Conflicts: 292000 | #Constraints: 15402 145.48/146.07 c #Conflicts: 293000 | #Constraints: 16407 145.48/146.07 c #Conflicts: 294000 | #Constraints: 17411 145.48/146.07 c #Conflicts: 295000 | #Constraints: 18414 145.48/146.07 c #Conflicts: 296000 | #Constraints: 19433 145.48/146.07 c #Conflicts: 297000 | #Constraints: 20440 145.48/146.07 c #Conflicts: 298000 | #Constraints: 21451 145.48/146.07 c #Conflicts: 299000 | #Constraints: 22454 145.48/146.07 c INPROCESSING 145.48/146.07 c GARBAGE COLLECT 145.48/146.07 c rational objective -40 152.94/153.50 c #Conflicts: 300000 | #Constraints: 12559 152.94/153.50 c #Conflicts: 301000 | #Constraints: 13578 152.94/153.50 c #Conflicts: 302000 | #Constraints: 14585 152.94/153.50 c #Conflicts: 303000 | #Constraints: 15596 152.94/153.50 c #Conflicts: 304000 | #Constraints: 16615 152.94/153.50 c #Conflicts: 305000 | #Constraints: 17633 152.94/153.50 c #Conflicts: 306000 | #Constraints: 18643 152.94/153.50 c #Conflicts: 307000 | #Constraints: 19660 152.94/153.50 c #Conflicts: 308000 | #Constraints: 20669 152.94/153.50 c #Conflicts: 309000 | #Constraints: 21691 152.94/153.50 c #Conflicts: 310000 | #Constraints: 22710 152.94/153.50 c INPROCESSING 152.94/153.50 c GARBAGE COLLECT 152.94/153.50 c rational objective -40 170.18/170.88 c #Conflicts: 311000 | #Constraints: 12593 170.18/170.88 c #Conflicts: 312000 | #Constraints: 13600 170.18/170.88 c #Conflicts: 313000 | #Constraints: 14608 170.18/170.88 c #Conflicts: 314000 | #Constraints: 15616 170.18/170.88 c #Conflicts: 315000 | #Constraints: 16621 170.18/170.88 c #Conflicts: 316000 | #Constraints: 17625 170.18/170.88 c #Conflicts: 317000 | #Constraints: 18635 170.18/170.88 c #Conflicts: 318000 | #Constraints: 19642 170.18/170.88 c #Conflicts: 319000 | #Constraints: 20650 170.18/170.88 c #Conflicts: 320000 | #Constraints: 21659 170.18/170.88 c #Conflicts: 321000 | #Constraints: 22666 170.18/170.88 c INPROCESSING 170.18/170.88 c GARBAGE COLLECT 170.18/170.88 c rational objective -40 177.16/177.89 c #Conflicts: 322000 | #Constraints: 12356 177.16/177.89 c #Conflicts: 323000 | #Constraints: 13373 177.16/177.89 c #Conflicts: 324000 | #Constraints: 14406 177.16/177.89 c #Conflicts: 325000 | #Constraints: 15427 177.16/177.89 c #Conflicts: 326000 | #Constraints: 16452 177.16/177.89 c #Conflicts: 327000 | #Constraints: 17458 177.16/177.89 c #Conflicts: 328000 | #Constraints: 18469 177.16/177.89 c #Conflicts: 329000 | #Constraints: 19481 177.16/177.89 c #Conflicts: 330000 | #Constraints: 20498 177.16/177.89 c #Conflicts: 331000 | #Constraints: 21507 177.16/177.89 c #Conflicts: 332000 | #Constraints: 22529 177.16/177.89 c #Conflicts: 333000 | #Constraints: 23567 177.16/177.89 c INPROCESSING 177.16/177.89 c GARBAGE COLLECT 177.16/177.89 c rational objective -40 186.52/187.20 c #Conflicts: 334000 | #Constraints: 13008 186.52/187.20 c #Conflicts: 335000 | #Constraints: 14020 186.52/187.20 c #Conflicts: 336000 | #Constraints: 15041 186.52/187.20 c #Conflicts: 337000 | #Constraints: 16052 186.52/187.20 c #Conflicts: 338000 | #Constraints: 17065 186.52/187.20 c #Conflicts: 339000 | #Constraints: 18077 186.52/187.20 c #Conflicts: 340000 | #Constraints: 19082 186.52/187.20 c #Conflicts: 341000 | #Constraints: 20101 186.52/187.20 c #Conflicts: 342000 | #Constraints: 21114 186.52/187.20 c #Conflicts: 343000 | #Constraints: 22123 186.52/187.20 c #Conflicts: 344000 | #Constraints: 23151 186.52/187.20 c #Conflicts: 345000 | #Constraints: 24168 186.52/187.20 c INPROCESSING 186.52/187.20 c GARBAGE COLLECT 186.52/187.20 c rational objective -40 211.73/212.58 c #Conflicts: 346000 | #Constraints: 13407 211.73/212.58 c #Conflicts: 347000 | #Constraints: 14414 211.73/212.58 c #Conflicts: 348000 | #Constraints: 15421 211.73/212.58 c #Conflicts: 349000 | #Constraints: 16427 211.73/212.58 c #Conflicts: 350000 | #Constraints: 17434 211.73/212.58 c #Conflicts: 351000 | #Constraints: 18441 211.73/212.58 c #Conflicts: 352000 | #Constraints: 19445 211.73/212.58 c #Conflicts: 353000 | #Constraints: 20454 211.73/212.58 c #Conflicts: 354000 | #Constraints: 21459 211.73/212.58 c #Conflicts: 355000 | #Constraints: 22462 211.73/212.58 c #Conflicts: 356000 | #Constraints: 23470 211.73/212.58 c #Conflicts: 357000 | #Constraints: 24477 211.73/212.58 c INPROCESSING 211.73/212.58 c GARBAGE COLLECT 211.73/212.58 c rational objective -40 222.30/223.17 c #Conflicts: 358000 | #Constraints: 13552 222.30/223.17 c #Conflicts: 359000 | #Constraints: 14556 222.30/223.17 c #Conflicts: 360000 | #Constraints: 15568 222.30/223.17 c #Conflicts: 361000 | #Constraints: 16572 222.30/223.17 c #Conflicts: 362000 | #Constraints: 17579 222.30/223.17 c #Conflicts: 363000 | #Constraints: 18581 222.30/223.17 c #Conflicts: 364000 | #Constraints: 19589 222.30/223.17 c #Conflicts: 365000 | #Constraints: 20609 222.30/223.17 c #Conflicts: 366000 | #Constraints: 21628 222.30/223.17 c #Conflicts: 367000 | #Constraints: 22634 222.30/223.17 c #Conflicts: 368000 | #Constraints: 23655 222.30/223.17 c #Conflicts: 369000 | #Constraints: 24670 222.30/223.17 c INPROCESSING 222.30/223.17 c GARBAGE COLLECT 222.30/223.17 c rational objective -40 232.85/233.77 c #Conflicts: 370000 | #Constraints: 13561 232.85/233.77 c #Conflicts: 371000 | #Constraints: 14582 232.85/233.77 c #Conflicts: 372000 | #Constraints: 15594 232.85/233.77 c #Conflicts: 373000 | #Constraints: 16602 232.85/233.77 c #Conflicts: 374000 | #Constraints: 17608 232.85/233.77 c #Conflicts: 375000 | #Constraints: 18610 232.85/233.77 c #Conflicts: 376000 | #Constraints: 19618 232.85/233.77 c #Conflicts: 377000 | #Constraints: 20622 232.85/233.77 c #Conflicts: 378000 | #Constraints: 21633 232.85/233.77 c #Conflicts: 379000 | #Constraints: 22645 232.85/233.77 c #Conflicts: 380000 | #Constraints: 23658 232.85/233.77 c #Conflicts: 381000 | #Constraints: 24663 232.85/233.77 c INPROCESSING 232.85/233.77 c GARBAGE COLLECT 232.85/233.77 c rational objective -40 267.62/268.67 c #Conflicts: 382000 | #Constraints: 13345 267.62/268.67 c #Conflicts: 383000 | #Constraints: 14352 267.62/268.67 c #Conflicts: 384000 | #Constraints: 15356 267.62/268.67 c #Conflicts: 385000 | #Constraints: 16365 267.62/268.67 c #Conflicts: 386000 | #Constraints: 17375 267.62/268.67 c #Conflicts: 387000 | #Constraints: 18381 267.62/268.67 c #Conflicts: 388000 | #Constraints: 19387 267.62/268.67 c #Conflicts: 389000 | #Constraints: 20392 267.62/268.67 c #Conflicts: 390000 | #Constraints: 21398 267.62/268.67 c #Conflicts: 391000 | #Constraints: 22408 267.62/268.67 c #Conflicts: 392000 | #Constraints: 23413 267.62/268.67 c #Conflicts: 393000 | #Constraints: 24420 267.62/268.67 c #Conflicts: 394000 | #Constraints: 25428 267.62/268.67 c INPROCESSING 267.62/268.67 c GARBAGE COLLECT 267.62/268.67 c rational objective -40 281.48/282.56 c #Conflicts: 395000 | #Constraints: 13944 281.48/282.56 c #Conflicts: 396000 | #Constraints: 14959 281.48/282.56 c #Conflicts: 397000 | #Constraints: 15977 281.48/282.56 c #Conflicts: 398000 | #Constraints: 16985 281.48/282.56 c #Conflicts: 399000 | #Constraints: 17993 281.48/282.56 c #Conflicts: 400000 | #Constraints: 19010 281.48/282.56 c #Conflicts: 401000 | #Constraints: 20028 281.48/282.56 c #Conflicts: 402000 | #Constraints: 21037 281.48/282.56 c #Conflicts: 403000 | #Constraints: 22051 281.48/282.56 c #Conflicts: 404000 | #Constraints: 23075 281.48/282.56 c #Conflicts: 405000 | #Constraints: 24092 281.48/282.56 c #Conflicts: 406000 | #Constraints: 25112 281.48/282.56 c #Conflicts: 407000 | #Constraints: 26119 281.48/282.56 c INPROCESSING 281.48/282.56 c GARBAGE COLLECT 281.48/282.56 c rational objective -40 294.52/295.61 c #Conflicts: 408000 | #Constraints: 14385 294.52/295.61 c #Conflicts: 409000 | #Constraints: 15393 294.52/295.61 c #Conflicts: 410000 | #Constraints: 16411 294.52/295.61 c #Conflicts: 411000 | #Constraints: 17419 294.52/295.61 c #Conflicts: 412000 | #Constraints: 18429 294.52/295.61 c #Conflicts: 413000 | #Constraints: 19436 294.52/295.61 c #Conflicts: 414000 | #Constraints: 20449 294.52/295.61 c #Conflicts: 415000 | #Constraints: 21471 294.52/295.61 c #Conflicts: 416000 | #Constraints: 22487 294.52/295.61 c #Conflicts: 417000 | #Constraints: 23501 294.52/295.61 c #Conflicts: 418000 | #Constraints: 24519 294.52/295.61 c #Conflicts: 419000 | #Constraints: 25559 294.52/295.61 c #Conflicts: 420000 | #Constraints: 26574 294.52/295.61 c INPROCESSING 294.52/295.61 c GARBAGE COLLECT 294.52/295.61 c rational objective -40 334.90/336.19 c #Conflicts: 421000 | #Constraints: 14607 334.90/336.19 c #Conflicts: 422000 | #Constraints: 15612 334.90/336.19 c #Conflicts: 423000 | #Constraints: 16619 334.90/336.19 c #Conflicts: 424000 | #Constraints: 17624 334.90/336.19 c #Conflicts: 425000 | #Constraints: 18632 334.90/336.19 c #Conflicts: 426000 | #Constraints: 19638 334.90/336.19 c #Conflicts: 427000 | #Constraints: 20646 334.90/336.19 c #Conflicts: 428000 | #Constraints: 21653 334.90/336.19 c #Conflicts: 429000 | #Constraints: 22660 334.90/336.19 c #Conflicts: 430000 | #Constraints: 23669 334.90/336.19 c #Conflicts: 431000 | #Constraints: 24676 334.90/336.19 c #Conflicts: 432000 | #Constraints: 25682 334.90/336.19 c #Conflicts: 433000 | #Constraints: 26689 334.90/336.19 c INPROCESSING 334.90/336.19 c GARBAGE COLLECT 334.90/336.19 c rational objective -40 352.41/353.77 c #Conflicts: 434000 | #Constraints: 14563 352.41/353.77 c #Conflicts: 435000 | #Constraints: 15564 352.41/353.77 c #Conflicts: 436000 | #Constraints: 16571 352.41/353.77 c #Conflicts: 437000 | #Constraints: 17594 352.41/353.77 c #Conflicts: 438000 | #Constraints: 18620 352.41/353.77 c #Conflicts: 439000 | #Constraints: 19636 352.41/353.77 c #Conflicts: 440000 | #Constraints: 20650 352.41/353.77 c #Conflicts: 441000 | #Constraints: 21658 352.41/353.77 c #Conflicts: 442000 | #Constraints: 22665 352.41/353.77 c #Conflicts: 443000 | #Constraints: 23675 352.41/353.77 c #Conflicts: 444000 | #Constraints: 24685 352.41/353.77 c #Conflicts: 445000 | #Constraints: 25707 352.41/353.77 c #Conflicts: 446000 | #Constraints: 26716 352.41/353.77 c INPROCESSING 352.41/353.77 c GARBAGE COLLECT 352.41/353.77 c rational objective -40 410.10/411.63 c #Conflicts: 447000 | #Constraints: 14383 410.10/411.63 c #Conflicts: 448000 | #Constraints: 15392 410.10/411.63 c #Conflicts: 449000 | #Constraints: 16396 410.10/411.63 c #Conflicts: 450000 | #Constraints: 17402 410.10/411.63 c #Conflicts: 451000 | #Constraints: 18406 410.10/411.63 c #Conflicts: 452000 | #Constraints: 19414 410.10/411.63 c #Conflicts: 453000 | #Constraints: 20423 410.10/411.63 c #Conflicts: 454000 | #Constraints: 21433 410.10/411.63 c #Conflicts: 455000 | #Constraints: 22438 410.10/411.63 c #Conflicts: 456000 | #Constraints: 23443 410.10/411.63 c #Conflicts: 457000 | #Constraints: 24450 410.10/411.63 c #Conflicts: 458000 | #Constraints: 25455 410.10/411.63 c #Conflicts: 459000 | #Constraints: 26460 410.10/411.63 c #Conflicts: 460000 | #Constraints: 27466 410.10/411.63 c INPROCESSING 410.10/411.63 c GARBAGE COLLECT 410.10/411.63 c rational objective -40 428.74/430.37 c #Conflicts: 461000 | #Constraints: 14958 428.74/430.37 c #Conflicts: 462000 | #Constraints: 15961 428.74/430.37 c #Conflicts: 463000 | #Constraints: 16968 428.74/430.37 c #Conflicts: 464000 | #Constraints: 17970 428.74/430.37 c #Conflicts: 465000 | #Constraints: 18970 428.74/430.37 c #Conflicts: 466000 | #Constraints: 19973 428.74/430.37 c #Conflicts: 467000 | #Constraints: 20976 428.74/430.37 c #Conflicts: 468000 | #Constraints: 21980 428.74/430.37 c #Conflicts: 469000 | #Constraints: 22984 428.74/430.37 c #Conflicts: 470000 | #Constraints: 23984 428.74/430.37 c #Conflicts: 471000 | #Constraints: 24985 428.74/430.37 c #Conflicts: 472000 | #Constraints: 25985 428.74/430.37 c #Conflicts: 473000 | #Constraints: 26985 428.74/430.37 c #Conflicts: 474000 | #Constraints: 27986 428.74/430.37 c INPROCESSING 428.74/430.37 c GARBAGE COLLECT 428.74/430.37 c rational objective -40 444.99/446.63 c #Conflicts: 475000 | #Constraints: 15326 444.99/446.63 c #Conflicts: 476000 | #Constraints: 16337 444.99/446.63 c #Conflicts: 477000 | #Constraints: 17351 444.99/446.63 c #Conflicts: 478000 | #Constraints: 18359 444.99/446.63 c #Conflicts: 479000 | #Constraints: 19372 444.99/446.63 c #Conflicts: 480000 | #Constraints: 20385 444.99/446.63 c #Conflicts: 481000 | #Constraints: 21402 444.99/446.63 c #Conflicts: 482000 | #Constraints: 22413 444.99/446.63 c #Conflicts: 483000 | #Constraints: 23420 444.99/446.63 c #Conflicts: 484000 | #Constraints: 24435 444.99/446.63 c #Conflicts: 485000 | #Constraints: 25445 444.99/446.63 c #Conflicts: 486000 | #Constraints: 26455 444.99/446.63 c #Conflicts: 487000 | #Constraints: 27467 444.99/446.63 c #Conflicts: 488000 | #Constraints: 28476 444.99/446.63 c INPROCESSING 444.99/446.63 c GARBAGE COLLECT 444.99/446.63 c rational objective -40 501.00/502.86 c #Conflicts: 489000 | #Constraints: 15562 501.00/502.86 c #Conflicts: 490000 | #Constraints: 16564 501.00/502.86 c #Conflicts: 491000 | #Constraints: 17569 501.00/502.86 c #Conflicts: 492000 | #Constraints: 18583 501.00/502.86 c #Conflicts: 493000 | #Constraints: 19591 501.00/502.86 c #Conflicts: 494000 | #Constraints: 20596 501.00/502.86 c #Conflicts: 495000 | #Constraints: 21603 501.00/502.86 c #Conflicts: 496000 | #Constraints: 22609 501.00/502.86 c #Conflicts: 497000 | #Constraints: 23617 501.00/502.86 c #Conflicts: 498000 | #Constraints: 24623 501.00/502.86 c #Conflicts: 499000 | #Constraints: 25627 501.00/502.86 c #Conflicts: 500000 | #Constraints: 26630 501.00/502.86 c #Conflicts: 501000 | #Constraints: 27636 501.00/502.86 c #Conflicts: 502000 | #Constraints: 28639 501.00/502.86 c INPROCESSING 501.00/502.86 c GARBAGE COLLECT 501.00/502.86 c rational objective -40 511.37/513.24 c #Conflicts: 503000 | #Constraints: 15555 511.37/513.24 c #Conflicts: 504000 | #Constraints: 16583 511.37/513.24 c #Conflicts: 505000 | #Constraints: 17618 511.37/513.24 c #Conflicts: 506000 | #Constraints: 18642 511.37/513.24 c #Conflicts: 507000 | #Constraints: 19671 511.37/513.24 c #Conflicts: 508000 | #Constraints: 20682 511.37/513.24 c #Conflicts: 509000 | #Constraints: 21710 511.37/513.24 c #Conflicts: 510000 | #Constraints: 22727 511.37/513.24 c #Conflicts: 511000 | #Constraints: 23736 511.37/513.24 c #Conflicts: 512000 | #Constraints: 24753 511.37/513.24 c #Conflicts: 513000 | #Constraints: 25768 511.37/513.24 c #Conflicts: 514000 | #Constraints: 26783 511.37/513.24 c #Conflicts: 515000 | #Constraints: 27791 511.37/513.24 c #Conflicts: 516000 | #Constraints: 28825 511.37/513.24 c INPROCESSING 511.37/513.24 c GARBAGE COLLECT 511.37/513.24 c rational objective -40 532.99/534.97 c #Conflicts: 517000 | #Constraints: 15428 532.99/534.97 c #Conflicts: 518000 | #Constraints: 16436 532.99/534.97 c #Conflicts: 519000 | #Constraints: 17453 532.99/534.97 c #Conflicts: 520000 | #Constraints: 18460 532.99/534.97 c #Conflicts: 521000 | #Constraints: 19468 532.99/534.97 c #Conflicts: 522000 | #Constraints: 20474 532.99/534.97 c #Conflicts: 523000 | #Constraints: 21488 532.99/534.97 c #Conflicts: 524000 | #Constraints: 22495 532.99/534.97 c #Conflicts: 525000 | #Constraints: 23507 532.99/534.97 c #Conflicts: 526000 | #Constraints: 24515 532.99/534.97 c #Conflicts: 527000 | #Constraints: 25527 532.99/534.97 c #Conflicts: 528000 | #Constraints: 26531 532.99/534.97 c #Conflicts: 529000 | #Constraints: 27554 532.99/534.97 c #Conflicts: 530000 | #Constraints: 28581 532.99/534.97 c #Conflicts: 531000 | #Constraints: 29608 532.99/534.97 c INPROCESSING 532.99/534.97 c GARBAGE COLLECT 532.99/534.97 c rational objective -40 562.59/564.66 c #Conflicts: 532000 | #Constraints: 16043 562.59/564.66 c #Conflicts: 533000 | #Constraints: 17047 562.59/564.66 c #Conflicts: 534000 | #Constraints: 18052 562.59/564.66 c bounds -32 >= -38 @ 535.825 562.59/564.66 c #Conflicts: 535000 | #Constraints: 19063 562.59/564.66 c #Conflicts: 536000 | #Constraints: 20078 562.59/564.66 c #Conflicts: 537000 | #Constraints: 21089 562.59/564.66 c #Conflicts: 538000 | #Constraints: 22098 562.59/564.66 c #Conflicts: 539000 | #Constraints: 23109 562.59/564.66 c #Conflicts: 540000 | #Constraints: 24120 562.59/564.66 c #Conflicts: 541000 | #Constraints: 25132 562.59/564.66 c #Conflicts: 542000 | #Constraints: 26137 562.59/564.66 c #Conflicts: 543000 | #Constraints: 27155 562.59/564.66 c #Conflicts: 544000 | #Constraints: 28170 562.59/564.66 c #Conflicts: 545000 | #Constraints: 29176 562.59/564.66 c #Conflicts: 546000 | #Constraints: 30201 562.59/564.66 c INPROCESSING 562.59/564.66 c GARBAGE COLLECT 562.59/564.66 c rational objective -40 571.76/573.88 c #Conflicts: 547000 | #Constraints: 16420 571.76/573.88 c #Conflicts: 548000 | #Constraints: 17445 571.76/573.88 c #Conflicts: 549000 | #Constraints: 18459 571.76/573.88 c #Conflicts: 550000 | #Constraints: 19465 571.76/573.88 c #Conflicts: 551000 | #Constraints: 20467 571.76/573.88 c #Conflicts: 552000 | #Constraints: 21477 571.76/573.88 c #Conflicts: 553000 | #Constraints: 22484 571.76/573.88 c #Conflicts: 554000 | #Constraints: 23499 571.76/573.88 c #Conflicts: 555000 | #Constraints: 24514 571.76/573.88 c #Conflicts: 556000 | #Constraints: 25518 571.76/573.88 c #Conflicts: 557000 | #Constraints: 26521 571.76/573.88 c #Conflicts: 558000 | #Constraints: 27530 571.76/573.88 c #Conflicts: 559000 | #Constraints: 28537 571.76/573.88 c #Conflicts: 560000 | #Constraints: 29548 571.76/573.88 c #Conflicts: 561000 | #Constraints: 30562 571.76/573.88 c INPROCESSING 571.76/573.88 c GARBAGE COLLECT 571.76/573.88 c rational objective -40 582.32/584.43 c #Conflicts: 562000 | #Constraints: 16599 582.32/584.43 c #Conflicts: 563000 | #Constraints: 17602 582.32/584.43 c #Conflicts: 564000 | #Constraints: 18613 582.32/584.43 c #Conflicts: 565000 | #Constraints: 19626 582.32/584.43 c #Conflicts: 566000 | #Constraints: 20637 582.32/584.43 c #Conflicts: 567000 | #Constraints: 21645 582.32/584.43 c #Conflicts: 568000 | #Constraints: 22656 582.32/584.43 c #Conflicts: 569000 | #Constraints: 23666 582.32/584.43 c #Conflicts: 570000 | #Constraints: 24666 582.32/584.43 c #Conflicts: 571000 | #Constraints: 25672 582.32/584.43 c #Conflicts: 572000 | #Constraints: 26679 582.32/584.43 c #Conflicts: 573000 | #Constraints: 27698 582.32/584.43 c #Conflicts: 574000 | #Constraints: 28710 582.32/584.43 c #Conflicts: 575000 | #Constraints: 29714 582.32/584.43 c #Conflicts: 576000 | #Constraints: 30715 582.32/584.43 c INPROCESSING 582.32/584.43 c GARBAGE COLLECT 582.32/584.43 c rational objective -40 607.85/610.04 c #Conflicts: 577000 | #Constraints: 16579 607.85/610.04 c #Conflicts: 578000 | #Constraints: 17584 607.85/610.04 c #Conflicts: 579000 | #Constraints: 18594 607.85/610.04 c #Conflicts: 580000 | #Constraints: 19608 607.85/610.04 c #Conflicts: 581000 | #Constraints: 20635 607.85/610.04 c #Conflicts: 582000 | #Constraints: 21648 607.85/610.04 c #Conflicts: 583000 | #Constraints: 22666 607.85/610.04 c #Conflicts: 584000 | #Constraints: 23679 607.85/610.04 c #Conflicts: 585000 | #Constraints: 24687 607.85/610.04 c #Conflicts: 586000 | #Constraints: 25695 607.85/610.04 c #Conflicts: 587000 | #Constraints: 26705 607.85/610.04 c #Conflicts: 588000 | #Constraints: 27718 607.85/610.04 c #Conflicts: 589000 | #Constraints: 28744 607.85/610.04 c #Conflicts: 590000 | #Constraints: 29759 607.85/610.04 c #Conflicts: 591000 | #Constraints: 30780 607.85/610.04 c INPROCESSING 607.85/610.04 c GARBAGE COLLECT 607.85/610.04 c rational objective -40 619.10/621.34 c #Conflicts: 592000 | #Constraints: 16413 619.10/621.34 c #Conflicts: 593000 | #Constraints: 17432 619.10/621.34 c #Conflicts: 594000 | #Constraints: 18453 619.10/621.34 c #Conflicts: 595000 | #Constraints: 19467 619.10/621.34 c #Conflicts: 596000 | #Constraints: 20478 619.10/621.34 c #Conflicts: 597000 | #Constraints: 21493 619.10/621.34 c #Conflicts: 598000 | #Constraints: 22502 619.10/621.34 c #Conflicts: 599000 | #Constraints: 23521 619.10/621.34 c #Conflicts: 600000 | #Constraints: 24538 619.10/621.34 c #Conflicts: 601000 | #Constraints: 25548 619.10/621.34 c #Conflicts: 602000 | #Constraints: 26561 619.10/621.34 c #Conflicts: 603000 | #Constraints: 27573 619.10/621.34 c #Conflicts: 604000 | #Constraints: 28585 619.10/621.34 c #Conflicts: 605000 | #Constraints: 29611 619.10/621.34 c #Conflicts: 606000 | #Constraints: 30625 619.10/621.34 c #Conflicts: 607000 | #Constraints: 31639 619.10/621.34 c INPROCESSING 619.10/621.34 c GARBAGE COLLECT 619.10/621.34 c rational objective -40 630.16/632.45 c #Conflicts: 608000 | #Constraints: 17050 630.16/632.45 c #Conflicts: 609000 | #Constraints: 18064 630.16/632.45 c #Conflicts: 610000 | #Constraints: 19077 630.16/632.45 c #Conflicts: 611000 | #Constraints: 20088 630.16/632.45 c #Conflicts: 612000 | #Constraints: 21100 630.16/632.45 c #Conflicts: 613000 | #Constraints: 22104 630.16/632.45 c #Conflicts: 614000 | #Constraints: 23107 630.16/632.45 c #Conflicts: 615000 | #Constraints: 24120 630.16/632.45 c #Conflicts: 616000 | #Constraints: 25127 630.16/632.45 c #Conflicts: 617000 | #Constraints: 26132 630.16/632.45 c #Conflicts: 618000 | #Constraints: 27140 630.16/632.45 c #Conflicts: 619000 | #Constraints: 28149 630.16/632.45 c #Conflicts: 620000 | #Constraints: 29155 630.16/632.45 c #Conflicts: 621000 | #Constraints: 30162 630.16/632.45 c #Conflicts: 622000 | #Constraints: 31173 630.16/632.45 c #Conflicts: 623000 | #Constraints: 32188 630.16/632.45 c INPROCESSING 630.16/632.45 c GARBAGE COLLECT 630.16/632.45 c rational objective -40 644.72/647.09 c #Conflicts: 624000 | #Constraints: 17414 644.72/647.09 c #Conflicts: 625000 | #Constraints: 18421 644.72/647.09 c #Conflicts: 626000 | #Constraints: 19430 644.72/647.09 c #Conflicts: 627000 | #Constraints: 20442 644.72/647.09 c #Conflicts: 628000 | #Constraints: 21447 644.72/647.09 c #Conflicts: 629000 | #Constraints: 22455 644.72/647.09 c #Conflicts: 630000 | #Constraints: 23466 644.72/647.09 c #Conflicts: 631000 | #Constraints: 24479 644.72/647.09 c #Conflicts: 632000 | #Constraints: 25498 644.72/647.09 c #Conflicts: 633000 | #Constraints: 26509 644.72/647.09 c #Conflicts: 634000 | #Constraints: 27516 644.72/647.09 c #Conflicts: 635000 | #Constraints: 28522 644.72/647.09 c #Conflicts: 636000 | #Constraints: 29532 644.72/647.09 c #Conflicts: 637000 | #Constraints: 30535 644.72/647.09 c #Conflicts: 638000 | #Constraints: 31541 644.72/647.09 c #Conflicts: 639000 | #Constraints: 32551 644.72/647.09 c INPROCESSING 644.72/647.09 c GARBAGE COLLECT 644.72/647.09 c rational objective -40 671.73/674.18 c #Conflicts: 640000 | #Constraints: 17591 671.73/674.18 c #Conflicts: 641000 | #Constraints: 18600 671.73/674.18 c #Conflicts: 642000 | #Constraints: 19608 671.73/674.18 c #Conflicts: 643000 | #Constraints: 20618 671.73/674.18 c #Conflicts: 644000 | #Constraints: 21627 671.73/674.18 c #Conflicts: 645000 | #Constraints: 22638 671.73/674.18 c #Conflicts: 646000 | #Constraints: 23654 671.73/674.18 c #Conflicts: 647000 | #Constraints: 24661 671.73/674.18 c #Conflicts: 648000 | #Constraints: 25667 671.73/674.18 c #Conflicts: 649000 | #Constraints: 26681 671.73/674.18 c #Conflicts: 650000 | #Constraints: 27699 671.73/674.18 c #Conflicts: 651000 | #Constraints: 28721 671.73/674.18 c #Conflicts: 652000 | #Constraints: 29741 671.73/674.18 c #Conflicts: 653000 | #Constraints: 30767 671.73/674.18 c #Conflicts: 654000 | #Constraints: 31785 671.73/674.18 c #Conflicts: 655000 | #Constraints: 32809 671.73/674.18 c INPROCESSING 671.73/674.18 c GARBAGE COLLECT 671.73/674.18 c rational objective -40 686.07/688.53 c #Conflicts: 656000 | #Constraints: 17625 686.07/688.53 c #Conflicts: 657000 | #Constraints: 18630 686.07/688.53 c #Conflicts: 658000 | #Constraints: 19632 686.07/688.53 c #Conflicts: 659000 | #Constraints: 20636 686.07/688.53 c #Conflicts: 660000 | #Constraints: 21639 686.07/688.53 c #Conflicts: 661000 | #Constraints: 22648 686.07/688.53 c #Conflicts: 662000 | #Constraints: 23658 686.07/688.53 c #Conflicts: 663000 | #Constraints: 24661 686.07/688.53 c #Conflicts: 664000 | #Constraints: 25668 686.07/688.53 c #Conflicts: 665000 | #Constraints: 26674 686.07/688.53 c #Conflicts: 666000 | #Constraints: 27682 686.07/688.53 c #Conflicts: 667000 | #Constraints: 28695 686.07/688.53 c #Conflicts: 668000 | #Constraints: 29710 686.07/688.53 c #Conflicts: 669000 | #Constraints: 30716 686.07/688.53 c #Conflicts: 670000 | #Constraints: 31721 686.07/688.53 c #Conflicts: 671000 | #Constraints: 32735 686.07/688.53 c INPROCESSING 686.07/688.53 c GARBAGE COLLECT 686.07/688.53 c rational objective -40 700.42/702.98 c #Conflicts: 672000 | #Constraints: 17390 700.42/702.98 c #Conflicts: 673000 | #Constraints: 18399 700.42/702.98 c #Conflicts: 674000 | #Constraints: 19405 700.42/702.98 c #Conflicts: 675000 | #Constraints: 20424 700.42/702.98 c #Conflicts: 676000 | #Constraints: 21443 700.42/702.98 c #Conflicts: 677000 | #Constraints: 22454 700.42/702.98 c #Conflicts: 678000 | #Constraints: 23462 700.42/702.98 c #Conflicts: 679000 | #Constraints: 24471 700.42/702.98 c #Conflicts: 680000 | #Constraints: 25480 700.42/702.98 c #Conflicts: 681000 | #Constraints: 26483 700.42/702.98 c #Conflicts: 682000 | #Constraints: 27489 700.42/702.98 c #Conflicts: 683000 | #Constraints: 28498 700.42/702.98 c #Conflicts: 684000 | #Constraints: 29504 700.42/702.98 c #Conflicts: 685000 | #Constraints: 30512 700.42/702.98 c #Conflicts: 686000 | #Constraints: 31521 700.42/702.98 c #Conflicts: 687000 | #Constraints: 32524 700.42/702.98 c #Conflicts: 688000 | #Constraints: 33531 700.42/702.98 c INPROCESSING 700.42/702.98 c GARBAGE COLLECT 700.42/702.98 c rational objective -40 730.71/733.39 c #Conflicts: 689000 | #Constraints: 17990 730.71/733.39 c #Conflicts: 690000 | #Constraints: 19006 730.71/733.39 c #Conflicts: 691000 | #Constraints: 20017 730.71/733.39 c #Conflicts: 692000 | #Constraints: 21022 730.71/733.39 c #Conflicts: 693000 | #Constraints: 22033 730.71/733.39 c #Conflicts: 694000 | #Constraints: 23044 730.71/733.39 c #Conflicts: 695000 | #Constraints: 24062 730.71/733.39 c #Conflicts: 696000 | #Constraints: 25076 730.71/733.39 c #Conflicts: 697000 | #Constraints: 26083 730.71/733.39 c #Conflicts: 698000 | #Constraints: 27088 730.71/733.39 c #Conflicts: 699000 | #Constraints: 28091 730.71/733.39 c #Conflicts: 700000 | #Constraints: 29093 730.71/733.39 c #Conflicts: 701000 | #Constraints: 30097 730.71/733.39 c #Conflicts: 702000 | #Constraints: 31099 730.71/733.39 c #Conflicts: 703000 | #Constraints: 32099 730.71/733.39 c #Conflicts: 704000 | #Constraints: 33104 730.71/733.39 c #Conflicts: 705000 | #Constraints: 34107 730.71/733.39 c INPROCESSING 730.71/733.39 c GARBAGE COLLECT 730.71/733.39 c rational objective -40 745.77/748.40 c #Conflicts: 706000 | #Constraints: 18388 745.77/748.40 c #Conflicts: 707000 | #Constraints: 19391 745.77/748.40 c #Conflicts: 708000 | #Constraints: 20396 745.77/748.40 c #Conflicts: 709000 | #Constraints: 21402 745.77/748.40 c #Conflicts: 710000 | #Constraints: 22414 745.77/748.40 c #Conflicts: 711000 | #Constraints: 23434 745.77/748.40 c #Conflicts: 712000 | #Constraints: 24446 745.77/748.40 c #Conflicts: 713000 | #Constraints: 25456 745.77/748.40 c #Conflicts: 714000 | #Constraints: 26463 745.77/748.40 c #Conflicts: 715000 | #Constraints: 27478 745.77/748.40 c #Conflicts: 716000 | #Constraints: 28491 745.77/748.40 c #Conflicts: 717000 | #Constraints: 29508 745.77/748.40 c #Conflicts: 718000 | #Constraints: 30513 745.77/748.40 c #Conflicts: 719000 | #Constraints: 31517 745.77/748.40 c #Conflicts: 720000 | #Constraints: 32523 745.77/748.40 c #Conflicts: 721000 | #Constraints: 33534 745.77/748.40 c #Conflicts: 722000 | #Constraints: 34543 745.77/748.40 c INPROCESSING 745.77/748.40 c GARBAGE COLLECT 745.77/748.40 c rational objective -40 756.73/759.44 c #Conflicts: 723000 | #Constraints: 18612 756.73/759.44 c #Conflicts: 724000 | #Constraints: 19623 756.73/759.44 c #Conflicts: 725000 | #Constraints: 20630 756.73/759.44 c #Conflicts: 726000 | #Constraints: 21647 756.73/759.44 c #Conflicts: 727000 | #Constraints: 22661 756.73/759.44 c #Conflicts: 728000 | #Constraints: 23679 756.73/759.44 c #Conflicts: 729000 | #Constraints: 24694 756.73/759.44 c #Conflicts: 730000 | #Constraints: 25708 756.73/759.44 c #Conflicts: 731000 | #Constraints: 26728 756.73/759.44 c #Conflicts: 732000 | #Constraints: 27745 756.73/759.44 c #Conflicts: 733000 | #Constraints: 28757 756.73/759.44 c #Conflicts: 734000 | #Constraints: 29776 756.73/759.44 c #Conflicts: 735000 | #Constraints: 30795 756.73/759.44 c #Conflicts: 736000 | #Constraints: 31822 756.73/759.44 c #Conflicts: 737000 | #Constraints: 32846 756.73/759.44 c #Conflicts: 738000 | #Constraints: 33864 756.73/759.44 c #Conflicts: 739000 | #Constraints: 34882 756.73/759.44 c INPROCESSING 756.73/759.44 c GARBAGE COLLECT 756.73/759.44 c rational objective -40 776.56/779.39 c #Conflicts: 740000 | #Constraints: 18660 776.56/779.39 c #Conflicts: 741000 | #Constraints: 19670 776.56/779.39 c #Conflicts: 742000 | #Constraints: 20691 776.56/779.39 c #Conflicts: 743000 | #Constraints: 21703 776.56/779.39 c #Conflicts: 744000 | #Constraints: 22706 776.56/779.39 c #Conflicts: 745000 | #Constraints: 23714 776.56/779.39 c #Conflicts: 746000 | #Constraints: 24723 776.56/779.39 c #Conflicts: 747000 | #Constraints: 25733 776.56/779.39 c #Conflicts: 748000 | #Constraints: 26742 776.56/779.39 c #Conflicts: 749000 | #Constraints: 27747 776.56/779.39 c #Conflicts: 750000 | #Constraints: 28760 776.56/779.39 c #Conflicts: 751000 | #Constraints: 29780 776.56/779.39 c #Conflicts: 752000 | #Constraints: 30796 776.56/779.39 c #Conflicts: 753000 | #Constraints: 31802 776.56/779.39 c #Conflicts: 754000 | #Constraints: 32810 776.56/779.39 c #Conflicts: 755000 | #Constraints: 33821 776.56/779.39 c #Conflicts: 756000 | #Constraints: 34829 776.56/779.39 c INPROCESSING 776.56/779.39 c GARBAGE COLLECT 776.56/779.39 c rational objective -40 810.25/813.13 c #Conflicts: 757000 | #Constraints: 18425 810.25/813.13 c #Conflicts: 758000 | #Constraints: 19451 810.25/813.13 c #Conflicts: 759000 | #Constraints: 20468 810.25/813.13 c #Conflicts: 760000 | #Constraints: 21473 810.25/813.13 c #Conflicts: 761000 | #Constraints: 22477 810.25/813.13 c #Conflicts: 762000 | #Constraints: 23483 810.25/813.13 c #Conflicts: 763000 | #Constraints: 24492 810.25/813.13 c #Conflicts: 764000 | #Constraints: 25508 810.25/813.13 c #Conflicts: 765000 | #Constraints: 26513 810.25/813.13 c #Conflicts: 766000 | #Constraints: 27526 810.25/813.13 c #Conflicts: 767000 | #Constraints: 28538 810.25/813.13 c #Conflicts: 768000 | #Constraints: 29548 810.25/813.13 c #Conflicts: 769000 | #Constraints: 30564 810.25/813.13 c #Conflicts: 770000 | #Constraints: 31565 810.25/813.13 c #Conflicts: 771000 | #Constraints: 32571 810.25/813.13 c #Conflicts: 772000 | #Constraints: 33587 810.25/813.13 c #Conflicts: 773000 | #Constraints: 34598 810.25/813.13 c #Conflicts: 774000 | #Constraints: 35612 810.25/813.13 c INPROCESSING 810.25/813.13 c GARBAGE COLLECT 810.25/813.13 c rational objective -40 830.09/833.10 c #Conflicts: 775000 | #Constraints: 19033 830.09/833.10 c #Conflicts: 776000 | #Constraints: 20040 830.09/833.10 c #Conflicts: 777000 | #Constraints: 21049 830.09/833.10 c #Conflicts: 778000 | #Constraints: 22064 830.09/833.10 c #Conflicts: 779000 | #Constraints: 23076 830.09/833.10 c #Conflicts: 780000 | #Constraints: 24087 830.09/833.10 c #Conflicts: 781000 | #Constraints: 25100 830.09/833.10 c #Conflicts: 782000 | #Constraints: 26105 830.09/833.10 c #Conflicts: 783000 | #Constraints: 27112 830.09/833.10 c #Conflicts: 784000 | #Constraints: 28122 830.09/833.10 c #Conflicts: 785000 | #Constraints: 29127 830.09/833.10 c #Conflicts: 786000 | #Constraints: 30139 830.09/833.10 c #Conflicts: 787000 | #Constraints: 31157 830.09/833.10 c #Conflicts: 788000 | #Constraints: 32178 830.09/833.10 c #Conflicts: 789000 | #Constraints: 33185 830.09/833.10 c #Conflicts: 790000 | #Constraints: 34194 830.09/833.10 c #Conflicts: 791000 | #Constraints: 35198 830.09/833.10 c #Conflicts: 792000 | #Constraints: 36202 830.09/833.10 c INPROCESSING 830.09/833.10 c GARBAGE COLLECT 830.09/833.10 c rational objective -40 855.29/858.31 c #Conflicts: 793000 | #Constraints: 19416 855.29/858.31 c #Conflicts: 794000 | #Constraints: 20423 855.29/858.31 c #Conflicts: 795000 | #Constraints: 21432 855.29/858.31 c #Conflicts: 796000 | #Constraints: 22448 855.29/858.31 c #Conflicts: 797000 | #Constraints: 23451 855.29/858.31 c #Conflicts: 798000 | #Constraints: 24464 855.29/858.31 c #Conflicts: 799000 | #Constraints: 25472 855.29/858.31 c #Conflicts: 800000 | #Constraints: 26483 855.29/858.31 c #Conflicts: 801000 | #Constraints: 27491 855.29/858.31 c #Conflicts: 802000 | #Constraints: 28500 855.29/858.31 c #Conflicts: 803000 | #Constraints: 29516 855.29/858.31 c #Conflicts: 804000 | #Constraints: 30549 855.29/858.31 c #Conflicts: 805000 | #Constraints: 31553 855.29/858.31 c #Conflicts: 806000 | #Constraints: 32557 855.29/858.31 c #Conflicts: 807000 | #Constraints: 33560 855.29/858.31 c #Conflicts: 808000 | #Constraints: 34563 855.29/858.31 c #Conflicts: 809000 | #Constraints: 35572 855.29/858.31 c #Conflicts: 810000 | #Constraints: 36583 855.29/858.31 c INPROCESSING 855.29/858.31 c GARBAGE COLLECT 855.29/858.31 c rational objective -40 889.18/892.35 c #Conflicts: 811000 | #Constraints: 19620 889.18/892.35 c #Conflicts: 812000 | #Constraints: 20623 889.18/892.35 c #Conflicts: 813000 | #Constraints: 21627 889.18/892.35 c #Conflicts: 814000 | #Constraints: 22639 889.18/892.35 c #Conflicts: 815000 | #Constraints: 23659 889.18/892.35 c #Conflicts: 816000 | #Constraints: 24672 889.18/892.35 c #Conflicts: 817000 | #Constraints: 25681 889.18/892.35 c #Conflicts: 818000 | #Constraints: 26690 889.18/892.35 c #Conflicts: 819000 | #Constraints: 27710 889.18/892.35 c #Conflicts: 820000 | #Constraints: 28719 889.18/892.35 c #Conflicts: 821000 | #Constraints: 29724 889.18/892.35 c #Conflicts: 822000 | #Constraints: 30753 889.18/892.35 c #Conflicts: 823000 | #Constraints: 31766 889.18/892.35 c #Conflicts: 824000 | #Constraints: 32768 889.18/892.35 c #Conflicts: 825000 | #Constraints: 33768 889.18/892.35 c #Conflicts: 826000 | #Constraints: 34770 889.18/892.35 c #Conflicts: 827000 | #Constraints: 35782 889.18/892.35 c #Conflicts: 828000 | #Constraints: 36798 889.18/892.35 c INPROCESSING 889.18/892.35 c GARBAGE COLLECT 889.18/892.35 c rational objective -40 906.22/909.43 c #Conflicts: 829000 | #Constraints: 19629 906.22/909.43 c #Conflicts: 830000 | #Constraints: 20644 906.22/909.43 c #Conflicts: 831000 | #Constraints: 21652 906.22/909.43 c #Conflicts: 832000 | #Constraints: 22659 906.22/909.43 c #Conflicts: 833000 | #Constraints: 23667 906.22/909.43 c #Conflicts: 834000 | #Constraints: 24679 906.22/909.43 c #Conflicts: 835000 | #Constraints: 25695 906.22/909.43 c #Conflicts: 836000 | #Constraints: 26709 906.22/909.43 c #Conflicts: 837000 | #Constraints: 27719 906.22/909.43 c #Conflicts: 838000 | #Constraints: 28724 906.22/909.43 c #Conflicts: 839000 | #Constraints: 29729 906.22/909.43 c #Conflicts: 840000 | #Constraints: 30732 906.22/909.43 c #Conflicts: 841000 | #Constraints: 31742 906.22/909.43 c #Conflicts: 842000 | #Constraints: 32744 906.22/909.43 c #Conflicts: 843000 | #Constraints: 33746 906.22/909.43 c #Conflicts: 844000 | #Constraints: 34754 906.22/909.43 c #Conflicts: 845000 | #Constraints: 35764 906.22/909.43 c #Conflicts: 846000 | #Constraints: 36774 906.22/909.43 c INPROCESSING 906.22/909.43 c GARBAGE COLLECT 906.22/909.43 c rational objective -40 932.93/936.27 c #Conflicts: 847000 | #Constraints: 19401 932.93/936.27 c #Conflicts: 848000 | #Constraints: 20404 932.93/936.27 c #Conflicts: 849000 | #Constraints: 21414 932.93/936.27 c #Conflicts: 850000 | #Constraints: 22424 932.93/936.27 c #Conflicts: 851000 | #Constraints: 23429 932.93/936.27 c #Conflicts: 852000 | #Constraints: 24437 932.93/936.27 c #Conflicts: 853000 | #Constraints: 25449 932.93/936.27 c #Conflicts: 854000 | #Constraints: 26461 932.93/936.27 c #Conflicts: 855000 | #Constraints: 27469 932.93/936.27 c #Conflicts: 856000 | #Constraints: 28472 932.93/936.27 c #Conflicts: 857000 | #Constraints: 29479 932.93/936.27 c #Conflicts: 858000 | #Constraints: 30487 932.93/936.27 c #Conflicts: 859000 | #Constraints: 31493 932.93/936.27 c #Conflicts: 860000 | #Constraints: 32500 932.93/936.27 c #Conflicts: 861000 | #Constraints: 33508 932.93/936.27 c #Conflicts: 862000 | #Constraints: 34510 932.93/936.27 c #Conflicts: 863000 | #Constraints: 35519 932.93/936.27 c #Conflicts: 864000 | #Constraints: 36520 932.93/936.27 c #Conflicts: 865000 | #Constraints: 37524 932.93/936.27 c INPROCESSING 932.93/936.27 c GARBAGE COLLECT 932.93/936.27 c rational objective -40 969.20/972.60 c #Conflicts: 866000 | #Constraints: 19988 969.20/972.60 c #Conflicts: 867000 | #Constraints: 21002 969.20/972.60 c #Conflicts: 868000 | #Constraints: 22025 969.20/972.60 c #Conflicts: 869000 | #Constraints: 23030 969.20/972.60 c #Conflicts: 870000 | #Constraints: 24043 969.20/972.60 c #Conflicts: 871000 | #Constraints: 25048 969.20/972.60 c #Conflicts: 872000 | #Constraints: 26056 969.20/972.60 c #Conflicts: 873000 | #Constraints: 27057 969.20/972.60 c #Conflicts: 874000 | #Constraints: 28072 969.20/972.60 c #Conflicts: 875000 | #Constraints: 29090 969.20/972.60 c #Conflicts: 876000 | #Constraints: 30099 969.20/972.60 c #Conflicts: 877000 | #Constraints: 31108 969.20/972.60 c #Conflicts: 878000 | #Constraints: 32115 969.20/972.60 c #Conflicts: 879000 | #Constraints: 33136 969.20/972.60 c #Conflicts: 880000 | #Constraints: 34160 969.20/972.60 c #Conflicts: 881000 | #Constraints: 35169 969.20/972.60 c #Conflicts: 882000 | #Constraints: 36170 969.20/972.60 c #Conflicts: 883000 | #Constraints: 37172 969.20/972.60 c #Conflicts: 884000 | #Constraints: 38177 969.20/972.60 c INPROCESSING 969.20/972.60 c GARBAGE COLLECT 969.20/972.60 c rational objective -40 999.79/1003.38 c #Conflicts: 885000 | #Constraints: 20417 999.79/1003.38 c #Conflicts: 886000 | #Constraints: 21421 999.79/1003.38 c #Conflicts: 887000 | #Constraints: 22430 999.79/1003.38 c #Conflicts: 888000 | #Constraints: 23440 999.79/1003.38 c #Conflicts: 889000 | #Constraints: 24447 999.79/1003.38 c #Conflicts: 890000 | #Constraints: 25455 999.79/1003.38 c #Conflicts: 891000 | #Constraints: 26458 999.79/1003.38 c #Conflicts: 892000 | #Constraints: 27466 999.79/1003.38 c #Conflicts: 893000 | #Constraints: 28473 999.79/1003.38 c #Conflicts: 894000 | #Constraints: 29482 999.79/1003.38 c #Conflicts: 895000 | #Constraints: 30487 999.79/1003.38 c #Conflicts: 896000 | #Constraints: 31493 999.79/1003.38 c #Conflicts: 897000 | #Constraints: 32503 999.79/1003.38 c #Conflicts: 898000 | #Constraints: 33518 999.79/1003.38 c #Conflicts: 899000 | #Constraints: 34531 999.79/1003.38 c #Conflicts: 900000 | #Constraints: 35539 999.79/1003.38 c #Conflicts: 901000 | #Constraints: 36544 999.79/1003.38 c #Conflicts: 902000 | #Constraints: 37551 999.79/1003.38 c #Conflicts: 903000 | #Constraints: 38556 999.79/1003.38 c INPROCESSING 999.79/1003.38 c GARBAGE COLLECT 999.79/1003.38 c rational objective -40 1036.07/1039.77 c #Conflicts: 904000 | #Constraints: 20604 1036.07/1039.77 c #Conflicts: 905000 | #Constraints: 21625 1036.07/1039.77 c #Conflicts: 906000 | #Constraints: 22635 1036.07/1039.77 c #Conflicts: 907000 | #Constraints: 23641 1036.07/1039.77 c #Conflicts: 908000 | #Constraints: 24673 1036.07/1039.77 c #Conflicts: 909000 | #Constraints: 25685 1036.07/1039.77 c #Conflicts: 910000 | #Constraints: 26702 1036.07/1039.77 c #Conflicts: 911000 | #Constraints: 27711 1036.07/1039.77 c #Conflicts: 912000 | #Constraints: 28724 1036.07/1039.77 c #Conflicts: 913000 | #Constraints: 29740 1036.07/1039.77 c #Conflicts: 914000 | #Constraints: 30753 1036.07/1039.77 c #Conflicts: 915000 | #Constraints: 31761 1036.07/1039.77 c #Conflicts: 916000 | #Constraints: 32783 1036.07/1039.77 c #Conflicts: 917000 | #Constraints: 33790 1036.07/1039.77 c #Conflicts: 918000 | #Constraints: 34791 1036.07/1039.77 c #Conflicts: 919000 | #Constraints: 35813 1036.07/1039.77 c #Conflicts: 920000 | #Constraints: 36819 1036.07/1039.77 c #Conflicts: 921000 | #Constraints: 37833 1036.07/1039.77 c #Conflicts: 922000 | #Constraints: 38841 1036.07/1039.77 c INPROCESSING 1036.07/1039.77 c GARBAGE COLLECT 1036.07/1039.77 c rational objective -40 1052.82/1056.53 c #Conflicts: 923000 | #Constraints: 20645 1052.82/1056.53 c #Conflicts: 924000 | #Constraints: 21658 1052.82/1056.53 c #Conflicts: 925000 | #Constraints: 22669 1052.82/1056.53 c #Conflicts: 926000 | #Constraints: 23677 1052.82/1056.53 c #Conflicts: 927000 | #Constraints: 24685 1052.82/1056.53 c #Conflicts: 928000 | #Constraints: 25694 1052.82/1056.53 c #Conflicts: 929000 | #Constraints: 26697 1052.82/1056.53 c #Conflicts: 930000 | #Constraints: 27709 1052.82/1056.53 c #Conflicts: 931000 | #Constraints: 28718 1052.82/1056.53 c #Conflicts: 932000 | #Constraints: 29728 1052.82/1056.53 c #Conflicts: 933000 | #Constraints: 30737 1052.82/1056.53 c #Conflicts: 934000 | #Constraints: 31743 1052.82/1056.53 c #Conflicts: 935000 | #Constraints: 32751 1052.82/1056.53 c #Conflicts: 936000 | #Constraints: 33757 1052.82/1056.53 c #Conflicts: 937000 | #Constraints: 34766 1052.82/1056.53 c #Conflicts: 938000 | #Constraints: 35779 1052.82/1056.53 c #Conflicts: 939000 | #Constraints: 36793 1052.82/1056.53 c #Conflicts: 940000 | #Constraints: 37806 1052.82/1056.53 c #Conflicts: 941000 | #Constraints: 38819 1052.82/1056.53 c INPROCESSING 1052.82/1056.53 c GARBAGE COLLECT 1052.82/1056.53 c rational objective -40 1066.67/1070.46 c #Conflicts: 942000 | #Constraints: 20437 1066.67/1070.46 c #Conflicts: 943000 | #Constraints: 21448 1066.67/1070.46 c #Conflicts: 944000 | #Constraints: 22456 1066.67/1070.46 c #Conflicts: 945000 | #Constraints: 23469 1066.67/1070.46 c #Conflicts: 946000 | #Constraints: 24481 1066.67/1070.46 c #Conflicts: 947000 | #Constraints: 25486 1066.67/1070.46 c #Conflicts: 948000 | #Constraints: 26497 1066.67/1070.46 c #Conflicts: 949000 | #Constraints: 27511 1066.67/1070.46 c #Conflicts: 950000 | #Constraints: 28537 1066.67/1070.46 c #Conflicts: 951000 | #Constraints: 29560 1066.67/1070.46 c #Conflicts: 952000 | #Constraints: 30578 1066.67/1070.46 c #Conflicts: 953000 | #Constraints: 31586 1066.67/1070.46 c #Conflicts: 954000 | #Constraints: 32603 1066.67/1070.46 c #Conflicts: 955000 | #Constraints: 33609 1066.67/1070.46 c #Conflicts: 956000 | #Constraints: 34617 1066.67/1070.46 c #Conflicts: 957000 | #Constraints: 35623 1066.67/1070.46 c #Conflicts: 958000 | #Constraints: 36627 1066.67/1070.46 c #Conflicts: 959000 | #Constraints: 37635 1066.67/1070.46 c #Conflicts: 960000 | #Constraints: 38637 1066.67/1070.46 c #Conflicts: 961000 | #Constraints: 39643 1066.67/1070.46 c INPROCESSING 1066.67/1070.46 c GARBAGE COLLECT 1066.67/1070.46 c rational objective -40 1085.12/1088.93 c #Conflicts: 962000 | #Constraints: 21044 1085.12/1088.93 c #Conflicts: 963000 | #Constraints: 22054 1085.12/1088.93 c #Conflicts: 964000 | #Constraints: 23061 1085.12/1088.93 c #Conflicts: 965000 | #Constraints: 24068 1085.12/1088.93 c #Conflicts: 966000 | #Constraints: 25076 1085.12/1088.93 c #Conflicts: 967000 | #Constraints: 26087 1085.12/1088.93 c #Conflicts: 968000 | #Constraints: 27091 1085.12/1088.93 c #Conflicts: 969000 | #Constraints: 28104 1085.12/1088.93 c #Conflicts: 970000 | #Constraints: 29112 1085.12/1088.93 c #Conflicts: 971000 | #Constraints: 30120 1085.12/1088.93 c #Conflicts: 972000 | #Constraints: 31131 1085.12/1088.93 c #Conflicts: 973000 | #Constraints: 32145 1085.12/1088.93 c #Conflicts: 974000 | #Constraints: 33151 1085.12/1088.93 c #Conflicts: 975000 | #Constraints: 34153 1085.12/1088.93 c #Conflicts: 976000 | #Constraints: 35159 1085.12/1088.93 c #Conflicts: 977000 | #Constraints: 36161 1085.12/1088.93 c #Conflicts: 978000 | #Constraints: 37163 1085.12/1088.93 c #Conflicts: 979000 | #Constraints: 38168 1085.12/1088.93 c #Conflicts: 980000 | #Constraints: 39179 1085.12/1088.93 c #Conflicts: 981000 | #Constraints: 40185 1085.12/1088.93 c INPROCESSING 1085.12/1088.93 c GARBAGE COLLECT 1085.12/1088.93 c rational objective -40 1133.45/1137.47 c #Conflicts: 982000 | #Constraints: 21421 1133.45/1137.47 c #Conflicts: 983000 | #Constraints: 22422 1133.45/1137.47 c #Conflicts: 984000 | #Constraints: 23426 1133.45/1137.47 c #Conflicts: 985000 | #Constraints: 24429 1133.45/1137.47 c #Conflicts: 986000 | #Constraints: 25444 1133.45/1137.47 c #Conflicts: 987000 | #Constraints: 26447 1133.45/1137.47 c #Conflicts: 988000 | #Constraints: 27457 1133.45/1137.47 c #Conflicts: 989000 | #Constraints: 28461 1133.45/1137.47 c #Conflicts: 990000 | #Constraints: 29470 1133.45/1137.47 c #Conflicts: 991000 | #Constraints: 30477 1133.45/1137.47 c #Conflicts: 992000 | #Constraints: 31483 1133.45/1137.47 c #Conflicts: 993000 | #Constraints: 32488 1133.45/1137.47 c #Conflicts: 994000 | #Constraints: 33495 1133.45/1137.47 c #Conflicts: 995000 | #Constraints: 34504 1133.45/1137.47 c #Conflicts: 996000 | #Constraints: 35508 1133.45/1137.47 c #Conflicts: 997000 | #Constraints: 36508 1133.45/1137.47 c #Conflicts: 998000 | #Constraints: 37511 1133.45/1137.47 c #Conflicts: 999000 | #Constraints: 38514 1133.45/1137.47 c #Conflicts: 1000000 | #Constraints: 39515 1133.45/1137.47 c #Conflicts: 1001000 | #Constraints: 40518 1133.45/1137.47 c INPROCESSING 1133.45/1137.47 c GARBAGE COLLECT 1133.45/1137.47 c rational objective -40 1157.56/1161.67 c #Conflicts: 1002000 | #Constraints: 21600 1157.56/1161.67 c #Conflicts: 1003000 | #Constraints: 22613 1157.56/1161.67 c #Conflicts: 1004000 | #Constraints: 23627 1157.56/1161.67 c #Conflicts: 1005000 | #Constraints: 24632 1157.56/1161.67 c #Conflicts: 1006000 | #Constraints: 25644 1157.56/1161.67 c #Conflicts: 1007000 | #Constraints: 26668 1157.56/1161.67 c #Conflicts: 1008000 | #Constraints: 27684 1157.56/1161.67 c #Conflicts: 1009000 | #Constraints: 28698 1157.56/1161.67 c #Conflicts: 1010000 | #Constraints: 29712 1157.56/1161.67 c #Conflicts: 1011000 | #Constraints: 30723 1157.56/1161.67 c #Conflicts: 1012000 | #Constraints: 31730 1157.56/1161.67 c #Conflicts: 1013000 | #Constraints: 32738 1157.56/1161.67 c #Conflicts: 1014000 | #Constraints: 33752 1157.56/1161.67 c #Conflicts: 1015000 | #Constraints: 34757 1157.56/1161.67 c #Conflicts: 1016000 | #Constraints: 35758 1157.56/1161.67 c #Conflicts: 1017000 | #Constraints: 36762 1157.56/1161.67 c #Conflicts: 1018000 | #Constraints: 37766 1157.56/1161.67 c #Conflicts: 1019000 | #Constraints: 38771 1157.56/1161.67 c #Conflicts: 1020000 | #Constraints: 39776 1157.56/1161.67 c #Conflicts: 1021000 | #Constraints: 40786 1157.56/1161.67 c INPROCESSING 1157.56/1161.67 c GARBAGE COLLECT 1157.56/1161.67 c rational objective -40 1182.28/1186.41 c #Conflicts: 1022000 | #Constraints: 21624 1182.28/1186.41 c #Conflicts: 1023000 | #Constraints: 22625 1182.28/1186.41 c #Conflicts: 1024000 | #Constraints: 23631 1182.28/1186.41 c #Conflicts: 1025000 | #Constraints: 24637 1182.28/1186.41 c #Conflicts: 1026000 | #Constraints: 25640 1182.28/1186.41 c #Conflicts: 1027000 | #Constraints: 26648 1182.28/1186.41 c #Conflicts: 1028000 | #Constraints: 27657 1182.28/1186.41 c #Conflicts: 1029000 | #Constraints: 28661 1182.28/1186.41 c #Conflicts: 1030000 | #Constraints: 29667 1182.28/1186.41 c #Conflicts: 1031000 | #Constraints: 30673 1182.28/1186.41 c #Conflicts: 1032000 | #Constraints: 31678 1182.28/1186.41 c #Conflicts: 1033000 | #Constraints: 32685 1182.28/1186.41 c #Conflicts: 1034000 | #Constraints: 33695 1182.28/1186.41 c #Conflicts: 1035000 | #Constraints: 34710 1182.28/1186.41 c #Conflicts: 1036000 | #Constraints: 35718 1182.28/1186.41 c #Conflicts: 1037000 | #Constraints: 36728 1182.28/1186.41 c #Conflicts: 1038000 | #Constraints: 37747 1182.28/1186.41 c #Conflicts: 1039000 | #Constraints: 38768 1182.28/1186.41 c #Conflicts: 1040000 | #Constraints: 39781 1182.28/1186.41 c #Conflicts: 1041000 | #Constraints: 40799 1182.28/1186.41 c INPROCESSING 1182.28/1186.41 c GARBAGE COLLECT 1182.28/1186.41 c rational objective -40 1234.31/1238.60 c #Conflicts: 1042000 | #Constraints: 21418 1234.31/1238.60 c #Conflicts: 1043000 | #Constraints: 22420 1234.31/1238.60 c #Conflicts: 1044000 | #Constraints: 23424 1234.31/1238.60 c #Conflicts: 1045000 | #Constraints: 24424 1234.31/1238.60 c #Conflicts: 1046000 | #Constraints: 25430 1234.31/1238.60 c #Conflicts: 1047000 | #Constraints: 26434 1234.31/1238.60 c #Conflicts: 1048000 | #Constraints: 27437 1234.31/1238.60 c #Conflicts: 1049000 | #Constraints: 28437 1234.31/1238.60 c #Conflicts: 1050000 | #Constraints: 29437 1234.31/1238.60 c #Conflicts: 1051000 | #Constraints: 30437 1234.31/1238.60 c #Conflicts: 1052000 | #Constraints: 31437 1234.31/1238.60 c #Conflicts: 1053000 | #Constraints: 32439 1234.31/1238.60 c #Conflicts: 1054000 | #Constraints: 33442 1234.31/1238.60 c #Conflicts: 1055000 | #Constraints: 34443 1234.31/1238.60 c #Conflicts: 1056000 | #Constraints: 35444 1234.31/1238.60 c #Conflicts: 1057000 | #Constraints: 36449 1234.31/1238.60 c #Conflicts: 1058000 | #Constraints: 37456 1234.31/1238.60 c #Conflicts: 1059000 | #Constraints: 38456 1234.31/1238.60 c #Conflicts: 1060000 | #Constraints: 39456 1234.31/1238.60 c #Conflicts: 1061000 | #Constraints: 40459 1234.31/1238.60 c #Conflicts: 1062000 | #Constraints: 41460 1234.31/1238.60 c INPROCESSING 1234.31/1238.60 c GARBAGE COLLECT 1234.31/1238.60 c rational objective -40 1271.60/1276.06 c #Conflicts: 1063000 | #Constraints: 21955 1271.60/1276.06 c #Conflicts: 1064000 | #Constraints: 22962 1271.60/1276.06 c #Conflicts: 1065000 | #Constraints: 23964 1271.60/1276.06 c #Conflicts: 1066000 | #Constraints: 24970 1271.60/1276.06 c #Conflicts: 1067000 | #Constraints: 25971 1271.60/1276.06 c #Conflicts: 1068000 | #Constraints: 26978 1271.60/1276.06 c #Conflicts: 1069000 | #Constraints: 27983 1271.60/1276.06 c #Conflicts: 1070000 | #Constraints: 28991 1271.60/1276.06 c #Conflicts: 1071000 | #Constraints: 29997 1271.60/1276.06 c #Conflicts: 1072000 | #Constraints: 31004 1271.60/1276.06 c #Conflicts: 1073000 | #Constraints: 32025 1271.60/1276.06 c #Conflicts: 1074000 | #Constraints: 33039 1271.60/1276.06 c #Conflicts: 1075000 | #Constraints: 34056 1271.60/1276.06 c #Conflicts: 1076000 | #Constraints: 35075 1271.60/1276.06 c #Conflicts: 1077000 | #Constraints: 36084 1271.60/1276.06 c #Conflicts: 1078000 | #Constraints: 37090 1271.60/1276.06 c #Conflicts: 1079000 | #Constraints: 38104 1271.60/1276.06 c #Conflicts: 1080000 | #Constraints: 39115 1271.60/1276.06 c #Conflicts: 1081000 | #Constraints: 40129 1271.60/1276.06 c #Conflicts: 1082000 | #Constraints: 41145 1271.60/1276.06 c #Conflicts: 1083000 | #Constraints: 42153 1271.60/1276.06 c INPROCESSING 1271.60/1276.06 c GARBAGE COLLECT 1271.60/1276.06 c rational objective -40 1303.67/1308.20 c #Conflicts: 1084000 | #Constraints: 22402 1303.67/1308.20 c #Conflicts: 1085000 | #Constraints: 23408 1303.67/1308.20 c #Conflicts: 1086000 | #Constraints: 24419 1303.67/1308.20 c #Conflicts: 1087000 | #Constraints: 25428 1303.67/1308.20 c #Conflicts: 1088000 | #Constraints: 26445 1303.67/1308.20 c #Conflicts: 1089000 | #Constraints: 27453 1303.67/1308.20 c #Conflicts: 1090000 | #Constraints: 28462 1303.67/1308.20 c #Conflicts: 1091000 | #Constraints: 29471 1303.67/1308.20 c #Conflicts: 1092000 | #Constraints: 30474 1303.67/1308.20 c #Conflicts: 1093000 | #Constraints: 31479 1303.67/1308.20 c #Conflicts: 1094000 | #Constraints: 32485 1303.67/1308.20 c #Conflicts: 1095000 | #Constraints: 33491 1303.67/1308.20 c #Conflicts: 1096000 | #Constraints: 34496 1303.67/1308.20 c #Conflicts: 1097000 | #Constraints: 35507 1303.67/1308.20 c #Conflicts: 1098000 | #Constraints: 36511 1303.67/1308.20 c #Conflicts: 1099000 | #Constraints: 37516 1303.67/1308.20 c #Conflicts: 1100000 | #Constraints: 38520 1303.67/1308.20 c #Conflicts: 1101000 | #Constraints: 39533 1303.67/1308.20 c #Conflicts: 1102000 | #Constraints: 40539 1303.67/1308.20 c #Conflicts: 1103000 | #Constraints: 41545 1303.67/1308.20 c #Conflicts: 1104000 | #Constraints: 42549 1303.67/1308.20 c INPROCESSING 1303.67/1308.20 c GARBAGE COLLECT 1303.67/1308.20 c rational objective -40 1337.66/1342.37 c #Conflicts: 1105000 | #Constraints: 22618 1337.66/1342.37 c #Conflicts: 1106000 | #Constraints: 23635 1337.66/1342.37 c #Conflicts: 1107000 | #Constraints: 24653 1337.66/1342.37 c #Conflicts: 1108000 | #Constraints: 25672 1337.66/1342.37 c #Conflicts: 1109000 | #Constraints: 26700 1337.66/1342.37 c #Conflicts: 1110000 | #Constraints: 27728 1337.66/1342.37 c #Conflicts: 1111000 | #Constraints: 28763 1337.66/1342.37 c #Conflicts: 1112000 | #Constraints: 29771 1337.66/1342.37 c #Conflicts: 1113000 | #Constraints: 30783 1337.66/1342.37 c #Conflicts: 1114000 | #Constraints: 31802 1337.66/1342.37 c #Conflicts: 1115000 | #Constraints: 32824 1337.66/1342.37 c #Conflicts: 1116000 | #Constraints: 33840 1337.66/1342.37 c #Conflicts: 1117000 | #Constraints: 34853 1337.66/1342.37 c #Conflicts: 1118000 | #Constraints: 35864 1337.66/1342.37 c #Conflicts: 1119000 | #Constraints: 36876 1337.66/1342.37 c #Conflicts: 1120000 | #Constraints: 37890 1337.66/1342.37 c #Conflicts: 1121000 | #Constraints: 38895 1337.66/1342.37 c #Conflicts: 1122000 | #Constraints: 39902 1337.66/1342.37 c #Conflicts: 1123000 | #Constraints: 40906 1337.66/1342.37 c #Conflicts: 1124000 | #Constraints: 41919 1337.66/1342.37 c #Conflicts: 1125000 | #Constraints: 42928 1337.66/1342.37 c INPROCESSING 1337.66/1342.37 c GARBAGE COLLECT 1337.66/1342.37 c rational objective -40 1401.74/1406.67 c #Conflicts: 1126000 | #Constraints: 22704 1401.74/1406.67 c #Conflicts: 1127000 | #Constraints: 23720 1401.74/1406.67 c #Conflicts: 1128000 | #Constraints: 24728 1401.74/1406.67 c #Conflicts: 1129000 | #Constraints: 25734 1401.74/1406.67 c #Conflicts: 1130000 | #Constraints: 26741 1401.74/1406.67 c #Conflicts: 1131000 | #Constraints: 27750 1401.74/1406.67 c #Conflicts: 1132000 | #Constraints: 28754 1401.74/1406.67 c #Conflicts: 1133000 | #Constraints: 29756 1401.74/1406.67 c #Conflicts: 1134000 | #Constraints: 30763 1401.74/1406.67 c #Conflicts: 1135000 | #Constraints: 31776 1401.74/1406.67 c #Conflicts: 1136000 | #Constraints: 32783 1401.74/1406.67 c #Conflicts: 1137000 | #Constraints: 33789 1401.74/1406.67 c #Conflicts: 1138000 | #Constraints: 34795 1401.74/1406.67 c #Conflicts: 1139000 | #Constraints: 35805 1401.74/1406.67 c #Conflicts: 1140000 | #Constraints: 36811 1401.74/1406.67 c #Conflicts: 1141000 | #Constraints: 37817 1401.74/1406.67 c #Conflicts: 1142000 | #Constraints: 38822 1401.74/1406.67 c #Conflicts: 1143000 | #Constraints: 39833 1401.74/1406.67 c #Conflicts: 1144000 | #Constraints: 40844 1401.74/1406.67 c #Conflicts: 1145000 | #Constraints: 41850 1401.74/1406.67 c #Conflicts: 1146000 | #Constraints: 42861 1401.74/1406.67 c INPROCESSING 1401.74/1406.67 c GARBAGE COLLECT 1401.74/1406.67 c rational objective -40 1448.28/1453.34 c #Conflicts: 1147000 | #Constraints: 22455 1448.28/1453.34 c #Conflicts: 1148000 | #Constraints: 23465 1448.28/1453.34 c #Conflicts: 1149000 | #Constraints: 24473 1448.28/1453.34 c #Conflicts: 1150000 | #Constraints: 25477 1448.28/1453.34 c #Conflicts: 1151000 | #Constraints: 26486 1448.28/1453.34 c #Conflicts: 1152000 | #Constraints: 27502 1448.28/1453.34 c #Conflicts: 1153000 | #Constraints: 28514 1448.28/1453.34 c #Conflicts: 1154000 | #Constraints: 29532 1448.28/1453.34 c #Conflicts: 1155000 | #Constraints: 30562 1448.28/1453.34 c #Conflicts: 1156000 | #Constraints: 31575 1448.28/1453.34 c #Conflicts: 1157000 | #Constraints: 32582 1448.28/1453.34 c #Conflicts: 1158000 | #Constraints: 33587 1448.28/1453.34 c #Conflicts: 1159000 | #Constraints: 34605 1448.28/1453.34 c #Conflicts: 1160000 | #Constraints: 35618 1448.28/1453.34 c #Conflicts: 1161000 | #Constraints: 36637 1448.28/1453.34 c #Conflicts: 1162000 | #Constraints: 37649 1448.28/1453.34 c #Conflicts: 1163000 | #Constraints: 38664 1448.28/1453.34 c #Conflicts: 1164000 | #Constraints: 39685 1448.28/1453.34 c #Conflicts: 1165000 | #Constraints: 40696 1448.28/1453.34 c #Conflicts: 1166000 | #Constraints: 41719 1448.28/1453.34 c #Conflicts: 1167000 | #Constraints: 42729 1448.28/1453.34 c #Conflicts: 1168000 | #Constraints: 43739 1448.28/1453.34 c INPROCESSING 1448.28/1453.34 c GARBAGE COLLECT 1448.28/1453.34 c rational objective -40 1553.99/1559.46 c #Conflicts: 1169000 | #Constraints: 23088 1553.99/1559.46 c #Conflicts: 1170000 | #Constraints: 24097 1553.99/1559.46 c #Conflicts: 1171000 | #Constraints: 25103 1553.99/1559.46 c #Conflicts: 1172000 | #Constraints: 26108 1553.99/1559.46 c #Conflicts: 1173000 | #Constraints: 27118 1553.99/1559.46 c #Conflicts: 1174000 | #Constraints: 28125 1553.99/1559.46 c #Conflicts: 1175000 | #Constraints: 29134 1553.99/1559.46 c #Conflicts: 1176000 | #Constraints: 30142 1553.99/1559.46 c #Conflicts: 1177000 | #Constraints: 31148 1553.99/1559.46 c #Conflicts: 1178000 | #Constraints: 32151 1553.99/1559.46 c #Conflicts: 1179000 | #Constraints: 33158 1553.99/1559.46 c #Conflicts: 1180000 | #Constraints: 34164 1553.99/1559.46 c #Conflicts: 1181000 | #Constraints: 35169 1553.99/1559.46 c #Conflicts: 1182000 | #Constraints: 36172 1553.99/1559.46 c #Conflicts: 1183000 | #Constraints: 37178 1553.99/1559.46 c #Conflicts: 1184000 | #Constraints: 38190 1553.99/1559.46 c #Conflicts: 1185000 | #Constraints: 39198 1553.99/1559.46 c #Conflicts: 1186000 | #Constraints: 40207 1553.99/1559.46 c #Conflicts: 1187000 | #Constraints: 41213 1553.99/1559.46 c #Conflicts: 1188000 | #Constraints: 42220 1553.99/1559.46 c #Conflicts: 1189000 | #Constraints: 43227 1553.99/1559.46 c #Conflicts: 1190000 | #Constraints: 44230 1553.99/1559.46 c INPROCESSING 1553.99/1559.46 c GARBAGE COLLECT 1553.99/1559.46 c rational objective -40 1607.54/1613.16 c #Conflicts: 1191000 | #Constraints: 23465 1607.54/1613.16 c #Conflicts: 1192000 | #Constraints: 24481 1607.54/1613.16 c #Conflicts: 1193000 | #Constraints: 25488 1607.54/1613.16 c #Conflicts: 1194000 | #Constraints: 26495 1607.54/1613.16 c #Conflicts: 1195000 | #Constraints: 27516 1607.54/1613.16 c #Conflicts: 1196000 | #Constraints: 28528 1607.54/1613.16 c #Conflicts: 1197000 | #Constraints: 29544 1607.54/1613.16 c #Conflicts: 1198000 | #Constraints: 30558 1607.54/1613.16 c #Conflicts: 1199000 | #Constraints: 31578 1607.54/1613.16 c #Conflicts: 1200000 | #Constraints: 32591 1607.54/1613.16 c #Conflicts: 1201000 | #Constraints: 33613 1607.54/1613.16 c #Conflicts: 1202000 | #Constraints: 34624 1607.54/1613.16 c #Conflicts: 1203000 | #Constraints: 35626 1607.54/1613.16 c #Conflicts: 1204000 | #Constraints: 36636 1607.54/1613.16 c #Conflicts: 1205000 | #Constraints: 37649 1607.54/1613.16 c #Conflicts: 1206000 | #Constraints: 38665 1607.54/1613.16 c #Conflicts: 1207000 | #Constraints: 39692 1607.54/1613.16 c #Conflicts: 1208000 | #Constraints: 40705 1607.54/1613.16 c #Conflicts: 1209000 | #Constraints: 41712 1607.54/1613.16 c #Conflicts: 1210000 | #Constraints: 42716 1607.54/1613.16 c #Conflicts: 1211000 | #Constraints: 43720 1607.54/1613.16 c #Conflicts: 1212000 | #Constraints: 44726 1607.54/1613.16 c INPROCESSING 1607.54/1613.16 c GARBAGE COLLECT 1607.54/1613.16 c rational objective -40 1735.94/1741.97 c #Conflicts: 1213000 | #Constraints: 23687 1735.94/1741.97 c #Conflicts: 1214000 | #Constraints: 24693 1735.94/1741.97 c #Conflicts: 1215000 | #Constraints: 25699 1735.94/1741.97 c #Conflicts: 1216000 | #Constraints: 26709 1735.94/1741.97 c #Conflicts: 1217000 | #Constraints: 27716 1735.94/1741.97 c #Conflicts: 1218000 | #Constraints: 28721 1735.94/1741.97 c #Conflicts: 1219000 | #Constraints: 29727 1735.94/1741.97 c #Conflicts: 1220000 | #Constraints: 30729 1735.94/1741.97 c #Conflicts: 1221000 | #Constraints: 31735 1735.94/1741.97 c #Conflicts: 1222000 | #Constraints: 32740 1735.94/1741.97 c #Conflicts: 1223000 | #Constraints: 33746 1735.94/1741.97 c #Conflicts: 1224000 | #Constraints: 34752 1735.94/1741.97 c #Conflicts: 1225000 | #Constraints: 35755 1735.94/1741.97 c #Conflicts: 1226000 | #Constraints: 36762 1735.94/1741.97 c #Conflicts: 1227000 | #Constraints: 37769 1735.94/1741.97 c #Conflicts: 1228000 | #Constraints: 38773 1735.94/1741.97 c #Conflicts: 1229000 | #Constraints: 39779 1735.94/1741.97 c #Conflicts: 1230000 | #Constraints: 40792 1735.94/1741.97 c #Conflicts: 1231000 | #Constraints: 41798 1735.94/1741.97 c #Conflicts: 1232000 | #Constraints: 42805 1735.94/1741.97 c #Conflicts: 1233000 | #Constraints: 43810 1735.94/1741.97 c #Conflicts: 1234000 | #Constraints: 44817 1735.94/1741.97 c INPROCESSING 1735.94/1741.97 c GARBAGE COLLECT 1735.94/1741.97 c rational objective -40 1802.34/1808.53 c #Conflicts: 1235000 | #Constraints: 23634 1802.34/1808.53 c #Conflicts: 1236000 | #Constraints: 24652 1802.34/1808.53 c #Conflicts: 1237000 | #Constraints: 25659 1802.34/1808.53 c #Conflicts: 1238000 | #Constraints: 26664 1802.34/1808.53 c #Conflicts: 1239000 | #Constraints: 27673 1802.34/1808.53 c #Conflicts: 1240000 | #Constraints: 28682 1802.34/1808.53 c #Conflicts: 1241000 | #Constraints: 29689 1802.34/1808.53 c #Conflicts: 1242000 | #Constraints: 30695 1802.34/1808.53 c #Conflicts: 1243000 | #Constraints: 31707 1802.34/1808.53 c #Conflicts: 1244000 | #Constraints: 32724 1802.34/1808.53 c #Conflicts: 1245000 | #Constraints: 33736 1802.34/1808.53 c #Conflicts: 1246000 | #Constraints: 34749 1802.34/1808.53 c #Conflicts: 1247000 | #Constraints: 35754 1802.34/1808.53 c #Conflicts: 1248000 | #Constraints: 36758 1802.34/1808.53 c #Conflicts: 1249000 | #Constraints: 37759 1802.34/1808.53 c #Conflicts: 1250000 | #Constraints: 38763 1802.34/1808.53 c #Conflicts: 1251000 | #Constraints: 39769 1802.34/1808.53 c #Conflicts: 1252000 | #Constraints: 40781 1802.34/1808.53 c #Conflicts: 1253000 | #Constraints: 41789 1802.34/1808.53 c #Conflicts: 1254000 | #Constraints: 42793 1802.34/1808.53 c #Conflicts: 1255000 | #Constraints: 43801 1802.34/1808.53 c #Conflicts: 1256000 | #Constraints: 44806 1802.34/1808.53 c INPROCESSING 1802.34/1808.53 c GARBAGE COLLECT 1802.34/1808.53 c rational objective -40 1969.53/1976.22 c #Conflicts: 1257000 | #Constraints: 23433 1969.53/1976.22 c #Conflicts: 1258000 | #Constraints: 24441 1969.53/1976.22 c #Conflicts: 1259000 | #Constraints: 25447 1969.53/1976.22 c #Conflicts: 1260000 | #Constraints: 26452 1969.53/1976.22 c #Conflicts: 1261000 | #Constraints: 27454 1969.53/1976.22 c #Conflicts: 1262000 | #Constraints: 28458 1969.53/1976.22 c #Conflicts: 1263000 | #Constraints: 29463 1969.53/1976.22 c #Conflicts: 1264000 | #Constraints: 30471 1969.53/1976.22 c #Conflicts: 1265000 | #Constraints: 31479 1969.53/1976.22 c #Conflicts: 1266000 | #Constraints: 32483 1969.53/1976.22 c #Conflicts: 1267000 | #Constraints: 33499 1969.53/1976.22 c #Conflicts: 1268000 | #Constraints: 34513 1969.53/1976.22 c #Conflicts: 1269000 | #Constraints: 35517 1969.53/1976.22 c #Conflicts: 1270000 | #Constraints: 36521 1969.53/1976.22 c #Conflicts: 1271000 | #Constraints: 37529 1969.53/1976.22 c #Conflicts: 1272000 | #Constraints: 38532 1969.53/1976.22 c #Conflicts: 1273000 | #Constraints: 39538 1969.53/1976.22 c #Conflicts: 1274000 | #Constraints: 40546 1969.53/1976.22 c #Conflicts: 1275000 | #Constraints: 41550 1969.53/1976.22 c #Conflicts: 1276000 | #Constraints: 42557 1969.53/1976.22 c #Conflicts: 1277000 | #Constraints: 43562 1969.53/1976.22 c #Conflicts: 1278000 | #Constraints: 44568 1969.53/1976.22 c #Conflicts: 1279000 | #Constraints: 45573 1969.53/1976.22 c INPROCESSING 1969.53/1976.22 c GARBAGE COLLECT 1969.53/1976.22 c rational objective -40 2040.52/2047.48 c #Conflicts: 1280000 | #Constraints: 24009 2040.52/2047.48 c #Conflicts: 1281000 | #Constraints: 25027 2040.52/2047.48 c #Conflicts: 1282000 | #Constraints: 26039 2040.52/2047.48 c #Conflicts: 1283000 | #Constraints: 27039 2040.52/2047.48 c #Conflicts: 1284000 | #Constraints: 28047 2040.52/2047.48 c #Conflicts: 1285000 | #Constraints: 29061 2040.52/2047.48 c #Conflicts: 1286000 | #Constraints: 30072 2040.52/2047.48 c #Conflicts: 1287000 | #Constraints: 31081 2040.52/2047.48 c #Conflicts: 1288000 | #Constraints: 32089 2040.52/2047.48 c #Conflicts: 1289000 | #Constraints: 33104 2040.52/2047.48 c #Conflicts: 1290000 | #Constraints: 34117 2040.52/2047.48 c #Conflicts: 1291000 | #Constraints: 35131 2040.52/2047.48 c #Conflicts: 1292000 | #Constraints: 36146 2040.52/2047.48 c #Conflicts: 1293000 | #Constraints: 37152 2040.52/2047.48 c #Conflicts: 1294000 | #Constraints: 38158 2040.52/2047.48 c #Conflicts: 1295000 | #Constraints: 39169 2040.52/2047.48 c #Conflicts: 1296000 | #Constraints: 40185 2040.52/2047.48 c #Conflicts: 1297000 | #Constraints: 41198 2040.52/2047.48 c #Conflicts: 1298000 | #Constraints: 42208 2040.52/2047.48 c #Conflicts: 1299000 | #Constraints: 43214 2040.52/2047.48 c #Conflicts: 1300000 | #Constraints: 44228 2040.52/2047.48 c #Conflicts: 1301000 | #Constraints: 45241 2040.52/2047.48 c #Conflicts: 1302000 | #Constraints: 46263 2040.52/2047.48 c INPROCESSING 2040.52/2047.48 c GARBAGE COLLECT 2040.52/2047.48 c rational objective -40 2113.30/2120.43 c #Conflicts: 1303000 | #Constraints: 24460 2113.30/2120.43 c #Conflicts: 1304000 | #Constraints: 25469 2113.30/2120.43 c #Conflicts: 1305000 | #Constraints: 26479 2113.30/2120.43 c #Conflicts: 1306000 | #Constraints: 27494 2113.30/2120.43 c #Conflicts: 1307000 | #Constraints: 28505 2113.30/2120.43 c #Conflicts: 1308000 | #Constraints: 29515 2113.30/2120.43 c #Conflicts: 1309000 | #Constraints: 30533 2113.30/2120.43 c #Conflicts: 1310000 | #Constraints: 31544 2113.30/2120.43 c #Conflicts: 1311000 | #Constraints: 32565 2113.30/2120.43 c #Conflicts: 1312000 | #Constraints: 33584 2113.30/2120.43 c #Conflicts: 1313000 | #Constraints: 34605 2113.30/2120.43 c #Conflicts: 1314000 | #Constraints: 35609 2113.30/2120.43 c #Conflicts: 1315000 | #Constraints: 36613 2113.30/2120.43 c #Conflicts: 1316000 | #Constraints: 37617 2113.30/2120.43 c #Conflicts: 1317000 | #Constraints: 38618 2113.30/2120.43 c #Conflicts: 1318000 | #Constraints: 39621 2113.30/2120.43 c #Conflicts: 1319000 | #Constraints: 40621 2113.30/2120.43 c #Conflicts: 1320000 | #Constraints: 41623 2113.30/2120.43 c #Conflicts: 1321000 | #Constraints: 42628 2113.30/2120.43 c #Conflicts: 1322000 | #Constraints: 43631 2113.30/2120.43 c #Conflicts: 1323000 | #Constraints: 44637 2113.30/2120.43 c #Conflicts: 1324000 | #Constraints: 45652 2113.30/2120.43 c #Conflicts: 1325000 | #Constraints: 46666 2113.30/2120.43 c INPROCESSING 2113.30/2120.43 c GARBAGE COLLECT 2113.30/2120.43 c rational objective -40 2386.86/2394.84 c #Conflicts: 1326000 | #Constraints: 24672 2386.86/2394.84 c #Conflicts: 1327000 | #Constraints: 25676 2386.86/2394.84 c #Conflicts: 1328000 | #Constraints: 26682 2386.86/2394.84 c #Conflicts: 1329000 | #Constraints: 27687 2386.86/2394.84 c #Conflicts: 1330000 | #Constraints: 28693 2386.86/2394.84 c #Conflicts: 1331000 | #Constraints: 29700 2386.86/2394.84 c #Conflicts: 1332000 | #Constraints: 30704 2386.86/2394.84 c #Conflicts: 1333000 | #Constraints: 31712 2386.86/2394.84 c #Conflicts: 1334000 | #Constraints: 32721 2386.86/2394.84 c #Conflicts: 1335000 | #Constraints: 33731 2386.86/2394.84 c #Conflicts: 1336000 | #Constraints: 34736 2386.86/2394.84 c #Conflicts: 1337000 | #Constraints: 35740 2386.86/2394.84 c #Conflicts: 1338000 | #Constraints: 36747 2386.86/2394.84 c #Conflicts: 1339000 | #Constraints: 37754 2386.86/2394.84 c #Conflicts: 1340000 | #Constraints: 38757 2386.86/2394.84 c #Conflicts: 1341000 | #Constraints: 39764 2386.86/2394.84 c #Conflicts: 1342000 | #Constraints: 40770 2386.86/2394.84 c #Conflicts: 1343000 | #Constraints: 41775 2386.86/2394.84 c #Conflicts: 1344000 | #Constraints: 42781 2386.86/2394.84 c #Conflicts: 1345000 | #Constraints: 43794 2386.86/2394.84 c #Conflicts: 1346000 | #Constraints: 44800 2386.86/2394.84 c #Conflicts: 1347000 | #Constraints: 45805 2386.86/2394.84 c #Conflicts: 1348000 | #Constraints: 46808 2386.86/2394.84 c INPROCESSING 2386.86/2394.84 c GARBAGE COLLECT 2386.86/2394.84 c rational objective -40 2774.59/2783.89 c #Conflicts: 1349000 | #Constraints: 24639 2774.59/2783.89 c #Conflicts: 1350000 | #Constraints: 25662 2774.59/2783.89 c #Conflicts: 1351000 | #Constraints: 26688 2774.59/2783.89 c #Conflicts: 1352000 | #Constraints: 27701 2774.59/2783.89 c #Conflicts: 1353000 | #Constraints: 28737 2774.59/2783.89 c #Conflicts: 1354000 | #Constraints: 29764 2774.59/2783.89 c #Conflicts: 1355000 | #Constraints: 30791 2774.59/2783.89 c #Conflicts: 1356000 | #Constraints: 31810 2774.59/2783.89 c #Conflicts: 1357000 | #Constraints: 32820 2774.59/2783.89 c #Conflicts: 1358000 | #Constraints: 33832 2774.59/2783.89 c #Conflicts: 1359000 | #Constraints: 34843 2774.59/2783.89 c #Conflicts: 1360000 | #Constraints: 35854 2774.59/2783.89 c #Conflicts: 1361000 | #Constraints: 36865 2774.59/2783.89 c #Conflicts: 1362000 | #Constraints: 37882 2774.59/2783.89 c #Conflicts: 1363000 | #Constraints: 38894 2774.59/2783.89 c #Conflicts: 1364000 | #Constraints: 39908 2774.59/2783.89 c #Conflicts: 1365000 | #Constraints: 40925 2774.59/2783.89 c #Conflicts: 1366000 | #Constraints: 41929 2774.59/2783.89 c #Conflicts: 1367000 | #Constraints: 42938 2774.59/2783.89 c #Conflicts: 1368000 | #Constraints: 43949 2774.59/2783.89 c #Conflicts: 1369000 | #Constraints: 44960 2774.59/2783.89 c #Conflicts: 1370000 | #Constraints: 45967 2774.59/2783.89 c #Conflicts: 1371000 | #Constraints: 46979 2774.59/2783.89 c #Conflicts: 1372000 | #Constraints: 47990 2774.59/2783.89 c #Conflicts: 1373000 | #Constraints: 49023 2774.59/2783.89 c #Conflicts: 1374000 | #Constraints: 50031 2774.59/2783.89 c #Conflicts: 1375000 | #Constraints: 51036 2774.59/2783.89 c #Conflicts: 1376000 | #Constraints: 52036 2774.59/2783.89 c #Conflicts: 1377000 | #Constraints: 53046 2774.59/2783.89 c #Conflicts: 1378000 | #Constraints: 54052 2774.59/2783.89 c #Conflicts: 1379000 | #Constraints: 55056 2774.59/2783.89 c #Conflicts: 1380000 | #Constraints: 56063 2774.59/2783.89 c #Conflicts: 1381000 | #Constraints: 57083 2774.59/2783.89 c #Conflicts: 1382000 | #Constraints: 58099 2774.59/2783.89 c #Conflicts: 1383000 | #Constraints: 59105 2774.59/2783.89 c #Conflicts: 1384000 | #Constraints: 60129 2774.59/2783.89 c #Conflicts: 1385000 | #Constraints: 61140 2774.59/2783.89 c #Conflicts: 1386000 | #Constraints: 62148 2774.59/2783.89 c #Conflicts: 1387000 | #Constraints: 63163 2774.59/2783.89 c #Conflicts: 1388000 | #Constraints: 64173 2774.59/2783.89 c #Conflicts: 1389000 | #Constraints: 65190 2774.59/2783.89 c #Conflicts: 1390000 | #Constraints: 66201 2774.59/2783.89 c #Conflicts: 1391000 | #Constraints: 67205 2774.59/2783.89 c #Conflicts: 1392000 | #Constraints: 68215 2774.59/2783.89 c #Conflicts: 1393000 | #Constraints: 69220 2774.59/2783.89 c #Conflicts: 1394000 | #Constraints: 70228 2774.59/2783.89 c #Conflicts: 1395000 | #Constraints: 71231 2774.59/2783.89 c #Conflicts: 1396000 | #Constraints: 72235 2774.59/2783.89 c #Conflicts: 1397000 | #Constraints: 73238 2774.59/2783.89 c #Conflicts: 1398000 | #Constraints: 74246 2774.59/2783.89 c #Conflicts: 1399000 | #Constraints: 75251 2774.59/2783.89 c #Conflicts: 1400000 | #Constraints: 76254 2774.59/2783.89 c #Conflicts: 1401000 | #Constraints: 77256 2774.59/2783.89 c #Conflicts: 1402000 | #Constraints: 78259 2774.59/2783.89 c #Conflicts: 1403000 | #Constraints: 79262 2774.59/2783.89 c #Conflicts: 1404000 | #Constraints: 80265 2774.59/2783.89 c #Conflicts: 1405000 | #Constraints: 81269 2774.59/2783.89 c #Conflicts: 1406000 | #Constraints: 82280 2774.59/2783.89 c #Conflicts: 1407000 | #Constraints: 83289 2774.59/2783.89 c #Conflicts: 1408000 | #Constraints: 84294 2774.59/2783.89 c #Conflicts: 1409000 | #Constraints: 85301 2774.59/2783.89 c #Conflicts: 1410000 | #Constraints: 86312 2774.59/2783.89 c #Conflicts: 1411000 | #Constraints: 87340 2774.59/2783.89 c #Conflicts: 1412000 | #Constraints: 88345 2774.59/2783.89 c #Conflicts: 1413000 | #Constraints: 89356 2774.59/2783.89 c #Conflicts: 1414000 | #Constraints: 90366 2774.59/2783.89 c #Conflicts: 1415000 | #Constraints: 91380 2774.59/2783.89 c #Conflicts: 1416000 | #Constraints: 92391 2774.59/2783.89 c #Conflicts: 1417000 | #Constraints: 93396 2774.59/2783.89 c #Conflicts: 1418000 | #Constraints: 94408 2774.59/2783.89 c #Conflicts: 1419000 | #Constraints: 95434 2774.59/2783.89 c #Conflicts: 1420000 | #Constraints: 96438 2774.59/2783.89 c #Conflicts: 1421000 | #Constraints: 97444 2774.59/2783.89 c #Conflicts: 1422000 | #Constraints: 98446 2774.59/2783.89 c #Conflicts: 1423000 | #Constraints: 99449 2774.59/2783.89 c #Conflicts: 1424000 | #Constraints: 100460 2774.59/2783.89 c #Conflicts: 1425000 | #Constraints: 101463 2774.59/2783.89 c #Conflicts: 1426000 | #Constraints: 102470 2774.59/2783.89 c #Conflicts: 1427000 | #Constraints: 103482 3055.53/3065.73 c #Conflicts: 1428000 | #Constraints: 104489 3055.53/3065.73 c #Conflicts: 1429000 | #Constraints: 105495 3055.53/3065.73 c #Conflicts: 1430000 | #Constraints: 106516 3055.53/3065.73 c #Conflicts: 1431000 | #Constraints: 107528 3055.53/3065.73 c #Conflicts: 1432000 | #Constraints: 108531 3055.53/3065.73 c #Conflicts: 1433000 | #Constraints: 109538 3055.53/3065.73 c #Conflicts: 1434000 | #Constraints: 110556 3055.53/3065.73 c #Conflicts: 1435000 | #Constraints: 111562 3055.53/3065.73 c #Conflicts: 1436000 | #Constraints: 112567 3055.53/3065.73 c #Conflicts: 1437000 | #Constraints: 113570 3055.53/3065.73 c #Conflicts: 1438000 | #Constraints: 114579 3055.53/3065.73 c #Conflicts: 1439000 | #Constraints: 115581 3055.53/3065.73 c #Conflicts: 1440000 | #Constraints: 116589 3055.53/3065.73 c #Conflicts: 1441000 | #Constraints: 117593 3055.53/3065.73 c #Conflicts: 1442000 | #Constraints: 118597 3055.53/3065.73 c #Conflicts: 1443000 | #Constraints: 119600 3055.53/3065.73 c #Conflicts: 1444000 | #Constraints: 120602 3055.53/3065.73 c #Conflicts: 1445000 | #Constraints: 121615 3055.53/3065.73 c #Conflicts: 1446000 | #Constraints: 122619 3055.53/3065.73 c #Conflicts: 1447000 | #Constraints: 123628 3055.53/3065.73 c #Conflicts: 1448000 | #Constraints: 124644 3055.53/3065.73 c #Conflicts: 1449000 | #Constraints: 125648 3055.53/3065.73 c #Conflicts: 1450000 | #Constraints: 126651 3055.53/3065.73 c #Conflicts: 1451000 | #Constraints: 127652 3055.53/3065.73 c #Conflicts: 1452000 | #Constraints: 128652 3055.53/3065.73 c #Conflicts: 1453000 | #Constraints: 129654 3055.53/3065.73 c #Conflicts: 1454000 | #Constraints: 130655 3055.53/3065.73 c #Conflicts: 1455000 | #Constraints: 131655 3055.53/3065.73 c #Conflicts: 1456000 | #Constraints: 132656 3055.53/3065.73 c #Conflicts: 1457000 | #Constraints: 133661 3055.53/3065.73 c #Conflicts: 1458000 | #Constraints: 134665 3055.53/3065.73 c #Conflicts: 1459000 | #Constraints: 135667 3055.53/3065.73 c #Conflicts: 1460000 | #Constraints: 136669 3055.53/3065.73 c #Conflicts: 1461000 | #Constraints: 137670 3055.53/3065.73 c #Conflicts: 1462000 | #Constraints: 138673 3055.53/3065.73 c #Conflicts: 1463000 | #Constraints: 139682 3055.53/3065.73 c #Conflicts: 1464000 | #Constraints: 140687 3055.53/3065.73 c #Conflicts: 1465000 | #Constraints: 141690 3055.53/3065.73 c #Conflicts: 1466000 | #Constraints: 142696 3055.53/3065.73 c #Conflicts: 1467000 | #Constraints: 143701 3055.53/3065.73 c #Conflicts: 1468000 | #Constraints: 144712 3055.53/3065.73 c INPROCESSING 3055.53/3065.73 c GARBAGE COLLECT 3055.53/3065.73 c rational objective -40 3420.96/3432.39 c #Conflicts: 1469000 | #Constraints: 73279 3420.96/3432.39 c #Conflicts: 1470000 | #Constraints: 74288 3420.96/3432.39 c #Conflicts: 1471000 | #Constraints: 75291 3420.96/3432.39 c #Conflicts: 1472000 | #Constraints: 76297 3420.96/3432.39 c #Conflicts: 1473000 | #Constraints: 77300 3420.96/3432.39 c #Conflicts: 1474000 | #Constraints: 78305 3420.96/3432.39 c #Conflicts: 1475000 | #Constraints: 79308 3420.96/3432.39 c #Conflicts: 1476000 | #Constraints: 80316 3420.96/3432.39 c #Conflicts: 1477000 | #Constraints: 81319 3420.96/3432.39 c #Conflicts: 1478000 | #Constraints: 82323 3420.96/3432.39 c #Conflicts: 1479000 | #Constraints: 83332 3420.96/3432.39 c #Conflicts: 1480000 | #Constraints: 84337 3420.96/3432.39 c #Conflicts: 1481000 | #Constraints: 85344 3420.96/3432.39 c #Conflicts: 1482000 | #Constraints: 86348 3420.96/3432.39 c #Conflicts: 1483000 | #Constraints: 87355 3420.96/3432.39 c #Conflicts: 1484000 | #Constraints: 88358 3420.96/3432.39 c #Conflicts: 1485000 | #Constraints: 89363 3420.96/3432.39 c #Conflicts: 1486000 | #Constraints: 90368 3420.96/3432.39 c #Conflicts: 1487000 | #Constraints: 91376 3420.96/3432.39 c #Conflicts: 1488000 | #Constraints: 92381 3420.96/3432.39 c #Conflicts: 1489000 | #Constraints: 93386 3420.96/3432.39 c #Conflicts: 1490000 | #Constraints: 94392 3420.96/3432.39 c #Conflicts: 1491000 | #Constraints: 95405 3420.96/3432.39 c #Conflicts: 1492000 | #Constraints: 96416 3420.96/3432.39 c #Conflicts: 1493000 | #Constraints: 97422 3420.96/3432.39 c INPROCESSING 3420.96/3432.39 c GARBAGE COLLECT 3420.96/3432.39 c rational objective -40 3600.10/3612.01 c #Conflicts: 1494000 | #Constraints: 49882 3600.10/3612.01 c #Conflicts: 1495000 | #Constraints: 50886 3600.10/3612.01 c #Conflicts: 1496000 | #Constraints: 51897 3600.10/3612.01 c #Conflicts: 1497000 | #Constraints: 52901 3600.10/3612.01 c #Conflicts: 1498000 | #Constraints: 53909 3600.10/3612.01 c #Conflicts: 1499000 | #Constraints: 54922 3600.10/3612.01 c #Conflicts: 1500000 | #Constraints: 55930 3600.10/3612.01 c #Conflicts: 1501000 | #Constraints: 56935 3600.10/3612.01 c #Conflicts: 1502000 | #Constraints: 57942 3600.10/3612.01 c #Conflicts: 1503000 | #Constraints: 58946 3600.10/3612.01 c #Conflicts: 1504000 | #Constraints: 59949 3600.10/3612.01 c #Conflicts: 1505000 | #Constraints: 60954 3600.10/3612.01 c #Conflicts: 1506000 | #Constraints: 61959 3600.10/3612.01 c #Conflicts: 1507000 | #Constraints: 62964 3600.10/3612.01 c Program interrupted by user. 3600.10/3612.01 c cpu time 3573.28 s 3600.10/3612.01 c deterministic time 420366786791 4.20e+11 3600.10/3612.01 c optimization time 178.44 s 3600.10/3612.01 c total solve time 3394.83 s 3600.10/3612.01 c core-guided solve time 1825.25 s 3600.10/3612.01 c propagation time 3261.61 s 3600.10/3612.01 c conflict analysis time 274.277 s 3600.10/3612.01 c propagations 135388864 3600.10/3612.01 c resolve steps 11364078 3600.10/3612.01 c decisions 11850134 3600.10/3612.01 c conflicts 1507095 3600.10/3612.01 c restarts 2949 3600.10/3612.01 c inprocessing phases 109 3600.10/3612.01 c input clauses 457 3600.10/3612.01 c input cardinalities 83 3600.10/3612.01 c input general constraints 36 3600.10/3612.01 c input average constraint length 8.42 3600.10/3612.01 c input average constraint degree 3.98 3600.10/3612.01 c learned clauses 785742 3600.10/3612.01 c learned cardinalities 31790 3600.10/3612.01 c learned general constraints 704762 3600.10/3612.01 c learned average constraint length 156.20 3600.10/3612.01 c learned average constraint degree 88827274.07 3600.10/3612.01 c watched constraints 609951 3600.10/3612.01 c counting constraints 94847 3600.10/3612.01 c gcd simplifications 60992 3600.10/3612.01 c detected cardinalities 4068 3600.10/3612.01 c weakened non-implied lits 50089111 3600.10/3612.01 c weakened non-implying lits 82029 3600.10/3612.01 c original variables 1056 3600.10/3612.01 c clausal propagations 21039379 3600.10/3612.01 c cardinality propagations 25207005 3600.10/3612.01 c watched propagations 19636171 3600.10/3612.01 c counting propagations 66884736 3600.10/3612.01 c watch lookups 72012801171 3600.10/3612.01 c watch backjump lookups 59636918740 3600.10/3612.01 c watch checks 277839479868 3600.10/3612.01 c propagation checks 9994342451 3600.10/3612.01 c constraint additions 585765265 3600.10/3612.01 c trail pops 148730514 3600.10/3612.01 c formula constraints 488 3600.10/3612.01 c learned constraints 1491897 3600.10/3612.01 c bound constraints 1 3600.10/3612.01 c core-guided constraints 87 3600.10/3612.01 c encountered formula constraints 7517680 3600.10/3612.01 c encountered learned constraints 5076714 3600.10/3612.01 c encountered bound constraints 78 3600.10/3612.01 c encountered core-guided constraints 13121 3600.10/3612.01 c LP total time 51.74 s 3600.10/3612.01 c LP solve time 43.35 s 3600.10/3612.01 c LP constraints added 1677 3600.10/3612.01 c LP constraints removed 1176 3600.10/3612.01 c LP pivots internal 1507170 3600.10/3612.01 c LP pivots root 2613 3600.10/3612.01 c LP calls 103491 3600.10/3612.01 c LP optimalities 88292 3600.10/3612.01 c LP no pivot count 31324 3600.10/3612.01 c LP infeasibilities 15199 3600.10/3612.01 c LP valid Farkas constraints 15199 3600.10/3612.01 c LP learned Farkas constraints 15198 3600.10/3612.01 c LP basis resets 0 3600.10/3612.01 c LP cycling count 0 3600.10/3612.01 c LP singular count 0 3600.10/3612.01 c LP no primal count 0 3600.10/3612.01 c LP no farkas count 0 3600.10/3612.01 c LP other issue count 0 3600.10/3612.01 c LP Gomory cuts 0 3600.10/3612.01 c LP learned cuts 1189 3600.10/3612.01 c LP deleted cuts 1176 3600.10/3612.01 c LP encountered Gomory constraints 0 3600.10/3612.01 c LP encountered Farkas constraints 194132 3600.10/3612.01 c LP encountered learned Farkas constraints 54249 3600.10/3612.01 c CG auxiliary variables introduced 43 3600.10/3612.01 c CG solutions found 1 3600.10/3612.01 c CG cores constructed 42 3600.10/3612.01 c CG core cardinality constraints returned 40 3600.10/3612.01 c CG unit cores 0 3600.10/3612.01 c CG single cores 42 3600.10/3612.01 c CG blocks removed during cardinality reduction 0 3600.10/3612.01 c CG first core best 0 3600.10/3612.01 c CG decision core best 0 3600.10/3612.01 c CG core reduction tie 0 3600.10/3612.01 c CG core degree average 14.33 3600.10/3612.01 c CG core slack average 1.60 3600.10/3612.01 s SATISFIABLE 3600.10/3612.01 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
OK -32
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: 64096 MiB (58680 MiB free)
memory of node 1: 64473 MiB (55423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463330-1722348800/watcher-4463330-1722348800 -o /tmp/evaluation-result-4463330-1722348800/solver-4463330-1722348800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5703 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463330-1722348800 --lp-cut-gomory=0 HOME/instance-4463330-1722348800.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=10759, runsolver pid=10756
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.13 4.13 4.14 5/248 10760
/proc/meminfo: memFree=116835684/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=39420 memory=9920 CPUtime=0.1 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 855 0 0 0 8 2 0 0 20 0 1 0 1250349 40366080 2480 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 9855 2480 1898 992 0 1713 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39420 KiB
Current children cumulated memory: 9920 KiB
[startup+0.207088 s]*
/proc/loadavg: 4.13 4.13 4.14 5/248 10760
/proc/meminfo: memFree=116832180/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=39552 memory=10448 CPUtime=0.2 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 958 0 0 0 17 3 0 0 20 0 1 0 1250349 40501248 2612 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 9888 2612 1898 992 0 1746 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39552 KiB
Current children cumulated memory: 10448 KiB
[startup+0.307041 s]*
/proc/loadavg: 4.13 4.13 4.14 5/248 10760
/proc/meminfo: memFree=116830684/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=39692 memory=10712 CPUtime=0.3 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 1046 0 0 0 27 3 0 0 20 0 1 0 1250349 40644608 2678 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 9923 2678 1898 992 0 1781 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39692 KiB
Current children cumulated memory: 10712 KiB
[startup+0.700351 s]
/proc/loadavg: 4.13 4.13 4.14 6/248 10760
/proc/meminfo: memFree=116827868/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=40380 memory=12296 CPUtime=0.68 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 1413 0 0 0 62 6 0 0 20 0 1 0 1250349 41349120 3074 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 10095 3074 1898 992 0 1953 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40380 KiB
Current children cumulated memory: 12296 KiB
[startup+1.51115 s]
/proc/loadavg: 4.13 4.13 4.14 5/248 10760
/proc/meminfo: memFree=116817948/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=41528 memory=15924 CPUtime=1.49 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 1798 0 0 0 136 13 0 0 20 0 1 0 1250349 42524672 3981 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 10382 3981 1898 992 0 2240 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41528 KiB
Current children cumulated memory: 15924 KiB
[startup+3.11297 s]
/proc/loadavg: 4.13 4.13 4.14 5/248 10762
/proc/meminfo: memFree=116782772/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=42888 memory=17240 CPUtime=3.08 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 2158 0 0 0 285 23 0 0 20 0 1 0 1250349 43917312 4310 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 10722 4310 1898 992 0 2580 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42888 KiB
Current children cumulated memory: 17240 KiB
[startup+6.30031 s]
/proc/loadavg: 4.20 4.14 4.15 5/248 10762
/proc/meminfo: memFree=116724012/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=47556 memory=22232 CPUtime=6.26 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 2884 0 0 0 589 37 0 0 20 0 1 0 1250349 48697344 5558 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 11889 5558 1898 992 0 3747 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47556 KiB
Current children cumulated memory: 22232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.16 4.15 5/248 10764
/proc/meminfo: memFree=116678752/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=55196 memory=26176 CPUtime=12.64 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 3936 0 0 0 1201 63 0 0 20 0 1 0 1250349 56520704 6544 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 13799 6544 1898 992 0 5657 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 55196 KiB
Current children cumulated memory: 26176 KiB
[startup+25.5003 s]
/proc/loadavg: 4.43 4.20 4.17 5/248 10766
/proc/meminfo: memFree=116538596/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=58412 memory=31832 CPUtime=25.4 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 4989 0 0 0 2423 117 0 0 20 0 1 0 1250349 59813888 7958 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 14603 7958 1898 992 0 6461 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 58412 KiB
Current children cumulated memory: 31832 KiB
[startup+51.1132 s]
/proc/loadavg: 4.60 4.26 4.19 5/248 10769
/proc/meminfo: memFree=116280948/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=69496 memory=36352 CPUtime=50.92 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 6272 0 0 0 4884 208 0 0 20 0 1 0 1250349 71163904 9088 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 17374 9088 1898 992 0 9232 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 69496 KiB
Current children cumulated memory: 36352 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 4.23 4.18 5/248 10779
/proc/meminfo: memFree=115741604/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=74812 memory=47032 CPUtime=101.92 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 7869 0 0 0 9851 341 0 0 20 0 1 0 1250349 76607488 11758 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 18703 11758 1898 992 0 10561 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 74812 KiB
Current children cumulated memory: 47032 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.22 4.18 5/246 10792
/proc/meminfo: memFree=115301152/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=89964 memory=52376 CPUtime=161.71 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 9386 0 0 0 15704 467 0 0 20 0 1 0 1250349 92123136 13094 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 22491 13094 1898 992 0 14349 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 89964 KiB
Current children cumulated memory: 52376 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/246 10802
/proc/meminfo: memFree=115057692/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=93416 memory=55440 CPUtime=221.49 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 10549 0 0 0 21586 563 0 0 20 0 1 0 1250349 95657984 13860 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 23354 13860 1898 992 0 15212 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 93416 KiB
Current children cumulated memory: 55440 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/245 10813
/proc/meminfo: memFree=114746388/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=95196 memory=59712 CPUtime=281.27 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 11407 0 0 0 27484 643 0 0 20 0 1 0 1250349 97480704 14928 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 23799 14928 1898 992 0 15657 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 95196 KiB
Current children cumulated memory: 59712 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/245 10823
/proc/meminfo: memFree=114498412/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=96296 memory=61032 CPUtime=341.06 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 12055 0 0 0 33391 715 0 0 20 0 1 0 1250349 98607104 15258 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 24074 15258 1898 992 0 15932 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 96296 KiB
Current children cumulated memory: 61032 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/245 10835
/proc/meminfo: memFree=114251880/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=98008 memory=66412 CPUtime=400.84 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 12561 0 0 0 39314 770 0 0 20 0 1 0 1250349 100360192 16603 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 24502 16603 1898 992 0 16360 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 98008 KiB
Current children cumulated memory: 66412 KiB
[startup+462.3 s]
/proc/loadavg: 3.57 4.01 4.11 4/240 10879
/proc/meminfo: memFree=119604356/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=99552 memory=67908 CPUtime=460.63 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 13179 0 0 0 45232 831 0 0 20 0 1 0 1250349 101941248 16977 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 24888 16977 1898 992 0 16746 0
################
# More data... #
################
Current children cumulated memory: 206280 KiB
[startup+2862.3 s]
/proc/loadavg: 1.10 1.12 1.68 2/225 12593
/proc/meminfo: memFree=127985284/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=265228 memory=218296 CPUtime=2852.85 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 34380 0 0 0 282801 2484 0 0 20 0 1 0 1250349 271593472 54574 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 66307 54574 1898 992 0 58165 0
Current children cumulated CPU time: 2852.85 s
Current children cumulated vsize: 265228 KiB
Current children cumulated memory: 218296 KiB
[startup+2922.3 s]
/proc/loadavg: 1.07 1.11 1.64 2/225 12603
/proc/meminfo: memFree=127965152/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=268048 memory=230664 CPUtime=2912.66 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 35005 0 0 0 288766 2500 0 0 20 0 1 0 1250349 274481152 57666 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 67012 57666 1898 992 0 58870 0
Current children cumulated CPU time: 2912.66 s
Current children cumulated vsize: 268048 KiB
Current children cumulated memory: 230664 KiB
[startup+2982.3 s]
/proc/loadavg: 1.12 1.12 1.61 2/225 12615
/proc/meminfo: memFree=127940828/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=350972 memory=246136 CPUtime=2972.47 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 36065 0 0 0 294735 2512 0 0 20 0 1 0 1250349 359395328 61534 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 87743 61534 1898 992 0 79601 0
Current children cumulated CPU time: 2972.47 s
Current children cumulated vsize: 350972 KiB
Current children cumulated memory: 246136 KiB
[startup+3042.3 s]
/proc/loadavg: 1.04 1.10 1.57 2/224 12626
/proc/meminfo: memFree=127924012/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=355068 memory=256692 CPUtime=3032.23 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 36712 0 0 0 300696 2527 0 0 20 0 1 0 1250349 363589632 64173 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 88767 64173 1898 992 0 80625 0
Current children cumulated CPU time: 3032.23 s
Current children cumulated vsize: 355068 KiB
Current children cumulated memory: 256692 KiB
[startup+3102.3 s]
/proc/loadavg: 1.12 1.11 1.54 3/224 12636
/proc/meminfo: memFree=127913588/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=357628 memory=262668 CPUtime=3092.01 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 37697 0 0 0 306656 2545 0 0 20 0 1 0 1250349 366211072 65667 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89407 65667 1898 992 0 81265 0
Current children cumulated CPU time: 3092.01 s
Current children cumulated vsize: 357628 KiB
Current children cumulated memory: 262668 KiB
[startup+3162.3 s]
/proc/loadavg: 1.10 1.10 1.51 2/223 12649
/proc/meminfo: memFree=127909568/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=357628 memory=262668 CPUtime=3151.83 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 37700 0 0 0 312621 2562 0 0 20 0 1 0 1250349 366211072 65667 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89407 65667 1898 992 0 81265 0
Current children cumulated CPU time: 3151.83 s
Current children cumulated vsize: 357628 KiB
Current children cumulated memory: 262668 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.09 1.48 2/222 12660
/proc/meminfo: memFree=127904496/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=357628 memory=262668 CPUtime=3211.64 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 37786 0 0 0 318585 2579 0 0 20 0 1 0 1250349 366211072 65667 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89407 65667 1898 992 0 81265 0
Current children cumulated CPU time: 3211.64 s
Current children cumulated vsize: 357628 KiB
Current children cumulated memory: 262668 KiB
[startup+3282.3 s]
/proc/loadavg: 1.15 1.11 1.46 2/222 12670
/proc/meminfo: memFree=127901804/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=357628 memory=262668 CPUtime=3271.44 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 37874 0 0 0 324552 2592 0 0 20 0 1 0 1250349 366211072 65667 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89407 65667 1898 992 0 81265 0
Current children cumulated CPU time: 3271.44 s
Current children cumulated vsize: 357628 KiB
Current children cumulated memory: 262668 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.10 1.44 2/222 12680
/proc/meminfo: memFree=127899116/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=357628 memory=262668 CPUtime=3331.25 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 37964 0 0 0 330517 2608 0 0 20 0 1 0 1250349 366211072 65667 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89407 65667 1898 992 0 81265 0
Current children cumulated CPU time: 3331.25 s
Current children cumulated vsize: 357628 KiB
Current children cumulated memory: 262668 KiB
[startup+3402.3 s]
/proc/loadavg: 1.15 1.11 1.42 2/222 12692
/proc/meminfo: memFree=127892920/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=358140 memory=265520 CPUtime=3391.05 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 38147 0 0 0 336484 2621 0 0 20 0 1 0 1250349 366735360 66380 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89535 66380 1898 992 0 81393 0
Current children cumulated CPU time: 3391.05 s
Current children cumulated vsize: 358140 KiB
Current children cumulated memory: 265520 KiB
[startup+3462.3 s]
/proc/loadavg: 1.05 1.09 1.39 2/224 12706
/proc/meminfo: memFree=127887936/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=359420 memory=266296 CPUtime=3450.86 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 38910 0 0 0 342449 2637 0 0 20 0 1 0 1250349 368046080 66574 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89855 66574 1898 992 0 81713 0
Current children cumulated CPU time: 3450.86 s
Current children cumulated vsize: 359420 KiB
Current children cumulated memory: 266296 KiB
[startup+3522.3 s]
/proc/loadavg: 1.06 1.08 1.37 2/223 12716
/proc/meminfo: memFree=127882656/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=359420 memory=266296 CPUtime=3510.68 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 38988 0 0 0 348411 2657 0 0 20 0 1 0 1250349 368046080 66574 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89855 66574 1898 992 0 81713 0
Current children cumulated CPU time: 3510.68 s
Current children cumulated vsize: 359420 KiB
Current children cumulated memory: 266296 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.10 1.35 2/223 12728
/proc/meminfo: memFree=127880352/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=359420 memory=266296 CPUtime=3570.49 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 39068 0 0 0 354374 2675 0 0 20 0 1 0 1250349 368046080 66574 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89855 66574 1898 992 0 81713 0
Current children cumulated CPU time: 3570.49 s
Current children cumulated vsize: 359420 KiB
Current children cumulated memory: 266296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 1.07 1.09 1.34 2/223 12734
/proc/meminfo: memFree=127878452/131655788 swapFree=131071728/131071996
[pid=10759] ppid=10756 vsize=359420 memory=266296 CPUtime=3600.1 cores=0,2
/proc/10759/stat : 10759 (roundingsat) R 10756 10759 5693 0 -1 4194304 39069 0 0 0 357327 2683 0 0 20 0 1 0 1250349 368046080 66574 134679101440 4194304 8255733 140725149855248 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26361856 140725149860702 140725149860964 140725149860964 140725149867977 0
/proc/10759/statm: 89855 66574 1898 992 0 81713 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 359420 KiB
Current children cumulated memory: 266296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 10759 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.28 s, system=26.8338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.02
CPU time (s): 3600.11
CPU user time (s): 3573.28
CPU system time (s): 26.8338
CPU usage (%): 99.6704
Max. virtual memory (cumulated for all children) (KiB): 361756
Max. memory (cumulated for all children) (KiB): 268156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.28
system time used= 26.8338
maximum resident set size= 268156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2162792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 25439
# summary of solver processes directly reported to runsolver:
# pid: 10759
# total CPU time (s): 3600.11
# total CPU user time (s): 3573.28
# total CPU system time (s): 26.8338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.13 second user time and 34.1036 second system time
The end
Begin job on nodeC011 at 2024-07-30 16:13:20 IDJOB=4463330 IDBENCH=177485 IDSOLVER=3089 FILE ID=nodeC011/4463330-1722348800 RUNJOBID= nodeC011-1722340763-5703 SLURM_JOB_ID= 8248991 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.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-4463330-1722348800/watcher-4463330-1722348800 -o /tmp/evaluation-result-4463330-1722348800/solver-4463330-1722348800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5703 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463330-1722348800 --lp-cut-gomory=0 HOME/instance-4463330-1722348800.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 678da6339402b89815c46f6042afd950 RANDOM SEED=493616191 nodeC011.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 : 0xb00001f cpu MHz : 1197.149 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 3626.656 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29 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 : 0xb00001f cpu MHz : 2471.099 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.337 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29 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 : 0xb00001f cpu MHz : 3625.234 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 3583.016 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29 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 : 0xb00001f cpu MHz : 1197.151 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.266 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 116842864 kB MemAvailable: 127522640 kB Buffers: 52528 kB Cached: 11462756 kB SwapCached: 12 kB Active: 165984 kB Inactive: 14197828 kB Active(anon): 1940 kB Inactive(anon): 2875796 kB Active(file): 164044 kB Inactive(file): 11322032 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 50340 kB Writeback: 0 kB AnonPages: 2842920 kB Mapped: 101400 kB Shmem: 29468 kB KReclaimable: 67796 kB Slab: 144268 kB SReclaimable: 67796 kB SUnreclaim: 76472 kB KernelStack: 3996 kB PageTables: 15100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3913888 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6176 kB HardwareCorrupted: 0 kB AnonHugePages: 1904640 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: 156488 kB DirectMap2M: 9185280 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723776 MiB End job on nodeC011 at 2024-07-30 17:13:32