| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | -32 | 3600.11 | 3610.11 |
| 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.002871 0.00/0.00 c rational objective -40 0.20/0.30 c bounds -31 >= -640 @ 0.028554 0.20/0.30 c bounds -31 >= -625 @ 0.028554 0.20/0.30 c bounds -31 >= -610 @ 0.028554 0.20/0.30 c bounds -31 >= -595 @ 0.028569 0.20/0.30 c bounds -31 >= -580 @ 0.028648 0.20/0.30 c bounds -31 >= -565 @ 0.028722 0.20/0.30 c bounds -31 >= -550 @ 0.028797 0.20/0.30 c bounds -31 >= -535 @ 0.028875 0.20/0.30 c bounds -31 >= -520 @ 0.02895 0.20/0.30 c bounds -31 >= -505 @ 0.029023 0.20/0.30 c bounds -31 >= -490 @ 0.029097 0.20/0.30 c bounds -31 >= -475 @ 0.029177 0.20/0.30 c bounds -31 >= -460 @ 0.02925 0.20/0.30 c bounds -31 >= -445 @ 0.029326 0.20/0.30 c bounds -31 >= -430 @ 0.029391 0.20/0.30 c bounds -31 >= -415 @ 0.029452 0.20/0.30 c bounds -31 >= -400 @ 0.029515 0.20/0.30 c bounds -31 >= -385 @ 0.029594 0.20/0.30 c bounds -31 >= -370 @ 0.029669 0.20/0.30 c bounds -31 >= -355 @ 0.029744 0.20/0.30 c bounds -31 >= -340 @ 0.02982 0.20/0.30 c bounds -31 >= -325 @ 0.02989 0.20/0.30 c bounds -31 >= -310 @ 0.029962 0.20/0.30 c bounds -31 >= -295 @ 0.030036 0.20/0.30 c bounds -31 >= -280 @ 0.03011 0.20/0.30 c bounds -31 >= -265 @ 0.03018 0.20/0.30 c bounds -31 >= -250 @ 0.030249 0.20/0.30 c bounds -31 >= -235 @ 0.030318 0.20/0.30 c bounds -31 >= -220 @ 0.030385 0.20/0.30 c bounds -31 >= -205 @ 0.030453 0.20/0.30 c bounds -31 >= -190 @ 0.030523 0.20/0.30 c bounds -31 >= -175 @ 0.030592 0.20/0.30 c bounds -31 >= -160 @ 0.030663 0.20/0.30 c bounds -31 >= -145 @ 0.030734 0.20/0.30 c bounds -31 >= -130 @ 0.0308 0.20/0.30 c bounds -31 >= -115 @ 0.030872 0.20/0.30 c bounds -31 >= -100 @ 0.030946 0.20/0.30 c bounds -31 >= -85 @ 0.031017 0.20/0.30 c bounds -31 >= -70 @ 0.031082 0.20/0.30 c bounds -31 >= -55 @ 0.031153 0.20/0.30 c bounds -31 >= -40 @ 0.031224 0.20/0.30 c #Conflicts: 1000 | #Constraints: 1710 0.20/0.30 c #Conflicts: 2000 | #Constraints: 2713 0.20/0.30 c INPROCESSING 0.20/0.30 c GARBAGE COLLECT 0.20/0.30 c rational objective -40 0.69/0.79 c bounds -32 >= -40 @ 0.303858 0.69/0.79 c #Conflicts: 3000 | #Constraints: 2681 0.69/0.79 c #Conflicts: 4000 | #Constraints: 3700 0.69/0.79 c INPROCESSING 0.69/0.79 c GARBAGE COLLECT 0.69/0.79 c rational objective -40 1.48/1.51 c #Conflicts: 5000 | #Constraints: 3078 1.48/1.51 c #Conflicts: 6000 | #Constraints: 4301 1.48/1.51 c INPROCESSING 1.48/1.51 c GARBAGE COLLECT 1.48/1.51 c rational objective -40 2.28/2.35 c #Conflicts: 7000 | #Constraints: 3180 2.28/2.35 c #Conflicts: 8000 | #Constraints: 4226 2.28/2.35 c #Conflicts: 9000 | #Constraints: 5237 2.28/2.35 c INPROCESSING 2.28/2.35 c GARBAGE COLLECT 2.28/2.35 c rational objective -40 2.88/2.99 c #Conflicts: 10000 | #Constraints: 3869 2.88/2.99 c #Conflicts: 11000 | #Constraints: 4885 2.88/2.99 c #Conflicts: 12000 | #Constraints: 5895 2.88/2.99 c INPROCESSING 2.88/2.99 c GARBAGE COLLECT 2.88/2.99 c rational objective -40 3.58/3.60 c #Conflicts: 13000 | #Constraints: 4290 3.58/3.60 c bounds -32 >= -39 @ 3.04485 3.58/3.60 c #Conflicts: 14000 | #Constraints: 5312 3.58/3.60 c #Conflicts: 15000 | #Constraints: 6319 3.58/3.60 c INPROCESSING 3.58/3.60 c GARBAGE COLLECT 3.58/3.60 c rational objective -39 4.48/4.54 c #Conflicts: 16000 | #Constraints: 4478 4.48/4.54 c #Conflicts: 17000 | #Constraints: 5485 4.48/4.54 c #Conflicts: 18000 | #Constraints: 6496 4.48/4.54 c INPROCESSING 4.48/4.54 c GARBAGE COLLECT 4.48/4.54 c rational objective -39 5.18/5.20 c #Conflicts: 19000 | #Constraints: 4474 5.18/5.20 c #Conflicts: 20000 | #Constraints: 5484 5.18/5.20 c #Conflicts: 21000 | #Constraints: 6497 5.18/5.20 c INPROCESSING 5.18/5.20 c GARBAGE COLLECT 5.18/5.20 c rational objective -39 5.98/6.06 c #Conflicts: 22000 | #Constraints: 4273 5.98/6.06 c #Conflicts: 23000 | #Constraints: 5278 5.98/6.06 c #Conflicts: 24000 | #Constraints: 6290 5.98/6.06 c #Conflicts: 25000 | #Constraints: 7296 5.98/6.06 c INPROCESSING 5.98/6.06 c GARBAGE COLLECT 5.98/6.06 c rational objective -39 7.08/7.12 c #Conflicts: 26000 | #Constraints: 4878 7.08/7.12 c #Conflicts: 27000 | #Constraints: 5892 7.08/7.12 c #Conflicts: 28000 | #Constraints: 6899 7.08/7.12 c #Conflicts: 29000 | #Constraints: 7903 7.08/7.12 c INPROCESSING 7.08/7.12 c GARBAGE COLLECT 7.08/7.12 c rational objective -39 8.17/8.23 c #Conflicts: 30000 | #Constraints: 5276 8.17/8.23 c #Conflicts: 31000 | #Constraints: 6290 8.17/8.23 c #Conflicts: 32000 | #Constraints: 7302 8.17/8.23 c #Conflicts: 33000 | #Constraints: 8313 8.17/8.23 c INPROCESSING 8.17/8.23 c GARBAGE COLLECT 8.17/8.23 c rational objective -39 9.27/9.33 c #Conflicts: 34000 | #Constraints: 5476 9.27/9.33 c #Conflicts: 35000 | #Constraints: 6484 9.27/9.33 c #Conflicts: 36000 | #Constraints: 7487 9.27/9.33 c #Conflicts: 37000 | #Constraints: 8497 9.27/9.33 c INPROCESSING 9.27/9.33 c GARBAGE COLLECT 9.27/9.33 c rational objective -39 10.37/10.43 c #Conflicts: 38000 | #Constraints: 5473 10.37/10.43 c #Conflicts: 39000 | #Constraints: 6485 10.37/10.43 c #Conflicts: 40000 | #Constraints: 7494 10.37/10.43 c #Conflicts: 41000 | #Constraints: 8497 10.37/10.43 c INPROCESSING 10.37/10.43 c GARBAGE COLLECT 10.37/10.43 c rational objective -39 11.96/12.04 c #Conflicts: 42000 | #Constraints: 5298 11.96/12.04 c #Conflicts: 43000 | #Constraints: 6310 11.96/12.04 c #Conflicts: 44000 | #Constraints: 7318 11.96/12.04 c #Conflicts: 45000 | #Constraints: 8328 11.96/12.04 c #Conflicts: 46000 | #Constraints: 9341 11.96/12.04 c INPROCESSING 11.96/12.04 c GARBAGE COLLECT 11.96/12.04 c rational objective -39 13.25/13.30 c #Conflicts: 47000 | #Constraints: 5894 13.25/13.30 c #Conflicts: 48000 | #Constraints: 6900 13.25/13.30 c #Conflicts: 49000 | #Constraints: 7909 13.25/13.30 c #Conflicts: 50000 | #Constraints: 8914 13.25/13.30 c #Conflicts: 51000 | #Constraints: 9927 13.25/13.30 c INPROCESSING 13.25/13.30 c GARBAGE COLLECT 13.25/13.30 c rational objective -39 14.56/14.66 c #Conflicts: 52000 | #Constraints: 6309 14.56/14.66 c #Conflicts: 53000 | #Constraints: 7313 14.56/14.66 c #Conflicts: 54000 | #Constraints: 8314 14.56/14.66 c #Conflicts: 55000 | #Constraints: 9320 14.56/14.66 c #Conflicts: 56000 | #Constraints: 10328 14.56/14.66 c INPROCESSING 14.56/14.66 c GARBAGE COLLECT 14.56/14.66 c rational objective -39 16.25/16.36 c #Conflicts: 57000 | #Constraints: 6494 16.25/16.36 c #Conflicts: 58000 | #Constraints: 7500 16.25/16.36 c #Conflicts: 59000 | #Constraints: 8507 16.25/16.36 c #Conflicts: 60000 | #Constraints: 9516 16.25/16.36 c #Conflicts: 61000 | #Constraints: 10527 16.25/16.36 c INPROCESSING 16.25/16.36 c GARBAGE COLLECT 16.25/16.36 c rational objective -39 17.65/17.73 c #Conflicts: 62000 | #Constraints: 6495 17.65/17.73 c #Conflicts: 63000 | #Constraints: 7504 17.65/17.73 c #Conflicts: 64000 | #Constraints: 8523 17.65/17.73 c #Conflicts: 65000 | #Constraints: 9533 17.65/17.73 c #Conflicts: 66000 | #Constraints: 10542 17.65/17.73 c INPROCESSING 17.65/17.73 c GARBAGE COLLECT 17.65/17.73 c rational objective -39 20.14/20.26 c #Conflicts: 67000 | #Constraints: 6303 20.14/20.26 c #Conflicts: 68000 | #Constraints: 7313 20.14/20.26 c #Conflicts: 69000 | #Constraints: 8319 20.14/20.26 c #Conflicts: 70000 | #Constraints: 9328 20.14/20.26 c #Conflicts: 71000 | #Constraints: 10343 20.14/20.26 c #Conflicts: 72000 | #Constraints: 11351 20.14/20.26 c INPROCESSING 20.14/20.26 c GARBAGE COLLECT 20.14/20.26 c rational objective -39 21.84/21.97 c #Conflicts: 73000 | #Constraints: 6900 21.84/21.97 c #Conflicts: 74000 | #Constraints: 7913 21.84/21.97 c #Conflicts: 75000 | #Constraints: 8923 21.84/21.97 c #Conflicts: 76000 | #Constraints: 9935 21.84/21.97 c #Conflicts: 77000 | #Constraints: 10946 21.84/21.97 c #Conflicts: 78000 | #Constraints: 11958 21.84/21.97 c INPROCESSING 21.84/21.97 c GARBAGE COLLECT 21.84/21.97 c rational objective -39 24.23/24.37 c #Conflicts: 79000 | #Constraints: 7653 24.23/24.37 c #Conflicts: 80000 | #Constraints: 8944 24.23/24.37 c #Conflicts: 81000 | #Constraints: 10149 24.23/24.37 c #Conflicts: 82000 | #Constraints: 11820 24.23/24.37 c #Conflicts: 83000 | #Constraints: 13453 24.23/24.37 c #Conflicts: 84000 | #Constraints: 15054 24.23/24.37 c INPROCESSING 24.23/24.37 c GARBAGE COLLECT 24.23/24.37 c rational objective -39 29.22/29.36 c #Conflicts: 85000 | #Constraints: 9362 29.22/29.36 c #Conflicts: 86000 | #Constraints: 10641 29.22/29.36 c #Conflicts: 87000 | #Constraints: 12179 29.22/29.36 c #Conflicts: 88000 | #Constraints: 13583 29.22/29.36 c #Conflicts: 89000 | #Constraints: 15080 29.22/29.36 c #Conflicts: 90000 | #Constraints: 16375 29.22/29.36 c INPROCESSING 29.22/29.36 c GARBAGE COLLECT 29.22/29.36 c rational objective -39 32.92/33.06 c #Conflicts: 91000 | #Constraints: 9444 32.92/33.06 c #Conflicts: 92000 | #Constraints: 10681 32.92/33.06 c #Conflicts: 93000 | #Constraints: 12084 32.92/33.06 c #Conflicts: 94000 | #Constraints: 13640 32.92/33.06 c #Conflicts: 95000 | #Constraints: 15197 32.92/33.06 c #Conflicts: 96000 | #Constraints: 16835 32.92/33.06 c INPROCESSING 32.92/33.06 c GARBAGE COLLECT 32.92/33.06 c rational objective -39 37.00/37.19 c #Conflicts: 97000 | #Constraints: 9624 37.00/37.19 c #Conflicts: 98000 | #Constraints: 10631 37.00/37.19 c #Conflicts: 99000 | #Constraints: 11638 37.00/37.19 c #Conflicts: 100000 | #Constraints: 12664 37.00/37.19 c #Conflicts: 101000 | #Constraints: 13728 37.00/37.19 c #Conflicts: 102000 | #Constraints: 14752 37.00/37.19 c #Conflicts: 103000 | #Constraints: 15757 37.00/37.19 c INPROCESSING 37.00/37.19 c GARBAGE COLLECT 37.00/37.19 c rational objective -39 39.39/39.50 c #Conflicts: 104000 | #Constraints: 9098 39.39/39.50 c #Conflicts: 105000 | #Constraints: 10100 39.39/39.50 c #Conflicts: 106000 | #Constraints: 11109 39.39/39.50 c #Conflicts: 107000 | #Constraints: 12117 39.39/39.50 c #Conflicts: 108000 | #Constraints: 13122 39.39/39.50 c #Conflicts: 109000 | #Constraints: 14129 39.39/39.50 c #Conflicts: 110000 | #Constraints: 15131 39.39/39.50 c INPROCESSING 39.39/39.50 c GARBAGE COLLECT 39.39/39.50 c rational objective -39 41.59/41.72 c #Conflicts: 111000 | #Constraints: 8891 41.59/41.72 c #Conflicts: 112000 | #Constraints: 9912 41.59/41.72 c #Conflicts: 113000 | #Constraints: 10931 41.59/41.72 c #Conflicts: 114000 | #Constraints: 11937 41.59/41.72 c #Conflicts: 115000 | #Constraints: 12952 41.59/41.72 c #Conflicts: 116000 | #Constraints: 13959 41.59/41.72 c #Conflicts: 117000 | #Constraints: 14991 41.59/41.72 c INPROCESSING 41.59/41.72 c GARBAGE COLLECT 41.59/41.72 c rational objective -39 44.99/45.11 c #Conflicts: 118000 | #Constraints: 8834 44.99/45.11 c #Conflicts: 119000 | #Constraints: 9843 44.99/45.11 c #Conflicts: 120000 | #Constraints: 10854 44.99/45.11 c #Conflicts: 121000 | #Constraints: 11866 44.99/45.11 c #Conflicts: 122000 | #Constraints: 12879 44.99/45.11 c #Conflicts: 123000 | #Constraints: 13883 44.99/45.11 c #Conflicts: 124000 | #Constraints: 14891 44.99/45.11 c INPROCESSING 44.99/45.11 c GARBAGE COLLECT 44.99/45.11 c rational objective -39 47.48/47.60 c #Conflicts: 125000 | #Constraints: 8677 47.48/47.60 c #Conflicts: 126000 | #Constraints: 9682 47.48/47.60 c #Conflicts: 127000 | #Constraints: 10696 47.48/47.60 c #Conflicts: 128000 | #Constraints: 11717 47.48/47.60 c #Conflicts: 129000 | #Constraints: 12724 47.48/47.60 c #Conflicts: 130000 | #Constraints: 13726 47.48/47.60 c #Conflicts: 131000 | #Constraints: 14735 47.48/47.60 c INPROCESSING 47.48/47.60 c GARBAGE COLLECT 47.48/47.60 c rational objective -39 50.06/50.22 c #Conflicts: 132000 | #Constraints: 8404 50.06/50.22 c #Conflicts: 133000 | #Constraints: 9420 50.06/50.22 c #Conflicts: 134000 | #Constraints: 10430 50.06/50.22 c #Conflicts: 135000 | #Constraints: 11435 50.06/50.22 c #Conflicts: 136000 | #Constraints: 12445 50.06/50.22 c #Conflicts: 137000 | #Constraints: 13447 50.06/50.22 c #Conflicts: 138000 | #Constraints: 14450 50.06/50.22 c #Conflicts: 139000 | #Constraints: 15451 50.06/50.22 c INPROCESSING 50.06/50.22 c GARBAGE COLLECT 50.06/50.22 c rational objective -39 54.06/54.28 c #Conflicts: 140000 | #Constraints: 8972 54.06/54.28 c #Conflicts: 141000 | #Constraints: 9976 54.06/54.28 c #Conflicts: 142000 | #Constraints: 10987 54.06/54.28 c #Conflicts: 143000 | #Constraints: 11996 54.06/54.28 c #Conflicts: 144000 | #Constraints: 13013 54.06/54.28 c #Conflicts: 145000 | #Constraints: 14020 54.06/54.28 c #Conflicts: 146000 | #Constraints: 15029 54.06/54.28 c #Conflicts: 147000 | #Constraints: 16043 54.06/54.28 c INPROCESSING 54.06/54.28 c GARBAGE COLLECT 54.06/54.28 c rational objective -39 56.85/57.03 c #Conflicts: 148000 | #Constraints: 9361 56.85/57.03 c #Conflicts: 149000 | #Constraints: 10370 56.85/57.03 c #Conflicts: 150000 | #Constraints: 11378 56.85/57.03 c #Conflicts: 151000 | #Constraints: 12392 56.85/57.03 c #Conflicts: 152000 | #Constraints: 13395 56.85/57.03 c #Conflicts: 153000 | #Constraints: 14408 56.85/57.03 c #Conflicts: 154000 | #Constraints: 15419 56.85/57.03 c #Conflicts: 155000 | #Constraints: 16445 56.85/57.03 c INPROCESSING 56.85/57.03 c GARBAGE COLLECT 56.85/57.03 c rational objective -39 61.85/62.08 c #Conflicts: 156000 | #Constraints: 9573 61.85/62.08 c #Conflicts: 157000 | #Constraints: 10578 61.85/62.08 c #Conflicts: 158000 | #Constraints: 11582 61.85/62.08 c #Conflicts: 159000 | #Constraints: 12587 61.85/62.08 c #Conflicts: 160000 | #Constraints: 13593 61.85/62.08 c #Conflicts: 161000 | #Constraints: 14604 61.85/62.08 c #Conflicts: 162000 | #Constraints: 15608 61.85/62.08 c #Conflicts: 163000 | #Constraints: 16622 61.85/62.08 c INPROCESSING 61.85/62.08 c GARBAGE COLLECT 61.85/62.08 c rational objective -39 66.13/66.38 c #Conflicts: 164000 | #Constraints: 9534 66.13/66.38 c #Conflicts: 165000 | #Constraints: 10548 66.13/66.38 c #Conflicts: 166000 | #Constraints: 11552 66.13/66.38 c #Conflicts: 167000 | #Constraints: 12556 66.13/66.38 c #Conflicts: 168000 | #Constraints: 13565 66.13/66.38 c #Conflicts: 169000 | #Constraints: 14573 66.13/66.38 c #Conflicts: 170000 | #Constraints: 15586 66.13/66.38 c #Conflicts: 171000 | #Constraints: 16591 66.13/66.38 c INPROCESSING 66.13/66.38 c GARBAGE COLLECT 66.13/66.38 c rational objective -39 72.31/72.53 c #Conflicts: 172000 | #Constraints: 9334 72.31/72.53 c #Conflicts: 173000 | #Constraints: 10342 72.31/72.53 c #Conflicts: 174000 | #Constraints: 11345 72.31/72.53 c #Conflicts: 175000 | #Constraints: 12350 72.31/72.53 c #Conflicts: 176000 | #Constraints: 13357 72.31/72.53 c #Conflicts: 177000 | #Constraints: 14365 72.31/72.53 c #Conflicts: 178000 | #Constraints: 15373 72.31/72.53 c #Conflicts: 179000 | #Constraints: 16378 72.31/72.53 c #Conflicts: 180000 | #Constraints: 17381 72.31/72.53 c INPROCESSING 72.31/72.53 c GARBAGE COLLECT 72.31/72.53 c rational objective -39 76.60/76.82 c #Conflicts: 181000 | #Constraints: 9912 76.60/76.82 c #Conflicts: 182000 | #Constraints: 10927 76.60/76.82 c #Conflicts: 183000 | #Constraints: 11959 76.60/76.82 c #Conflicts: 184000 | #Constraints: 12976 76.60/76.82 c #Conflicts: 185000 | #Constraints: 14117 76.60/76.82 c #Conflicts: 186000 | #Constraints: 15386 76.60/76.82 c #Conflicts: 187000 | #Constraints: 17054 76.60/76.82 c #Conflicts: 188000 | #Constraints: 18727 76.60/76.82 c #Conflicts: 189000 | #Constraints: 20465 76.60/76.82 c INPROCESSING 76.60/76.82 c GARBAGE COLLECT 76.60/76.82 c rational objective -39 81.89/82.18 c #Conflicts: 190000 | #Constraints: 11930 81.89/82.18 c #Conflicts: 191000 | #Constraints: 13039 81.89/82.18 c #Conflicts: 192000 | #Constraints: 14119 81.89/82.18 c #Conflicts: 193000 | #Constraints: 15418 81.89/82.18 c #Conflicts: 194000 | #Constraints: 16585 81.89/82.18 c #Conflicts: 195000 | #Constraints: 17605 81.89/82.18 c #Conflicts: 196000 | #Constraints: 18685 81.89/82.18 c #Conflicts: 197000 | #Constraints: 19817 81.89/82.18 c #Conflicts: 198000 | #Constraints: 21008 81.89/82.18 c INPROCESSING 81.89/82.18 c GARBAGE COLLECT 81.89/82.18 c rational objective -39 88.16/88.42 c #Conflicts: 199000 | #Constraints: 11853 88.16/88.42 c #Conflicts: 200000 | #Constraints: 12853 88.16/88.42 c #Conflicts: 201000 | #Constraints: 13855 88.16/88.42 c #Conflicts: 202000 | #Constraints: 14857 88.16/88.42 c #Conflicts: 203000 | #Constraints: 15871 88.16/88.42 c #Conflicts: 204000 | #Constraints: 16882 88.16/88.42 c #Conflicts: 205000 | #Constraints: 17883 88.16/88.42 c #Conflicts: 206000 | #Constraints: 18885 88.16/88.42 c #Conflicts: 207000 | #Constraints: 19889 88.16/88.42 c INPROCESSING 88.16/88.42 c GARBAGE COLLECT 88.16/88.42 c rational objective -39 92.06/92.38 c #Conflicts: 208000 | #Constraints: 11173 92.06/92.38 c #Conflicts: 209000 | #Constraints: 12191 92.06/92.38 c #Conflicts: 210000 | #Constraints: 13426 92.06/92.38 c #Conflicts: 211000 | #Constraints: 15095 92.06/92.38 c #Conflicts: 212000 | #Constraints: 16319 92.06/92.38 c #Conflicts: 213000 | #Constraints: 17562 92.06/92.38 c #Conflicts: 214000 | #Constraints: 19309 92.06/92.38 c #Conflicts: 215000 | #Constraints: 20995 92.06/92.38 c #Conflicts: 216000 | #Constraints: 22503 92.06/92.38 c INPROCESSING 92.06/92.38 c GARBAGE COLLECT 92.06/92.38 c rational objective -39 101.92/102.23 c #Conflicts: 217000 | #Constraints: 12340 101.92/102.23 c #Conflicts: 218000 | #Constraints: 13384 101.92/102.23 c #Conflicts: 219000 | #Constraints: 14506 101.92/102.23 c #Conflicts: 220000 | #Constraints: 15554 101.92/102.23 c #Conflicts: 221000 | #Constraints: 16599 101.92/102.23 c #Conflicts: 222000 | #Constraints: 17664 101.92/102.23 c #Conflicts: 223000 | #Constraints: 18706 101.92/102.23 c #Conflicts: 224000 | #Constraints: 19867 101.92/102.23 c #Conflicts: 225000 | #Constraints: 21695 101.92/102.23 c #Conflicts: 226000 | #Constraints: 22801 101.92/102.23 c INPROCESSING 101.92/102.23 c GARBAGE COLLECT 101.92/102.23 c rational objective -39 109.71/110.02 c #Conflicts: 227000 | #Constraints: 12955 109.71/110.02 c #Conflicts: 228000 | #Constraints: 14471 109.71/110.02 c #Conflicts: 229000 | #Constraints: 16002 109.71/110.02 c #Conflicts: 230000 | #Constraints: 17488 109.71/110.02 c #Conflicts: 231000 | #Constraints: 18969 109.71/110.02 c #Conflicts: 232000 | #Constraints: 20547 109.71/110.02 c #Conflicts: 233000 | #Constraints: 22125 109.71/110.02 c #Conflicts: 234000 | #Constraints: 23406 109.71/110.02 c #Conflicts: 235000 | #Constraints: 24857 109.71/110.02 c #Conflicts: 236000 | #Constraints: 26232 109.71/110.02 c INPROCESSING 109.71/110.02 c GARBAGE COLLECT 109.71/110.02 c rational objective -39 117.39/117.75 c #Conflicts: 237000 | #Constraints: 14932 117.39/117.75 c #Conflicts: 238000 | #Constraints: 16556 117.39/117.75 c #Conflicts: 239000 | #Constraints: 18117 117.39/117.75 c #Conflicts: 240000 | #Constraints: 19344 117.39/117.75 c #Conflicts: 241000 | #Constraints: 20947 117.39/117.75 c #Conflicts: 242000 | #Constraints: 22178 117.39/117.75 c #Conflicts: 243000 | #Constraints: 23742 117.39/117.75 c #Conflicts: 244000 | #Constraints: 25271 117.39/117.75 c #Conflicts: 245000 | #Constraints: 26854 117.39/117.75 c #Conflicts: 246000 | #Constraints: 28498 117.39/117.75 c INPROCESSING 117.39/117.75 c GARBAGE COLLECT 117.39/117.75 c rational objective -39 137.63/138.01 c #Conflicts: 247000 | #Constraints: 16192 137.63/138.01 c #Conflicts: 248000 | #Constraints: 17329 137.63/138.01 c #Conflicts: 249000 | #Constraints: 18607 137.63/138.01 c #Conflicts: 250000 | #Constraints: 19623 137.63/138.01 c #Conflicts: 251000 | #Constraints: 20787 137.63/138.01 c #Conflicts: 252000 | #Constraints: 21838 137.63/138.01 c #Conflicts: 253000 | #Constraints: 23190 137.63/138.01 c #Conflicts: 254000 | #Constraints: 24202 137.63/138.01 c #Conflicts: 255000 | #Constraints: 25283 137.63/138.01 c #Conflicts: 256000 | #Constraints: 26395 137.63/138.01 c INPROCESSING 137.63/138.01 c GARBAGE COLLECT 137.63/138.01 c rational objective -39 145.80/146.28 c #Conflicts: 257000 | #Constraints: 14441 145.80/146.28 c #Conflicts: 258000 | #Constraints: 15469 145.80/146.28 c #Conflicts: 259000 | #Constraints: 16479 145.80/146.28 c #Conflicts: 260000 | #Constraints: 17487 145.80/146.28 c #Conflicts: 261000 | #Constraints: 18503 145.80/146.28 c #Conflicts: 262000 | #Constraints: 19508 145.80/146.28 c #Conflicts: 263000 | #Constraints: 20512 145.80/146.28 c #Conflicts: 264000 | #Constraints: 21523 145.80/146.28 c #Conflicts: 265000 | #Constraints: 22536 145.80/146.28 c #Conflicts: 266000 | #Constraints: 23536 145.80/146.28 c INPROCESSING 145.80/146.28 c GARBAGE COLLECT 145.80/146.28 c rational objective -39 176.00/176.59 c #Conflicts: 267000 | #Constraints: 12819 176.00/176.59 c #Conflicts: 268000 | #Constraints: 13825 176.00/176.59 c #Conflicts: 269000 | #Constraints: 14831 176.00/176.59 c #Conflicts: 270000 | #Constraints: 15837 176.00/176.59 c #Conflicts: 271000 | #Constraints: 16841 176.00/176.59 c #Conflicts: 272000 | #Constraints: 17846 176.00/176.59 c #Conflicts: 273000 | #Constraints: 18848 176.00/176.59 c #Conflicts: 274000 | #Constraints: 19852 176.00/176.59 c #Conflicts: 275000 | #Constraints: 20857 176.00/176.59 c #Conflicts: 276000 | #Constraints: 21860 176.00/176.59 c #Conflicts: 277000 | #Constraints: 22864 176.00/176.59 c INPROCESSING 176.00/176.59 c GARBAGE COLLECT 176.00/176.59 c rational objective -39 186.58/187.19 c #Conflicts: 278000 | #Constraints: 12654 186.58/187.19 c #Conflicts: 279000 | #Constraints: 13715 186.58/187.19 c #Conflicts: 280000 | #Constraints: 14810 186.58/187.19 c #Conflicts: 281000 | #Constraints: 15849 186.58/187.19 c #Conflicts: 282000 | #Constraints: 16932 186.58/187.19 c #Conflicts: 283000 | #Constraints: 18087 186.58/187.19 c #Conflicts: 284000 | #Constraints: 19161 186.58/187.19 c #Conflicts: 285000 | #Constraints: 20171 186.58/187.19 c #Conflicts: 286000 | #Constraints: 21194 186.58/187.19 c #Conflicts: 287000 | #Constraints: 22226 186.58/187.19 c #Conflicts: 288000 | #Constraints: 23298 186.58/187.19 c INPROCESSING 186.58/187.19 c GARBAGE COLLECT 186.58/187.19 c rational objective -39 198.35/198.94 c #Conflicts: 289000 | #Constraints: 13115 198.35/198.94 c #Conflicts: 290000 | #Constraints: 14439 198.35/198.94 c #Conflicts: 291000 | #Constraints: 15477 198.35/198.94 c #Conflicts: 292000 | #Constraints: 16673 198.35/198.94 c #Conflicts: 293000 | #Constraints: 18199 198.35/198.94 c #Conflicts: 294000 | #Constraints: 19769 198.35/198.94 c #Conflicts: 295000 | #Constraints: 21293 198.35/198.94 c #Conflicts: 296000 | #Constraints: 22666 198.35/198.94 c #Conflicts: 297000 | #Constraints: 24136 198.35/198.94 c #Conflicts: 298000 | #Constraints: 25679 198.35/198.94 c #Conflicts: 299000 | #Constraints: 27264 198.35/198.94 c INPROCESSING 198.35/198.94 c GARBAGE COLLECT 198.35/198.94 c rational objective -39 238.36/239.05 c #Conflicts: 300000 | #Constraints: 15053 238.36/239.05 c #Conflicts: 301000 | #Constraints: 16059 238.36/239.05 c #Conflicts: 302000 | #Constraints: 17192 238.36/239.05 c #Conflicts: 303000 | #Constraints: 18247 238.36/239.05 c #Conflicts: 304000 | #Constraints: 19271 238.36/239.05 c #Conflicts: 305000 | #Constraints: 20337 238.36/239.05 c #Conflicts: 306000 | #Constraints: 21373 238.36/239.05 c #Conflicts: 307000 | #Constraints: 22456 238.36/239.05 c #Conflicts: 308000 | #Constraints: 23510 238.36/239.05 c #Conflicts: 309000 | #Constraints: 24615 238.36/239.05 c #Conflicts: 310000 | #Constraints: 25695 238.36/239.05 c INPROCESSING 238.36/239.05 c GARBAGE COLLECT 238.36/239.05 c rational objective -39 250.73/251.44 c #Conflicts: 311000 | #Constraints: 14075 250.73/251.44 c #Conflicts: 312000 | #Constraints: 15095 250.73/251.44 c #Conflicts: 313000 | #Constraints: 16101 250.73/251.44 c #Conflicts: 314000 | #Constraints: 17106 250.73/251.44 c #Conflicts: 315000 | #Constraints: 18108 250.73/251.44 c #Conflicts: 316000 | #Constraints: 19110 250.73/251.44 c #Conflicts: 317000 | #Constraints: 20121 250.73/251.44 c #Conflicts: 318000 | #Constraints: 21243 250.73/251.44 c #Conflicts: 319000 | #Constraints: 22276 250.73/251.44 c #Conflicts: 320000 | #Constraints: 23302 250.73/251.44 c #Conflicts: 321000 | #Constraints: 24408 250.73/251.44 c INPROCESSING 250.73/251.44 c GARBAGE COLLECT 250.73/251.44 c rational objective -39 264.20/264.95 c #Conflicts: 322000 | #Constraints: 13246 264.20/264.95 c #Conflicts: 323000 | #Constraints: 14285 264.20/264.95 c #Conflicts: 324000 | #Constraints: 15312 264.20/264.95 c #Conflicts: 325000 | #Constraints: 16334 264.20/264.95 c #Conflicts: 326000 | #Constraints: 17341 264.20/264.95 c #Conflicts: 327000 | #Constraints: 18370 264.20/264.95 c #Conflicts: 328000 | #Constraints: 19414 264.20/264.95 c #Conflicts: 329000 | #Constraints: 20469 264.20/264.95 c #Conflicts: 330000 | #Constraints: 21521 264.20/264.95 c #Conflicts: 331000 | #Constraints: 22560 264.20/264.95 c #Conflicts: 332000 | #Constraints: 23601 264.20/264.95 c #Conflicts: 333000 | #Constraints: 24625 264.20/264.95 c INPROCESSING 264.20/264.95 c GARBAGE COLLECT 264.20/264.95 c rational objective -39 337.32/338.24 c #Conflicts: 334000 | #Constraints: 13541 337.32/338.24 c #Conflicts: 335000 | #Constraints: 14543 337.32/338.24 c #Conflicts: 336000 | #Constraints: 15545 337.32/338.24 c #Conflicts: 337000 | #Constraints: 16547 337.32/338.24 c #Conflicts: 338000 | #Constraints: 17550 337.32/338.24 c #Conflicts: 339000 | #Constraints: 18563 337.32/338.24 c #Conflicts: 340000 | #Constraints: 19565 337.32/338.24 c #Conflicts: 341000 | #Constraints: 20570 337.32/338.24 c #Conflicts: 342000 | #Constraints: 21573 337.32/338.24 c #Conflicts: 343000 | #Constraints: 22575 337.32/338.24 c #Conflicts: 344000 | #Constraints: 23579 337.32/338.24 c #Conflicts: 345000 | #Constraints: 24583 337.32/338.24 c INPROCESSING 337.32/338.24 c GARBAGE COLLECT 337.32/338.24 c rational objective -39 354.38/355.37 c #Conflicts: 346000 | #Constraints: 13611 354.38/355.37 c #Conflicts: 347000 | #Constraints: 14618 354.38/355.37 c #Conflicts: 348000 | #Constraints: 15628 354.38/355.37 c #Conflicts: 349000 | #Constraints: 16633 354.38/355.37 c #Conflicts: 350000 | #Constraints: 17638 354.38/355.37 c #Conflicts: 351000 | #Constraints: 18647 354.38/355.37 c #Conflicts: 352000 | #Constraints: 19657 354.38/355.37 c #Conflicts: 353000 | #Constraints: 20662 354.38/355.37 c #Conflicts: 354000 | #Constraints: 21667 354.38/355.37 c #Conflicts: 355000 | #Constraints: 22743 354.38/355.37 c #Conflicts: 356000 | #Constraints: 23857 354.38/355.37 c #Conflicts: 357000 | #Constraints: 24914 354.38/355.37 c INPROCESSING 354.38/355.37 c GARBAGE COLLECT 354.38/355.37 c rational objective -39 730.63/732.53 c #Conflicts: 358000 | #Constraints: 13818 730.63/732.53 c #Conflicts: 359000 | #Constraints: 15162 730.63/732.53 c #Conflicts: 360000 | #Constraints: 16383 730.63/732.53 c #Conflicts: 361000 | #Constraints: 17560 730.63/732.53 c #Conflicts: 362000 | #Constraints: 18649 730.63/732.53 c #Conflicts: 363000 | #Constraints: 19756 730.63/732.53 c #Conflicts: 364000 | #Constraints: 20792 730.63/732.53 c #Conflicts: 365000 | #Constraints: 22087 730.63/732.53 c #Conflicts: 366000 | #Constraints: 23154 730.63/732.53 c #Conflicts: 367000 | #Constraints: 24353 730.63/732.53 c #Conflicts: 368000 | #Constraints: 25383 730.63/732.53 c #Conflicts: 369000 | #Constraints: 26653 730.63/732.53 c INPROCESSING 730.63/732.53 c GARBAGE COLLECT 730.63/732.53 c #Conflicts: 370000 | #Constraints: 14931 730.63/732.53 c #Conflicts: 371000 | #Constraints: 16041 730.63/732.53 c #Conflicts: 372000 | #Constraints: 17153 730.63/732.53 c #Conflicts: 373000 | #Constraints: 18506 730.63/732.53 c #Conflicts: 374000 | #Constraints: 19841 730.63/732.53 c #Conflicts: 375000 | #Constraints: 21125 730.63/732.53 c #Conflicts: 376000 | #Constraints: 22458 730.63/732.53 c #Conflicts: 377000 | #Constraints: 23992 730.63/732.53 c #Conflicts: 378000 | #Constraints: 25538 730.63/732.53 c #Conflicts: 379000 | #Constraints: 26565 730.63/732.53 c #Conflicts: 380000 | #Constraints: 27613 730.63/732.53 c #Conflicts: 381000 | #Constraints: 28688 730.63/732.53 c INPROCESSING 730.63/732.53 c GARBAGE COLLECT 730.63/732.53 c #Conflicts: 382000 | #Constraints: 15387 730.63/732.53 c #Conflicts: 383000 | #Constraints: 16420 730.63/732.53 c #Conflicts: 384000 | #Constraints: 17443 730.63/732.53 c #Conflicts: 385000 | #Constraints: 18478 730.63/732.53 c #Conflicts: 386000 | #Constraints: 19493 730.63/732.53 c #Conflicts: 387000 | #Constraints: 20509 730.63/732.53 c #Conflicts: 388000 | #Constraints: 21539 730.63/732.53 c #Conflicts: 389000 | #Constraints: 22567 730.63/732.53 c #Conflicts: 390000 | #Constraints: 23616 730.63/732.53 c #Conflicts: 391000 | #Constraints: 24652 730.63/732.53 c #Conflicts: 392000 | #Constraints: 25696 730.63/732.53 c #Conflicts: 393000 | #Constraints: 26712 730.63/732.53 c #Conflicts: 394000 | #Constraints: 27724 730.63/732.53 c INPROCESSING 730.63/732.53 c GARBAGE COLLECT 730.63/732.53 c #Conflicts: 395000 | #Constraints: 15128 730.63/732.53 c #Conflicts: 396000 | #Constraints: 16434 730.63/732.53 c #Conflicts: 397000 | #Constraints: 18006 730.63/732.53 c #Conflicts: 398000 | #Constraints: 19221 730.63/732.53 c #Conflicts: 399000 | #Constraints: 20331 730.63/732.53 c #Conflicts: 400000 | #Constraints: 21659 730.63/732.53 c #Conflicts: 401000 | #Constraints: 22729 730.63/732.53 c #Conflicts: 402000 | #Constraints: 23882 730.63/732.53 c #Conflicts: 403000 | #Constraints: 24959 730.63/732.53 c #Conflicts: 404000 | #Constraints: 26177 730.63/732.53 c #Conflicts: 405000 | #Constraints: 27227 730.63/732.53 c #Conflicts: 406000 | #Constraints: 28301 730.63/732.53 c #Conflicts: 407000 | #Constraints: 29346 730.63/732.53 c INPROCESSING 730.63/732.53 c GARBAGE COLLECT 730.63/732.53 c #Conflicts: 408000 | #Constraints: 16149 730.63/732.53 c #Conflicts: 409000 | #Constraints: 17176 730.63/732.53 c #Conflicts: 410000 | #Constraints: 18199 730.63/732.53 c #Conflicts: 411000 | #Constraints: 19232 730.63/732.53 c #Conflicts: 412000 | #Constraints: 20296 730.63/732.53 c #Conflicts: 413000 | #Constraints: 21552 730.63/732.53 c #Conflicts: 414000 | #Constraints: 22692 730.63/732.53 c #Conflicts: 415000 | #Constraints: 23756 730.63/732.53 c #Conflicts: 416000 | #Constraints: 24964 730.63/732.53 c #Conflicts: 417000 | #Constraints: 26116 730.63/732.53 c #Conflicts: 418000 | #Constraints: 27398 730.63/732.53 c #Conflicts: 419000 | #Constraints: 28983 730.63/732.53 c #Conflicts: 420000 | #Constraints: 30360 730.63/732.53 c INPROCESSING 730.63/732.53 c GARBAGE COLLECT 730.63/732.53 c #Conflicts: 421000 | #Constraints: 16544 730.63/732.53 c #Conflicts: 422000 | #Constraints: 17573 730.63/732.53 c #Conflicts: 423000 | #Constraints: 18625 730.63/732.53 c #Conflicts: 424000 | #Constraints: 19644 730.63/732.53 c #Conflicts: 425000 | #Constraints: 20707 730.63/732.53 c #Conflicts: 426000 | #Constraints: 21744 730.63/732.53 c #Conflicts: 427000 | #Constraints: 22770 730.63/732.53 c #Conflicts: 428000 | #Constraints: 23810 730.63/732.53 c #Conflicts: 429000 | #Constraints: 24826 730.63/732.53 c #Conflicts: 430000 | #Constraints: 25835 730.63/732.53 c #Conflicts: 431000 | #Constraints: 26856 730.63/732.53 c #Conflicts: 432000 | #Constraints: 27885 730.63/732.53 c #Conflicts: 433000 | #Constraints: 28935 1215.96/1219.12 c INPROCESSING 1215.96/1219.12 c GARBAGE COLLECT 1215.96/1219.12 c #Conflicts: 434000 | #Constraints: 15894 1215.96/1219.12 c #Conflicts: 435000 | #Constraints: 17023 1215.96/1219.12 c #Conflicts: 436000 | #Constraints: 18128 1215.96/1219.12 c #Conflicts: 437000 | #Constraints: 19276 1215.96/1219.12 c #Conflicts: 438000 | #Constraints: 21048 1215.96/1219.12 c #Conflicts: 439000 | #Constraints: 22842 1215.96/1219.12 c #Conflicts: 440000 | #Constraints: 24625 1215.96/1219.12 c #Conflicts: 441000 | #Constraints: 26356 1215.96/1219.12 c #Conflicts: 442000 | #Constraints: 28121 1215.96/1219.12 c #Conflicts: 443000 | #Constraints: 29855 1215.96/1219.12 c #Conflicts: 444000 | #Constraints: 31496 1215.96/1219.12 c #Conflicts: 445000 | #Constraints: 33144 1215.96/1219.12 c #Conflicts: 446000 | #Constraints: 34840 1215.96/1219.12 c #Conflicts: 447000 | #Constraints: 36506 1215.96/1219.12 c #Conflicts: 448000 | #Constraints: 38142 1215.96/1219.12 c #Conflicts: 449000 | #Constraints: 39854 1215.96/1219.12 c #Conflicts: 450000 | #Constraints: 41551 1215.96/1219.12 c #Conflicts: 451000 | #Constraints: 43246 1215.96/1219.12 c #Conflicts: 452000 | #Constraints: 44963 1215.96/1219.12 c #Conflicts: 453000 | #Constraints: 46620 1215.96/1219.12 c #Conflicts: 454000 | #Constraints: 48306 1215.96/1219.12 c #Conflicts: 455000 | #Constraints: 49997 1215.96/1219.12 c #Conflicts: 456000 | #Constraints: 51735 1215.96/1219.12 c #Conflicts: 457000 | #Constraints: 53498 1215.96/1219.12 c #Conflicts: 458000 | #Constraints: 55334 1215.96/1219.12 c #Conflicts: 459000 | #Constraints: 57162 1215.96/1219.12 c #Conflicts: 460000 | #Constraints: 58823 1215.96/1219.12 c #Conflicts: 461000 | #Constraints: 60424 1215.96/1219.12 c #Conflicts: 462000 | #Constraints: 62174 1215.96/1219.12 c #Conflicts: 463000 | #Constraints: 63724 1215.96/1219.12 c #Conflicts: 464000 | #Constraints: 65178 1215.96/1219.12 c #Conflicts: 465000 | #Constraints: 66762 1215.96/1219.12 c #Conflicts: 466000 | #Constraints: 68376 1215.96/1219.12 c #Conflicts: 467000 | #Constraints: 69987 1215.96/1219.12 c #Conflicts: 468000 | #Constraints: 71559 1215.96/1219.12 c #Conflicts: 469000 | #Constraints: 73074 1215.96/1219.12 c #Conflicts: 470000 | #Constraints: 74717 1215.96/1219.12 c #Conflicts: 471000 | #Constraints: 76357 1215.96/1219.12 c #Conflicts: 472000 | #Constraints: 77944 1215.96/1219.12 c #Conflicts: 473000 | #Constraints: 79640 1215.96/1219.12 c #Conflicts: 474000 | #Constraints: 81296 1215.96/1219.12 c #Conflicts: 475000 | #Constraints: 82712 1215.96/1219.12 c #Conflicts: 476000 | #Constraints: 84008 1215.96/1219.12 c #Conflicts: 477000 | #Constraints: 85302 1215.96/1219.12 c #Conflicts: 478000 | #Constraints: 86411 1215.96/1219.12 c #Conflicts: 479000 | #Constraints: 87773 1215.96/1219.12 c #Conflicts: 480000 | #Constraints: 88872 1215.96/1219.12 c #Conflicts: 481000 | #Constraints: 89906 1215.96/1219.12 c #Conflicts: 482000 | #Constraints: 91174 1215.96/1219.12 c #Conflicts: 483000 | #Constraints: 92345 1215.96/1219.12 c #Conflicts: 484000 | #Constraints: 93380 1215.96/1219.12 c #Conflicts: 485000 | #Constraints: 94453 1215.96/1219.12 c #Conflicts: 486000 | #Constraints: 95501 1215.96/1219.12 c #Conflicts: 487000 | #Constraints: 96533 1215.96/1219.12 c #Conflicts: 488000 | #Constraints: 97613 1215.96/1219.12 c #Conflicts: 489000 | #Constraints: 98646 1215.96/1219.12 c #Conflicts: 490000 | #Constraints: 99746 1215.96/1219.12 c #Conflicts: 491000 | #Constraints: 100858 1215.96/1219.12 c #Conflicts: 492000 | #Constraints: 101903 1215.96/1219.12 c #Conflicts: 493000 | #Constraints: 102952 1215.96/1219.12 c #Conflicts: 494000 | #Constraints: 104074 1215.96/1219.12 c #Conflicts: 495000 | #Constraints: 105239 1215.96/1219.12 c #Conflicts: 496000 | #Constraints: 106457 1215.96/1219.12 c #Conflicts: 497000 | #Constraints: 107722 1215.96/1219.12 c #Conflicts: 498000 | #Constraints: 108809 1215.96/1219.12 c INPROCESSING 1215.96/1219.12 c GARBAGE COLLECT 1215.96/1219.12 c #Conflicts: 499000 | #Constraints: 55372 1215.96/1219.12 c #Conflicts: 500000 | #Constraints: 56447 1215.96/1219.12 c #Conflicts: 501000 | #Constraints: 57476 1215.96/1219.12 c #Conflicts: 502000 | #Constraints: 58499 1215.96/1219.12 c #Conflicts: 503000 | #Constraints: 59511 1215.96/1219.12 c #Conflicts: 504000 | #Constraints: 60538 1215.96/1219.12 c #Conflicts: 505000 | #Constraints: 61569 1215.96/1219.12 c #Conflicts: 506000 | #Constraints: 62609 1215.96/1219.12 c #Conflicts: 507000 | #Constraints: 63683 1215.96/1219.12 c #Conflicts: 508000 | #Constraints: 64715 1215.96/1219.12 c #Conflicts: 509000 | #Constraints: 65746 1215.96/1219.12 c #Conflicts: 510000 | #Constraints: 66778 1215.96/1219.12 c #Conflicts: 511000 | #Constraints: 67823 1929.01/1934.14 c #Conflicts: 512000 | #Constraints: 68926 1929.01/1934.14 c #Conflicts: 513000 | #Constraints: 69973 1929.01/1934.14 c INPROCESSING 1929.01/1934.14 c GARBAGE COLLECT 1929.01/1934.14 c #Conflicts: 514000 | #Constraints: 36200 1929.01/1934.14 c #Conflicts: 515000 | #Constraints: 37250 1929.01/1934.14 c #Conflicts: 516000 | #Constraints: 38283 1929.01/1934.14 c #Conflicts: 517000 | #Constraints: 39324 1929.01/1934.14 c #Conflicts: 518000 | #Constraints: 40359 1929.01/1934.14 c #Conflicts: 519000 | #Constraints: 41406 1929.01/1934.14 c #Conflicts: 520000 | #Constraints: 42420 1929.01/1934.14 c #Conflicts: 521000 | #Constraints: 43517 1929.01/1934.14 c #Conflicts: 522000 | #Constraints: 44543 1929.01/1934.14 c #Conflicts: 523000 | #Constraints: 45554 1929.01/1934.14 c #Conflicts: 524000 | #Constraints: 46576 1929.01/1934.14 c #Conflicts: 525000 | #Constraints: 47610 1929.01/1934.14 c #Conflicts: 526000 | #Constraints: 48630 1929.01/1934.14 c #Conflicts: 527000 | #Constraints: 49665 1929.01/1934.14 c #Conflicts: 528000 | #Constraints: 50682 1929.01/1934.14 c INPROCESSING 1929.01/1934.14 c GARBAGE COLLECT 1929.01/1934.14 c #Conflicts: 529000 | #Constraints: 26736 1929.01/1934.14 c #Conflicts: 530000 | #Constraints: 27769 1929.01/1934.14 c #Conflicts: 531000 | #Constraints: 28850 1929.01/1934.14 c #Conflicts: 532000 | #Constraints: 29984 1929.01/1934.14 c #Conflicts: 533000 | #Constraints: 31084 1929.01/1934.14 c #Conflicts: 534000 | #Constraints: 32157 1929.01/1934.14 c #Conflicts: 535000 | #Constraints: 33227 1929.01/1934.14 c #Conflicts: 536000 | #Constraints: 34275 1929.01/1934.14 c #Conflicts: 537000 | #Constraints: 35341 1929.01/1934.14 c #Conflicts: 538000 | #Constraints: 36446 1929.01/1934.14 c #Conflicts: 539000 | #Constraints: 37560 1929.01/1934.14 c #Conflicts: 540000 | #Constraints: 38633 1929.01/1934.14 c #Conflicts: 541000 | #Constraints: 39838 1929.01/1934.14 c #Conflicts: 542000 | #Constraints: 40882 1929.01/1934.14 c INPROCESSING 1929.01/1934.14 c GARBAGE COLLECT 1929.01/1934.14 c #Conflicts: 543000 | #Constraints: 21661 1929.01/1934.14 c #Conflicts: 544000 | #Constraints: 22735 1929.01/1934.14 c #Conflicts: 545000 | #Constraints: 23821 1929.01/1934.14 c #Conflicts: 546000 | #Constraints: 24896 1929.01/1934.14 c #Conflicts: 547000 | #Constraints: 25956 1929.01/1934.14 c #Conflicts: 548000 | #Constraints: 27072 1929.01/1934.14 c #Conflicts: 549000 | #Constraints: 28134 1929.01/1934.14 c #Conflicts: 550000 | #Constraints: 29172 1929.01/1934.14 c #Conflicts: 551000 | #Constraints: 30209 1929.01/1934.14 c #Conflicts: 552000 | #Constraints: 31272 1929.01/1934.14 c #Conflicts: 553000 | #Constraints: 32385 1929.01/1934.14 c #Conflicts: 554000 | #Constraints: 33470 1929.01/1934.14 c #Conflicts: 555000 | #Constraints: 34536 1929.01/1934.14 c #Conflicts: 556000 | #Constraints: 35642 1929.01/1934.14 c #Conflicts: 557000 | #Constraints: 36685 1929.01/1934.14 c #Conflicts: 558000 | #Constraints: 37707 1929.01/1934.14 c #Conflicts: 559000 | #Constraints: 38757 1929.01/1934.14 c #Conflicts: 560000 | #Constraints: 39764 1929.01/1934.14 c #Conflicts: 561000 | #Constraints: 40767 1929.01/1934.14 c #Conflicts: 562000 | #Constraints: 41814 1929.01/1934.14 c #Conflicts: 563000 | #Constraints: 42851 1929.01/1934.14 c #Conflicts: 564000 | #Constraints: 43967 1929.01/1934.14 c #Conflicts: 565000 | #Constraints: 45113 1929.01/1934.14 c #Conflicts: 566000 | #Constraints: 46205 1929.01/1934.14 c #Conflicts: 567000 | #Constraints: 47238 1929.01/1934.14 c #Conflicts: 568000 | #Constraints: 48293 1929.01/1934.14 c #Conflicts: 569000 | #Constraints: 49434 1929.01/1934.14 c #Conflicts: 570000 | #Constraints: 50481 1929.01/1934.14 c #Conflicts: 571000 | #Constraints: 51554 1929.01/1934.14 c #Conflicts: 572000 | #Constraints: 52734 1929.01/1934.14 c #Conflicts: 573000 | #Constraints: 54148 1929.01/1934.14 c #Conflicts: 574000 | #Constraints: 55268 1929.01/1934.14 c #Conflicts: 575000 | #Constraints: 56459 1929.01/1934.14 c #Conflicts: 576000 | #Constraints: 57472 1929.01/1934.14 c #Conflicts: 577000 | #Constraints: 58509 1929.01/1934.14 c #Conflicts: 578000 | #Constraints: 59569 1929.01/1934.14 c #Conflicts: 579000 | #Constraints: 60791 1929.01/1934.14 c #Conflicts: 580000 | #Constraints: 61917 1929.01/1934.14 c #Conflicts: 581000 | #Constraints: 62955 1929.01/1934.14 c #Conflicts: 582000 | #Constraints: 63990 1929.01/1934.14 c #Conflicts: 583000 | #Constraints: 65054 1929.01/1934.14 c #Conflicts: 584000 | #Constraints: 66275 1929.01/1934.14 c #Conflicts: 585000 | #Constraints: 67446 1929.01/1934.14 c #Conflicts: 586000 | #Constraints: 68480 1929.01/1934.14 c #Conflicts: 587000 | #Constraints: 69532 3284.37/3293.43 c #Conflicts: 588000 | #Constraints: 70641 3284.37/3293.43 c #Conflicts: 589000 | #Constraints: 71659 3284.37/3293.43 c #Conflicts: 590000 | #Constraints: 72681 3284.37/3293.43 c #Conflicts: 591000 | #Constraints: 73774 3284.37/3293.43 c #Conflicts: 592000 | #Constraints: 74872 3284.37/3293.43 c #Conflicts: 593000 | #Constraints: 76288 3284.37/3293.43 c #Conflicts: 594000 | #Constraints: 77379 3284.37/3293.43 c #Conflicts: 595000 | #Constraints: 78413 3284.37/3293.43 c #Conflicts: 596000 | #Constraints: 79513 3284.37/3293.43 c #Conflicts: 597000 | #Constraints: 80876 3284.37/3293.43 c #Conflicts: 598000 | #Constraints: 82488 3284.37/3293.43 c #Conflicts: 599000 | #Constraints: 84111 3284.37/3293.43 c #Conflicts: 600000 | #Constraints: 85713 3284.37/3293.43 c #Conflicts: 601000 | #Constraints: 87240 3284.37/3293.43 c #Conflicts: 602000 | #Constraints: 88456 3284.37/3293.43 c #Conflicts: 603000 | #Constraints: 89506 3284.37/3293.43 c #Conflicts: 604000 | #Constraints: 90580 3284.37/3293.43 c #Conflicts: 605000 | #Constraints: 91624 3284.37/3293.43 c #Conflicts: 606000 | #Constraints: 92791 3284.37/3293.43 c #Conflicts: 607000 | #Constraints: 93978 3284.37/3293.44 c #Conflicts: 608000 | #Constraints: 95058 3284.37/3293.44 c #Conflicts: 609000 | #Constraints: 96149 3284.37/3293.44 c #Conflicts: 610000 | #Constraints: 97286 3284.37/3293.44 c #Conflicts: 611000 | #Constraints: 98499 3284.37/3293.44 c #Conflicts: 612000 | #Constraints: 99798 3284.37/3293.44 c #Conflicts: 613000 | #Constraints: 100867 3284.37/3293.44 c INPROCESSING 3284.37/3293.44 c GARBAGE COLLECT 3284.37/3293.44 c #Conflicts: 614000 | #Constraints: 51405 3284.37/3293.44 c #Conflicts: 615000 | #Constraints: 52421 3284.37/3293.44 c #Conflicts: 616000 | #Constraints: 53454 3284.37/3293.44 c #Conflicts: 617000 | #Constraints: 54474 3284.37/3293.44 c #Conflicts: 618000 | #Constraints: 55494 3284.37/3293.44 c #Conflicts: 619000 | #Constraints: 56518 3284.37/3293.44 c #Conflicts: 620000 | #Constraints: 57558 3284.37/3293.44 c #Conflicts: 621000 | #Constraints: 58585 3284.37/3293.44 c #Conflicts: 622000 | #Constraints: 59613 3284.37/3293.44 c #Conflicts: 623000 | #Constraints: 60625 3284.37/3293.44 c #Conflicts: 624000 | #Constraints: 61646 3284.37/3293.44 c #Conflicts: 625000 | #Constraints: 62663 3284.37/3293.44 c #Conflicts: 626000 | #Constraints: 63700 3284.37/3293.44 c #Conflicts: 627000 | #Constraints: 64720 3284.37/3293.44 c #Conflicts: 628000 | #Constraints: 65756 3284.37/3293.44 c #Conflicts: 629000 | #Constraints: 66892 3284.37/3293.44 c #Conflicts: 630000 | #Constraints: 67909 3284.37/3293.44 c INPROCESSING 3284.37/3293.44 c GARBAGE COLLECT 3284.37/3293.44 c #Conflicts: 631000 | #Constraints: 35312 3284.37/3293.44 c #Conflicts: 632000 | #Constraints: 36360 3284.37/3293.44 c #Conflicts: 633000 | #Constraints: 37391 3284.37/3293.44 c #Conflicts: 634000 | #Constraints: 38423 3284.37/3293.44 c #Conflicts: 635000 | #Constraints: 39454 3284.37/3293.44 c #Conflicts: 636000 | #Constraints: 40468 3284.37/3293.44 c #Conflicts: 637000 | #Constraints: 41504 3284.37/3293.44 c #Conflicts: 638000 | #Constraints: 42526 3284.37/3293.44 c #Conflicts: 639000 | #Constraints: 43574 3284.37/3293.44 c #Conflicts: 640000 | #Constraints: 44607 3284.37/3293.44 c #Conflicts: 641000 | #Constraints: 45652 3284.37/3293.44 c #Conflicts: 642000 | #Constraints: 46670 3284.37/3293.44 c #Conflicts: 643000 | #Constraints: 47701 3284.37/3293.44 c #Conflicts: 644000 | #Constraints: 48729 3284.37/3293.44 c #Conflicts: 645000 | #Constraints: 49763 3284.37/3293.44 c #Conflicts: 646000 | #Constraints: 50973 3284.37/3293.44 c INPROCESSING 3284.37/3293.44 c GARBAGE COLLECT 3284.37/3293.44 c rational objective -39 3600.09/3610.10 c #Conflicts: 647000 | #Constraints: 31524 3600.09/3610.10 c #Conflicts: 648000 | #Constraints: 32617 3600.09/3610.10 c #Conflicts: 649000 | #Constraints: 34187 3600.09/3610.10 c #Conflicts: 650000 | #Constraints: 35364 3600.09/3610.10 c #Conflicts: 651000 | #Constraints: 36826 3600.09/3610.10 c #Conflicts: 652000 | #Constraints: 38543 3600.09/3610.10 c #Conflicts: 653000 | #Constraints: 40270 3600.09/3610.10 c #Conflicts: 654000 | #Constraints: 41827 3600.09/3610.10 c #Conflicts: 655000 | #Constraints: 43491 3600.09/3610.10 c #Conflicts: 656000 | #Constraints: 45179 3600.09/3610.10 c #Conflicts: 657000 | #Constraints: 46758 3600.09/3610.10 c #Conflicts: 658000 | #Constraints: 48019 3600.09/3610.10 c #Conflicts: 659000 | #Constraints: 49258 3600.09/3610.10 c #Conflicts: 660000 | #Constraints: 50593 3600.09/3610.10 c #Conflicts: 661000 | #Constraints: 51899 3600.09/3610.10 c #Conflicts: 662000 | #Constraints: 53048 3600.09/3610.10 c #Conflicts: 663000 | #Constraints: 54243 3600.09/3610.10 c #Conflicts: 664000 | #Constraints: 55411 3600.09/3610.10 c #Conflicts: 665000 | #Constraints: 56472 3600.09/3610.10 c #Conflicts: 666000 | #Constraints: 57806 3600.09/3610.10 c #Conflicts: 667000 | #Constraints: 59182 3600.09/3610.10 c #Conflicts: 668000 | #Constraints: 60186 3600.09/3610.10 c #Conflicts: 669000 | #Constraints: 61329 3600.09/3610.10 c #Conflicts: 670000 | #Constraints: 62394 3600.09/3610.10 c #Conflicts: 671000 | #Constraints: 63501 3600.09/3610.10 c #Conflicts: 672000 | #Constraints: 64615 3600.09/3610.10 c #Conflicts: 673000 | #Constraints: 65823 3600.09/3610.10 c #Conflicts: 674000 | #Constraints: 67018 3600.09/3610.10 c #Conflicts: 675000 | #Constraints: 68055 3600.09/3610.10 c #Conflicts: 676000 | #Constraints: 69069 3600.09/3610.10 c #Conflicts: 677000 | #Constraints: 70142 3600.09/3610.10 c #Conflicts: 678000 | #Constraints: 71213 3600.09/3610.10 c #Conflicts: 679000 | #Constraints: 72323 3600.09/3610.10 c #Conflicts: 680000 | #Constraints: 73359 3600.09/3610.10 c #Conflicts: 681000 | #Constraints: 74402 3600.09/3610.10 c #Conflicts: 682000 | #Constraints: 75405 3600.09/3610.10 c Program interrupted by user. 3600.09/3610.10 c cpu time 3583.56 s 3600.09/3610.10 c deterministic time 304630345649 3.05e+11 3600.09/3610.10 c optimization time 314.953 s 3600.09/3610.10 c total solve time 3268.6 s 3600.09/3610.10 c core-guided solve time 2300.38 s 3600.09/3610.10 c propagation time 3384.63 s 3600.09/3610.10 c conflict analysis time 175.39 s 3600.09/3610.10 c propagations 64339865 3600.09/3610.10 c resolve steps 4891299 3600.09/3610.10 c decisions 8234900 3600.09/3610.10 c conflicts 682660 3600.09/3610.10 c restarts 1486 3600.09/3610.10 c inprocessing phases 64 3600.09/3610.10 c input clauses 456 3600.09/3610.10 c input cardinalities 124 3600.09/3610.10 c input general constraints 33 3600.09/3610.10 c input average constraint length 51.66 3600.09/3610.10 c input average constraint degree 24.78 3600.09/3610.10 c learned clauses 335535 3600.09/3610.10 c learned cardinalities 22936 3600.09/3610.10 c learned general constraints 423692 3600.09/3610.10 c learned average constraint length 225.97 3600.09/3610.10 c learned average constraint degree 813181771.89 3600.09/3610.10 c watched constraints 368444 3600.09/3610.10 c counting constraints 55281 3600.09/3610.10 c gcd simplifications 18892 3600.09/3610.10 c detected cardinalities 1237 3600.09/3610.10 c weakened non-implied lits 17941384 3600.09/3610.10 c weakened non-implying lits 30010 3600.09/3610.10 c original variables 1056 3600.09/3610.10 c clausal propagations 11248737 3600.09/3610.10 c cardinality propagations 11736068 3600.09/3610.10 c watched propagations 9610350 3600.09/3610.10 c counting propagations 30679277 3600.09/3610.10 c watch lookups 64762178821 3600.09/3610.10 c watch backjump lookups 57766284822 3600.09/3610.10 c watch checks 174319359448 3600.09/3610.10 c propagation checks 7331494173 3600.09/3610.10 c constraint additions 304505428 3600.09/3610.10 c trail pops 73254901 3600.09/3610.10 c formula constraints 488 3600.09/3610.10 c learned constraints 680715 3600.09/3610.10 c bound constraints 43 3600.09/3610.10 c core-guided constraints 82 3600.09/3610.10 c encountered formula constraints 3135689 3600.09/3610.10 c encountered learned constraints 2325196 3600.09/3610.10 c encountered bound constraints 62 3600.09/3610.10 c encountered core-guided constraints 8511 3600.09/3610.10 c LP total time 55.066 s 3600.09/3610.10 c LP solve time 36.95 s 3600.09/3610.10 c LP constraints added 2411 3600.09/3610.10 c LP constraints removed 1903 3600.09/3610.10 c LP pivots internal 682706 3600.09/3610.10 c LP pivots root 10584 3600.09/3610.10 c LP calls 110903 3600.09/3610.10 c LP optimalities 10619 3600.09/3610.10 c LP no pivot count 3486 3600.09/3610.10 c LP infeasibilities 100275 3600.09/3610.10 c LP valid Farkas constraints 98909 3600.09/3610.10 c LP learned Farkas constraints 1944 3600.09/3610.10 c LP basis resets 14 3600.09/3610.10 c LP cycling count 4 3600.09/3610.10 c LP singular count 4 3600.09/3610.10 c LP no primal count 0 3600.09/3610.10 c LP no farkas count 6 3600.09/3610.10 c LP other issue count 0 3600.09/3610.10 c LP Gomory cuts 595 3600.09/3610.10 c LP learned cuts 1328 3600.09/3610.10 c LP deleted cuts 1903 3600.09/3610.10 c LP encountered Gomory constraints 9040 3600.09/3610.10 c LP encountered Farkas constraints 86141 3600.09/3610.10 c LP encountered learned Farkas constraints 7376 3600.09/3610.10 c CG auxiliary variables introduced 41 3600.09/3610.10 c CG solutions found 2 3600.09/3610.10 c CG cores constructed 41 3600.09/3610.10 c CG core cardinality constraints returned 40 3600.09/3610.10 c CG unit cores 0 3600.09/3610.10 c CG single cores 41 3600.09/3610.10 c CG blocks removed during cardinality reduction 0 3600.09/3610.10 c CG first core best 0 3600.09/3610.10 c CG decision core best 0 3600.09/3610.10 c CG core reduction tie 0 3600.09/3610.10 c CG core degree average 14.66 3600.09/3610.10 c CG core slack average 1.37 3600.09/3610.10 s SATISFIABLE 3600.09/3610.10 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: 63931 MiB (60191 MiB free)
memory of node 1: 64510 MiB (60474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458479-1721879937/watcher-4458479-1721879937 -o /tmp/evaluation-result-4458479-1721879937/solver-4458479-1721879937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216022 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458479-1721879937.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=219563, runsolver pid=219560
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.16 4.15 4.10 5/259 219564
/proc/meminfo: memFree=123558036/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=40064 memory=11496 CPUtime=0.09 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 1273 0 0 0 8 1 0 0 20 0 1 0 24516587 41025536 2874 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 10016 2874 1846 922 0 1968 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40064 KiB
Current children cumulated memory: 11496 KiB
[startup+0.205695 s]*
/proc/loadavg: 4.16 4.15 4.10 5/259 219564
/proc/meminfo: memFree=123556860/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=40492 memory=12288 CPUtime=0.2 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 1477 0 0 0 18 2 0 0 20 0 1 0 24516587 41463808 3072 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 10123 3072 1846 922 0 2075 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40492 KiB
Current children cumulated memory: 12288 KiB
[startup+0.305596 s]*
/proc/loadavg: 4.16 4.15 4.10 5/259 219564
/proc/meminfo: memFree=123556076/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=40912 memory=13080 CPUtime=0.3 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 1660 0 0 0 28 2 0 0 20 0 1 0 24516587 41893888 3270 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 10228 3270 1846 922 0 2180 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40912 KiB
Current children cumulated memory: 13080 KiB
[startup+0.700203 s]
/proc/loadavg: 4.16 4.15 4.10 5/259 219564
/proc/meminfo: memFree=123553608/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=41316 memory=15652 CPUtime=0.69 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 1787 0 0 0 64 5 0 0 20 0 1 0 24516587 42307584 3913 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 10329 3913 1846 922 0 2281 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41316 KiB
Current children cumulated memory: 15652 KiB
[startup+1.50023 s]
/proc/loadavg: 4.16 4.15 4.10 5/259 219564
/proc/meminfo: memFree=123552256/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=46764 memory=21300 CPUtime=1.48 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 2688 0 0 0 138 10 0 0 20 0 1 0 24516587 47886336 5325 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 11691 5325 1846 922 0 3643 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46764 KiB
Current children cumulated memory: 21300 KiB
[startup+3.10548 s]
/proc/loadavg: 4.16 4.15 4.10 5/259 219564
/proc/meminfo: memFree=123544784/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=48772 memory=23368 CPUtime=3.08 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 3409 0 0 0 289 19 0 0 20 0 1 0 24516587 49942528 5842 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 12193 5842 1846 922 0 4145 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48772 KiB
Current children cumulated memory: 23368 KiB
[startup+6.30023 s]
/proc/loadavg: 4.15 4.15 4.10 5/259 219565
/proc/meminfo: memFree=123544116/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=49352 memory=23888 CPUtime=6.27 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 3558 0 0 0 593 34 0 0 20 0 1 0 24516587 50536448 5972 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 12338 5972 1846 922 0 4290 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49352 KiB
Current children cumulated memory: 23888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.10 6/259 219657
/proc/meminfo: memFree=123970600/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=52760 memory=27308 CPUtime=12.66 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 4409 0 0 0 1206 60 0 0 20 0 1 0 24516587 54026240 6827 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 13190 6827 1846 922 0 5142 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 52760 KiB
Current children cumulated memory: 27308 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.10 6/259 219705
/proc/meminfo: memFree=123563512/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=60368 memory=34792 CPUtime=25.43 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 5958 0 0 0 2434 109 0 0 20 0 1 0 24516587 61816832 8698 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 15092 8698 1846 922 0 7044 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 60368 KiB
Current children cumulated memory: 34792 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 219804
/proc/meminfo: memFree=123910028/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=94892 memory=65168 CPUtime=50.97 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 10207 0 0 0 4907 190 0 0 20 0 1 0 24516587 97169408 16292 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 23723 16292 1846 922 0 15675 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 94892 KiB
Current children cumulated memory: 65168 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/259 219812
/proc/meminfo: memFree=123851680/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=99020 memory=69744 CPUtime=102.03 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 11935 0 0 0 9872 331 0 0 20 0 1 0 24516587 101396480 17436 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 24755 17436 1975 922 0 16707 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 99020 KiB
Current children cumulated memory: 69744 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 219838
/proc/meminfo: memFree=123820712/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=104844 memory=74076 CPUtime=161.85 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 13514 0 0 0 15733 452 0 0 20 0 1 0 24516587 107360256 18519 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 26211 18519 1975 922 0 18163 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 104844 KiB
Current children cumulated memory: 74076 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 219988
/proc/meminfo: memFree=123841452/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=109344 memory=80996 CPUtime=221.7 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 14954 0 0 0 21640 530 0 0 20 0 1 0 24516587 111968256 20249 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 27336 20249 1975 922 0 19288 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 80996 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.16 4.10 5/258 219999
/proc/meminfo: memFree=123792348/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=113188 memory=83800 CPUtime=281.56 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 16006 0 0 0 27565 591 0 0 20 0 1 0 24516587 115904512 20950 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 28297 20950 1975 922 0 20249 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 83800 KiB
[startup+342.3 s]
/proc/loadavg: 4.32 4.18 4.11 5/258 220010
/proc/meminfo: memFree=123743992/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=114720 memory=85628 CPUtime=341.41 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 16739 0 0 0 33502 639 0 0 20 0 1 0 24516587 117473280 21407 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 28680 21407 1975 922 0 20632 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 114720 KiB
Current children cumulated memory: 85628 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/257 220022
/proc/meminfo: memFree=123701440/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=146320 memory=113728 CPUtime=401.26 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 20000 0 0 0 39437 689 0 0 20 0 1 0 24516587 149831680 28432 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 36580 28432 1975 922 0 28532 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 146320 KiB
Current children cumulated memory: 113728 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/256 220032
/proc/meminfo: memFree=123682560/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=146320 memory=113884 CPUtime=461.11 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 20042 0 0 0 45381 730 0 0 20 0 1 0 24516587 149831680 28471 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 36580 28471 1975 922 0 28532 0
################
# More data... #
################
Current children cumulated memory: 538916 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 221104
/proc/meminfo: memFree=122497188/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=641868 memory=539764 CPUtime=2914.38 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 64227 0 0 0 289918 1520 0 0 20 0 1 0 24516587 657272832 134941 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160467 134941 1975 922 0 152419 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 641868 KiB
Current children cumulated memory: 539764 KiB
[startup+2982.3 s]
/proc/loadavg: 4.44 4.22 4.12 5/256 221114
/proc/meminfo: memFree=122490484/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=641868 memory=539968 CPUtime=2974.2 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 64397 0 0 0 295888 1532 0 0 20 0 1 0 24516587 657272832 134992 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160467 134992 1975 922 0 152419 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 641868 KiB
Current children cumulated memory: 539968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.28 4.21 4.12 5/256 221125
/proc/meminfo: memFree=122479152/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=641868 memory=540112 CPUtime=3034.03 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 64568 0 0 0 301860 1543 0 0 20 0 1 0 24516587 657272832 135028 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160467 135028 1975 922 0 152419 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 641868 KiB
Current children cumulated memory: 540112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/255 221136
/proc/meminfo: memFree=122445236/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=641868 memory=540160 CPUtime=3093.85 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 64737 0 0 0 307831 1554 0 0 20 0 1 0 24516587 657272832 135040 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160467 135040 1975 922 0 152419 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 641868 KiB
Current children cumulated memory: 540160 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 221151
/proc/meminfo: memFree=122435032/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=642892 memory=540848 CPUtime=3153.67 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 65038 0 0 0 313806 1561 0 0 20 0 1 0 24516587 658321408 135212 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160723 135212 1975 922 0 152675 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 642892 KiB
Current children cumulated memory: 540848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/257 221163
/proc/meminfo: memFree=122427436/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=642892 memory=540896 CPUtime=3213.49 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 65211 0 0 0 319778 1571 0 0 20 0 1 0 24516587 658321408 135224 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160723 135224 1975 922 0 152675 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 642892 KiB
Current children cumulated memory: 540896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.12 6/257 221267
/proc/meminfo: memFree=123077496/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=642892 memory=541064 CPUtime=3273.31 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 65376 0 0 0 325750 1581 0 0 20 0 1 0 24516587 658321408 135266 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160723 135266 1975 922 0 152675 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 642892 KiB
Current children cumulated memory: 541064 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.13 6/257 221277
/proc/meminfo: memFree=123063908/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=643628 memory=541832 CPUtime=3333.12 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 65720 0 0 0 331716 1596 0 0 20 0 1 0 24516587 659075072 135458 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160907 135458 1975 922 0 152859 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 643628 KiB
Current children cumulated memory: 541832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.12 6/257 221287
/proc/meminfo: memFree=123034480/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=643628 memory=541832 CPUtime=3392.92 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 65892 0 0 0 337681 1611 0 0 20 0 1 0 24516587 659075072 135458 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 160907 135458 1975 922 0 152859 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 643628 KiB
Current children cumulated memory: 541832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.12 6/258 221683
/proc/meminfo: memFree=122985340/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=644140 memory=544616 CPUtime=3452.75 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 66141 0 0 0 343648 1627 0 0 20 0 1 0 24516587 659599360 136154 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 161035 136154 1975 922 0 152987 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 644140 KiB
Current children cumulated memory: 544616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.12 6/258 221694
/proc/meminfo: memFree=122950736/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=644396 memory=544788 CPUtime=3512.56 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 66362 0 0 0 349615 1641 0 0 20 0 1 0 24516587 659861504 136197 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 161099 136197 1975 922 0 153051 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 644396 KiB
Current children cumulated memory: 544788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.12 6/258 221706
/proc/meminfo: memFree=122945140/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=646188 memory=545624 CPUtime=3572.37 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 66793 0 0 0 355588 1649 0 0 20 0 1 0 24516587 661696512 136406 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 161547 136406 1975 922 0 153499 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 646188 KiB
Current children cumulated memory: 545624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.32 4.19 4.13 6/260 221880
/proc/meminfo: memFree=122943636/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=646956 memory=546400 CPUtime=3600.09 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 67075 0 0 0 358355 1654 0 0 20 0 1 0 24516587 662482944 136600 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 161739 136600 1975 922 0 153691 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 646956 KiB
Current children cumulated memory: 546400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 219563 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.56 s, system=16.5525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.32 4.19 4.13 6/260 221880
/proc/meminfo: memFree=122943636/131524600 swapFree=131061428/131071996
[pid=219563] ppid=219560 vsize=646956 memory=546400 CPUtime=3600.09 cores=5,7
/proc/219563/stat : 219563 (roundingsat) R 219560 219563 216009 0 -1 4194304 67075 0 0 0 358355 1654 0 0 20 0 1 0 24516587 662482944 136600 134679101440 4194304 7968373 140724593112128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 33173504 140724593120190 140724593120354 140724593120354 140724593127369 0
/proc/219563/statm: 161739 136600 1975 922 0 153691 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 646956 KiB
Current children cumulated memory: 546400 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.11
CPU user time (s): 3583.56
CPU system time (s): 16.5525
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 646956
Max. memory (cumulated for all children) (KiB): 546400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.56
system time used= 16.5525
maximum resident set size= 546400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 2222
# summary of solver processes directly reported to runsolver:
# pid: 219563
# total CPU time (s): 3600.11
# total CPU user time (s): 3583.56
# total CPU system time (s): 16.5525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66504 second user time and 16.4427 second system time
The end
Begin job on nodeC022 at 2024-07-25 05:58:57 IDJOB=4458479 IDBENCH=177485 IDSOLVER=3084 FILE ID=nodeC022/4458479-1721879937 RUNJOBID= nodeC022-1721875932-216022 SLURM_JOB_ID= 8089234 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458479-1721879937/watcher-4458479-1721879937 -o /tmp/evaluation-result-4458479-1721879937/solver-4458479-1721879937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216022 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458479-1721879937.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 678da6339402b89815c46f6042afd950 RANDOM SEED=1427357183 nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.196 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.173 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.214 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.096 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.259 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.743 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.236 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.009 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123562964 kB MemAvailable: 128996944 kB Buffers: 298176 kB Cached: 5885188 kB SwapCached: 1424 kB Active: 2574676 kB Inactive: 4616400 kB Active(anon): 1936 kB Inactive(anon): 1059504 kB Active(file): 2572740 kB Inactive(file): 3556896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061428 kB Dirty: 5916 kB Writeback: 44 kB AnonPages: 1002844 kB Mapped: 125284 kB Shmem: 53732 kB KReclaimable: 292080 kB Slab: 415492 kB SReclaimable: 292080 kB SUnreclaim: 123412 kB KernelStack: 4176 kB PageTables: 11644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1497288 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17248 kB HardwareCorrupted: 0 kB AnonHugePages: 669696 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890044 MiB End job on nodeC022 at 2024-07-25 06:59:07