| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | -32 | 3600.07 | 3609.21 |
| 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.00 c #variables 1056 #constraints 488 0.00/0.00 c bounds - >= -640 @ 0.002363 0.00/0.00 c rational objective -40 0.32/0.38 c bounds -32 >= -640 @ 0.020575 0.32/0.38 c bounds -32 >= -625 @ 0.020915 0.32/0.38 c bounds -32 >= -610 @ 0.021173 0.32/0.38 c bounds -32 >= -595 @ 0.021408 0.32/0.38 c bounds -32 >= -580 @ 0.021636 0.32/0.38 c bounds -32 >= -565 @ 0.021881 0.32/0.38 c bounds -32 >= -550 @ 0.022122 0.32/0.38 c bounds -32 >= -535 @ 0.022348 0.32/0.38 c bounds -32 >= -520 @ 0.02257 0.32/0.38 c bounds -32 >= -505 @ 0.022807 0.32/0.38 c bounds -32 >= -490 @ 0.023046 0.32/0.38 c bounds -32 >= -475 @ 0.023261 0.32/0.38 c bounds -32 >= -460 @ 0.023475 0.32/0.38 c bounds -32 >= -445 @ 0.0237 0.32/0.38 c bounds -32 >= -430 @ 0.023929 0.32/0.38 c bounds -32 >= -415 @ 0.024156 0.32/0.38 c bounds -32 >= -400 @ 0.024366 0.32/0.38 c bounds -32 >= -385 @ 0.024582 0.32/0.38 c bounds -32 >= -370 @ 0.024815 0.32/0.38 c bounds -32 >= -355 @ 0.025044 0.32/0.38 c bounds -32 >= -340 @ 0.025249 0.32/0.38 c bounds -32 >= -325 @ 0.025454 0.32/0.38 c bounds -32 >= -310 @ 0.025655 0.32/0.38 c bounds -32 >= -295 @ 0.025878 0.32/0.38 c bounds -32 >= -280 @ 0.026091 0.32/0.38 c bounds -32 >= -265 @ 0.02629 0.32/0.38 c bounds -32 >= -250 @ 0.026485 0.32/0.38 c bounds -32 >= -235 @ 0.026521 0.32/0.38 c bounds -32 >= -220 @ 0.026521 0.32/0.38 c bounds -32 >= -205 @ 0.026521 0.32/0.38 c bounds -32 >= -190 @ 0.026521 0.32/0.38 c bounds -32 >= -175 @ 0.026521 0.32/0.38 c bounds -32 >= -160 @ 0.026719 0.32/0.38 c bounds -32 >= -145 @ 0.026913 0.32/0.38 c bounds -32 >= -130 @ 0.027112 0.32/0.38 c bounds -32 >= -115 @ 0.027298 0.32/0.38 c bounds -32 >= -100 @ 0.02748 0.32/0.38 c bounds -32 >= -85 @ 0.027645 0.32/0.38 c bounds -32 >= -70 @ 0.02785 0.32/0.38 c bounds -32 >= -55 @ 0.028041 0.32/0.38 c bounds -32 >= -40 @ 0.028221 0.32/0.38 c #Conflicts: 1000 | #Constraints: 1617 0.32/0.38 c #Conflicts: 2000 | #Constraints: 2625 0.32/0.38 c INPROCESSING 0.32/0.38 c GARBAGE COLLECT 0.32/0.38 c rational objective -40 0.89/0.93 c #Conflicts: 3000 | #Constraints: 2601 0.89/0.93 c #Conflicts: 4000 | #Constraints: 3609 0.89/0.93 c INPROCESSING 0.89/0.93 c GARBAGE COLLECT 0.89/0.93 c rational objective -40 1.38/1.47 c #Conflicts: 5000 | #Constraints: 3017 1.38/1.47 c #Conflicts: 6000 | #Constraints: 4033 1.38/1.47 c INPROCESSING 1.38/1.47 c GARBAGE COLLECT 1.38/1.47 c rational objective -40 1.99/2.08 c #Conflicts: 7000 | #Constraints: 3038 1.99/2.08 c #Conflicts: 8000 | #Constraints: 4053 1.99/2.08 c #Conflicts: 9000 | #Constraints: 5068 1.99/2.08 c INPROCESSING 1.99/2.08 c GARBAGE COLLECT 1.99/2.08 c rational objective -40 2.58/2.69 c #Conflicts: 10000 | #Constraints: 3747 2.58/2.69 c #Conflicts: 11000 | #Constraints: 4762 2.58/2.69 c bounds -32 >= -39 @ 2.37714 2.58/2.69 c #Conflicts: 12000 | #Constraints: 5774 2.58/2.69 c INPROCESSING 2.58/2.69 c GARBAGE COLLECT 2.58/2.69 c rational objective -39 3.39/3.41 c #Conflicts: 13000 | #Constraints: 4207 3.39/3.41 c #Conflicts: 14000 | #Constraints: 5213 3.39/3.41 c #Conflicts: 15000 | #Constraints: 6221 3.39/3.41 c INPROCESSING 3.39/3.41 c GARBAGE COLLECT 3.39/3.41 c rational objective -39 4.28/4.31 c #Conflicts: 16000 | #Constraints: 4434 4.28/4.31 c #Conflicts: 17000 | #Constraints: 5440 4.28/4.31 c #Conflicts: 18000 | #Constraints: 6451 4.28/4.31 c INPROCESSING 4.28/4.31 c GARBAGE COLLECT 4.28/4.31 c rational objective -39 4.99/5.08 c #Conflicts: 19000 | #Constraints: 4439 4.99/5.08 c #Conflicts: 20000 | #Constraints: 5456 4.99/5.08 c #Conflicts: 21000 | #Constraints: 6463 4.99/5.08 c INPROCESSING 4.99/5.08 c GARBAGE COLLECT 4.99/5.08 c rational objective -39 5.88/5.90 c #Conflicts: 22000 | #Constraints: 4247 5.88/5.90 c #Conflicts: 23000 | #Constraints: 5253 5.88/5.90 c #Conflicts: 24000 | #Constraints: 6265 5.88/5.90 c #Conflicts: 25000 | #Constraints: 7280 5.88/5.90 c INPROCESSING 5.88/5.90 c GARBAGE COLLECT 5.88/5.90 c rational objective -39 6.87/6.94 c #Conflicts: 26000 | #Constraints: 4867 6.87/6.94 c #Conflicts: 27000 | #Constraints: 5889 6.87/6.94 c #Conflicts: 28000 | #Constraints: 6905 6.87/6.94 c #Conflicts: 29000 | #Constraints: 7916 6.87/6.94 c INPROCESSING 6.87/6.94 c GARBAGE COLLECT 6.87/6.94 c rational objective -39 7.77/7.88 c #Conflicts: 30000 | #Constraints: 5274 7.77/7.88 c #Conflicts: 31000 | #Constraints: 6292 7.77/7.88 c #Conflicts: 32000 | #Constraints: 7309 7.77/7.88 c #Conflicts: 33000 | #Constraints: 8321 7.77/7.88 c INPROCESSING 7.77/7.88 c GARBAGE COLLECT 7.77/7.88 c rational objective -39 9.17/9.26 c #Conflicts: 34000 | #Constraints: 5500 9.17/9.26 c #Conflicts: 35000 | #Constraints: 6516 9.17/9.26 c #Conflicts: 36000 | #Constraints: 7533 9.17/9.26 c #Conflicts: 37000 | #Constraints: 8547 9.17/9.26 c INPROCESSING 9.17/9.26 c GARBAGE COLLECT 9.17/9.26 c rational objective -39 10.36/10.46 c #Conflicts: 38000 | #Constraints: 5492 10.36/10.46 c #Conflicts: 39000 | #Constraints: 6506 10.36/10.46 c #Conflicts: 40000 | #Constraints: 7531 10.36/10.46 c #Conflicts: 41000 | #Constraints: 8542 10.36/10.46 c INPROCESSING 10.36/10.46 c GARBAGE COLLECT 10.36/10.46 c rational objective -39 11.46/11.55 c #Conflicts: 42000 | #Constraints: 5297 11.46/11.55 c #Conflicts: 43000 | #Constraints: 6305 11.46/11.55 c #Conflicts: 44000 | #Constraints: 7314 11.46/11.55 c #Conflicts: 45000 | #Constraints: 8323 11.46/11.55 c #Conflicts: 46000 | #Constraints: 9346 11.46/11.55 c INPROCESSING 11.46/11.55 c GARBAGE COLLECT 11.46/11.55 c rational objective -39 12.86/12.93 c #Conflicts: 47000 | #Constraints: 5893 12.86/12.93 c #Conflicts: 48000 | #Constraints: 6913 12.86/12.93 c #Conflicts: 49000 | #Constraints: 7917 12.86/12.93 c #Conflicts: 50000 | #Constraints: 8934 12.86/12.93 c #Conflicts: 51000 | #Constraints: 9938 12.86/12.93 c INPROCESSING 12.86/12.93 c GARBAGE COLLECT 12.86/12.93 c rational objective -39 14.25/14.31 c #Conflicts: 52000 | #Constraints: 6281 14.25/14.31 c #Conflicts: 53000 | #Constraints: 7281 14.25/14.31 c #Conflicts: 54000 | #Constraints: 8285 14.25/14.31 c #Conflicts: 55000 | #Constraints: 9293 14.25/14.31 c #Conflicts: 56000 | #Constraints: 10302 14.25/14.31 c INPROCESSING 14.25/14.31 c GARBAGE COLLECT 14.25/14.31 c rational objective -39 15.96/16.06 c #Conflicts: 57000 | #Constraints: 6470 15.96/16.06 c #Conflicts: 58000 | #Constraints: 7474 15.96/16.06 c #Conflicts: 59000 | #Constraints: 8483 15.96/16.06 c #Conflicts: 60000 | #Constraints: 9495 15.96/16.06 c #Conflicts: 61000 | #Constraints: 10503 15.96/16.06 c INPROCESSING 15.96/16.06 c GARBAGE COLLECT 15.96/16.06 c rational objective -39 17.75/17.86 c #Conflicts: 62000 | #Constraints: 6465 17.75/17.86 c #Conflicts: 63000 | #Constraints: 7472 17.75/17.86 c #Conflicts: 64000 | #Constraints: 8476 17.75/17.86 c #Conflicts: 65000 | #Constraints: 9494 17.75/17.86 c #Conflicts: 66000 | #Constraints: 10511 17.75/17.86 c INPROCESSING 17.75/17.86 c GARBAGE COLLECT 17.75/17.86 c rational objective -39 19.84/20.00 c #Conflicts: 67000 | #Constraints: 6274 19.84/20.00 c #Conflicts: 68000 | #Constraints: 7282 19.84/20.00 c #Conflicts: 69000 | #Constraints: 8290 19.84/20.00 c #Conflicts: 70000 | #Constraints: 9297 19.84/20.00 c #Conflicts: 71000 | #Constraints: 10310 19.84/20.00 c #Conflicts: 72000 | #Constraints: 11324 19.84/20.00 c INPROCESSING 19.84/20.00 c GARBAGE COLLECT 19.84/20.00 c rational objective -39 21.84/21.94 c #Conflicts: 73000 | #Constraints: 6878 21.84/21.94 c #Conflicts: 74000 | #Constraints: 7886 21.84/21.94 c #Conflicts: 75000 | #Constraints: 8905 21.84/21.94 c #Conflicts: 76000 | #Constraints: 9921 21.84/21.94 c #Conflicts: 77000 | #Constraints: 10931 21.84/21.94 c #Conflicts: 78000 | #Constraints: 11938 21.84/21.94 c INPROCESSING 21.84/21.94 c GARBAGE COLLECT 21.84/21.94 c rational objective -39 23.83/23.90 c #Conflicts: 79000 | #Constraints: 7283 23.83/23.90 c #Conflicts: 80000 | #Constraints: 8294 23.83/23.90 c #Conflicts: 81000 | #Constraints: 9298 23.83/23.90 c #Conflicts: 82000 | #Constraints: 10301 23.83/23.90 c #Conflicts: 83000 | #Constraints: 11303 23.83/23.90 c #Conflicts: 84000 | #Constraints: 12331 23.83/23.90 c INPROCESSING 23.83/23.90 c GARBAGE COLLECT 23.83/23.90 c rational objective -39 26.32/26.47 c #Conflicts: 85000 | #Constraints: 7484 26.32/26.47 c #Conflicts: 86000 | #Constraints: 8501 26.32/26.47 c #Conflicts: 87000 | #Constraints: 9512 26.32/26.47 c #Conflicts: 88000 | #Constraints: 10529 26.32/26.47 c #Conflicts: 89000 | #Constraints: 11540 26.32/26.47 c #Conflicts: 90000 | #Constraints: 12552 26.32/26.47 c INPROCESSING 26.32/26.47 c GARBAGE COLLECT 26.32/26.47 c rational objective -39 28.52/28.66 c #Conflicts: 91000 | #Constraints: 7487 28.52/28.66 c #Conflicts: 92000 | #Constraints: 8487 28.52/28.66 c #Conflicts: 93000 | #Constraints: 9487 28.52/28.66 c #Conflicts: 94000 | #Constraints: 10492 28.52/28.66 c #Conflicts: 95000 | #Constraints: 11492 28.52/28.66 c #Conflicts: 96000 | #Constraints: 12492 28.52/28.66 c INPROCESSING 28.52/28.66 c GARBAGE COLLECT 28.52/28.66 c rational objective -39 31.52/31.69 c #Conflicts: 97000 | #Constraints: 7258 31.52/31.69 c #Conflicts: 98000 | #Constraints: 8268 31.52/31.69 c #Conflicts: 99000 | #Constraints: 9285 31.52/31.69 c #Conflicts: 100000 | #Constraints: 10299 31.52/31.69 c #Conflicts: 101000 | #Constraints: 11306 31.52/31.69 c #Conflicts: 102000 | #Constraints: 12316 31.52/31.69 c #Conflicts: 103000 | #Constraints: 13328 31.52/31.69 c INPROCESSING 31.52/31.69 c GARBAGE COLLECT 31.52/31.69 c rational objective -39 33.70/33.88 c #Conflicts: 104000 | #Constraints: 7885 33.70/33.88 c #Conflicts: 105000 | #Constraints: 8903 33.70/33.88 c #Conflicts: 106000 | #Constraints: 9928 33.70/33.88 c #Conflicts: 107000 | #Constraints: 10938 33.70/33.88 c #Conflicts: 108000 | #Constraints: 11942 33.70/33.88 c #Conflicts: 109000 | #Constraints: 12978 33.70/33.88 c #Conflicts: 110000 | #Constraints: 13986 33.70/33.88 c INPROCESSING 33.70/33.88 c GARBAGE COLLECT 33.70/33.88 c rational objective -39 35.80/36.00 c #Conflicts: 111000 | #Constraints: 8326 35.80/36.00 c #Conflicts: 112000 | #Constraints: 9333 35.80/36.00 c #Conflicts: 113000 | #Constraints: 10339 35.80/36.00 c #Conflicts: 114000 | #Constraints: 11364 35.80/36.00 c #Conflicts: 115000 | #Constraints: 12373 35.80/36.00 c #Conflicts: 116000 | #Constraints: 13390 35.80/36.00 c #Conflicts: 117000 | #Constraints: 14398 35.80/36.00 c INPROCESSING 35.80/36.00 c GARBAGE COLLECT 35.80/36.00 c rational objective -39 40.09/40.21 c #Conflicts: 118000 | #Constraints: 8522 40.09/40.21 c #Conflicts: 119000 | #Constraints: 9531 40.09/40.21 c #Conflicts: 120000 | #Constraints: 10544 40.09/40.21 c #Conflicts: 121000 | #Constraints: 11557 40.09/40.21 c #Conflicts: 122000 | #Constraints: 12564 40.09/40.21 c #Conflicts: 123000 | #Constraints: 13566 40.09/40.21 c #Conflicts: 124000 | #Constraints: 14573 40.09/40.21 c INPROCESSING 40.09/40.21 c GARBAGE COLLECT 40.09/40.21 c rational objective -39 42.78/42.99 c #Conflicts: 125000 | #Constraints: 8500 42.78/42.99 c #Conflicts: 126000 | #Constraints: 9520 42.78/42.99 c #Conflicts: 127000 | #Constraints: 10539 42.78/42.99 c #Conflicts: 128000 | #Constraints: 11545 42.78/42.99 c #Conflicts: 129000 | #Constraints: 12551 42.78/42.99 c #Conflicts: 130000 | #Constraints: 13557 42.78/42.99 c #Conflicts: 131000 | #Constraints: 14575 42.78/42.99 c INPROCESSING 42.78/42.99 c GARBAGE COLLECT 42.78/42.99 c rational objective -39 45.77/45.99 c #Conflicts: 132000 | #Constraints: 8308 45.77/45.99 c #Conflicts: 133000 | #Constraints: 9337 45.77/45.99 c #Conflicts: 134000 | #Constraints: 10348 45.77/45.99 c #Conflicts: 135000 | #Constraints: 11368 45.77/45.99 c #Conflicts: 136000 | #Constraints: 12387 45.77/45.99 c #Conflicts: 137000 | #Constraints: 13395 45.77/45.99 c #Conflicts: 138000 | #Constraints: 14397 45.77/45.99 c #Conflicts: 139000 | #Constraints: 15402 45.77/45.99 c INPROCESSING 45.77/45.99 c GARBAGE COLLECT 45.77/45.99 c rational objective -39 49.46/49.65 c #Conflicts: 140000 | #Constraints: 8924 49.46/49.65 c #Conflicts: 141000 | #Constraints: 9935 49.46/49.65 c #Conflicts: 142000 | #Constraints: 10944 49.46/49.65 c #Conflicts: 143000 | #Constraints: 11946 49.46/49.65 c #Conflicts: 144000 | #Constraints: 12952 49.46/49.65 c #Conflicts: 145000 | #Constraints: 13957 49.46/49.65 c #Conflicts: 146000 | #Constraints: 14960 49.46/49.65 c #Conflicts: 147000 | #Constraints: 15963 49.46/49.65 c INPROCESSING 49.46/49.65 c GARBAGE COLLECT 49.46/49.65 c rational objective -39 52.56/52.73 c #Conflicts: 148000 | #Constraints: 9298 52.56/52.73 c #Conflicts: 149000 | #Constraints: 10307 52.56/52.73 c #Conflicts: 150000 | #Constraints: 11318 52.56/52.73 c #Conflicts: 151000 | #Constraints: 12324 52.56/52.73 c #Conflicts: 152000 | #Constraints: 13336 52.56/52.73 c #Conflicts: 153000 | #Constraints: 14342 52.56/52.73 c #Conflicts: 154000 | #Constraints: 15366 52.56/52.73 c #Conflicts: 155000 | #Constraints: 16371 52.56/52.73 c INPROCESSING 52.56/52.73 c GARBAGE COLLECT 52.56/52.73 c rational objective -39 57.55/57.78 c #Conflicts: 156000 | #Constraints: 9508 57.55/57.78 c #Conflicts: 157000 | #Constraints: 10513 57.55/57.78 c #Conflicts: 158000 | #Constraints: 11517 57.55/57.78 c #Conflicts: 159000 | #Constraints: 12520 57.55/57.78 c #Conflicts: 160000 | #Constraints: 13525 57.55/57.78 c #Conflicts: 161000 | #Constraints: 14530 57.55/57.78 c #Conflicts: 162000 | #Constraints: 15540 57.55/57.78 c #Conflicts: 163000 | #Constraints: 16556 57.55/57.78 c INPROCESSING 57.55/57.78 c GARBAGE COLLECT 57.55/57.78 c rational objective -39 60.85/61.02 c #Conflicts: 164000 | #Constraints: 9495 60.85/61.02 c #Conflicts: 165000 | #Constraints: 10495 60.85/61.02 c #Conflicts: 166000 | #Constraints: 11498 60.85/61.02 c #Conflicts: 167000 | #Constraints: 12505 60.85/61.02 c #Conflicts: 168000 | #Constraints: 13509 60.85/61.02 c #Conflicts: 169000 | #Constraints: 14516 60.85/61.02 c #Conflicts: 170000 | #Constraints: 15518 60.85/61.02 c #Conflicts: 171000 | #Constraints: 16528 60.85/61.02 c INPROCESSING 60.85/61.02 c GARBAGE COLLECT 60.85/61.02 c rational objective -39 67.43/67.66 c #Conflicts: 172000 | #Constraints: 9282 67.43/67.66 c #Conflicts: 173000 | #Constraints: 10289 67.43/67.66 c #Conflicts: 174000 | #Constraints: 11296 67.43/67.66 c #Conflicts: 175000 | #Constraints: 12301 67.43/67.66 c #Conflicts: 176000 | #Constraints: 13309 67.43/67.66 c #Conflicts: 177000 | #Constraints: 14317 67.43/67.66 c #Conflicts: 178000 | #Constraints: 15323 67.43/67.66 c #Conflicts: 179000 | #Constraints: 16327 67.43/67.66 c #Conflicts: 180000 | #Constraints: 17335 67.43/67.66 c INPROCESSING 67.43/67.66 c GARBAGE COLLECT 67.43/67.66 c rational objective -39 71.02/71.28 c #Conflicts: 181000 | #Constraints: 9894 71.02/71.28 c #Conflicts: 182000 | #Constraints: 10907 71.02/71.28 c #Conflicts: 183000 | #Constraints: 11930 71.02/71.28 c #Conflicts: 184000 | #Constraints: 12950 71.02/71.28 c #Conflicts: 185000 | #Constraints: 13965 71.02/71.28 c #Conflicts: 186000 | #Constraints: 14997 71.02/71.28 c #Conflicts: 187000 | #Constraints: 16004 71.02/71.28 c #Conflicts: 188000 | #Constraints: 17009 71.02/71.28 c #Conflicts: 189000 | #Constraints: 18022 71.02/71.28 c INPROCESSING 71.02/71.28 c GARBAGE COLLECT 71.02/71.28 c rational objective -39 76.11/76.31 c #Conflicts: 190000 | #Constraints: 10334 76.11/76.31 c #Conflicts: 191000 | #Constraints: 11334 76.11/76.31 c #Conflicts: 192000 | #Constraints: 12334 76.11/76.31 c #Conflicts: 193000 | #Constraints: 13344 76.11/76.31 c #Conflicts: 194000 | #Constraints: 14358 76.11/76.31 c #Conflicts: 195000 | #Constraints: 15367 76.11/76.31 c #Conflicts: 196000 | #Constraints: 16376 76.11/76.31 c #Conflicts: 197000 | #Constraints: 17380 76.11/76.31 c #Conflicts: 198000 | #Constraints: 18384 76.11/76.31 c INPROCESSING 76.11/76.31 c GARBAGE COLLECT 76.11/76.31 c rational objective -39 82.69/82.96 c #Conflicts: 199000 | #Constraints: 10510 82.69/82.96 c #Conflicts: 200000 | #Constraints: 11516 82.69/82.96 c #Conflicts: 201000 | #Constraints: 12523 82.69/82.96 c #Conflicts: 202000 | #Constraints: 13528 82.69/82.96 c #Conflicts: 203000 | #Constraints: 14534 82.69/82.96 c #Conflicts: 204000 | #Constraints: 15540 82.69/82.96 c #Conflicts: 205000 | #Constraints: 16548 82.69/82.96 c #Conflicts: 206000 | #Constraints: 17550 82.69/82.96 c #Conflicts: 207000 | #Constraints: 18558 82.69/82.96 c INPROCESSING 82.69/82.96 c GARBAGE COLLECT 82.69/82.96 c rational objective -39 87.57/87.85 c #Conflicts: 208000 | #Constraints: 10491 87.57/87.85 c #Conflicts: 209000 | #Constraints: 11498 87.57/87.85 c #Conflicts: 210000 | #Constraints: 12508 87.57/87.85 c #Conflicts: 211000 | #Constraints: 13516 87.57/87.85 c #Conflicts: 212000 | #Constraints: 14525 87.57/87.85 c #Conflicts: 213000 | #Constraints: 15533 87.57/87.85 c #Conflicts: 214000 | #Constraints: 16536 87.57/87.85 c #Conflicts: 215000 | #Constraints: 17541 87.57/87.85 c #Conflicts: 216000 | #Constraints: 18544 87.57/87.85 c INPROCESSING 87.57/87.85 c GARBAGE COLLECT 87.57/87.85 c rational objective -39 95.15/95.49 c #Conflicts: 217000 | #Constraints: 10287 95.15/95.49 c #Conflicts: 218000 | #Constraints: 11288 95.15/95.49 c #Conflicts: 219000 | #Constraints: 12293 95.15/95.49 c #Conflicts: 220000 | #Constraints: 13304 95.15/95.49 c #Conflicts: 221000 | #Constraints: 14310 95.15/95.49 c #Conflicts: 222000 | #Constraints: 15315 95.15/95.49 c #Conflicts: 223000 | #Constraints: 16324 95.15/95.49 c #Conflicts: 224000 | #Constraints: 17332 95.15/95.49 c #Conflicts: 225000 | #Constraints: 18339 95.15/95.49 c #Conflicts: 226000 | #Constraints: 19350 95.15/95.49 c INPROCESSING 95.15/95.49 c GARBAGE COLLECT 95.15/95.49 c rational objective -39 100.54/100.86 c #Conflicts: 227000 | #Constraints: 10911 100.54/100.86 c #Conflicts: 228000 | #Constraints: 11937 100.54/100.86 c #Conflicts: 229000 | #Constraints: 12957 100.54/100.86 c #Conflicts: 230000 | #Constraints: 13991 100.54/100.86 c #Conflicts: 231000 | #Constraints: 15014 100.54/100.86 c #Conflicts: 232000 | #Constraints: 16029 100.54/100.86 c #Conflicts: 233000 | #Constraints: 17061 100.54/100.86 c #Conflicts: 234000 | #Constraints: 18069 100.54/100.86 c #Conflicts: 235000 | #Constraints: 19074 100.54/100.86 c #Conflicts: 236000 | #Constraints: 20085 100.54/100.86 c INPROCESSING 100.54/100.86 c GARBAGE COLLECT 100.54/100.86 c rational objective -39 114.82/115.18 c #Conflicts: 237000 | #Constraints: 11367 114.82/115.18 c #Conflicts: 238000 | #Constraints: 12374 114.82/115.18 c #Conflicts: 239000 | #Constraints: 13381 114.82/115.18 c #Conflicts: 240000 | #Constraints: 14384 114.82/115.18 c #Conflicts: 241000 | #Constraints: 15390 114.82/115.18 c #Conflicts: 242000 | #Constraints: 16398 114.82/115.18 c #Conflicts: 243000 | #Constraints: 17402 114.82/115.18 c #Conflicts: 244000 | #Constraints: 18410 114.82/115.18 c #Conflicts: 245000 | #Constraints: 19414 114.82/115.18 c #Conflicts: 246000 | #Constraints: 20418 114.82/115.18 c INPROCESSING 114.82/115.18 c GARBAGE COLLECT 114.82/115.18 c rational objective -39 122.59/122.97 c #Conflicts: 247000 | #Constraints: 11536 122.59/122.97 c #Conflicts: 248000 | #Constraints: 12539 122.59/122.97 c #Conflicts: 249000 | #Constraints: 13540 122.59/122.97 c #Conflicts: 250000 | #Constraints: 14542 122.59/122.97 c #Conflicts: 251000 | #Constraints: 15554 122.59/122.97 c #Conflicts: 252000 | #Constraints: 16563 122.59/122.97 c #Conflicts: 253000 | #Constraints: 17592 122.59/122.97 c #Conflicts: 254000 | #Constraints: 18604 122.59/122.97 c #Conflicts: 255000 | #Constraints: 19623 122.59/122.97 c #Conflicts: 256000 | #Constraints: 20643 122.59/122.97 c INPROCESSING 122.59/122.97 c GARBAGE COLLECT 122.59/122.97 c rational objective -39 129.78/130.16 c #Conflicts: 257000 | #Constraints: 11559 129.78/130.16 c #Conflicts: 258000 | #Constraints: 12569 129.78/130.16 c #Conflicts: 259000 | #Constraints: 13583 129.78/130.16 c #Conflicts: 260000 | #Constraints: 14600 129.78/130.16 c #Conflicts: 261000 | #Constraints: 15619 129.78/130.16 c #Conflicts: 262000 | #Constraints: 16627 129.78/130.16 c #Conflicts: 263000 | #Constraints: 17635 129.78/130.16 c #Conflicts: 264000 | #Constraints: 18652 129.78/130.16 c #Conflicts: 265000 | #Constraints: 19655 129.78/130.16 c #Conflicts: 266000 | #Constraints: 20657 129.78/130.16 c INPROCESSING 129.78/130.16 c GARBAGE COLLECT 129.78/130.16 c rational objective -39 154.31/154.77 c #Conflicts: 267000 | #Constraints: 11361 154.31/154.77 c #Conflicts: 268000 | #Constraints: 12368 154.31/154.77 c #Conflicts: 269000 | #Constraints: 13376 154.31/154.77 c #Conflicts: 270000 | #Constraints: 14382 154.31/154.77 c #Conflicts: 271000 | #Constraints: 15388 154.31/154.77 c #Conflicts: 272000 | #Constraints: 16393 154.31/154.77 c #Conflicts: 273000 | #Constraints: 17399 154.31/154.77 c #Conflicts: 274000 | #Constraints: 18405 154.31/154.77 c #Conflicts: 275000 | #Constraints: 19409 154.31/154.77 c #Conflicts: 276000 | #Constraints: 20417 154.31/154.77 c #Conflicts: 277000 | #Constraints: 21423 154.31/154.77 c INPROCESSING 154.31/154.77 c GARBAGE COLLECT 154.31/154.77 c rational objective -39 164.78/165.28 c #Conflicts: 278000 | #Constraints: 11925 164.78/165.28 c #Conflicts: 279000 | #Constraints: 12925 164.78/165.28 c #Conflicts: 280000 | #Constraints: 13940 164.78/165.28 c #Conflicts: 281000 | #Constraints: 14954 164.78/165.28 c #Conflicts: 282000 | #Constraints: 15962 164.78/165.28 c #Conflicts: 283000 | #Constraints: 16967 164.78/165.28 c #Conflicts: 284000 | #Constraints: 17976 164.78/165.28 c #Conflicts: 285000 | #Constraints: 18988 164.78/165.28 c #Conflicts: 286000 | #Constraints: 19999 164.78/165.28 c #Conflicts: 287000 | #Constraints: 21026 164.78/165.28 c #Conflicts: 288000 | #Constraints: 22031 164.78/165.28 c INPROCESSING 164.78/165.28 c GARBAGE COLLECT 164.78/165.28 c rational objective -39 215.85/216.41 c #Conflicts: 289000 | #Constraints: 12341 215.85/216.41 c #Conflicts: 290000 | #Constraints: 13345 215.85/216.41 c #Conflicts: 291000 | #Constraints: 14349 215.85/216.41 c #Conflicts: 292000 | #Constraints: 15353 215.85/216.41 c #Conflicts: 293000 | #Constraints: 16358 215.85/216.41 c #Conflicts: 294000 | #Constraints: 17363 215.85/216.41 c #Conflicts: 295000 | #Constraints: 18367 215.85/216.41 c #Conflicts: 296000 | #Constraints: 19373 215.85/216.41 c #Conflicts: 297000 | #Constraints: 20378 215.85/216.41 c #Conflicts: 298000 | #Constraints: 21383 215.85/216.41 c #Conflicts: 299000 | #Constraints: 22387 215.85/216.41 c INPROCESSING 215.85/216.41 c GARBAGE COLLECT 215.85/216.41 c rational objective -39 230.32/230.95 c #Conflicts: 300000 | #Constraints: 12510 230.32/230.95 c #Conflicts: 301000 | #Constraints: 13520 230.32/230.95 c #Conflicts: 302000 | #Constraints: 14541 230.32/230.95 c #Conflicts: 303000 | #Constraints: 15561 230.32/230.95 c #Conflicts: 304000 | #Constraints: 16577 230.32/230.95 c #Conflicts: 305000 | #Constraints: 17596 230.32/230.95 c #Conflicts: 306000 | #Constraints: 18625 230.32/230.95 c #Conflicts: 307000 | #Constraints: 19635 230.32/230.95 c #Conflicts: 308000 | #Constraints: 20657 230.32/230.95 c #Conflicts: 309000 | #Constraints: 21668 230.32/230.95 c #Conflicts: 310000 | #Constraints: 22677 230.32/230.95 c INPROCESSING 230.32/230.95 c GARBAGE COLLECT 230.32/230.95 c rational objective -39 243.69/244.38 c #Conflicts: 311000 | #Constraints: 12560 243.69/244.38 c #Conflicts: 312000 | #Constraints: 13560 243.69/244.38 c #Conflicts: 313000 | #Constraints: 14560 243.69/244.38 c #Conflicts: 314000 | #Constraints: 15560 243.69/244.38 c #Conflicts: 315000 | #Constraints: 16599 243.69/244.38 c #Conflicts: 316000 | #Constraints: 17615 243.69/244.38 c #Conflicts: 317000 | #Constraints: 18638 243.69/244.38 c #Conflicts: 318000 | #Constraints: 19654 243.69/244.38 c #Conflicts: 319000 | #Constraints: 20670 243.69/244.38 c #Conflicts: 320000 | #Constraints: 21696 243.69/244.38 c #Conflicts: 321000 | #Constraints: 22714 243.69/244.38 c INPROCESSING 243.69/244.38 c GARBAGE COLLECT 243.69/244.38 c rational objective -39 258.05/258.73 c #Conflicts: 322000 | #Constraints: 12376 258.05/258.73 c #Conflicts: 323000 | #Constraints: 13376 258.05/258.73 c #Conflicts: 324000 | #Constraints: 14377 258.05/258.73 c #Conflicts: 325000 | #Constraints: 15378 258.05/258.73 c #Conflicts: 326000 | #Constraints: 16378 258.05/258.73 c #Conflicts: 327000 | #Constraints: 17380 258.05/258.73 c #Conflicts: 328000 | #Constraints: 18382 258.05/258.73 c #Conflicts: 329000 | #Constraints: 19382 258.05/258.73 c #Conflicts: 330000 | #Constraints: 20383 258.05/258.73 c #Conflicts: 331000 | #Constraints: 21386 258.05/258.73 c #Conflicts: 332000 | #Constraints: 22396 258.05/258.73 c #Conflicts: 333000 | #Constraints: 23400 258.05/258.73 c INPROCESSING 258.05/258.73 c GARBAGE COLLECT 258.05/258.73 c rational objective -39 364.82/365.78 c #Conflicts: 334000 | #Constraints: 12908 364.82/365.78 c #Conflicts: 335000 | #Constraints: 13912 364.82/365.78 c #Conflicts: 336000 | #Constraints: 14915 364.82/365.78 c #Conflicts: 337000 | #Constraints: 15920 364.82/365.78 c #Conflicts: 338000 | #Constraints: 16925 364.82/365.78 c #Conflicts: 339000 | #Constraints: 17927 364.82/365.78 c #Conflicts: 340000 | #Constraints: 18931 364.82/365.78 c #Conflicts: 341000 | #Constraints: 19933 364.82/365.78 c #Conflicts: 342000 | #Constraints: 20939 364.82/365.78 c #Conflicts: 343000 | #Constraints: 21945 364.82/365.78 c #Conflicts: 344000 | #Constraints: 22950 364.82/365.78 c #Conflicts: 345000 | #Constraints: 23954 364.82/365.78 c INPROCESSING 364.82/365.78 c GARBAGE COLLECT 364.82/365.78 c rational objective -39 393.75/394.77 c #Conflicts: 346000 | #Constraints: 13300 393.75/394.77 c #Conflicts: 347000 | #Constraints: 14320 393.75/394.77 c #Conflicts: 348000 | #Constraints: 15322 393.75/394.77 c #Conflicts: 349000 | #Constraints: 16324 393.75/394.77 c #Conflicts: 350000 | #Constraints: 17340 393.75/394.77 c #Conflicts: 351000 | #Constraints: 18345 393.75/394.77 c #Conflicts: 352000 | #Constraints: 19352 393.75/394.77 c #Conflicts: 353000 | #Constraints: 20357 393.75/394.77 c #Conflicts: 354000 | #Constraints: 21369 393.75/394.77 c #Conflicts: 355000 | #Constraints: 22385 393.75/394.77 c #Conflicts: 356000 | #Constraints: 23400 393.75/394.77 c #Conflicts: 357000 | #Constraints: 24412 393.75/394.77 c INPROCESSING 393.75/394.77 c GARBAGE COLLECT 393.75/394.77 c rational objective -39 418.10/419.12 c #Conflicts: 358000 | #Constraints: 13528 418.10/419.12 c #Conflicts: 359000 | #Constraints: 14542 418.10/419.12 c #Conflicts: 360000 | #Constraints: 15545 418.10/419.12 c #Conflicts: 361000 | #Constraints: 16553 418.10/419.12 c #Conflicts: 362000 | #Constraints: 17565 418.10/419.12 c #Conflicts: 363000 | #Constraints: 18574 418.10/419.12 c #Conflicts: 364000 | #Constraints: 19589 418.10/419.12 c #Conflicts: 365000 | #Constraints: 20600 418.10/419.12 c #Conflicts: 366000 | #Constraints: 21614 418.10/419.12 c #Conflicts: 367000 | #Constraints: 22645 418.10/419.12 c #Conflicts: 368000 | #Constraints: 23658 418.10/419.12 c #Conflicts: 369000 | #Constraints: 24669 418.10/419.12 c INPROCESSING 418.10/419.12 c GARBAGE COLLECT 418.10/419.12 c rational objective -39 600.47/601.94 c #Conflicts: 370000 | #Constraints: 13556 600.47/601.94 c #Conflicts: 371000 | #Constraints: 14561 600.47/601.94 c #Conflicts: 372000 | #Constraints: 15568 600.47/601.94 c #Conflicts: 373000 | #Constraints: 16573 600.47/601.94 c #Conflicts: 374000 | #Constraints: 17577 600.47/601.94 c #Conflicts: 375000 | #Constraints: 18581 600.47/601.94 c #Conflicts: 376000 | #Constraints: 19586 600.47/601.94 c #Conflicts: 377000 | #Constraints: 20588 600.47/601.94 c #Conflicts: 378000 | #Constraints: 21594 600.47/601.94 c #Conflicts: 379000 | #Constraints: 22598 600.47/601.94 c #Conflicts: 380000 | #Constraints: 23603 600.47/601.94 c #Conflicts: 381000 | #Constraints: 24608 600.47/601.94 c INPROCESSING 600.47/601.94 c GARBAGE COLLECT 600.47/601.94 c rational objective -39 799.25/801.22 c #Conflicts: 382000 | #Constraints: 15314 799.25/801.22 c #Conflicts: 383000 | #Constraints: 16325 799.25/801.22 c #Conflicts: 384000 | #Constraints: 17345 799.25/801.22 c #Conflicts: 385000 | #Constraints: 18346 799.25/801.22 c #Conflicts: 386000 | #Constraints: 19346 799.25/801.22 c #Conflicts: 387000 | #Constraints: 20356 799.25/801.22 c #Conflicts: 388000 | #Constraints: 21367 799.25/801.22 c #Conflicts: 389000 | #Constraints: 22382 799.25/801.22 c #Conflicts: 390000 | #Constraints: 23390 799.25/801.22 c #Conflicts: 391000 | #Constraints: 24402 799.25/801.22 c #Conflicts: 392000 | #Constraints: 25420 799.25/801.22 c #Conflicts: 393000 | #Constraints: 26423 799.25/801.22 c #Conflicts: 394000 | #Constraints: 27424 799.25/801.22 c #Conflicts: 395000 | #Constraints: 28433 799.25/801.22 c #Conflicts: 396000 | #Constraints: 29439 799.25/801.22 c #Conflicts: 397000 | #Constraints: 30444 799.25/801.22 c #Conflicts: 398000 | #Constraints: 31448 799.25/801.22 c #Conflicts: 399000 | #Constraints: 32462 799.25/801.22 c #Conflicts: 400000 | #Constraints: 33476 799.25/801.22 c #Conflicts: 401000 | #Constraints: 34488 799.25/801.22 c #Conflicts: 402000 | #Constraints: 35519 799.25/801.22 c #Conflicts: 403000 | #Constraints: 36525 799.25/801.22 c #Conflicts: 404000 | #Constraints: 37543 799.25/801.22 c #Conflicts: 405000 | #Constraints: 38555 799.25/801.22 c #Conflicts: 406000 | #Constraints: 39558 799.25/801.22 c #Conflicts: 407000 | #Constraints: 40570 799.25/801.22 c #Conflicts: 408000 | #Constraints: 41575 799.25/801.22 c #Conflicts: 409000 | #Constraints: 42578 799.25/801.22 c #Conflicts: 410000 | #Constraints: 43585 799.25/801.22 c #Conflicts: 411000 | #Constraints: 44596 799.25/801.22 c #Conflicts: 412000 | #Constraints: 45617 799.25/801.22 c #Conflicts: 413000 | #Constraints: 46623 799.25/801.22 c #Conflicts: 414000 | #Constraints: 47649 799.25/801.22 c #Conflicts: 415000 | #Constraints: 48686 799.25/801.22 c #Conflicts: 416000 | #Constraints: 49714 799.25/801.22 c #Conflicts: 417000 | #Constraints: 50731 799.25/801.22 c #Conflicts: 418000 | #Constraints: 51739 799.25/801.22 c #Conflicts: 419000 | #Constraints: 52750 799.25/801.22 c #Conflicts: 420000 | #Constraints: 53759 799.25/801.22 c #Conflicts: 421000 | #Constraints: 54765 799.25/801.22 c #Conflicts: 422000 | #Constraints: 55774 799.25/801.22 c #Conflicts: 423000 | #Constraints: 56778 799.25/801.22 c #Conflicts: 424000 | #Constraints: 57782 799.25/801.22 c #Conflicts: 425000 | #Constraints: 58785 799.25/801.22 c #Conflicts: 426000 | #Constraints: 59785 799.25/801.22 c #Conflicts: 427000 | #Constraints: 60785 799.25/801.22 c #Conflicts: 428000 | #Constraints: 61790 799.25/801.22 c #Conflicts: 429000 | #Constraints: 62796 799.25/801.22 c #Conflicts: 430000 | #Constraints: 63801 799.25/801.22 c #Conflicts: 431000 | #Constraints: 64806 799.25/801.22 c #Conflicts: 432000 | #Constraints: 65809 799.25/801.22 c #Conflicts: 433000 | #Constraints: 66811 799.25/801.22 c #Conflicts: 434000 | #Constraints: 67814 799.25/801.22 c #Conflicts: 435000 | #Constraints: 68821 799.25/801.22 c #Conflicts: 436000 | #Constraints: 69827 799.25/801.22 c #Conflicts: 437000 | #Constraints: 70844 799.25/801.22 c #Conflicts: 438000 | #Constraints: 71871 799.25/801.22 c #Conflicts: 439000 | #Constraints: 72893 799.25/801.22 c #Conflicts: 440000 | #Constraints: 73911 799.25/801.22 c #Conflicts: 441000 | #Constraints: 74929 799.25/801.22 c #Conflicts: 442000 | #Constraints: 75941 799.25/801.22 c INPROCESSING 799.25/801.22 c GARBAGE COLLECT 799.25/801.22 c rational objective -39 998.37/1000.88 c #Conflicts: 443000 | #Constraints: 38901 998.37/1000.88 c #Conflicts: 444000 | #Constraints: 39906 998.37/1000.88 c #Conflicts: 445000 | #Constraints: 40912 998.37/1000.88 c #Conflicts: 446000 | #Constraints: 41916 998.37/1000.88 c #Conflicts: 447000 | #Constraints: 42918 998.37/1000.88 c #Conflicts: 448000 | #Constraints: 43923 998.37/1000.88 c #Conflicts: 449000 | #Constraints: 44929 998.37/1000.88 c #Conflicts: 450000 | #Constraints: 45933 998.37/1000.88 c #Conflicts: 451000 | #Constraints: 46937 998.37/1000.88 c #Conflicts: 452000 | #Constraints: 47953 998.37/1000.88 c #Conflicts: 453000 | #Constraints: 48969 998.37/1000.88 c #Conflicts: 454000 | #Constraints: 49977 998.37/1000.88 c #Conflicts: 455000 | #Constraints: 50981 998.37/1000.88 c #Conflicts: 456000 | #Constraints: 51984 998.37/1000.88 c INPROCESSING 998.37/1000.88 c GARBAGE COLLECT 998.37/1000.88 c rational objective -39 1377.17/1380.52 c #Conflicts: 457000 | #Constraints: 27063 1377.17/1380.52 c #Conflicts: 458000 | #Constraints: 28066 1377.17/1380.52 c #Conflicts: 459000 | #Constraints: 29070 1377.17/1380.52 c #Conflicts: 460000 | #Constraints: 30074 1377.17/1380.52 c #Conflicts: 461000 | #Constraints: 31077 1377.17/1380.52 c #Conflicts: 462000 | #Constraints: 32079 1377.17/1380.52 c #Conflicts: 463000 | #Constraints: 33082 1377.17/1380.52 c #Conflicts: 464000 | #Constraints: 34085 1377.17/1380.52 c #Conflicts: 465000 | #Constraints: 35087 1377.17/1380.52 c #Conflicts: 466000 | #Constraints: 36092 1377.17/1380.52 c #Conflicts: 467000 | #Constraints: 37094 1377.17/1380.52 c #Conflicts: 468000 | #Constraints: 38098 1377.17/1380.52 c #Conflicts: 469000 | #Constraints: 39100 1377.17/1380.52 c #Conflicts: 470000 | #Constraints: 40104 1377.17/1380.52 c INPROCESSING 1377.17/1380.52 c GARBAGE COLLECT 1377.17/1380.52 c rational objective -39 1646.74/1650.86 c #Conflicts: 471000 | #Constraints: 25100 1646.74/1650.86 c #Conflicts: 472000 | #Constraints: 26118 1646.74/1650.86 c #Conflicts: 473000 | #Constraints: 27137 1646.74/1650.86 c #Conflicts: 474000 | #Constraints: 28167 1646.74/1650.86 c #Conflicts: 475000 | #Constraints: 29179 1646.74/1650.86 c #Conflicts: 476000 | #Constraints: 30199 1646.74/1650.86 c #Conflicts: 477000 | #Constraints: 31228 1646.74/1650.86 c #Conflicts: 478000 | #Constraints: 32252 1646.74/1650.86 c #Conflicts: 479000 | #Constraints: 33276 1646.74/1650.86 c #Conflicts: 480000 | #Constraints: 34297 1646.74/1650.86 c #Conflicts: 481000 | #Constraints: 35322 1646.74/1650.86 c #Conflicts: 482000 | #Constraints: 36332 1646.74/1650.86 c #Conflicts: 483000 | #Constraints: 37351 1646.74/1650.86 c #Conflicts: 484000 | #Constraints: 38376 1646.74/1650.86 c #Conflicts: 485000 | #Constraints: 39395 1646.74/1650.86 c #Conflicts: 486000 | #Constraints: 40407 1646.74/1650.86 c #Conflicts: 487000 | #Constraints: 41424 1646.74/1650.86 c #Conflicts: 488000 | #Constraints: 42427 1646.74/1650.86 c #Conflicts: 489000 | #Constraints: 43436 1646.74/1650.86 c #Conflicts: 490000 | #Constraints: 44445 1646.74/1650.87 c #Conflicts: 491000 | #Constraints: 45446 1646.74/1650.87 c #Conflicts: 492000 | #Constraints: 46457 1646.74/1650.87 c #Conflicts: 493000 | #Constraints: 47468 1646.74/1650.87 c #Conflicts: 494000 | #Constraints: 48476 1646.74/1650.87 c #Conflicts: 495000 | #Constraints: 49486 1646.74/1650.87 c #Conflicts: 496000 | #Constraints: 50502 1646.74/1650.87 c #Conflicts: 497000 | #Constraints: 51512 1646.74/1650.87 c #Conflicts: 498000 | #Constraints: 52517 1646.74/1650.87 c #Conflicts: 499000 | #Constraints: 53522 1646.74/1650.87 c #Conflicts: 500000 | #Constraints: 54524 1646.74/1650.87 c #Conflicts: 501000 | #Constraints: 55530 1646.74/1650.87 c #Conflicts: 502000 | #Constraints: 56536 1646.74/1650.87 c #Conflicts: 503000 | #Constraints: 57544 1646.74/1650.87 c #Conflicts: 504000 | #Constraints: 58554 1646.74/1650.87 c #Conflicts: 505000 | #Constraints: 59556 1646.74/1650.87 c #Conflicts: 506000 | #Constraints: 60559 1646.74/1650.87 c #Conflicts: 507000 | #Constraints: 61566 1646.74/1650.87 c #Conflicts: 508000 | #Constraints: 62574 1646.74/1650.87 c #Conflicts: 509000 | #Constraints: 63585 1646.74/1650.87 c #Conflicts: 510000 | #Constraints: 64586 1646.74/1650.87 c #Conflicts: 511000 | #Constraints: 65586 1646.74/1650.87 c #Conflicts: 512000 | #Constraints: 66587 1646.74/1650.87 c #Conflicts: 513000 | #Constraints: 67592 1646.74/1650.87 c #Conflicts: 514000 | #Constraints: 68602 1646.74/1650.87 c #Conflicts: 515000 | #Constraints: 69613 1646.74/1650.87 c #Conflicts: 516000 | #Constraints: 70623 1646.74/1650.87 c #Conflicts: 517000 | #Constraints: 71644 1646.74/1650.87 c #Conflicts: 518000 | #Constraints: 72650 1646.74/1650.87 c #Conflicts: 519000 | #Constraints: 73676 1646.74/1650.87 c #Conflicts: 520000 | #Constraints: 74685 1646.74/1650.87 c #Conflicts: 521000 | #Constraints: 75694 1646.74/1650.87 c #Conflicts: 522000 | #Constraints: 76703 1646.74/1650.87 c #Conflicts: 523000 | #Constraints: 77712 1646.74/1650.87 c #Conflicts: 524000 | #Constraints: 78737 1646.74/1650.87 c #Conflicts: 525000 | #Constraints: 79745 1646.74/1650.87 c #Conflicts: 526000 | #Constraints: 80759 1646.74/1650.87 c #Conflicts: 527000 | #Constraints: 81766 1646.74/1650.87 c #Conflicts: 528000 | #Constraints: 82771 1646.74/1650.87 c #Conflicts: 529000 | #Constraints: 83780 1646.74/1650.87 c #Conflicts: 530000 | #Constraints: 84806 1646.74/1650.87 c #Conflicts: 531000 | #Constraints: 85832 1646.74/1650.87 c #Conflicts: 532000 | #Constraints: 86852 1646.74/1650.87 c #Conflicts: 533000 | #Constraints: 87858 1646.74/1650.87 c #Conflicts: 534000 | #Constraints: 88863 1646.74/1650.87 c #Conflicts: 535000 | #Constraints: 89871 1646.74/1650.87 c INPROCESSING 1646.74/1650.87 c GARBAGE COLLECT 1646.74/1650.87 c rational objective -39 2140.54/2145.97 c #Conflicts: 536000 | #Constraints: 45854 2140.54/2145.97 c #Conflicts: 537000 | #Constraints: 46855 2140.54/2145.97 c #Conflicts: 538000 | #Constraints: 47856 2140.54/2145.97 c #Conflicts: 539000 | #Constraints: 48861 2140.54/2145.97 c #Conflicts: 540000 | #Constraints: 49865 2140.54/2145.97 c #Conflicts: 541000 | #Constraints: 50868 2140.54/2145.97 c #Conflicts: 542000 | #Constraints: 51875 2140.54/2145.97 c #Conflicts: 543000 | #Constraints: 52881 2140.54/2145.97 c #Conflicts: 544000 | #Constraints: 53886 2140.54/2145.97 c #Conflicts: 545000 | #Constraints: 54891 2140.54/2145.97 c #Conflicts: 546000 | #Constraints: 55897 2140.54/2145.97 c #Conflicts: 547000 | #Constraints: 56904 2140.54/2145.97 c #Conflicts: 548000 | #Constraints: 57910 2140.54/2145.97 c #Conflicts: 549000 | #Constraints: 58915 2140.54/2145.97 c #Conflicts: 550000 | #Constraints: 59918 2140.54/2145.97 c #Conflicts: 551000 | #Constraints: 60923 2140.54/2145.97 c INPROCESSING 2140.54/2145.97 c GARBAGE COLLECT 2140.54/2145.97 c rational objective -39 2605.95/2612.56 c #Conflicts: 552000 | #Constraints: 31805 2605.95/2612.56 c #Conflicts: 553000 | #Constraints: 32829 2605.95/2612.56 c #Conflicts: 554000 | #Constraints: 33863 2605.95/2612.56 c #Conflicts: 555000 | #Constraints: 34892 2605.95/2612.56 c #Conflicts: 556000 | #Constraints: 35918 2605.95/2612.56 c #Conflicts: 557000 | #Constraints: 36936 2605.95/2612.56 c #Conflicts: 558000 | #Constraints: 37944 2605.95/2612.56 c #Conflicts: 559000 | #Constraints: 38952 2605.95/2612.56 c #Conflicts: 560000 | #Constraints: 39967 2605.95/2612.56 c #Conflicts: 561000 | #Constraints: 40984 2605.95/2612.56 c #Conflicts: 562000 | #Constraints: 42004 2605.95/2612.56 c #Conflicts: 563000 | #Constraints: 43012 2605.95/2612.56 c #Conflicts: 564000 | #Constraints: 44024 2605.95/2612.56 c #Conflicts: 565000 | #Constraints: 45032 2605.95/2612.56 c #Conflicts: 566000 | #Constraints: 46043 2605.95/2612.56 c #Conflicts: 567000 | #Constraints: 47047 2605.95/2612.56 c #Conflicts: 568000 | #Constraints: 48050 2605.95/2612.56 c #Conflicts: 569000 | #Constraints: 49053 2605.95/2612.56 c #Conflicts: 570000 | #Constraints: 50062 2605.95/2612.56 c #Conflicts: 571000 | #Constraints: 51080 2605.95/2612.56 c #Conflicts: 572000 | #Constraints: 52082 2605.95/2612.56 c #Conflicts: 573000 | #Constraints: 53087 2605.95/2612.56 c #Conflicts: 574000 | #Constraints: 54089 2605.95/2612.56 c #Conflicts: 575000 | #Constraints: 55100 2605.95/2612.56 c #Conflicts: 576000 | #Constraints: 56104 2605.95/2612.56 c #Conflicts: 577000 | #Constraints: 57111 2605.95/2612.56 c #Conflicts: 578000 | #Constraints: 58119 2605.95/2612.56 c #Conflicts: 579000 | #Constraints: 59125 2605.95/2612.56 c #Conflicts: 580000 | #Constraints: 60142 2605.95/2612.56 c #Conflicts: 581000 | #Constraints: 61148 2605.95/2612.56 c #Conflicts: 582000 | #Constraints: 62160 2605.95/2612.56 c #Conflicts: 583000 | #Constraints: 63171 2605.95/2612.56 c #Conflicts: 584000 | #Constraints: 64176 2605.95/2612.56 c #Conflicts: 585000 | #Constraints: 65183 2605.95/2612.56 c #Conflicts: 586000 | #Constraints: 66190 2605.95/2612.56 c #Conflicts: 587000 | #Constraints: 67200 2605.95/2612.56 c #Conflicts: 588000 | #Constraints: 68206 2605.95/2612.56 c #Conflicts: 589000 | #Constraints: 69211 2605.95/2612.56 c #Conflicts: 590000 | #Constraints: 70215 2605.95/2612.56 c #Conflicts: 591000 | #Constraints: 71223 2605.95/2612.56 c #Conflicts: 592000 | #Constraints: 72239 2605.95/2612.56 c #Conflicts: 593000 | #Constraints: 73255 2605.95/2612.56 c #Conflicts: 594000 | #Constraints: 74265 2605.95/2612.56 c #Conflicts: 595000 | #Constraints: 75275 2605.95/2612.56 c #Conflicts: 596000 | #Constraints: 76281 2605.95/2612.56 c #Conflicts: 597000 | #Constraints: 77289 2605.95/2612.56 c #Conflicts: 598000 | #Constraints: 78297 2605.95/2612.56 c #Conflicts: 599000 | #Constraints: 79308 2605.95/2612.56 c #Conflicts: 600000 | #Constraints: 80318 2605.95/2612.56 c #Conflicts: 601000 | #Constraints: 81319 2605.95/2612.56 c #Conflicts: 602000 | #Constraints: 82323 2605.95/2612.56 c #Conflicts: 603000 | #Constraints: 83338 2605.95/2612.56 c #Conflicts: 604000 | #Constraints: 84340 2605.95/2612.56 c #Conflicts: 605000 | #Constraints: 85343 2605.95/2612.56 c #Conflicts: 606000 | #Constraints: 86346 2605.95/2612.56 c #Conflicts: 607000 | #Constraints: 87347 2605.95/2612.56 c #Conflicts: 608000 | #Constraints: 88352 2605.95/2612.56 c #Conflicts: 609000 | #Constraints: 89354 2605.95/2612.56 c #Conflicts: 610000 | #Constraints: 90356 2605.95/2612.56 c #Conflicts: 611000 | #Constraints: 91362 2605.95/2612.56 c #Conflicts: 612000 | #Constraints: 92366 2605.95/2612.56 c #Conflicts: 613000 | #Constraints: 93367 2605.95/2612.56 c #Conflicts: 614000 | #Constraints: 94369 2605.95/2612.56 c #Conflicts: 615000 | #Constraints: 95372 2605.95/2612.56 c #Conflicts: 616000 | #Constraints: 96376 2605.95/2612.56 c #Conflicts: 617000 | #Constraints: 97385 2605.95/2612.56 c #Conflicts: 618000 | #Constraints: 98389 2605.95/2612.56 c #Conflicts: 619000 | #Constraints: 99396 2605.95/2612.56 c INPROCESSING 2605.95/2612.56 c GARBAGE COLLECT 2605.95/2612.56 c rational objective -39 3062.23/3070.09 c #Conflicts: 620000 | #Constraints: 50765 3062.23/3070.09 c #Conflicts: 621000 | #Constraints: 51772 3062.23/3070.09 c #Conflicts: 622000 | #Constraints: 52775 3062.23/3070.09 c #Conflicts: 623000 | #Constraints: 53778 3062.23/3070.09 c #Conflicts: 624000 | #Constraints: 54782 3062.23/3070.09 c #Conflicts: 625000 | #Constraints: 55785 3062.23/3070.09 c #Conflicts: 626000 | #Constraints: 56788 3062.23/3070.09 c #Conflicts: 627000 | #Constraints: 57795 3062.23/3070.09 c #Conflicts: 628000 | #Constraints: 58800 3062.23/3070.09 c #Conflicts: 629000 | #Constraints: 59805 3062.23/3070.09 c #Conflicts: 630000 | #Constraints: 60808 3062.23/3070.09 c #Conflicts: 631000 | #Constraints: 61814 3062.23/3070.09 c #Conflicts: 632000 | #Constraints: 62819 3062.23/3070.09 c #Conflicts: 633000 | #Constraints: 63824 3062.23/3070.09 c #Conflicts: 634000 | #Constraints: 64829 3062.23/3070.09 c #Conflicts: 635000 | #Constraints: 65834 3062.23/3070.09 c #Conflicts: 636000 | #Constraints: 66839 3062.23/3070.09 c INPROCESSING 3062.23/3070.09 c GARBAGE COLLECT 3062.23/3070.09 c rational objective -39 3552.26/3561.35 c #Conflicts: 637000 | #Constraints: 35395 3552.26/3561.35 c #Conflicts: 638000 | #Constraints: 36398 3552.26/3561.35 c #Conflicts: 639000 | #Constraints: 37402 3552.26/3561.35 c #Conflicts: 640000 | #Constraints: 38408 3552.26/3561.35 c #Conflicts: 641000 | #Constraints: 39412 3552.26/3561.35 c #Conflicts: 642000 | #Constraints: 40418 3552.26/3561.35 c #Conflicts: 643000 | #Constraints: 41422 3552.26/3561.35 c bounds -32 >= -38 @ 3262.79 3552.26/3561.35 c #Conflicts: 644000 | #Constraints: 42435 3552.26/3561.35 c #Conflicts: 645000 | #Constraints: 43441 3552.26/3561.35 c #Conflicts: 646000 | #Constraints: 44448 3552.26/3561.35 c #Conflicts: 647000 | #Constraints: 45453 3552.26/3561.35 c #Conflicts: 648000 | #Constraints: 46464 3552.26/3561.35 c #Conflicts: 649000 | #Constraints: 47467 3552.26/3561.35 c #Conflicts: 650000 | #Constraints: 48470 3552.26/3561.35 c #Conflicts: 651000 | #Constraints: 49482 3552.26/3561.35 c #Conflicts: 652000 | #Constraints: 50487 3552.26/3561.35 c #Conflicts: 653000 | #Constraints: 51492 3552.26/3561.35 c #Conflicts: 654000 | #Constraints: 52494 3552.26/3561.35 c #Conflicts: 655000 | #Constraints: 53498 3552.26/3561.35 c #Conflicts: 656000 | #Constraints: 54513 3552.26/3561.35 c #Conflicts: 657000 | #Constraints: 55521 3552.26/3561.35 c #Conflicts: 658000 | #Constraints: 56537 3552.26/3561.35 c #Conflicts: 659000 | #Constraints: 57548 3552.26/3561.35 c #Conflicts: 660000 | #Constraints: 58558 3552.26/3561.35 c #Conflicts: 661000 | #Constraints: 59563 3552.26/3561.35 c #Conflicts: 662000 | #Constraints: 60571 3552.26/3561.35 c #Conflicts: 663000 | #Constraints: 61578 3552.26/3561.35 c #Conflicts: 664000 | #Constraints: 62581 3552.26/3561.35 c #Conflicts: 665000 | #Constraints: 63587 3552.26/3561.35 c #Conflicts: 666000 | #Constraints: 64602 3552.26/3561.35 c #Conflicts: 667000 | #Constraints: 65628 3552.26/3561.35 c #Conflicts: 668000 | #Constraints: 66638 3552.26/3561.35 c #Conflicts: 669000 | #Constraints: 67646 3552.26/3561.35 c #Conflicts: 670000 | #Constraints: 68649 3552.26/3561.35 c #Conflicts: 671000 | #Constraints: 69654 3552.26/3561.35 c #Conflicts: 672000 | #Constraints: 70660 3552.26/3561.35 c #Conflicts: 673000 | #Constraints: 71667 3552.26/3561.35 c #Conflicts: 674000 | #Constraints: 72676 3552.26/3561.35 c #Conflicts: 675000 | #Constraints: 73684 3552.26/3561.35 c #Conflicts: 676000 | #Constraints: 74689 3552.26/3561.35 c #Conflicts: 677000 | #Constraints: 75699 3552.26/3561.35 c #Conflicts: 678000 | #Constraints: 76719 3552.26/3561.35 c #Conflicts: 679000 | #Constraints: 77736 3552.26/3561.35 c #Conflicts: 680000 | #Constraints: 78742 3552.26/3561.35 c #Conflicts: 681000 | #Constraints: 79744 3552.26/3561.35 c #Conflicts: 682000 | #Constraints: 80754 3552.26/3561.35 c #Conflicts: 683000 | #Constraints: 81759 3552.26/3561.35 c #Conflicts: 684000 | #Constraints: 82765 3552.26/3561.35 c #Conflicts: 685000 | #Constraints: 83774 3552.26/3561.35 c #Conflicts: 686000 | #Constraints: 84785 3552.26/3561.35 c #Conflicts: 687000 | #Constraints: 85804 3552.26/3561.35 c #Conflicts: 688000 | #Constraints: 86810 3552.26/3561.35 c #Conflicts: 689000 | #Constraints: 87814 3552.26/3561.35 c #Conflicts: 690000 | #Constraints: 88823 3552.26/3561.35 c #Conflicts: 691000 | #Constraints: 89832 3552.26/3561.35 c #Conflicts: 692000 | #Constraints: 90838 3552.26/3561.35 c #Conflicts: 693000 | #Constraints: 91842 3552.26/3561.35 c #Conflicts: 694000 | #Constraints: 92859 3552.26/3561.35 c #Conflicts: 695000 | #Constraints: 93869 3552.26/3561.35 c #Conflicts: 696000 | #Constraints: 94881 3552.26/3561.35 c #Conflicts: 697000 | #Constraints: 95885 3552.26/3561.35 c #Conflicts: 698000 | #Constraints: 96895 3552.26/3561.35 c #Conflicts: 699000 | #Constraints: 97902 3552.26/3561.35 c #Conflicts: 700000 | #Constraints: 98910 3552.26/3561.35 c #Conflicts: 701000 | #Constraints: 99918 3552.26/3561.35 c #Conflicts: 702000 | #Constraints: 100925 3552.26/3561.35 c #Conflicts: 703000 | #Constraints: 101940 3552.26/3561.35 c #Conflicts: 704000 | #Constraints: 102955 3552.26/3561.35 c #Conflicts: 705000 | #Constraints: 103971 3552.26/3561.35 c #Conflicts: 706000 | #Constraints: 104989 3552.26/3561.35 c #Conflicts: 707000 | #Constraints: 106004 3552.26/3561.35 c INPROCESSING 3552.26/3561.35 c GARBAGE COLLECT 3552.26/3561.35 c rational objective -38 3600.06/3609.20 c #Conflicts: 708000 | #Constraints: 54031 3600.06/3609.20 c #Conflicts: 709000 | #Constraints: 55058 3600.06/3609.20 c #Conflicts: 710000 | #Constraints: 56079 3600.06/3609.20 c #Conflicts: 711000 | #Constraints: 57091 3600.06/3609.20 c #Conflicts: 712000 | #Constraints: 58114 3600.06/3609.20 c #Conflicts: 713000 | #Constraints: 59123 3600.06/3609.20 c #Conflicts: 714000 | #Constraints: 60132 3600.06/3609.20 c #Conflicts: 715000 | #Constraints: 61141 3600.06/3609.20 c #Conflicts: 716000 | #Constraints: 62159 3600.06/3609.20 c Program interrupted by user. 3600.06/3609.20 c cpu time 3584.3 s 3600.06/3609.20 c deterministic time 307380098968 3.07e+11 3600.06/3609.20 c optimization time 47.6012 s 3600.06/3609.20 c total solve time 3536.7 s 3600.06/3609.20 c core-guided solve time 2436.47 s 3600.06/3609.20 c propagation time 3388.84 s 3600.06/3609.20 c conflict analysis time 173.866 s 3600.06/3609.20 c propagations 67775282 3600.06/3609.20 c resolve steps 5394310 3600.06/3609.20 c decisions 7365639 3600.06/3609.20 c conflicts 716365 3600.06/3609.20 c restarts 1532 3600.06/3609.20 c inprocessing phases 61 3600.06/3609.20 c input clauses 457 3600.06/3609.20 c input cardinalities 125 3600.06/3609.20 c input general constraints 36 3600.06/3609.20 c input average constraint length 51.36 3600.06/3609.20 c input average constraint degree 25.56 3600.06/3609.20 c learned clauses 361520 3600.06/3609.20 c learned cardinalities 15258 3600.06/3609.20 c learned general constraints 346254 3600.06/3609.20 c learned average constraint length 163.80 3600.06/3609.20 c learned average constraint degree 68765814.22 3600.06/3609.20 c watched constraints 316465 3600.06/3609.20 c counting constraints 29825 3600.06/3609.20 c gcd simplifications 26607 3600.06/3609.20 c detected cardinalities 1840 3600.06/3609.20 c weakened non-implied lits 20427802 3600.06/3609.20 c weakened non-implying lits 35997 3600.06/3609.20 c original variables 1056 3600.06/3609.20 c clausal propagations 11551794 3600.06/3609.20 c cardinality propagations 13155910 3600.06/3609.20 c watched propagations 10938180 3600.06/3609.20 c counting propagations 31049280 3600.06/3609.20 c watch lookups 64572166632 3600.06/3609.20 c watch backjump lookups 57479446480 3600.06/3609.20 c watch checks 178511763093 3600.06/3609.20 c propagation checks 6371634176 3600.06/3609.20 c constraint additions 293379656 3600.06/3609.20 c trail pops 75850194 3600.06/3609.20 c formula constraints 488 3600.06/3609.20 c learned constraints 709696 3600.06/3609.20 c bound constraints 43 3600.06/3609.20 c core-guided constraints 87 3600.06/3609.20 c encountered formula constraints 3610109 3600.06/3609.20 c encountered learned constraints 2375899 3600.06/3609.20 c encountered bound constraints 29 3600.06/3609.20 c encountered core-guided constraints 9139 3600.06/3609.20 c LP total time 27.6684 s 3600.06/3609.20 c LP solve time 23.59 s 3600.06/3609.20 c LP constraints added 1079 3600.06/3609.20 c LP constraints removed 587 3600.06/3609.20 c LP pivots internal 716375 3600.06/3609.20 c LP pivots root 1440 3600.06/3609.20 c LP calls 51328 3600.06/3609.20 c LP optimalities 44660 3600.06/3609.20 c LP no pivot count 16427 3600.06/3609.20 c LP infeasibilities 6668 3600.06/3609.20 c LP valid Farkas constraints 6668 3600.06/3609.20 c LP learned Farkas constraints 6668 3600.06/3609.20 c LP basis resets 0 3600.06/3609.20 c LP cycling count 0 3600.06/3609.20 c LP singular count 0 3600.06/3609.20 c LP no primal count 0 3600.06/3609.20 c LP no farkas count 0 3600.06/3609.20 c LP other issue count 0 3600.06/3609.20 c LP Gomory cuts 0 3600.06/3609.20 c LP learned cuts 591 3600.06/3609.20 c LP deleted cuts 587 3600.06/3609.20 c LP encountered Gomory constraints 0 3600.06/3609.20 c LP encountered Farkas constraints 84910 3600.06/3609.20 c LP encountered learned Farkas constraints 23921 3600.06/3609.20 c CG auxiliary variables introduced 43 3600.06/3609.20 c CG solutions found 1 3600.06/3609.20 c CG cores constructed 42 3600.06/3609.20 c CG core cardinality constraints returned 40 3600.06/3609.20 c CG unit cores 0 3600.06/3609.20 c CG single cores 42 3600.06/3609.20 c CG blocks removed during cardinality reduction 0 3600.06/3609.20 c CG first core best 0 3600.06/3609.20 c CG decision core best 0 3600.06/3609.20 c CG core reduction tie 0 3600.06/3609.20 c CG core degree average 14.33 3600.06/3609.20 c CG core slack average 1.69 3600.06/3609.20 s SATISFIABLE 3600.06/3609.20 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 (58816 MiB free)
memory of node 1: 64473 MiB (58591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460957-1722073084/watcher-4460957-1722073084 -o /tmp/evaluation-result-4460957-1722073084/solver-4460957-1722073084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722064837-298845 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460957-1722073084 --lp-cut-gomory=0 HOME/instance-4460957-1722073084.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=304203, runsolver pid=304200
[startup+0.100095 s]*
/proc/loadavg: 4.00 4.13 4.17 5/242 304204
/proc/meminfo: memFree=120223296/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=40116 memory=11268 CPUtime=0.1 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 1175 0 0 0 9 1 0 0 20 0 1 0 43297794 41078784 2817 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 10029 2817 1906 992 0 1887 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40116 KiB
Current children cumulated memory: 11268 KiB
[startup+0.212859 s]*
/proc/loadavg: 4.00 4.13 4.17 5/242 304204
/proc/meminfo: memFree=120221448/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=40528 memory=12060 CPUtime=0.21 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 1367 0 0 0 19 2 0 0 20 0 1 0 43297794 41500672 3015 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 10132 3015 1906 992 0 1990 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40528 KiB
Current children cumulated memory: 12060 KiB
[startup+0.312406 s]*
/proc/loadavg: 4.00 4.13 4.17 5/242 304204
/proc/meminfo: memFree=120219964/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=40792 memory=12588 CPUtime=0.32 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 1500 0 0 0 29 3 0 0 20 0 1 0 43297794 41771008 3147 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 10198 3147 1906 992 0 2056 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40792 KiB
Current children cumulated memory: 12588 KiB
[startup+0.700296 s]
/proc/loadavg: 4.00 4.13 4.17 5/242 304204
/proc/meminfo: memFree=120215408/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=41196 memory=15160 CPUtime=0.69 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 1634 0 0 0 65 4 0 0 20 0 1 0 43297794 42184704 3790 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 10299 3790 1906 992 0 2157 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41196 KiB
Current children cumulated memory: 15160 KiB
[startup+1.50032 s]
/proc/loadavg: 4.00 4.13 4.17 5/242 304204
/proc/meminfo: memFree=120209828/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=42976 memory=17536 CPUtime=1.49 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 2248 0 0 0 140 9 0 0 20 0 1 0 43297794 44007424 4384 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 10744 4384 1906 992 0 2602 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 17536 KiB
[startup+3.11239 s]
/proc/loadavg: 4.00 4.13 4.17 5/242 304204
/proc/meminfo: memFree=120194876/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=43668 memory=18324 CPUtime=3.09 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 2429 0 0 0 292 17 0 0 20 0 1 0 43297794 44716032 4581 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 10917 4581 1906 992 0 2775 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 18324 KiB
[startup+6.3003 s]
/proc/loadavg: 4.08 4.15 4.17 5/242 304205
/proc/meminfo: memFree=120166732/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=48192 memory=22380 CPUtime=6.28 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 2934 0 0 0 595 33 0 0 20 0 1 0 43297794 49348608 5595 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 12048 5595 1906 992 0 3906 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48192 KiB
Current children cumulated memory: 22380 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.15 4.17 5/242 304205
/proc/meminfo: memFree=120124468/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=54944 memory=25232 CPUtime=12.66 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 3650 0 0 0 1202 64 0 0 20 0 1 0 43297794 56262656 6308 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 13736 6308 1906 992 0 5594 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54944 KiB
Current children cumulated memory: 25232 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.14 4.17 5/242 304207
/proc/meminfo: memFree=120039684/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=57480 memory=30352 CPUtime=25.43 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 4632 0 0 0 2431 112 0 0 20 0 1 0 43297794 58859520 7588 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 14370 7588 1906 992 0 6228 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 30352 KiB
[startup+51.1126 s]
/proc/loadavg: 4.12 4.14 4.17 5/242 304212
/proc/meminfo: memFree=119887236/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=68644 memory=38100 CPUtime=50.98 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 6316 0 0 0 4907 191 0 0 20 0 1 0 43297794 70291456 9525 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 17161 9525 1906 992 0 9019 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 38100 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/242 304221
/proc/meminfo: memFree=119652264/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=72524 memory=45800 CPUtime=102.04 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 7491 0 0 0 9886 318 0 0 20 0 1 0 43297794 74264576 11450 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 18131 11450 1906 992 0 9989 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 72524 KiB
Current children cumulated memory: 45800 KiB
[startup+162.3 s]
/proc/loadavg: 4.43 4.21 4.19 5/245 304238
/proc/meminfo: memFree=120895868/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=78972 memory=51204 CPUtime=161.89 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 9222 0 0 0 15768 421 0 0 20 0 1 0 43297794 80867328 12801 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 19743 12801 1906 992 0 11601 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 78972 KiB
Current children cumulated memory: 51204 KiB
[startup+222.3 s]
/proc/loadavg: 4.72 4.35 4.24 5/246 304250
/proc/meminfo: memFree=120669512/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=95712 memory=58056 CPUtime=221.74 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 10494 0 0 0 21678 496 0 0 20 0 1 0 43297794 98009088 14514 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 23928 14514 1906 992 0 15786 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 95712 KiB
Current children cumulated memory: 58056 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.32 4.23 5/241 304288
/proc/meminfo: memFree=120519208/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=95840 memory=64336 CPUtime=281.6 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 10808 0 0 0 27599 561 0 0 20 0 1 0 43297794 98140160 16084 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 23960 16084 1906 992 0 15818 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 95840 KiB
Current children cumulated memory: 64336 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.24 4.21 4/239 304303
/proc/meminfo: memFree=121734448/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=98852 memory=66800 CPUtime=341.47 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 11450 0 0 0 33547 600 0 0 20 0 1 0 43297794 101224448 16700 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 24713 16700 1906 992 0 16571 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 98852 KiB
Current children cumulated memory: 66800 KiB
[startup+402.3 s]
/proc/loadavg: 3.48 4.04 4.14 4/239 304314
/proc/meminfo: memFree=121584452/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=100580 memory=68376 CPUtime=401.33 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 12046 0 0 0 39498 635 0 0 20 0 1 0 43297794 102993920 17094 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 25145 17094 1906 992 0 17003 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 100580 KiB
Current children cumulated memory: 68376 KiB
[startup+462.3 s]
/proc/loadavg: 3.23 3.86 4.07 4/236 304325
/proc/meminfo: memFree=121438564/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=100964 memory=68648 CPUtime=461.19 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 12216 0 0 0 45440 679 0 0 20 0 1 0 43297794 103387136 17162 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 25241 17162 1906 992 0 17099 0
################
# More data... #
################
Current children cumulated memory: 206376 KiB
[startup+2862.3 s]
/proc/loadavg: 1.26 2.22 2.83 2/223 305783
/proc/meminfo: memFree=124850468/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=259604 memory=206252 CPUtime=2855.08 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 28017 0 0 0 284129 1379 0 0 20 0 1 0 43297794 265834496 51563 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 64901 51563 1906 992 0 56759 0
Current children cumulated CPU time: 2855.08 s
Current children cumulated vsize: 259604 KiB
Current children cumulated memory: 206252 KiB
[startup+2922.3 s]
/proc/loadavg: 1.14 2.01 2.72 2/223 305793
/proc/meminfo: memFree=124848760/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=260116 memory=206492 CPUtime=2914.92 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 28182 0 0 0 290102 1390 0 0 20 0 1 0 43297794 266358784 51623 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 65029 51623 1906 992 0 56887 0
Current children cumulated CPU time: 2914.92 s
Current children cumulated vsize: 260116 KiB
Current children cumulated memory: 206492 KiB
[startup+2982.3 s]
/proc/loadavg: 1.16 1.86 2.62 2/222 305803
/proc/meminfo: memFree=124847512/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=262288 memory=207636 CPUtime=2974.75 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 28575 0 0 0 296074 1401 0 0 20 0 1 0 43297794 268582912 51909 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 65572 51909 1906 992 0 57430 0
Current children cumulated CPU time: 2974.75 s
Current children cumulated vsize: 262288 KiB
Current children cumulated memory: 207636 KiB
[startup+3042.3 s]
/proc/loadavg: 1.11 1.71 2.52 2/220 305984
/proc/meminfo: memFree=124843368/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=263056 memory=209864 CPUtime=3034.59 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 28795 0 0 0 302045 1414 0 0 20 0 1 0 43297794 269369344 52466 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 65764 52466 1906 992 0 57622 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 263056 KiB
Current children cumulated memory: 209864 KiB
[startup+3102.3 s]
/proc/loadavg: 1.08 1.60 2.43 2/220 305994
/proc/meminfo: memFree=124840548/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=264192 memory=210880 CPUtime=3094.44 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 29124 0 0 0 308015 1429 0 0 20 0 1 0 43297794 270532608 52720 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 66048 52720 1906 992 0 57906 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 210880 KiB
[startup+3162.3 s]
/proc/loadavg: 1.13 1.51 2.34 2/221 306063
/proc/meminfo: memFree=124838672/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=264192 memory=210996 CPUtime=3154.27 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 29190 0 0 0 313983 1444 0 0 20 0 1 0 43297794 270532608 52749 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 66048 52749 1906 992 0 57906 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 210996 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.43 2.26 2/221 306074
/proc/meminfo: memFree=124837244/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=264192 memory=210996 CPUtime=3214.11 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 29257 0 0 0 319954 1457 0 0 20 0 1 0 43297794 270532608 52749 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 66048 52749 1906 992 0 57906 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 210996 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 1.38 2.19 2/222 306086
/proc/meminfo: memFree=124834744/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=264192 memory=210996 CPUtime=3273.96 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 29324 0 0 0 325928 1468 0 0 20 0 1 0 43297794 270532608 52749 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 66048 52749 1906 992 0 57906 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 264192 KiB
Current children cumulated memory: 210996 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.33 2.12 2/223 306099
/proc/meminfo: memFree=124809000/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=267024 memory=213000 CPUtime=3333.81 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 29795 0 0 0 331880 1501 0 0 20 0 1 0 43297794 273432576 53250 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 66756 53250 1906 992 0 58614 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 267024 KiB
Current children cumulated memory: 213000 KiB
[startup+3402.3 s]
/proc/loadavg: 1.16 1.30 2.06 2/223 306109
/proc/meminfo: memFree=124806756/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=267792 memory=214252 CPUtime=3393.65 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 30005 0 0 0 337853 1512 0 0 20 0 1 0 43297794 274219008 53563 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 66948 53563 1906 992 0 58806 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 267792 KiB
Current children cumulated memory: 214252 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.26 1.99 2/220 306121
/proc/meminfo: memFree=124789828/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=273300 memory=217592 CPUtime=3453.5 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 30898 0 0 0 343816 1534 0 0 20 0 1 0 43297794 279859200 54398 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 68325 54398 1906 992 0 60183 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 273300 KiB
Current children cumulated memory: 217592 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.22 1.93 2/220 306131
/proc/meminfo: memFree=124777436/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=276500 memory=219600 CPUtime=3513.36 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 31521 0 0 0 349783 1553 0 0 20 0 1 0 43297794 283136000 54900 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 69125 54900 1906 992 0 60983 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 276500 KiB
Current children cumulated memory: 219600 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.21 1.88 2/220 306142
/proc/meminfo: memFree=124760752/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=279556 memory=221992 CPUtime=3573.21 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 32552 0 0 0 355752 1569 0 0 20 0 1 0 43297794 286265344 55498 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 69889 55498 1906 992 0 61747 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 279556 KiB
Current children cumulated memory: 221992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.10 1.19 1.86 2/220 306148
/proc/meminfo: memFree=124755856/131655788 swapFree=131060916/131071996
[pid=304203] ppid=304200 vsize=279556 memory=221992 CPUtime=3600.06 cores=4,6
/proc/304203/stat : 304203 (roundingsat) R 304200 304203 298834 0 -1 4194304 32629 0 0 0 358430 1576 0 0 20 0 1 0 43297794 286265344 55498 134679101440 4194304 8254357 140726071050000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23547904 140726071055199 140726071055461 140726071055461 140726071062473 0
/proc/304203/statm: 69889 55498 1906 992 0 61747 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 279556 KiB
Current children cumulated memory: 221992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 304203 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.31 s, system=15.7645 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.07
CPU user time (s): 3584.31
CPU system time (s): 15.7645
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 281316
Max. memory (cumulated for all children) (KiB): 223424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.31
system time used= 15.7645
maximum resident set size= 223424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1006528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 5044
# summary of solver processes directly reported to runsolver:
# pid: 304203
# total CPU time (s): 3600.07
# total CPU user time (s): 3584.31
# total CPU system time (s): 15.7645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5979 second user time and 33.4823 second system time
The end
Begin job on nodeC007 at 2024-07-27 11:38:04 IDJOB=4460957 IDBENCH=177485 IDSOLVER=3086 FILE ID=nodeC007/4460957-1722073084 RUNJOBID= nodeC007-1722064837-298845 SLURM_JOB_ID= 8248109 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-4460957-1722073084/watcher-4460957-1722073084 -o /tmp/evaluation-result-4460957-1722073084/solver-4460957-1722073084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722064837-298845 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460957-1722073084 --lp-cut-gomory=0 HOME/instance-4460957-1722073084.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 678da6339402b89815c46f6042afd950 RANDOM SEED=670711685 nodeC007.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 : 3659.984 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 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 : 3651.053 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.37 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.364 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 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.393 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.37 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 : 3599.378 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 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 : 3659.608 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.37 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.204 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 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.361 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 120227176 kB MemAvailable: 129635288 kB Buffers: 382228 kB Cached: 9730700 kB SwapCached: 152 kB Active: 1858596 kB Inactive: 8766644 kB Active(anon): 2260 kB Inactive(anon): 563128 kB Active(file): 1856336 kB Inactive(file): 8203516 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060916 kB Dirty: 48472 kB Writeback: 0 kB AnonPages: 511956 kB Mapped: 98796 kB Shmem: 53304 kB KReclaimable: 376920 kB Slab: 492576 kB SReclaimable: 376920 kB SUnreclaim: 115656 kB KernelStack: 3968 kB PageTables: 10400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 834924 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 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: 437064 kB DirectMap2M: 60284928 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 723776 MiB End job on nodeC007 at 2024-07-27 12:38:13