| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | -32 | 3600.08 | 3613.61 |
| 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.008159 0.00/0.01 c rational objective -40 0.41/0.45 c bounds -32 >= -640 @ 0.055396 0.41/0.45 c bounds -32 >= -625 @ 0.056313 0.41/0.45 c bounds -32 >= -610 @ 0.056983 0.41/0.45 c bounds -32 >= -595 @ 0.057691 0.41/0.45 c bounds -32 >= -580 @ 0.057847 0.41/0.45 c bounds -32 >= -565 @ 0.058278 0.41/0.45 c bounds -32 >= -550 @ 0.058791 0.41/0.45 c bounds -32 >= -535 @ 0.059443 0.41/0.45 c bounds -32 >= -520 @ 0.060119 0.41/0.45 c bounds -32 >= -505 @ 0.060779 0.41/0.45 c bounds -32 >= -490 @ 0.061442 0.41/0.45 c bounds -32 >= -475 @ 0.062095 0.41/0.45 c bounds -32 >= -460 @ 0.062751 0.41/0.45 c bounds -32 >= -445 @ 0.063389 0.41/0.45 c bounds -32 >= -430 @ 0.064054 0.41/0.45 c bounds -32 >= -415 @ 0.064692 0.41/0.45 c bounds -32 >= -400 @ 0.065333 0.41/0.45 c bounds -32 >= -385 @ 0.065991 0.41/0.45 c bounds -32 >= -370 @ 0.066627 0.41/0.45 c bounds -32 >= -355 @ 0.067268 0.41/0.45 c bounds -32 >= -340 @ 0.06789 0.41/0.45 c bounds -32 >= -325 @ 0.068507 0.41/0.45 c bounds -32 >= -310 @ 0.069113 0.41/0.45 c bounds -32 >= -295 @ 0.069725 0.41/0.45 c bounds -32 >= -280 @ 0.070325 0.41/0.45 c bounds -32 >= -265 @ 0.070924 0.41/0.45 c bounds -32 >= -250 @ 0.071517 0.41/0.45 c bounds -32 >= -235 @ 0.072097 0.41/0.45 c bounds -32 >= -220 @ 0.072676 0.41/0.45 c bounds -32 >= -205 @ 0.073257 0.41/0.45 c bounds -32 >= -190 @ 0.073828 0.41/0.45 c bounds -32 >= -175 @ 0.073864 0.41/0.45 c bounds -32 >= -160 @ 0.074149 0.41/0.45 c bounds -32 >= -145 @ 0.074602 0.41/0.45 c bounds -32 >= -130 @ 0.075137 0.41/0.45 c bounds -32 >= -115 @ 0.075686 0.41/0.45 c bounds -32 >= -100 @ 0.076219 0.41/0.45 c bounds -32 >= -85 @ 0.076762 0.41/0.45 c bounds -32 >= -70 @ 0.077302 0.41/0.45 c bounds -32 >= -55 @ 0.077824 0.41/0.45 c bounds -32 >= -40 @ 0.077839 0.41/0.45 c #Conflicts: 1000 | #Constraints: 1617 0.41/0.45 c #Conflicts: 2000 | #Constraints: 2625 0.41/0.45 c INPROCESSING 0.41/0.45 c GARBAGE COLLECT 0.41/0.45 c rational objective -40 0.99/1.01 c #Conflicts: 3000 | #Constraints: 2601 0.99/1.01 c #Conflicts: 4000 | #Constraints: 3609 0.99/1.01 c INPROCESSING 0.99/1.01 c GARBAGE COLLECT 0.99/1.01 c rational objective -40 1.48/1.55 c #Conflicts: 5000 | #Constraints: 3017 1.48/1.55 c #Conflicts: 6000 | #Constraints: 4033 1.48/1.55 c INPROCESSING 1.48/1.55 c GARBAGE COLLECT 1.48/1.55 c rational objective -40 2.09/2.16 c #Conflicts: 7000 | #Constraints: 3038 2.09/2.16 c #Conflicts: 8000 | #Constraints: 4053 2.09/2.16 c #Conflicts: 9000 | #Constraints: 5068 2.09/2.16 c INPROCESSING 2.09/2.16 c GARBAGE COLLECT 2.09/2.16 c rational objective -40 2.68/2.76 c #Conflicts: 10000 | #Constraints: 3747 2.68/2.76 c #Conflicts: 11000 | #Constraints: 4762 2.68/2.76 c bounds -32 >= -39 @ 2.41528 2.68/2.76 c #Conflicts: 12000 | #Constraints: 5774 2.68/2.76 c INPROCESSING 2.68/2.76 c GARBAGE COLLECT 2.68/2.76 c rational objective -39 3.38/3.48 c #Conflicts: 13000 | #Constraints: 4207 3.38/3.48 c #Conflicts: 14000 | #Constraints: 5213 3.38/3.48 c #Conflicts: 15000 | #Constraints: 6221 3.38/3.48 c INPROCESSING 3.38/3.48 c GARBAGE COLLECT 3.38/3.48 c rational objective -39 4.27/4.39 c #Conflicts: 16000 | #Constraints: 4434 4.27/4.39 c #Conflicts: 17000 | #Constraints: 5440 4.27/4.39 c #Conflicts: 18000 | #Constraints: 6451 4.27/4.39 c INPROCESSING 4.27/4.39 c GARBAGE COLLECT 4.27/4.39 c rational objective -39 5.08/5.16 c #Conflicts: 19000 | #Constraints: 4439 5.08/5.16 c #Conflicts: 20000 | #Constraints: 5456 5.08/5.16 c #Conflicts: 21000 | #Constraints: 6463 5.08/5.16 c INPROCESSING 5.08/5.16 c GARBAGE COLLECT 5.08/5.16 c rational objective -39 5.86/5.98 c #Conflicts: 22000 | #Constraints: 4247 5.86/5.98 c #Conflicts: 23000 | #Constraints: 5253 5.86/5.98 c #Conflicts: 24000 | #Constraints: 6265 5.86/5.98 c #Conflicts: 25000 | #Constraints: 7280 5.86/5.98 c INPROCESSING 5.86/5.98 c GARBAGE COLLECT 5.86/5.98 c rational objective -39 6.97/7.02 c #Conflicts: 26000 | #Constraints: 4867 6.97/7.02 c #Conflicts: 27000 | #Constraints: 5889 6.97/7.02 c #Conflicts: 28000 | #Constraints: 6905 6.97/7.02 c #Conflicts: 29000 | #Constraints: 7916 6.97/7.02 c INPROCESSING 6.97/7.02 c GARBAGE COLLECT 6.97/7.02 c rational objective -39 7.85/7.98 c #Conflicts: 30000 | #Constraints: 5274 7.85/7.98 c #Conflicts: 31000 | #Constraints: 6292 7.85/7.98 c #Conflicts: 32000 | #Constraints: 7309 7.85/7.98 c #Conflicts: 33000 | #Constraints: 8321 7.85/7.98 c INPROCESSING 7.85/7.98 c GARBAGE COLLECT 7.85/7.98 c rational objective -39 9.25/9.39 c #Conflicts: 34000 | #Constraints: 5500 9.25/9.39 c #Conflicts: 35000 | #Constraints: 6516 9.25/9.39 c #Conflicts: 36000 | #Constraints: 7533 9.25/9.39 c #Conflicts: 37000 | #Constraints: 8547 9.25/9.39 c INPROCESSING 9.25/9.39 c GARBAGE COLLECT 9.25/9.39 c rational objective -39 10.55/10.61 c #Conflicts: 38000 | #Constraints: 5492 10.55/10.61 c #Conflicts: 39000 | #Constraints: 6506 10.55/10.61 c #Conflicts: 40000 | #Constraints: 7531 10.55/10.61 c #Conflicts: 41000 | #Constraints: 8542 10.55/10.61 c INPROCESSING 10.55/10.61 c GARBAGE COLLECT 10.55/10.61 c rational objective -39 11.54/11.69 c #Conflicts: 42000 | #Constraints: 5297 11.54/11.69 c #Conflicts: 43000 | #Constraints: 6305 11.54/11.69 c #Conflicts: 44000 | #Constraints: 7314 11.54/11.69 c #Conflicts: 45000 | #Constraints: 8323 11.54/11.69 c #Conflicts: 46000 | #Constraints: 9346 11.54/11.69 c INPROCESSING 11.54/11.69 c GARBAGE COLLECT 11.54/11.69 c rational objective -39 12.95/13.09 c #Conflicts: 47000 | #Constraints: 5893 12.95/13.09 c #Conflicts: 48000 | #Constraints: 6913 12.95/13.09 c #Conflicts: 49000 | #Constraints: 7917 12.95/13.09 c #Conflicts: 50000 | #Constraints: 8934 12.95/13.09 c #Conflicts: 51000 | #Constraints: 9938 12.95/13.09 c INPROCESSING 12.95/13.09 c GARBAGE COLLECT 12.95/13.09 c rational objective -39 14.33/14.49 c #Conflicts: 52000 | #Constraints: 6281 14.33/14.49 c #Conflicts: 53000 | #Constraints: 7281 14.33/14.49 c #Conflicts: 54000 | #Constraints: 8285 14.33/14.49 c #Conflicts: 55000 | #Constraints: 9293 14.33/14.49 c #Conflicts: 56000 | #Constraints: 10302 14.33/14.49 c INPROCESSING 14.33/14.49 c GARBAGE COLLECT 14.33/14.49 c rational objective -39 16.13/16.26 c #Conflicts: 57000 | #Constraints: 6470 16.13/16.26 c #Conflicts: 58000 | #Constraints: 7474 16.13/16.26 c #Conflicts: 59000 | #Constraints: 8483 16.13/16.26 c #Conflicts: 60000 | #Constraints: 9495 16.13/16.26 c #Conflicts: 61000 | #Constraints: 10503 16.13/16.26 c INPROCESSING 16.13/16.26 c GARBAGE COLLECT 16.13/16.26 c rational objective -39 17.93/18.09 c #Conflicts: 62000 | #Constraints: 6465 17.93/18.09 c #Conflicts: 63000 | #Constraints: 7472 17.93/18.09 c #Conflicts: 64000 | #Constraints: 8476 17.93/18.09 c #Conflicts: 65000 | #Constraints: 9494 17.93/18.09 c #Conflicts: 66000 | #Constraints: 10511 17.93/18.09 c INPROCESSING 17.93/18.09 c GARBAGE COLLECT 17.93/18.09 c rational objective -39 20.11/20.25 c #Conflicts: 67000 | #Constraints: 6274 20.11/20.25 c #Conflicts: 68000 | #Constraints: 7282 20.11/20.25 c #Conflicts: 69000 | #Constraints: 8290 20.11/20.25 c #Conflicts: 70000 | #Constraints: 9297 20.11/20.25 c #Conflicts: 71000 | #Constraints: 10310 20.11/20.25 c #Conflicts: 72000 | #Constraints: 11324 20.11/20.25 c INPROCESSING 20.11/20.25 c GARBAGE COLLECT 20.11/20.25 c rational objective -39 22.10/22.20 c #Conflicts: 73000 | #Constraints: 6878 22.10/22.20 c #Conflicts: 74000 | #Constraints: 7886 22.10/22.20 c #Conflicts: 75000 | #Constraints: 8905 22.10/22.20 c #Conflicts: 76000 | #Constraints: 9921 22.10/22.20 c #Conflicts: 77000 | #Constraints: 10931 22.10/22.20 c #Conflicts: 78000 | #Constraints: 11938 22.10/22.20 c INPROCESSING 22.10/22.20 c GARBAGE COLLECT 22.10/22.20 c rational objective -39 24.00/24.19 c #Conflicts: 79000 | #Constraints: 7283 24.00/24.19 c #Conflicts: 80000 | #Constraints: 8294 24.00/24.19 c #Conflicts: 81000 | #Constraints: 9298 24.00/24.19 c #Conflicts: 82000 | #Constraints: 10301 24.00/24.19 c #Conflicts: 83000 | #Constraints: 11303 24.00/24.19 c #Conflicts: 84000 | #Constraints: 12331 24.00/24.19 c INPROCESSING 24.00/24.19 c GARBAGE COLLECT 24.00/24.19 c rational objective -39 26.68/26.84 c #Conflicts: 85000 | #Constraints: 7484 26.68/26.84 c #Conflicts: 86000 | #Constraints: 8501 26.68/26.84 c #Conflicts: 87000 | #Constraints: 9512 26.68/26.84 c #Conflicts: 88000 | #Constraints: 10529 26.68/26.84 c #Conflicts: 89000 | #Constraints: 11540 26.68/26.84 c #Conflicts: 90000 | #Constraints: 12552 26.68/26.84 c INPROCESSING 26.68/26.84 c GARBAGE COLLECT 26.68/26.84 c rational objective -39 28.88/29.08 c #Conflicts: 91000 | #Constraints: 7487 28.88/29.08 c #Conflicts: 92000 | #Constraints: 8487 28.88/29.08 c #Conflicts: 93000 | #Constraints: 9487 28.88/29.08 c #Conflicts: 94000 | #Constraints: 10492 28.88/29.08 c #Conflicts: 95000 | #Constraints: 11492 28.88/29.08 c #Conflicts: 96000 | #Constraints: 12492 28.88/29.08 c INPROCESSING 28.88/29.08 c GARBAGE COLLECT 28.88/29.08 c rational objective -39 32.06/32.20 c #Conflicts: 97000 | #Constraints: 7258 32.06/32.20 c #Conflicts: 98000 | #Constraints: 8268 32.06/32.20 c #Conflicts: 99000 | #Constraints: 9285 32.06/32.20 c #Conflicts: 100000 | #Constraints: 10299 32.06/32.20 c #Conflicts: 101000 | #Constraints: 11306 32.06/32.20 c #Conflicts: 102000 | #Constraints: 12316 32.06/32.20 c #Conflicts: 103000 | #Constraints: 13328 32.06/32.20 c INPROCESSING 32.06/32.20 c GARBAGE COLLECT 32.06/32.20 c rational objective -39 34.25/34.43 c #Conflicts: 104000 | #Constraints: 7885 34.25/34.43 c #Conflicts: 105000 | #Constraints: 8903 34.25/34.43 c #Conflicts: 106000 | #Constraints: 9928 34.25/34.43 c #Conflicts: 107000 | #Constraints: 10938 34.25/34.43 c #Conflicts: 108000 | #Constraints: 11942 34.25/34.43 c #Conflicts: 109000 | #Constraints: 12978 34.25/34.43 c #Conflicts: 110000 | #Constraints: 13986 34.25/34.43 c INPROCESSING 34.25/34.43 c GARBAGE COLLECT 34.25/34.43 c rational objective -39 36.44/36.61 c #Conflicts: 111000 | #Constraints: 8326 36.44/36.61 c #Conflicts: 112000 | #Constraints: 9333 36.44/36.61 c #Conflicts: 113000 | #Constraints: 10339 36.44/36.61 c #Conflicts: 114000 | #Constraints: 11364 36.44/36.61 c #Conflicts: 115000 | #Constraints: 12373 36.44/36.61 c #Conflicts: 116000 | #Constraints: 13390 36.44/36.61 c #Conflicts: 117000 | #Constraints: 14398 36.44/36.61 c INPROCESSING 36.44/36.61 c GARBAGE COLLECT 36.44/36.61 c rational objective -39 40.72/40.92 c #Conflicts: 118000 | #Constraints: 8522 40.72/40.92 c #Conflicts: 119000 | #Constraints: 9531 40.72/40.92 c #Conflicts: 120000 | #Constraints: 10544 40.72/40.92 c #Conflicts: 121000 | #Constraints: 11557 40.72/40.92 c #Conflicts: 122000 | #Constraints: 12564 40.72/40.92 c #Conflicts: 123000 | #Constraints: 13566 40.72/40.92 c #Conflicts: 124000 | #Constraints: 14573 40.72/40.92 c INPROCESSING 40.72/40.92 c GARBAGE COLLECT 40.72/40.92 c rational objective -39 43.51/43.72 c #Conflicts: 125000 | #Constraints: 8500 43.51/43.72 c #Conflicts: 126000 | #Constraints: 9520 43.51/43.72 c #Conflicts: 127000 | #Constraints: 10539 43.51/43.72 c #Conflicts: 128000 | #Constraints: 11545 43.51/43.72 c #Conflicts: 129000 | #Constraints: 12551 43.51/43.72 c #Conflicts: 130000 | #Constraints: 13557 43.51/43.72 c #Conflicts: 131000 | #Constraints: 14575 43.51/43.72 c INPROCESSING 43.51/43.72 c GARBAGE COLLECT 43.51/43.72 c rational objective -39 46.51/46.73 c #Conflicts: 132000 | #Constraints: 8308 46.51/46.73 c #Conflicts: 133000 | #Constraints: 9337 46.51/46.73 c #Conflicts: 134000 | #Constraints: 10348 46.51/46.73 c #Conflicts: 135000 | #Constraints: 11368 46.51/46.73 c #Conflicts: 136000 | #Constraints: 12387 46.51/46.73 c #Conflicts: 137000 | #Constraints: 13395 46.51/46.73 c #Conflicts: 138000 | #Constraints: 14397 46.51/46.73 c #Conflicts: 139000 | #Constraints: 15402 46.51/46.73 c INPROCESSING 46.51/46.73 c GARBAGE COLLECT 46.51/46.73 c rational objective -39 50.19/50.40 c #Conflicts: 140000 | #Constraints: 8924 50.19/50.40 c #Conflicts: 141000 | #Constraints: 9935 50.19/50.40 c #Conflicts: 142000 | #Constraints: 10944 50.19/50.40 c #Conflicts: 143000 | #Constraints: 11946 50.19/50.40 c #Conflicts: 144000 | #Constraints: 12952 50.19/50.40 c #Conflicts: 145000 | #Constraints: 13957 50.19/50.40 c #Conflicts: 146000 | #Constraints: 14960 50.19/50.40 c #Conflicts: 147000 | #Constraints: 15963 50.19/50.40 c INPROCESSING 50.19/50.40 c GARBAGE COLLECT 50.19/50.40 c rational objective -39 53.17/53.49 c #Conflicts: 148000 | #Constraints: 9298 53.17/53.49 c #Conflicts: 149000 | #Constraints: 10307 53.17/53.49 c #Conflicts: 150000 | #Constraints: 11318 53.17/53.49 c #Conflicts: 151000 | #Constraints: 12324 53.17/53.49 c #Conflicts: 152000 | #Constraints: 13336 53.17/53.49 c #Conflicts: 153000 | #Constraints: 14342 53.17/53.49 c #Conflicts: 154000 | #Constraints: 15366 53.17/53.49 c #Conflicts: 155000 | #Constraints: 16371 53.17/53.49 c INPROCESSING 53.17/53.49 c GARBAGE COLLECT 53.17/53.49 c rational objective -39 58.36/58.69 c #Conflicts: 156000 | #Constraints: 9508 58.36/58.69 c #Conflicts: 157000 | #Constraints: 10513 58.36/58.69 c #Conflicts: 158000 | #Constraints: 11517 58.36/58.69 c #Conflicts: 159000 | #Constraints: 12520 58.36/58.69 c #Conflicts: 160000 | #Constraints: 13525 58.36/58.69 c #Conflicts: 161000 | #Constraints: 14530 58.36/58.69 c #Conflicts: 162000 | #Constraints: 15540 58.36/58.69 c #Conflicts: 163000 | #Constraints: 16556 58.36/58.69 c INPROCESSING 58.36/58.69 c GARBAGE COLLECT 58.36/58.69 c rational objective -39 61.65/61.98 c #Conflicts: 164000 | #Constraints: 9495 61.65/61.98 c #Conflicts: 165000 | #Constraints: 10495 61.65/61.98 c #Conflicts: 166000 | #Constraints: 11498 61.65/61.98 c #Conflicts: 167000 | #Constraints: 12505 61.65/61.98 c #Conflicts: 168000 | #Constraints: 13509 61.65/61.98 c #Conflicts: 169000 | #Constraints: 14516 61.65/61.98 c #Conflicts: 170000 | #Constraints: 15518 61.65/61.98 c #Conflicts: 171000 | #Constraints: 16528 61.65/61.98 c INPROCESSING 61.65/61.98 c GARBAGE COLLECT 61.65/61.98 c rational objective -39 68.42/68.75 c #Conflicts: 172000 | #Constraints: 9282 68.42/68.75 c #Conflicts: 173000 | #Constraints: 10289 68.42/68.75 c #Conflicts: 174000 | #Constraints: 11296 68.42/68.75 c #Conflicts: 175000 | #Constraints: 12301 68.42/68.75 c #Conflicts: 176000 | #Constraints: 13309 68.42/68.75 c #Conflicts: 177000 | #Constraints: 14317 68.42/68.75 c #Conflicts: 178000 | #Constraints: 15323 68.42/68.75 c #Conflicts: 179000 | #Constraints: 16327 68.42/68.75 c #Conflicts: 180000 | #Constraints: 17335 68.42/68.75 c INPROCESSING 68.42/68.75 c GARBAGE COLLECT 68.42/68.75 c rational objective -39 72.00/72.39 c #Conflicts: 181000 | #Constraints: 9894 72.00/72.39 c #Conflicts: 182000 | #Constraints: 10907 72.00/72.39 c #Conflicts: 183000 | #Constraints: 11930 72.00/72.39 c #Conflicts: 184000 | #Constraints: 12950 72.00/72.39 c #Conflicts: 185000 | #Constraints: 13965 72.00/72.39 c #Conflicts: 186000 | #Constraints: 14997 72.00/72.39 c #Conflicts: 187000 | #Constraints: 16004 72.00/72.39 c #Conflicts: 188000 | #Constraints: 17009 72.00/72.39 c #Conflicts: 189000 | #Constraints: 18022 72.00/72.39 c INPROCESSING 72.00/72.39 c GARBAGE COLLECT 72.00/72.39 c rational objective -39 77.08/77.44 c #Conflicts: 190000 | #Constraints: 10334 77.08/77.44 c #Conflicts: 191000 | #Constraints: 11334 77.08/77.44 c #Conflicts: 192000 | #Constraints: 12334 77.08/77.44 c #Conflicts: 193000 | #Constraints: 13344 77.08/77.44 c #Conflicts: 194000 | #Constraints: 14358 77.08/77.44 c #Conflicts: 195000 | #Constraints: 15367 77.08/77.44 c #Conflicts: 196000 | #Constraints: 16376 77.08/77.44 c #Conflicts: 197000 | #Constraints: 17380 77.08/77.44 c #Conflicts: 198000 | #Constraints: 18384 77.08/77.44 c INPROCESSING 77.08/77.44 c GARBAGE COLLECT 77.08/77.44 c rational objective -39 83.85/84.20 c #Conflicts: 199000 | #Constraints: 10510 83.85/84.20 c #Conflicts: 200000 | #Constraints: 11516 83.85/84.20 c #Conflicts: 201000 | #Constraints: 12523 83.85/84.20 c #Conflicts: 202000 | #Constraints: 13528 83.85/84.20 c #Conflicts: 203000 | #Constraints: 14534 83.85/84.20 c #Conflicts: 204000 | #Constraints: 15540 83.85/84.20 c #Conflicts: 205000 | #Constraints: 16548 83.85/84.20 c #Conflicts: 206000 | #Constraints: 17550 83.85/84.20 c #Conflicts: 207000 | #Constraints: 18558 83.85/84.20 c INPROCESSING 83.85/84.20 c GARBAGE COLLECT 83.85/84.20 c rational objective -39 88.84/89.22 c #Conflicts: 208000 | #Constraints: 10491 88.84/89.22 c #Conflicts: 209000 | #Constraints: 11498 88.84/89.22 c #Conflicts: 210000 | #Constraints: 12508 88.84/89.22 c #Conflicts: 211000 | #Constraints: 13516 88.84/89.22 c #Conflicts: 212000 | #Constraints: 14525 88.84/89.22 c #Conflicts: 213000 | #Constraints: 15533 88.84/89.22 c #Conflicts: 214000 | #Constraints: 16536 88.84/89.22 c #Conflicts: 215000 | #Constraints: 17541 88.84/89.22 c #Conflicts: 216000 | #Constraints: 18544 88.84/89.22 c INPROCESSING 88.84/89.22 c GARBAGE COLLECT 88.84/89.22 c rational objective -39 96.51/96.93 c #Conflicts: 217000 | #Constraints: 10287 96.51/96.93 c #Conflicts: 218000 | #Constraints: 11288 96.51/96.93 c #Conflicts: 219000 | #Constraints: 12293 96.51/96.93 c #Conflicts: 220000 | #Constraints: 13304 96.51/96.93 c #Conflicts: 221000 | #Constraints: 14310 96.51/96.93 c #Conflicts: 222000 | #Constraints: 15315 96.51/96.93 c #Conflicts: 223000 | #Constraints: 16324 96.51/96.93 c #Conflicts: 224000 | #Constraints: 17332 96.51/96.93 c #Conflicts: 225000 | #Constraints: 18339 96.51/96.93 c #Conflicts: 226000 | #Constraints: 19350 96.51/96.93 c INPROCESSING 96.51/96.93 c GARBAGE COLLECT 96.51/96.93 c rational objective -39 101.88/102.36 c #Conflicts: 227000 | #Constraints: 10911 101.88/102.36 c #Conflicts: 228000 | #Constraints: 11937 101.88/102.36 c #Conflicts: 229000 | #Constraints: 12957 101.88/102.36 c #Conflicts: 230000 | #Constraints: 13991 101.88/102.36 c #Conflicts: 231000 | #Constraints: 15014 101.88/102.36 c #Conflicts: 232000 | #Constraints: 16029 101.88/102.36 c #Conflicts: 233000 | #Constraints: 17061 101.88/102.36 c #Conflicts: 234000 | #Constraints: 18069 101.88/102.36 c #Conflicts: 235000 | #Constraints: 19074 101.88/102.36 c #Conflicts: 236000 | #Constraints: 20085 101.88/102.36 c INPROCESSING 101.88/102.36 c GARBAGE COLLECT 101.88/102.36 c rational objective -39 116.33/116.87 c #Conflicts: 237000 | #Constraints: 11367 116.33/116.87 c #Conflicts: 238000 | #Constraints: 12374 116.33/116.87 c #Conflicts: 239000 | #Constraints: 13381 116.33/116.87 c #Conflicts: 240000 | #Constraints: 14384 116.33/116.87 c #Conflicts: 241000 | #Constraints: 15390 116.33/116.87 c #Conflicts: 242000 | #Constraints: 16398 116.33/116.87 c #Conflicts: 243000 | #Constraints: 17402 116.33/116.87 c #Conflicts: 244000 | #Constraints: 18410 116.33/116.87 c #Conflicts: 245000 | #Constraints: 19414 116.33/116.87 c #Conflicts: 246000 | #Constraints: 20418 116.33/116.87 c INPROCESSING 116.33/116.87 c GARBAGE COLLECT 116.33/116.87 c rational objective -39 124.41/124.94 c #Conflicts: 247000 | #Constraints: 11536 124.41/124.94 c #Conflicts: 248000 | #Constraints: 12539 124.41/124.94 c #Conflicts: 249000 | #Constraints: 13540 124.41/124.94 c #Conflicts: 250000 | #Constraints: 14542 124.41/124.94 c #Conflicts: 251000 | #Constraints: 15554 124.41/124.94 c #Conflicts: 252000 | #Constraints: 16563 124.41/124.94 c #Conflicts: 253000 | #Constraints: 17592 124.41/124.94 c #Conflicts: 254000 | #Constraints: 18604 124.41/124.94 c #Conflicts: 255000 | #Constraints: 19623 124.41/124.94 c #Conflicts: 256000 | #Constraints: 20643 124.41/124.94 c INPROCESSING 124.41/124.94 c GARBAGE COLLECT 124.41/124.94 c rational objective -39 131.78/132.33 c #Conflicts: 257000 | #Constraints: 11559 131.78/132.33 c #Conflicts: 258000 | #Constraints: 12569 131.78/132.33 c #Conflicts: 259000 | #Constraints: 13583 131.78/132.33 c #Conflicts: 260000 | #Constraints: 14600 131.78/132.33 c #Conflicts: 261000 | #Constraints: 15619 131.78/132.33 c #Conflicts: 262000 | #Constraints: 16627 131.78/132.33 c #Conflicts: 263000 | #Constraints: 17635 131.78/132.33 c #Conflicts: 264000 | #Constraints: 18652 131.78/132.33 c #Conflicts: 265000 | #Constraints: 19655 131.78/132.33 c #Conflicts: 266000 | #Constraints: 20657 131.78/132.33 c INPROCESSING 131.78/132.33 c GARBAGE COLLECT 131.78/132.33 c rational objective -39 157.58/158.26 c #Conflicts: 267000 | #Constraints: 11361 157.58/158.26 c #Conflicts: 268000 | #Constraints: 12368 157.58/158.26 c #Conflicts: 269000 | #Constraints: 13376 157.58/158.26 c #Conflicts: 270000 | #Constraints: 14382 157.58/158.26 c #Conflicts: 271000 | #Constraints: 15388 157.58/158.26 c #Conflicts: 272000 | #Constraints: 16393 157.58/158.26 c #Conflicts: 273000 | #Constraints: 17399 157.58/158.26 c #Conflicts: 274000 | #Constraints: 18405 157.58/158.26 c #Conflicts: 275000 | #Constraints: 19409 157.58/158.26 c #Conflicts: 276000 | #Constraints: 20417 157.58/158.26 c #Conflicts: 277000 | #Constraints: 21423 157.58/158.26 c INPROCESSING 157.58/158.26 c GARBAGE COLLECT 157.58/158.26 c rational objective -39 168.44/169.16 c #Conflicts: 278000 | #Constraints: 11925 168.44/169.16 c #Conflicts: 279000 | #Constraints: 12925 168.44/169.16 c #Conflicts: 280000 | #Constraints: 13940 168.44/169.16 c #Conflicts: 281000 | #Constraints: 14954 168.44/169.16 c #Conflicts: 282000 | #Constraints: 15962 168.44/169.16 c #Conflicts: 283000 | #Constraints: 16967 168.44/169.16 c #Conflicts: 284000 | #Constraints: 17976 168.44/169.16 c #Conflicts: 285000 | #Constraints: 18988 168.44/169.16 c #Conflicts: 286000 | #Constraints: 19999 168.44/169.16 c #Conflicts: 287000 | #Constraints: 21026 168.44/169.16 c #Conflicts: 288000 | #Constraints: 22031 168.44/169.16 c INPROCESSING 168.44/169.16 c GARBAGE COLLECT 168.44/169.16 c rational objective -39 228.98/230.01 c #Conflicts: 289000 | #Constraints: 12341 228.98/230.01 c #Conflicts: 290000 | #Constraints: 13345 228.98/230.01 c #Conflicts: 291000 | #Constraints: 14349 228.98/230.01 c #Conflicts: 292000 | #Constraints: 15353 228.98/230.01 c #Conflicts: 293000 | #Constraints: 16358 228.98/230.01 c #Conflicts: 294000 | #Constraints: 17363 228.98/230.01 c #Conflicts: 295000 | #Constraints: 18367 228.98/230.01 c #Conflicts: 296000 | #Constraints: 19373 228.98/230.01 c #Conflicts: 297000 | #Constraints: 20378 228.98/230.01 c #Conflicts: 298000 | #Constraints: 21383 228.98/230.01 c #Conflicts: 299000 | #Constraints: 22387 228.98/230.01 c INPROCESSING 228.98/230.01 c GARBAGE COLLECT 228.98/230.01 c rational objective -39 243.93/244.92 c #Conflicts: 300000 | #Constraints: 12510 243.93/244.92 c #Conflicts: 301000 | #Constraints: 13520 243.93/244.92 c #Conflicts: 302000 | #Constraints: 14541 243.93/244.92 c #Conflicts: 303000 | #Constraints: 15561 243.93/244.92 c #Conflicts: 304000 | #Constraints: 16577 243.93/244.92 c #Conflicts: 305000 | #Constraints: 17596 243.93/244.92 c #Conflicts: 306000 | #Constraints: 18625 243.93/244.92 c #Conflicts: 307000 | #Constraints: 19635 243.93/244.92 c #Conflicts: 308000 | #Constraints: 20657 243.93/244.92 c #Conflicts: 309000 | #Constraints: 21668 243.93/244.92 c #Conflicts: 310000 | #Constraints: 22677 243.93/244.92 c INPROCESSING 243.93/244.92 c GARBAGE COLLECT 243.93/244.92 c rational objective -39 258.09/259.13 c #Conflicts: 311000 | #Constraints: 12560 258.09/259.13 c #Conflicts: 312000 | #Constraints: 13560 258.09/259.13 c #Conflicts: 313000 | #Constraints: 14560 258.09/259.13 c #Conflicts: 314000 | #Constraints: 15560 258.09/259.13 c #Conflicts: 315000 | #Constraints: 16599 258.09/259.13 c #Conflicts: 316000 | #Constraints: 17615 258.09/259.13 c #Conflicts: 317000 | #Constraints: 18638 258.09/259.13 c #Conflicts: 318000 | #Constraints: 19654 258.09/259.13 c #Conflicts: 319000 | #Constraints: 20670 258.09/259.13 c #Conflicts: 320000 | #Constraints: 21696 258.09/259.13 c #Conflicts: 321000 | #Constraints: 22714 258.09/259.13 c INPROCESSING 258.09/259.13 c GARBAGE COLLECT 258.09/259.13 c rational objective -39 273.12/274.27 c #Conflicts: 322000 | #Constraints: 12376 273.12/274.27 c #Conflicts: 323000 | #Constraints: 13376 273.12/274.27 c #Conflicts: 324000 | #Constraints: 14377 273.12/274.27 c #Conflicts: 325000 | #Constraints: 15378 273.12/274.27 c #Conflicts: 326000 | #Constraints: 16378 273.12/274.27 c #Conflicts: 327000 | #Constraints: 17380 273.12/274.27 c #Conflicts: 328000 | #Constraints: 18382 273.12/274.27 c #Conflicts: 329000 | #Constraints: 19382 273.12/274.27 c #Conflicts: 330000 | #Constraints: 20383 273.12/274.27 c #Conflicts: 331000 | #Constraints: 21386 273.12/274.27 c #Conflicts: 332000 | #Constraints: 22396 273.12/274.27 c #Conflicts: 333000 | #Constraints: 23400 273.12/274.27 c INPROCESSING 273.12/274.27 c GARBAGE COLLECT 273.12/274.27 c rational objective -39 391.79/393.32 c #Conflicts: 334000 | #Constraints: 12908 391.79/393.32 c #Conflicts: 335000 | #Constraints: 13912 391.79/393.32 c #Conflicts: 336000 | #Constraints: 14915 391.79/393.32 c #Conflicts: 337000 | #Constraints: 15920 391.79/393.32 c #Conflicts: 338000 | #Constraints: 16925 391.79/393.32 c #Conflicts: 339000 | #Constraints: 17927 391.79/393.32 c #Conflicts: 340000 | #Constraints: 18931 391.79/393.32 c #Conflicts: 341000 | #Constraints: 19933 391.79/393.32 c #Conflicts: 342000 | #Constraints: 20939 391.79/393.32 c #Conflicts: 343000 | #Constraints: 21945 391.79/393.32 c #Conflicts: 344000 | #Constraints: 22950 391.79/393.32 c #Conflicts: 345000 | #Constraints: 23954 391.79/393.32 c INPROCESSING 391.79/393.32 c GARBAGE COLLECT 391.79/393.32 c rational objective -39 422.28/423.92 c #Conflicts: 346000 | #Constraints: 13300 422.28/423.92 c #Conflicts: 347000 | #Constraints: 14320 422.28/423.92 c #Conflicts: 348000 | #Constraints: 15322 422.28/423.92 c #Conflicts: 349000 | #Constraints: 16324 422.28/423.92 c #Conflicts: 350000 | #Constraints: 17340 422.28/423.92 c #Conflicts: 351000 | #Constraints: 18345 422.28/423.92 c #Conflicts: 352000 | #Constraints: 19352 422.28/423.92 c #Conflicts: 353000 | #Constraints: 20357 422.28/423.92 c #Conflicts: 354000 | #Constraints: 21369 422.28/423.92 c #Conflicts: 355000 | #Constraints: 22385 422.28/423.92 c #Conflicts: 356000 | #Constraints: 23400 422.28/423.92 c #Conflicts: 357000 | #Constraints: 24412 422.28/423.92 c INPROCESSING 422.28/423.92 c GARBAGE COLLECT 422.28/423.92 c rational objective -39 447.89/449.64 c #Conflicts: 358000 | #Constraints: 13528 447.89/449.64 c #Conflicts: 359000 | #Constraints: 14542 447.89/449.64 c #Conflicts: 360000 | #Constraints: 15545 447.89/449.64 c #Conflicts: 361000 | #Constraints: 16553 447.89/449.64 c #Conflicts: 362000 | #Constraints: 17565 447.89/449.64 c #Conflicts: 363000 | #Constraints: 18574 447.89/449.64 c #Conflicts: 364000 | #Constraints: 19589 447.89/449.64 c #Conflicts: 365000 | #Constraints: 20600 447.89/449.64 c #Conflicts: 366000 | #Constraints: 21614 447.89/449.64 c #Conflicts: 367000 | #Constraints: 22645 447.89/449.64 c #Conflicts: 368000 | #Constraints: 23658 447.89/449.64 c #Conflicts: 369000 | #Constraints: 24669 447.89/449.64 c INPROCESSING 447.89/449.64 c GARBAGE COLLECT 447.89/449.64 c rational objective -39 637.90/640.37 c #Conflicts: 370000 | #Constraints: 13556 637.90/640.37 c #Conflicts: 371000 | #Constraints: 14561 637.90/640.37 c #Conflicts: 372000 | #Constraints: 15568 637.90/640.37 c #Conflicts: 373000 | #Constraints: 16573 637.90/640.37 c #Conflicts: 374000 | #Constraints: 17577 637.90/640.37 c #Conflicts: 375000 | #Constraints: 18581 637.90/640.37 c #Conflicts: 376000 | #Constraints: 19586 637.90/640.37 c #Conflicts: 377000 | #Constraints: 20588 637.90/640.37 c #Conflicts: 378000 | #Constraints: 21594 637.90/640.37 c #Conflicts: 379000 | #Constraints: 22598 637.90/640.37 c #Conflicts: 380000 | #Constraints: 23603 637.90/640.37 c #Conflicts: 381000 | #Constraints: 24608 637.90/640.37 c INPROCESSING 637.90/640.37 c GARBAGE COLLECT 637.90/640.37 c rational objective -39 839.62/842.84 c #Conflicts: 382000 | #Constraints: 15314 839.62/842.84 c #Conflicts: 383000 | #Constraints: 16325 839.62/842.84 c #Conflicts: 384000 | #Constraints: 17345 839.62/842.84 c #Conflicts: 385000 | #Constraints: 18346 839.62/842.84 c #Conflicts: 386000 | #Constraints: 19346 839.62/842.84 c #Conflicts: 387000 | #Constraints: 20356 839.62/842.84 c #Conflicts: 388000 | #Constraints: 21367 839.62/842.84 c #Conflicts: 389000 | #Constraints: 22382 839.62/842.84 c #Conflicts: 390000 | #Constraints: 23390 839.62/842.84 c #Conflicts: 391000 | #Constraints: 24402 839.62/842.84 c #Conflicts: 392000 | #Constraints: 25420 839.62/842.84 c #Conflicts: 393000 | #Constraints: 26423 839.62/842.84 c #Conflicts: 394000 | #Constraints: 27424 839.62/842.84 c #Conflicts: 395000 | #Constraints: 28433 839.62/842.84 c #Conflicts: 396000 | #Constraints: 29439 839.62/842.84 c #Conflicts: 397000 | #Constraints: 30444 839.62/842.84 c #Conflicts: 398000 | #Constraints: 31448 839.62/842.84 c #Conflicts: 399000 | #Constraints: 32462 839.62/842.84 c #Conflicts: 400000 | #Constraints: 33476 839.62/842.84 c #Conflicts: 401000 | #Constraints: 34488 839.62/842.84 c #Conflicts: 402000 | #Constraints: 35519 839.62/842.84 c #Conflicts: 403000 | #Constraints: 36525 839.62/842.84 c #Conflicts: 404000 | #Constraints: 37543 839.62/842.84 c #Conflicts: 405000 | #Constraints: 38555 839.62/842.84 c #Conflicts: 406000 | #Constraints: 39558 839.62/842.84 c #Conflicts: 407000 | #Constraints: 40570 839.62/842.84 c #Conflicts: 408000 | #Constraints: 41575 839.62/842.84 c #Conflicts: 409000 | #Constraints: 42578 839.62/842.84 c #Conflicts: 410000 | #Constraints: 43585 839.62/842.84 c #Conflicts: 411000 | #Constraints: 44596 839.62/842.84 c #Conflicts: 412000 | #Constraints: 45617 839.62/842.84 c #Conflicts: 413000 | #Constraints: 46623 839.62/842.84 c #Conflicts: 414000 | #Constraints: 47649 839.62/842.84 c #Conflicts: 415000 | #Constraints: 48686 839.62/842.84 c #Conflicts: 416000 | #Constraints: 49714 839.62/842.84 c #Conflicts: 417000 | #Constraints: 50731 839.62/842.84 c #Conflicts: 418000 | #Constraints: 51739 839.62/842.84 c #Conflicts: 419000 | #Constraints: 52750 839.62/842.84 c #Conflicts: 420000 | #Constraints: 53759 839.62/842.84 c #Conflicts: 421000 | #Constraints: 54765 839.62/842.84 c #Conflicts: 422000 | #Constraints: 55774 839.62/842.84 c #Conflicts: 423000 | #Constraints: 56778 839.62/842.84 c #Conflicts: 424000 | #Constraints: 57782 839.62/842.84 c #Conflicts: 425000 | #Constraints: 58785 839.62/842.84 c #Conflicts: 426000 | #Constraints: 59785 839.62/842.84 c #Conflicts: 427000 | #Constraints: 60785 839.62/842.84 c #Conflicts: 428000 | #Constraints: 61790 839.62/842.84 c #Conflicts: 429000 | #Constraints: 62796 839.62/842.84 c #Conflicts: 430000 | #Constraints: 63801 839.62/842.84 c #Conflicts: 431000 | #Constraints: 64806 839.62/842.84 c #Conflicts: 432000 | #Constraints: 65809 839.62/842.84 c #Conflicts: 433000 | #Constraints: 66811 839.62/842.84 c #Conflicts: 434000 | #Constraints: 67814 839.62/842.84 c #Conflicts: 435000 | #Constraints: 68821 839.62/842.84 c #Conflicts: 436000 | #Constraints: 69827 839.62/842.84 c #Conflicts: 437000 | #Constraints: 70844 839.62/842.84 c #Conflicts: 438000 | #Constraints: 71871 839.62/842.84 c #Conflicts: 439000 | #Constraints: 72893 839.62/842.84 c #Conflicts: 440000 | #Constraints: 73911 839.62/842.84 c #Conflicts: 441000 | #Constraints: 74929 839.62/842.84 c #Conflicts: 442000 | #Constraints: 75941 839.62/842.84 c INPROCESSING 839.62/842.84 c GARBAGE COLLECT 839.62/842.84 c rational objective -39 1043.77/1047.77 c #Conflicts: 443000 | #Constraints: 38901 1043.77/1047.77 c #Conflicts: 444000 | #Constraints: 39906 1043.77/1047.77 c #Conflicts: 445000 | #Constraints: 40912 1043.77/1047.77 c #Conflicts: 446000 | #Constraints: 41916 1043.77/1047.77 c #Conflicts: 447000 | #Constraints: 42918 1043.77/1047.77 c #Conflicts: 448000 | #Constraints: 43923 1043.77/1047.77 c #Conflicts: 449000 | #Constraints: 44929 1043.77/1047.77 c #Conflicts: 450000 | #Constraints: 45933 1043.77/1047.77 c #Conflicts: 451000 | #Constraints: 46937 1043.77/1047.77 c #Conflicts: 452000 | #Constraints: 47953 1043.77/1047.77 c #Conflicts: 453000 | #Constraints: 48969 1043.77/1047.77 c #Conflicts: 454000 | #Constraints: 49977 1043.77/1047.77 c #Conflicts: 455000 | #Constraints: 50981 1043.77/1047.77 c #Conflicts: 456000 | #Constraints: 51984 1043.77/1047.77 c INPROCESSING 1043.77/1047.77 c GARBAGE COLLECT 1043.77/1047.77 c rational objective -39 1428.47/1433.88 c #Conflicts: 457000 | #Constraints: 27063 1428.47/1433.88 c #Conflicts: 458000 | #Constraints: 28066 1428.47/1433.88 c #Conflicts: 459000 | #Constraints: 29070 1428.47/1433.88 c #Conflicts: 460000 | #Constraints: 30074 1428.47/1433.88 c #Conflicts: 461000 | #Constraints: 31077 1428.47/1433.88 c #Conflicts: 462000 | #Constraints: 32079 1428.47/1433.88 c #Conflicts: 463000 | #Constraints: 33082 1428.47/1433.88 c #Conflicts: 464000 | #Constraints: 34085 1428.47/1433.88 c #Conflicts: 465000 | #Constraints: 35087 1428.47/1433.88 c #Conflicts: 466000 | #Constraints: 36092 1428.47/1433.88 c #Conflicts: 467000 | #Constraints: 37094 1428.47/1433.88 c #Conflicts: 468000 | #Constraints: 38098 1428.47/1433.88 c #Conflicts: 469000 | #Constraints: 39100 1428.47/1433.88 c #Conflicts: 470000 | #Constraints: 40104 1428.47/1433.88 c INPROCESSING 1428.47/1433.88 c GARBAGE COLLECT 1428.47/1433.88 c rational objective -39 1699.56/1705.92 c #Conflicts: 471000 | #Constraints: 25100 1699.56/1705.92 c #Conflicts: 472000 | #Constraints: 26118 1699.56/1705.92 c #Conflicts: 473000 | #Constraints: 27137 1699.56/1705.92 c #Conflicts: 474000 | #Constraints: 28167 1699.56/1705.92 c #Conflicts: 475000 | #Constraints: 29179 1699.56/1705.92 c #Conflicts: 476000 | #Constraints: 30199 1699.56/1705.92 c #Conflicts: 477000 | #Constraints: 31228 1699.56/1705.92 c #Conflicts: 478000 | #Constraints: 32252 1699.56/1705.92 c #Conflicts: 479000 | #Constraints: 33276 1699.56/1705.92 c #Conflicts: 480000 | #Constraints: 34297 1699.56/1705.92 c #Conflicts: 481000 | #Constraints: 35322 1699.56/1705.92 c #Conflicts: 482000 | #Constraints: 36332 1699.56/1705.92 c #Conflicts: 483000 | #Constraints: 37351 1699.56/1705.92 c #Conflicts: 484000 | #Constraints: 38376 1699.56/1705.92 c #Conflicts: 485000 | #Constraints: 39395 1699.56/1705.92 c #Conflicts: 486000 | #Constraints: 40407 1699.56/1705.92 c #Conflicts: 487000 | #Constraints: 41424 1699.56/1705.92 c #Conflicts: 488000 | #Constraints: 42427 1699.56/1705.92 c #Conflicts: 489000 | #Constraints: 43436 1699.56/1705.92 c #Conflicts: 490000 | #Constraints: 44445 1699.56/1705.92 c #Conflicts: 491000 | #Constraints: 45446 1699.56/1705.92 c #Conflicts: 492000 | #Constraints: 46457 1699.56/1705.92 c #Conflicts: 493000 | #Constraints: 47468 1699.56/1705.92 c #Conflicts: 494000 | #Constraints: 48476 1699.56/1705.92 c #Conflicts: 495000 | #Constraints: 49486 1699.56/1705.92 c #Conflicts: 496000 | #Constraints: 50502 1699.56/1705.92 c #Conflicts: 497000 | #Constraints: 51512 1699.56/1705.92 c #Conflicts: 498000 | #Constraints: 52517 1699.56/1705.92 c #Conflicts: 499000 | #Constraints: 53522 1699.56/1705.92 c #Conflicts: 500000 | #Constraints: 54524 1699.56/1705.92 c #Conflicts: 501000 | #Constraints: 55530 1699.56/1705.92 c #Conflicts: 502000 | #Constraints: 56536 1699.56/1705.92 c #Conflicts: 503000 | #Constraints: 57544 1699.56/1705.92 c #Conflicts: 504000 | #Constraints: 58554 1699.56/1705.92 c #Conflicts: 505000 | #Constraints: 59556 1699.56/1705.92 c #Conflicts: 506000 | #Constraints: 60559 1699.56/1705.92 c #Conflicts: 507000 | #Constraints: 61566 1699.56/1705.92 c #Conflicts: 508000 | #Constraints: 62574 1699.56/1705.92 c #Conflicts: 509000 | #Constraints: 63585 1699.56/1705.92 c #Conflicts: 510000 | #Constraints: 64586 1699.56/1705.92 c #Conflicts: 511000 | #Constraints: 65586 1699.56/1705.92 c #Conflicts: 512000 | #Constraints: 66587 1699.56/1705.92 c #Conflicts: 513000 | #Constraints: 67592 1699.56/1705.92 c #Conflicts: 514000 | #Constraints: 68602 1699.56/1705.92 c #Conflicts: 515000 | #Constraints: 69613 1699.56/1705.92 c #Conflicts: 516000 | #Constraints: 70623 1699.56/1705.92 c #Conflicts: 517000 | #Constraints: 71644 1699.56/1705.92 c #Conflicts: 518000 | #Constraints: 72650 1699.56/1705.92 c #Conflicts: 519000 | #Constraints: 73676 1699.56/1705.92 c #Conflicts: 520000 | #Constraints: 74685 1699.56/1705.92 c #Conflicts: 521000 | #Constraints: 75694 1699.56/1705.92 c #Conflicts: 522000 | #Constraints: 76703 1699.56/1705.92 c #Conflicts: 523000 | #Constraints: 77712 1699.56/1705.92 c #Conflicts: 524000 | #Constraints: 78737 1699.56/1705.92 c #Conflicts: 525000 | #Constraints: 79745 1699.56/1705.92 c #Conflicts: 526000 | #Constraints: 80759 1699.56/1705.92 c #Conflicts: 527000 | #Constraints: 81766 1699.56/1705.92 c #Conflicts: 528000 | #Constraints: 82771 1699.56/1705.92 c #Conflicts: 529000 | #Constraints: 83780 1699.56/1705.92 c #Conflicts: 530000 | #Constraints: 84806 1699.56/1705.92 c #Conflicts: 531000 | #Constraints: 85832 1699.56/1705.92 c #Conflicts: 532000 | #Constraints: 86852 1699.56/1705.92 c #Conflicts: 533000 | #Constraints: 87858 1699.56/1705.92 c #Conflicts: 534000 | #Constraints: 88863 1699.56/1705.92 c #Conflicts: 535000 | #Constraints: 89871 1699.56/1705.92 c INPROCESSING 1699.56/1705.92 c GARBAGE COLLECT 1699.56/1705.92 c rational objective -39 2170.45/2178.51 c #Conflicts: 536000 | #Constraints: 45854 2170.45/2178.51 c #Conflicts: 537000 | #Constraints: 46855 2170.45/2178.51 c #Conflicts: 538000 | #Constraints: 47856 2170.45/2178.51 c #Conflicts: 539000 | #Constraints: 48861 2170.45/2178.51 c #Conflicts: 540000 | #Constraints: 49865 2170.45/2178.51 c #Conflicts: 541000 | #Constraints: 50868 2170.45/2178.51 c #Conflicts: 542000 | #Constraints: 51875 2170.45/2178.51 c #Conflicts: 543000 | #Constraints: 52881 2170.45/2178.51 c #Conflicts: 544000 | #Constraints: 53886 2170.45/2178.51 c #Conflicts: 545000 | #Constraints: 54891 2170.45/2178.51 c #Conflicts: 546000 | #Constraints: 55897 2170.45/2178.51 c #Conflicts: 547000 | #Constraints: 56904 2170.45/2178.51 c #Conflicts: 548000 | #Constraints: 57910 2170.45/2178.51 c #Conflicts: 549000 | #Constraints: 58915 2170.45/2178.51 c #Conflicts: 550000 | #Constraints: 59918 2170.45/2178.51 c #Conflicts: 551000 | #Constraints: 60923 2170.45/2178.51 c INPROCESSING 2170.45/2178.51 c GARBAGE COLLECT 2170.45/2178.51 c rational objective -39 2641.08/2651.03 c #Conflicts: 552000 | #Constraints: 31805 2641.08/2651.03 c #Conflicts: 553000 | #Constraints: 32829 2641.08/2651.03 c #Conflicts: 554000 | #Constraints: 33863 2641.08/2651.03 c #Conflicts: 555000 | #Constraints: 34892 2641.08/2651.03 c #Conflicts: 556000 | #Constraints: 35918 2641.08/2651.03 c #Conflicts: 557000 | #Constraints: 36936 2641.08/2651.03 c #Conflicts: 558000 | #Constraints: 37944 2641.08/2651.03 c #Conflicts: 559000 | #Constraints: 38952 2641.08/2651.03 c #Conflicts: 560000 | #Constraints: 39967 2641.08/2651.03 c #Conflicts: 561000 | #Constraints: 40984 2641.08/2651.03 c #Conflicts: 562000 | #Constraints: 42004 2641.08/2651.03 c #Conflicts: 563000 | #Constraints: 43012 2641.08/2651.03 c #Conflicts: 564000 | #Constraints: 44024 2641.08/2651.03 c #Conflicts: 565000 | #Constraints: 45032 2641.08/2651.03 c #Conflicts: 566000 | #Constraints: 46043 2641.08/2651.03 c #Conflicts: 567000 | #Constraints: 47047 2641.08/2651.03 c #Conflicts: 568000 | #Constraints: 48050 2641.08/2651.03 c #Conflicts: 569000 | #Constraints: 49053 2641.08/2651.03 c #Conflicts: 570000 | #Constraints: 50062 2641.08/2651.03 c #Conflicts: 571000 | #Constraints: 51080 2641.08/2651.03 c #Conflicts: 572000 | #Constraints: 52082 2641.08/2651.03 c #Conflicts: 573000 | #Constraints: 53087 2641.08/2651.03 c #Conflicts: 574000 | #Constraints: 54089 2641.08/2651.03 c #Conflicts: 575000 | #Constraints: 55100 2641.08/2651.03 c #Conflicts: 576000 | #Constraints: 56104 2641.08/2651.03 c #Conflicts: 577000 | #Constraints: 57111 2641.08/2651.03 c #Conflicts: 578000 | #Constraints: 58119 2641.08/2651.03 c #Conflicts: 579000 | #Constraints: 59125 2641.08/2651.03 c #Conflicts: 580000 | #Constraints: 60142 2641.08/2651.03 c #Conflicts: 581000 | #Constraints: 61148 2641.08/2651.03 c #Conflicts: 582000 | #Constraints: 62160 2641.08/2651.03 c #Conflicts: 583000 | #Constraints: 63171 2641.08/2651.03 c #Conflicts: 584000 | #Constraints: 64176 2641.08/2651.03 c #Conflicts: 585000 | #Constraints: 65183 2641.08/2651.03 c #Conflicts: 586000 | #Constraints: 66190 2641.08/2651.03 c #Conflicts: 587000 | #Constraints: 67200 2641.08/2651.03 c #Conflicts: 588000 | #Constraints: 68206 2641.08/2651.03 c #Conflicts: 589000 | #Constraints: 69211 2641.08/2651.03 c #Conflicts: 590000 | #Constraints: 70215 2641.08/2651.03 c #Conflicts: 591000 | #Constraints: 71223 2641.08/2651.03 c #Conflicts: 592000 | #Constraints: 72239 2641.08/2651.03 c #Conflicts: 593000 | #Constraints: 73255 2641.08/2651.03 c #Conflicts: 594000 | #Constraints: 74265 2641.08/2651.03 c #Conflicts: 595000 | #Constraints: 75275 2641.08/2651.03 c #Conflicts: 596000 | #Constraints: 76281 2641.08/2651.03 c #Conflicts: 597000 | #Constraints: 77289 2641.08/2651.03 c #Conflicts: 598000 | #Constraints: 78297 2641.08/2651.03 c #Conflicts: 599000 | #Constraints: 79308 2641.08/2651.03 c #Conflicts: 600000 | #Constraints: 80318 2641.08/2651.03 c #Conflicts: 601000 | #Constraints: 81319 2641.08/2651.03 c #Conflicts: 602000 | #Constraints: 82323 2641.08/2651.03 c #Conflicts: 603000 | #Constraints: 83338 2641.08/2651.03 c #Conflicts: 604000 | #Constraints: 84340 2641.08/2651.03 c #Conflicts: 605000 | #Constraints: 85343 2641.08/2651.03 c #Conflicts: 606000 | #Constraints: 86346 2641.08/2651.03 c #Conflicts: 607000 | #Constraints: 87347 2641.08/2651.03 c #Conflicts: 608000 | #Constraints: 88352 2641.08/2651.03 c #Conflicts: 609000 | #Constraints: 89354 2641.08/2651.03 c #Conflicts: 610000 | #Constraints: 90356 2641.08/2651.03 c #Conflicts: 611000 | #Constraints: 91362 2641.08/2651.03 c #Conflicts: 612000 | #Constraints: 92366 2641.08/2651.03 c #Conflicts: 613000 | #Constraints: 93367 2641.08/2651.03 c #Conflicts: 614000 | #Constraints: 94369 2641.08/2651.03 c #Conflicts: 615000 | #Constraints: 95372 2641.08/2651.03 c #Conflicts: 616000 | #Constraints: 96376 2641.08/2651.03 c #Conflicts: 617000 | #Constraints: 97385 2641.08/2651.03 c #Conflicts: 618000 | #Constraints: 98389 2641.08/2651.03 c #Conflicts: 619000 | #Constraints: 99396 2641.08/2651.03 c INPROCESSING 2641.08/2651.03 c GARBAGE COLLECT 2641.08/2651.03 c rational objective -39 3143.83/3155.66 c #Conflicts: 620000 | #Constraints: 50765 3143.83/3155.66 c #Conflicts: 621000 | #Constraints: 51772 3143.83/3155.66 c #Conflicts: 622000 | #Constraints: 52775 3143.83/3155.66 c #Conflicts: 623000 | #Constraints: 53778 3143.83/3155.66 c #Conflicts: 624000 | #Constraints: 54782 3143.83/3155.66 c #Conflicts: 625000 | #Constraints: 55785 3143.83/3155.66 c #Conflicts: 626000 | #Constraints: 56788 3143.83/3155.66 c #Conflicts: 627000 | #Constraints: 57795 3143.83/3155.66 c #Conflicts: 628000 | #Constraints: 58800 3143.83/3155.66 c #Conflicts: 629000 | #Constraints: 59805 3143.83/3155.66 c #Conflicts: 630000 | #Constraints: 60808 3143.83/3155.66 c #Conflicts: 631000 | #Constraints: 61814 3143.83/3155.66 c #Conflicts: 632000 | #Constraints: 62819 3143.83/3155.66 c #Conflicts: 633000 | #Constraints: 63824 3143.83/3155.66 c #Conflicts: 634000 | #Constraints: 64829 3143.83/3155.66 c #Conflicts: 635000 | #Constraints: 65834 3143.83/3155.66 c #Conflicts: 636000 | #Constraints: 66839 3143.83/3155.66 c INPROCESSING 3143.83/3155.66 c GARBAGE COLLECT 3143.83/3155.66 c rational objective -39 3600.06/3613.60 c #Conflicts: 637000 | #Constraints: 35395 3600.06/3613.60 c #Conflicts: 638000 | #Constraints: 36398 3600.06/3613.60 c #Conflicts: 639000 | #Constraints: 37402 3600.06/3613.60 c #Conflicts: 640000 | #Constraints: 38408 3600.06/3613.60 c #Conflicts: 641000 | #Constraints: 39412 3600.06/3613.60 c #Conflicts: 642000 | #Constraints: 40418 3600.06/3613.60 c #Conflicts: 643000 | #Constraints: 41422 3600.06/3613.60 c bounds -32 >= -38 @ 3350.19 3600.06/3613.60 c #Conflicts: 644000 | #Constraints: 42435 3600.06/3613.60 c #Conflicts: 645000 | #Constraints: 43441 3600.06/3613.60 c #Conflicts: 646000 | #Constraints: 44448 3600.06/3613.60 c #Conflicts: 647000 | #Constraints: 45453 3600.06/3613.60 c #Conflicts: 648000 | #Constraints: 46464 3600.06/3613.60 c #Conflicts: 649000 | #Constraints: 47467 3600.06/3613.60 c #Conflicts: 650000 | #Constraints: 48470 3600.06/3613.60 c #Conflicts: 651000 | #Constraints: 49482 3600.06/3613.60 c #Conflicts: 652000 | #Constraints: 50487 3600.06/3613.60 c #Conflicts: 653000 | #Constraints: 51492 3600.06/3613.60 c #Conflicts: 654000 | #Constraints: 52494 3600.06/3613.60 c #Conflicts: 655000 | #Constraints: 53498 3600.06/3613.60 c #Conflicts: 656000 | #Constraints: 54513 3600.06/3613.60 c #Conflicts: 657000 | #Constraints: 55521 3600.06/3613.60 c #Conflicts: 658000 | #Constraints: 56537 3600.06/3613.60 c #Conflicts: 659000 | #Constraints: 57548 3600.06/3613.60 c #Conflicts: 660000 | #Constraints: 58558 3600.06/3613.60 c #Conflicts: 661000 | #Constraints: 59563 3600.06/3613.60 c #Conflicts: 662000 | #Constraints: 60571 3600.06/3613.60 c #Conflicts: 663000 | #Constraints: 61578 3600.06/3613.60 c #Conflicts: 664000 | #Constraints: 62581 3600.06/3613.60 c #Conflicts: 665000 | #Constraints: 63587 3600.06/3613.60 c #Conflicts: 666000 | #Constraints: 64602 3600.06/3613.60 c #Conflicts: 667000 | #Constraints: 65628 3600.06/3613.60 c #Conflicts: 668000 | #Constraints: 66638 3600.06/3613.60 c #Conflicts: 669000 | #Constraints: 67646 3600.06/3613.60 c #Conflicts: 670000 | #Constraints: 68649 3600.06/3613.60 c #Conflicts: 671000 | #Constraints: 69654 3600.06/3613.60 c #Conflicts: 672000 | #Constraints: 70660 3600.06/3613.60 c #Conflicts: 673000 | #Constraints: 71667 3600.06/3613.60 c #Conflicts: 674000 | #Constraints: 72676 3600.06/3613.60 c #Conflicts: 675000 | #Constraints: 73684 3600.06/3613.60 c #Conflicts: 676000 | #Constraints: 74689 3600.06/3613.60 c #Conflicts: 677000 | #Constraints: 75699 3600.06/3613.60 c #Conflicts: 678000 | #Constraints: 76719 3600.06/3613.60 c #Conflicts: 679000 | #Constraints: 77736 3600.06/3613.60 c #Conflicts: 680000 | #Constraints: 78742 3600.06/3613.60 c #Conflicts: 681000 | #Constraints: 79744 3600.06/3613.60 c #Conflicts: 682000 | #Constraints: 80754 3600.06/3613.60 c #Conflicts: 683000 | #Constraints: 81759 3600.06/3613.60 c #Conflicts: 684000 | #Constraints: 82765 3600.06/3613.60 c #Conflicts: 685000 | #Constraints: 83774 3600.06/3613.60 c #Conflicts: 686000 | #Constraints: 84785 3600.06/3613.60 c #Conflicts: 687000 | #Constraints: 85804 3600.06/3613.60 c #Conflicts: 688000 | #Constraints: 86810 3600.06/3613.60 c #Conflicts: 689000 | #Constraints: 87814 3600.06/3613.60 c #Conflicts: 690000 | #Constraints: 88823 3600.06/3613.60 c Program interrupted by user. 3600.06/3613.60 c cpu time 3584.2 s 3600.06/3613.60 c deterministic time 291387102534 2.91e+11 3600.06/3613.60 c optimization time 234.031 s 3600.06/3613.60 c total solve time 3350.16 s 3600.06/3613.60 c core-guided solve time 2234.62 s 3600.06/3613.60 c propagation time 3389 s 3600.06/3613.60 c conflict analysis time 173.535 s 3600.06/3613.60 c propagations 65409938 3600.06/3613.60 c resolve steps 5192012 3600.06/3613.60 c decisions 7268013 3600.06/3613.60 c conflicts 690582 3600.06/3613.60 c restarts 1516 3600.06/3613.60 c inprocessing phases 60 3600.06/3613.60 c input clauses 457 3600.06/3613.60 c input cardinalities 125 3600.06/3613.60 c input general constraints 36 3600.06/3613.60 c input average constraint length 51.36 3600.06/3613.60 c input average constraint degree 25.56 3600.06/3613.60 c learned clauses 347460 3600.06/3613.60 c learned cardinalities 15103 3600.06/3613.60 c learned general constraints 334365 3600.06/3613.60 c learned average constraint length 165.03 3600.06/3613.60 c learned average constraint degree 66088955.06 3600.06/3613.60 c watched constraints 305647 3600.06/3613.60 c counting constraints 28754 3600.06/3613.60 c gcd simplifications 24631 3600.06/3613.60 c detected cardinalities 1829 3600.06/3613.60 c weakened non-implied lits 19378778 3600.06/3613.60 c weakened non-implying lits 34494 3600.06/3613.60 c original variables 1056 3600.06/3613.60 c clausal propagations 11273738 3600.06/3613.60 c cardinality propagations 12766031 3600.06/3613.60 c watched propagations 10226302 3600.06/3613.60 c counting propagations 30106473 3600.06/3613.60 c watch lookups 62450442524 3600.06/3613.60 c watch backjump lookups 55832592795 3600.06/3613.60 c watch checks 166503233955 3600.06/3613.60 c propagation checks 6170348875 3600.06/3613.60 c constraint additions 283752521 3600.06/3613.60 c trail pops 73361759 3600.06/3613.60 c formula constraints 488 3600.06/3613.60 c learned constraints 684234 3600.06/3613.60 c bound constraints 43 3600.06/3613.60 c core-guided constraints 87 3600.06/3613.60 c encountered formula constraints 3464684 3600.06/3613.60 c encountered learned constraints 2300895 3600.06/3613.60 c encountered bound constraints 29 3600.06/3613.60 c encountered core-guided constraints 8725 3600.06/3613.60 c LP total time 27.0358 s 3600.06/3613.60 c LP solve time 22.32 s 3600.06/3613.60 c LP constraints added 1075 3600.06/3613.60 c LP constraints removed 572 3600.06/3613.60 c LP pivots internal 690713 3600.06/3613.60 c LP pivots root 1440 3600.06/3613.60 c LP calls 49843 3600.06/3613.60 c LP optimalities 43496 3600.06/3613.60 c LP no pivot count 16049 3600.06/3613.60 c LP infeasibilities 6347 3600.06/3613.60 c LP valid Farkas constraints 6347 3600.06/3613.60 c LP learned Farkas constraints 6347 3600.06/3613.60 c LP basis resets 0 3600.06/3613.60 c LP cycling count 0 3600.06/3613.60 c LP singular count 0 3600.06/3613.60 c LP no primal count 0 3600.06/3613.60 c LP no farkas count 0 3600.06/3613.60 c LP other issue count 0 3600.06/3613.60 c LP Gomory cuts 0 3600.06/3613.60 c LP learned cuts 587 3600.06/3613.60 c LP deleted cuts 572 3600.06/3613.60 c LP encountered Gomory constraints 0 3600.06/3613.60 c LP encountered Farkas constraints 79130 3600.06/3613.60 c LP encountered learned Farkas constraints 22784 3600.06/3613.60 c CG auxiliary variables introduced 43 3600.06/3613.60 c CG solutions found 1 3600.06/3613.60 c CG cores constructed 42 3600.06/3613.60 c CG core cardinality constraints returned 40 3600.06/3613.60 c CG unit cores 0 3600.06/3613.60 c CG single cores 42 3600.06/3613.60 c CG blocks removed during cardinality reduction 0 3600.06/3613.60 c CG first core best 0 3600.06/3613.60 c CG decision core best 0 3600.06/3613.60 c CG core reduction tie 0 3600.06/3613.60 c CG core degree average 14.33 3600.06/3613.60 c CG core slack average 1.69 3600.06/3613.60 s SATISFIABLE 3600.06/3613.60 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 (59857 MiB free)
memory of node 1: 64473 MiB (58547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458480-1721881282/watcher-4458480-1721881282 -o /tmp/evaluation-result-4458480-1721881282/solver-4458480-1721881282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216649 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458480-1721881282 --lp-cut-gomory=0 HOME/instance-4458480-1721881282.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
Current StackSize limit: 8192 KiB
solver pid=219711, runsolver pid=219708
[startup+0.100699 s]*
/proc/loadavg: 4.13 4.27 4.20 5/247 219712
/proc/meminfo: memFree=121241204/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=39544 memory=11852 CPUtime=0.1 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 840 0 0 0 8 2 0 0 20 0 1 0 24117202 40493056 2963 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 9886 2963 1872 992 0 1744 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39544 KiB
Current children cumulated memory: 11852 KiB
[startup+0.213288 s]*
/proc/loadavg: 4.13 4.27 4.20 5/247 219712
/proc/meminfo: memFree=121239524/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=40260 memory=12644 CPUtime=0.21 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 998 0 0 0 18 3 0 0 20 0 1 0 24117202 41226240 3095 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 10065 3095 1872 992 0 1923 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40260 KiB
Current children cumulated memory: 12644 KiB
[startup+0.313087 s]*
/proc/loadavg: 4.13 4.27 4.20 5/247 219712
/proc/meminfo: memFree=121238852/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=40528 memory=12968 CPUtime=0.31 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 1073 0 0 0 27 4 0 0 20 0 1 0 24117202 41500672 3242 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 10132 3242 1888 992 0 1990 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40528 KiB
Current children cumulated memory: 12968 KiB
[startup+0.700335 s]
/proc/loadavg: 4.13 4.27 4.20 5/247 219712
/proc/meminfo: memFree=121237516/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=41060 memory=15544 CPUtime=0.69 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 1208 0 0 0 62 7 0 0 20 0 1 0 24117202 42045440 3886 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 10265 3886 1888 992 0 2123 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41060 KiB
Current children cumulated memory: 15544 KiB
[startup+1.50034 s]
/proc/loadavg: 4.13 4.27 4.20 5/247 219712
/proc/meminfo: memFree=121232844/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=42836 memory=17388 CPUtime=1.48 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 1687 0 0 0 137 11 0 0 20 0 1 0 24117202 43864064 4347 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 10709 4347 1888 992 0 2567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17388 KiB
[startup+3.11308 s]
/proc/loadavg: 4.12 4.27 4.20 5/247 219712
/proc/meminfo: memFree=121218488/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=43668 memory=18172 CPUtime=3.09 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 1918 0 0 0 289 20 0 0 20 0 1 0 24117202 44716032 4543 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 10917 4543 1888 992 0 2775 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 18172 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.27 4.20 5/247 219713
/proc/meminfo: memFree=121199704/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=48192 memory=21060 CPUtime=6.26 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 2634 0 0 0 589 37 0 0 20 0 1 0 24117202 49348608 5265 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 12048 5265 1888 992 0 3906 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 48192 KiB
Current children cumulated memory: 21060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.26 4.20 5/247 219715
/proc/meminfo: memFree=121167772/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=54944 memory=25160 CPUtime=12.64 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 3636 0 0 0 1199 65 0 0 20 0 1 0 24117202 56262656 6290 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 13736 6290 1888 992 0 5594 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 54944 KiB
Current children cumulated memory: 25160 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.25 4.19 5/247 219717
/proc/meminfo: memFree=121106016/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=57344 memory=30724 CPUtime=25.39 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 4718 0 0 0 2423 116 0 0 20 0 1 0 24117202 58720256 7681 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 14336 7681 1888 992 0 6194 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 57344 KiB
Current children cumulated memory: 30724 KiB
[startup+51.1131 s]
/proc/loadavg: 4.13 4.25 4.19 5/247 219721
/proc/meminfo: memFree=120920036/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=68644 memory=38472 CPUtime=50.9 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 6426 0 0 0 4888 202 0 0 20 0 1 0 24117202 70291456 9618 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 17161 9618 1888 992 0 9019 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 38472 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/247 219730
/proc/meminfo: memFree=120723584/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=72444 memory=45944 CPUtime=101.88 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 7486 0 0 0 9858 330 0 0 20 0 1 0 24117202 74182656 11486 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 18111 11486 1888 992 0 9969 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 72444 KiB
Current children cumulated memory: 45944 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.18 4.17 5/247 219740
/proc/meminfo: memFree=120502736/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=78972 memory=51560 CPUtime=161.66 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 9330 0 0 0 15723 443 0 0 20 0 1 0 24117202 80867328 12890 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 19743 12890 1888 992 0 11601 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 78972 KiB
Current children cumulated memory: 51560 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/247 219751
/proc/meminfo: memFree=120353200/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=94944 memory=57416 CPUtime=221.42 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 10307 0 0 0 21630 512 0 0 20 0 1 0 24117202 97222656 14354 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 23736 14354 1888 992 0 15594 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 94944 KiB
Current children cumulated memory: 57416 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/246 220143
/proc/meminfo: memFree=120256840/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=95840 memory=65732 CPUtime=281.18 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 10856 0 0 0 27544 574 0 0 20 0 1 0 24117202 98140160 16433 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 23960 16433 1888 992 0 15818 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 95840 KiB
Current children cumulated memory: 65732 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/245 220153
/proc/meminfo: memFree=120201080/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=96736 memory=66344 CPUtime=340.98 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 11048 0 0 0 33476 622 0 0 20 0 1 0 24117202 99057664 16586 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 24184 16586 1888 992 0 16042 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 96736 KiB
Current children cumulated memory: 66344 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 220163
/proc/meminfo: memFree=120146812/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=100324 memory=68872 CPUtime=400.76 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 11783 0 0 0 39421 655 0 0 20 0 1 0 24117202 102731776 17218 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 25081 17218 1888 992 0 16939 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 100324 KiB
Current children cumulated memory: 68872 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/247 220346
/proc/meminfo: memFree=120084284/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=100964 memory=69368 CPUtime=460.54 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 12098 0 0 0 45358 696 0 0 20 0 1 0 24117202 103387136 17342 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 25241 17342 1888 992 0 17099 0
################
# More data... #
################
Current children cumulated memory: 206696 KiB
[startup+2862.3 s]
/proc/loadavg: 4.23 4.18 4.19 5/243 221416
/proc/meminfo: memFree=118094620/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=258920 memory=206696 CPUtime=2851.59 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 28212 0 0 0 283744 1415 0 0 20 0 1 0 24117202 265134080 51674 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 64730 51674 1888 992 0 56588 0
Current children cumulated CPU time: 2851.59 s
Current children cumulated vsize: 258920 KiB
Current children cumulated memory: 206696 KiB
[startup+2922.3 s]
/proc/loadavg: 4.79 4.36 4.25 5/243 221427
/proc/meminfo: memFree=118041680/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=259604 memory=206572 CPUtime=2911.37 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 28447 0 0 0 289712 1425 0 0 20 0 1 0 24117202 265834496 51643 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 64901 51643 1888 992 0 56759 0
Current children cumulated CPU time: 2911.37 s
Current children cumulated vsize: 259604 KiB
Current children cumulated memory: 206572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.32 4.30 4.24 5/246 221442
/proc/meminfo: memFree=118003844/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=260116 memory=206812 CPUtime=2971.15 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 28612 0 0 0 295680 1435 0 0 20 0 1 0 24117202 266358784 51703 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 65029 51703 1888 992 0 56887 0
Current children cumulated CPU time: 2971.15 s
Current children cumulated vsize: 260116 KiB
Current children cumulated memory: 206812 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.26 4.23 5/246 221453
/proc/meminfo: memFree=117975168/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=261776 memory=207700 CPUtime=3030.93 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 28938 0 0 0 301647 1446 0 0 20 0 1 0 24117202 268058624 51925 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 65444 51925 1888 992 0 57302 0
Current children cumulated CPU time: 3030.93 s
Current children cumulated vsize: 261776 KiB
Current children cumulated memory: 207700 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.24 4.22 4/246 221463
/proc/meminfo: memFree=117935952/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=262800 memory=208200 CPUtime=3090.72 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 29161 0 0 0 307617 1455 0 0 20 0 1 0 24117202 269107200 52050 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 65700 52050 1888 992 0 57558 0
Current children cumulated CPU time: 3090.72 s
Current children cumulated vsize: 262800 KiB
Current children cumulated memory: 208200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.21 4.21 4/244 221474
/proc/meminfo: memFree=117918604/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=264192 memory=209492 CPUtime=3150.51 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 29566 0 0 0 313584 1467 0 0 20 0 1 0 24117202 270532608 52373 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 66048 52373 1888 992 0 57906 0
Current children cumulated CPU time: 3150.51 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 209492 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.19 4.20 4/244 221484
/proc/meminfo: memFree=117901496/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=264192 memory=209640 CPUtime=3210.3 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 29629 0 0 0 319550 1480 0 0 20 0 1 0 24117202 270532608 52410 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 66048 52410 1888 992 0 57906 0
Current children cumulated CPU time: 3210.3 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 209640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.19 5/262 221744
/proc/meminfo: memFree=118062160/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=264192 memory=209640 CPUtime=3270.1 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 29693 0 0 0 325517 1493 0 0 20 0 1 0 24117202 270532608 52410 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 66048 52410 1888 992 0 57906 0
Current children cumulated CPU time: 3270.1 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 209640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.15 4.18 5/255 221783
/proc/meminfo: memFree=117728540/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=264192 memory=209640 CPUtime=3329.89 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 29758 0 0 0 331487 1502 0 0 20 0 1 0 24117202 270532608 52410 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 66048 52410 1888 992 0 57906 0
Current children cumulated CPU time: 3329.89 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 209640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.17 5/260 221906
/proc/meminfo: memFree=118828460/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=264336 memory=209640 CPUtime=3389.65 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 29839 0 0 0 337441 1524 0 0 20 0 1 0 24117202 270680064 52410 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 66084 52410 1888 992 0 57942 0
Current children cumulated CPU time: 3389.65 s
Current children cumulated vsize: 264336 KiB
Current children cumulated memory: 209640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.18 5/260 221917
/proc/meminfo: memFree=118676364/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=267024 memory=211300 CPUtime=3449.4 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 30332 0 0 0 343392 1548 0 0 20 0 1 0 24117202 273432576 52825 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 66756 52825 1888 992 0 58614 0
Current children cumulated CPU time: 3449.4 s
Current children cumulated vsize: 267024 KiB
Current children cumulated memory: 211300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.02 4.12 4.17 5/258 221942
/proc/meminfo: memFree=118642456/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=268048 memory=211784 CPUtime=3509.14 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 30551 0 0 0 349358 1556 0 0 20 0 1 0 24117202 274481152 52946 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 67012 52946 1888 992 0 58870 0
Current children cumulated CPU time: 3509.14 s
Current children cumulated vsize: 268048 KiB
Current children cumulated memory: 211784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/248 221986
/proc/meminfo: memFree=119184424/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=270992 memory=218124 CPUtime=3568.88 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 31133 0 0 0 355313 1575 0 0 20 0 1 0 24117202 277495808 54531 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 67748 54531 1888 992 0 59606 0
Current children cumulated CPU time: 3568.88 s
Current children cumulated vsize: 270992 KiB
Current children cumulated memory: 218124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.06 4.11 4.16 5/248 221993
/proc/meminfo: memFree=119121144/131655788 swapFree=131071472/131071996
[pid=219711] ppid=219708 vsize=273940 memory=219608 CPUtime=3600.06 cores=0,2
/proc/219711/stat : 219711 (roundingsat) R 219708 219711 216639 0 -1 4194304 31626 0 0 0 358419 1587 0 0 20 0 1 0 24117202 280514560 54902 134679101440 4194304 8254037 140731819750016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11493376 140731819754332 140731819754594 140731819754594 140731819761609 0
/proc/219711/statm: 68485 54902 1888 992 0 60343 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 273940 KiB
Current children cumulated memory: 219608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.61 s]
# the end of solver process 219711 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.2 s, system=15.8756 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.61
CPU time (s): 3600.08
CPU user time (s): 3584.2
CPU system time (s): 15.8756
CPU usage (%): 99.6256
Max. virtual memory (cumulated for all children) (KiB): 273940
Max. memory (cumulated for all children) (KiB): 219608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.2
system time used= 15.8756
maximum resident set size= 220108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 953664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90
involuntary context switches= 25337
# summary of solver processes directly reported to runsolver:
# pid: 219711
# total CPU time (s): 3600.08
# total CPU user time (s): 3584.2
# total CPU system time (s): 15.8756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5048 second user time and 37.5163 second system time
The end
Begin job on nodeC004 at 2024-07-25 06:21:23 IDJOB=4458480 IDBENCH=177485 IDSOLVER=3085 FILE ID=nodeC004/4458480-1721881282 RUNJOBID= nodeC004-1721877159-216649 SLURM_JOB_ID= 8089264 Free space on /tmp= 723764 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-4458480-1721881282/watcher-4458480-1721881282 -o /tmp/evaluation-result-4458480-1721881282/solver-4458480-1721881282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216649 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458480-1721881282 --lp-cut-gomory=0 HOME/instance-4458480-1721881282.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 678da6339402b89815c46f6042afd950 RANDOM SEED=299974680 nodeC004.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 : 3492.079 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 : 6984.13 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 : 3664.276 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.36 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 : 1197.282 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 : 6984.13 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.535 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.36 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 : 3494.394 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 : 6984.13 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 : 3664.420 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.36 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.478 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 : 6984.13 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.414 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121246680 kB MemAvailable: 129603988 kB Buffers: 302336 kB Cached: 8843848 kB SwapCached: 60 kB Active: 2628280 kB Inactive: 7137316 kB Active(anon): 1444 kB Inactive(anon): 671252 kB Active(file): 2626836 kB Inactive(file): 6466064 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 24048 kB Writeback: 0 kB AnonPages: 616460 kB Mapped: 125988 kB Shmem: 53860 kB KReclaimable: 209216 kB Slab: 322012 kB SReclaimable: 209216 kB SUnreclaim: 112796 kB KernelStack: 3948 kB PageTables: 11016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 940648 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723748 MiB End job on nodeC004 at 2024-07-25 07:21:36