| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.05 | 3609.4 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
| MD5SUM | 175cf8fd081870b89b1494469c4bb17a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 293 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 8883 |
| Total number of constraints | 17459 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17459 |
| Minimum length of a constraint | 18 |
| Maximum length of a constraint | 37 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 512 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2691 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.19/0.21 c #variables 8883 #constraints 17459 6.97/7.05 c bounds - >= 0 @ 0.171977 6.97/7.05 c #Conflicts: 1000 | #Constraints: 18458 6.97/7.05 c #Conflicts: 2000 | #Constraints: 19458 6.97/7.05 c INPROCESSING 6.97/7.05 c bounds - >= 8 @ 2.6399 6.97/7.05 c bounds - >= 9 @ 2.64093 6.97/7.05 c bounds - >= 12 @ 2.64287 6.97/7.05 c bounds - >= 16 @ 2.64351 6.97/7.05 c bounds - >= 17 @ 2.64558 6.97/7.05 c bounds - >= 18 @ 2.6526 6.97/7.05 c bounds - >= 19 @ 2.65311 6.97/7.05 c bounds - >= 20 @ 2.65627 6.97/7.05 c bounds - >= 21 @ 2.65874 6.97/7.05 c bounds - >= 22 @ 2.66584 6.97/7.05 c bounds - >= 23 @ 2.67284 6.97/7.05 c bounds - >= 24 @ 2.68577 6.97/7.05 c bounds - >= 25 @ 2.69808 6.97/7.05 c bounds - >= 26 @ 2.71801 6.97/7.05 c bounds - >= 27 @ 2.74145 6.97/7.05 c bounds - >= 28 @ 2.77013 6.97/7.05 c bounds - >= 29 @ 2.7831 6.97/7.05 c bounds - >= 30 @ 2.84112 6.97/7.05 c bounds - >= 31 @ 2.89511 6.97/7.05 c bounds - >= 32 @ 3.06551 6.97/7.05 c bounds - >= 33 @ 3.17497 6.97/7.05 c #Conflicts: 3000 | #Constraints: 19611 6.97/7.05 c bounds - >= 34 @ 3.34912 6.97/7.05 c bounds - >= 35 @ 3.52296 6.97/7.05 c #Conflicts: 4000 | #Constraints: 20626 6.97/7.05 c INPROCESSING 6.97/7.05 c bounds - >= 36 @ 4.26562 6.97/7.05 c bounds - >= 37 @ 4.4791 6.97/7.05 c #Conflicts: 5000 | #Constraints: 20034 6.97/7.05 c #Conflicts: 6000 | #Constraints: 21034 6.97/7.05 c INPROCESSING 6.97/7.05 c GARBAGE COLLECT 6.97/7.05 c rational objective 37 10.35/10.46 c #Conflicts: 7000 | #Constraints: 20041 10.35/10.46 c bounds - >= 38 @ 7.37831 10.35/10.46 c bounds - >= 39 @ 7.93459 10.35/10.46 c #Conflicts: 8000 | #Constraints: 21056 10.35/10.46 c #Conflicts: 9000 | #Constraints: 22056 10.35/10.46 c INPROCESSING 10.35/10.46 c rational objective 39 16.24/16.34 c bounds - >= 40 @ 10.8998 16.24/16.34 c #Conflicts: 10000 | #Constraints: 20783 16.24/16.34 c bounds - >= 41 @ 11.4663 16.24/16.34 c #Conflicts: 11000 | #Constraints: 21789 16.24/16.34 c #Conflicts: 12000 | #Constraints: 22789 16.24/16.34 c INPROCESSING 16.24/16.34 c GARBAGE COLLECT 16.24/16.34 c bounds - >= 42 @ 14.0335 16.24/16.34 c #Conflicts: 13000 | #Constraints: 21250 16.24/16.34 c #Conflicts: 14000 | #Constraints: 22250 16.24/16.34 c #Conflicts: 15000 | #Constraints: 23250 16.24/16.34 c INPROCESSING 16.24/16.34 c rational objective 42 31.70/31.81 c bounds - >= 43 @ 16.7858 31.70/31.81 c #Conflicts: 16000 | #Constraints: 21494 31.70/31.81 c #Conflicts: 17000 | #Constraints: 22494 31.70/31.81 c #Conflicts: 18000 | #Constraints: 23494 31.70/31.81 c INPROCESSING 31.70/31.81 c GARBAGE COLLECT 31.70/31.81 c #Conflicts: 19000 | #Constraints: 21502 31.70/31.81 c #Conflicts: 20000 | #Constraints: 22502 31.70/31.81 c #Conflicts: 21000 | #Constraints: 23502 31.70/31.81 c #Conflicts: 22000 | #Constraints: 24502 31.70/31.81 c #Conflicts: 23000 | #Constraints: 25502 31.70/31.81 c #Conflicts: 24000 | #Constraints: 26502 31.70/31.81 c #Conflicts: 25000 | #Constraints: 27502 31.70/31.81 c #Conflicts: 26000 | #Constraints: 28502 31.70/31.81 c #Conflicts: 27000 | #Constraints: 29502 31.70/31.81 c #Conflicts: 28000 | #Constraints: 30502 31.70/31.81 c INPROCESSING 31.70/31.81 c GARBAGE COLLECT 31.70/31.81 c rational objective 43 39.29/39.49 c #Conflicts: 29000 | #Constraints: 24799 39.29/39.49 c bounds - >= 44 @ 32.2658 39.29/39.49 c #Conflicts: 30000 | #Constraints: 25808 39.29/39.49 c #Conflicts: 31000 | #Constraints: 26808 39.29/39.49 c #Conflicts: 32000 | #Constraints: 27808 39.29/39.49 c #Conflicts: 33000 | #Constraints: 28808 39.29/39.49 c bounds - >= 45 @ 37.7242 39.29/39.49 c INPROCESSING 39.29/39.49 c rational objective 45 44.28/44.43 c #Conflicts: 34000 | #Constraints: 24202 44.28/44.43 c #Conflicts: 35000 | #Constraints: 25202 44.28/44.43 c #Conflicts: 36000 | #Constraints: 26202 44.28/44.43 c #Conflicts: 37000 | #Constraints: 27202 44.28/44.43 c #Conflicts: 38000 | #Constraints: 28202 44.28/44.43 c INPROCESSING 44.28/44.43 c GARBAGE COLLECT 44.28/44.43 c rational objective 45 51.96/52.17 c #Conflicts: 39000 | #Constraints: 24015 51.96/52.17 c #Conflicts: 40000 | #Constraints: 25015 51.96/52.17 c #Conflicts: 41000 | #Constraints: 26015 51.96/52.17 c bounds - >= 46 @ 49.8498 51.96/52.17 c #Conflicts: 42000 | #Constraints: 27027 51.96/52.17 c INPROCESSING 51.96/52.17 c GARBAGE COLLECT 51.96/52.17 c rational objective 46 71.31/71.59 c #Conflicts: 43000 | #Constraints: 22959 71.31/71.59 c #Conflicts: 44000 | #Constraints: 23959 71.31/71.59 c #Conflicts: 45000 | #Constraints: 24959 71.31/71.59 c #Conflicts: 46000 | #Constraints: 25959 71.31/71.59 c #Conflicts: 47000 | #Constraints: 26959 71.31/71.59 c #Conflicts: 48000 | #Constraints: 27959 71.31/71.59 c #Conflicts: 49000 | #Constraints: 28959 71.31/71.59 c #Conflicts: 50000 | #Constraints: 29959 71.31/71.59 c #Conflicts: 51000 | #Constraints: 30959 71.31/71.59 c #Conflicts: 52000 | #Constraints: 31959 71.31/71.59 c #Conflicts: 53000 | #Constraints: 32959 71.31/71.59 c #Conflicts: 54000 | #Constraints: 33959 71.31/71.59 c #Conflicts: 55000 | #Constraints: 34959 71.31/71.59 c #Conflicts: 56000 | #Constraints: 35959 71.31/71.59 c #Conflicts: 57000 | #Constraints: 36959 71.31/71.59 c #Conflicts: 58000 | #Constraints: 37959 71.31/71.59 c INPROCESSING 71.31/71.59 c GARBAGE COLLECT 71.31/71.59 c rational objective 46 83.79/84.03 c #Conflicts: 59000 | #Constraints: 28516 83.79/84.03 c #Conflicts: 60000 | #Constraints: 29516 83.79/84.03 c bounds - >= 47 @ 73.0919 83.79/84.03 c #Conflicts: 61000 | #Constraints: 30525 83.79/84.03 c #Conflicts: 62000 | #Constraints: 31525 83.79/84.03 c bounds - >= 48 @ 76.8739 83.79/84.03 c #Conflicts: 63000 | #Constraints: 32531 83.79/84.03 c #Conflicts: 64000 | #Constraints: 33531 83.79/84.03 c bounds - >= 49 @ 80.4178 83.79/84.03 c #Conflicts: 65000 | #Constraints: 34537 83.79/84.03 c INPROCESSING 83.79/84.03 c GARBAGE COLLECT 83.79/84.03 c rational objective 49 95.96/96.27 c #Conflicts: 66000 | #Constraints: 27171 95.96/96.27 c #Conflicts: 67000 | #Constraints: 28171 95.96/96.27 c #Conflicts: 68000 | #Constraints: 29171 95.96/96.27 c bounds - >= 50 @ 90.7029 95.96/96.27 c #Conflicts: 69000 | #Constraints: 30177 95.96/96.27 c #Conflicts: 70000 | #Constraints: 31177 95.96/96.27 c #Conflicts: 71000 | #Constraints: 32177 95.96/96.27 c INPROCESSING 95.96/96.27 c GARBAGE COLLECT 95.96/96.27 c rational objective 50 127.98/128.31 c #Conflicts: 72000 | #Constraints: 25791 127.98/128.31 c #Conflicts: 73000 | #Constraints: 26791 127.98/128.31 c #Conflicts: 74000 | #Constraints: 27791 127.98/128.31 c #Conflicts: 75000 | #Constraints: 28791 127.98/128.31 c #Conflicts: 76000 | #Constraints: 29791 127.98/128.31 c #Conflicts: 77000 | #Constraints: 30791 127.98/128.31 c #Conflicts: 78000 | #Constraints: 31791 127.98/128.31 c bounds - >= 51 @ 109.373 127.98/128.31 c #Conflicts: 79000 | #Constraints: 32797 127.98/128.31 c #Conflicts: 80000 | #Constraints: 33797 127.98/128.31 c #Conflicts: 81000 | #Constraints: 34797 127.98/128.31 c #Conflicts: 82000 | #Constraints: 35797 127.98/128.31 c #Conflicts: 83000 | #Constraints: 36797 127.98/128.31 c #Conflicts: 84000 | #Constraints: 37797 127.98/128.31 c #Conflicts: 85000 | #Constraints: 38797 127.98/128.31 c #Conflicts: 86000 | #Constraints: 39797 127.98/128.31 c #Conflicts: 87000 | #Constraints: 40797 127.98/128.31 c #Conflicts: 88000 | #Constraints: 41797 127.98/128.31 c #Conflicts: 89000 | #Constraints: 42797 127.98/128.31 c #Conflicts: 90000 | #Constraints: 43797 127.98/128.31 c #Conflicts: 91000 | #Constraints: 44797 127.98/128.31 c INPROCESSING 127.98/128.31 c GARBAGE COLLECT 127.98/128.31 c rational objective 51 152.12/152.53 c #Conflicts: 92000 | #Constraints: 32113 152.12/152.53 c #Conflicts: 93000 | #Constraints: 33113 152.12/152.53 c #Conflicts: 94000 | #Constraints: 34113 152.12/152.53 c #Conflicts: 95000 | #Constraints: 35113 152.12/152.53 c #Conflicts: 96000 | #Constraints: 36113 152.12/152.53 c #Conflicts: 97000 | #Constraints: 37113 152.12/152.53 c #Conflicts: 98000 | #Constraints: 38113 152.12/152.53 c #Conflicts: 99000 | #Constraints: 39113 152.12/152.53 c INPROCESSING 152.12/152.53 c GARBAGE COLLECT 152.12/152.53 c rational objective 51 190.53/191.06 c #Conflicts: 100000 | #Constraints: 29379 190.53/191.06 c #Conflicts: 101000 | #Constraints: 30379 190.53/191.06 c #Conflicts: 102000 | #Constraints: 31379 190.53/191.06 c #Conflicts: 103000 | #Constraints: 32379 190.53/191.06 c #Conflicts: 104000 | #Constraints: 33379 190.53/191.06 c #Conflicts: 105000 | #Constraints: 34379 190.53/191.06 c #Conflicts: 106000 | #Constraints: 35379 190.53/191.06 c #Conflicts: 107000 | #Constraints: 36379 190.53/191.06 c #Conflicts: 108000 | #Constraints: 37379 190.53/191.06 c #Conflicts: 109000 | #Constraints: 38379 190.53/191.06 c #Conflicts: 110000 | #Constraints: 39379 190.53/191.06 c #Conflicts: 111000 | #Constraints: 40379 190.53/191.06 c #Conflicts: 112000 | #Constraints: 41379 190.53/191.06 c #Conflicts: 113000 | #Constraints: 42379 190.53/191.06 c #Conflicts: 114000 | #Constraints: 43379 190.53/191.06 c #Conflicts: 115000 | #Constraints: 44379 190.53/191.06 c #Conflicts: 116000 | #Constraints: 45379 190.53/191.06 c #Conflicts: 117000 | #Constraints: 46379 190.53/191.06 c #Conflicts: 118000 | #Constraints: 47379 190.53/191.06 c #Conflicts: 119000 | #Constraints: 48379 190.53/191.06 c #Conflicts: 120000 | #Constraints: 49379 190.53/191.06 c #Conflicts: 121000 | #Constraints: 50379 190.53/191.06 c #Conflicts: 122000 | #Constraints: 51379 190.53/191.06 c INPROCESSING 190.53/191.06 c GARBAGE COLLECT 190.53/191.06 c rational objective 51 277.23/277.94 c #Conflicts: 123000 | #Constraints: 35483 277.23/277.94 c #Conflicts: 124000 | #Constraints: 36483 277.23/277.94 c #Conflicts: 125000 | #Constraints: 37483 277.23/277.94 c bounds - >= 52 @ 197.462 277.23/277.94 c #Conflicts: 126000 | #Constraints: 38489 277.23/277.94 c #Conflicts: 127000 | #Constraints: 39489 277.23/277.94 c #Conflicts: 128000 | #Constraints: 40489 277.23/277.94 c #Conflicts: 129000 | #Constraints: 41489 277.23/277.94 c #Conflicts: 130000 | #Constraints: 42489 277.23/277.94 c bounds - >= 53 @ 216.577 277.23/277.94 c #Conflicts: 131000 | #Constraints: 43495 277.23/277.94 c INPROCESSING 277.23/277.94 c GARBAGE COLLECT 277.23/277.94 c #Conflicts: 132000 | #Constraints: 31518 277.23/277.94 c #Conflicts: 133000 | #Constraints: 32518 277.23/277.94 c #Conflicts: 134000 | #Constraints: 33518 277.23/277.94 c #Conflicts: 135000 | #Constraints: 34518 277.23/277.94 c #Conflicts: 136000 | #Constraints: 35518 277.23/277.94 c #Conflicts: 137000 | #Constraints: 36552 277.23/277.94 c #Conflicts: 138000 | #Constraints: 37552 277.23/277.94 c #Conflicts: 139000 | #Constraints: 38552 277.23/277.94 c #Conflicts: 140000 | #Constraints: 39552 277.23/277.94 c #Conflicts: 141000 | #Constraints: 40552 277.23/277.94 c #Conflicts: 142000 | #Constraints: 41552 277.23/277.94 c #Conflicts: 143000 | #Constraints: 42552 277.23/277.94 c #Conflicts: 144000 | #Constraints: 43553 277.23/277.94 c #Conflicts: 145000 | #Constraints: 44554 277.23/277.94 c #Conflicts: 146000 | #Constraints: 45554 277.23/277.94 c #Conflicts: 147000 | #Constraints: 46554 277.23/277.94 c #Conflicts: 148000 | #Constraints: 47555 277.23/277.94 c #Conflicts: 149000 | #Constraints: 48555 277.23/277.94 c #Conflicts: 150000 | #Constraints: 49555 277.23/277.94 c #Conflicts: 151000 | #Constraints: 50556 277.23/277.94 c #Conflicts: 152000 | #Constraints: 51561 277.23/277.94 c #Conflicts: 153000 | #Constraints: 52562 277.23/277.94 c #Conflicts: 154000 | #Constraints: 53562 277.23/277.94 c #Conflicts: 155000 | #Constraints: 54562 277.23/277.94 c #Conflicts: 156000 | #Constraints: 55562 277.23/277.94 c #Conflicts: 157000 | #Constraints: 56562 277.23/277.94 c INPROCESSING 277.23/277.94 c GARBAGE COLLECT 277.23/277.94 WSVECS04 Frhs2[147]: 6 -4.00003 0 shouldn't be 277.23/277.94 WSVECS04 Frhs2[153]: 6 -256 0 shouldn't be 278.83/279.52 c rational objective 53 323.72/324.58 c #Conflicts: 158000 | #Constraints: 38028 323.72/324.58 c #Conflicts: 159000 | #Constraints: 39028 323.72/324.58 c #Conflicts: 160000 | #Constraints: 40028 323.72/324.58 c #Conflicts: 161000 | #Constraints: 41028 323.72/324.58 c #Conflicts: 162000 | #Constraints: 42028 323.72/324.58 c #Conflicts: 163000 | #Constraints: 43028 323.72/324.58 c #Conflicts: 164000 | #Constraints: 44028 323.72/324.58 c #Conflicts: 165000 | #Constraints: 45028 323.72/324.58 c #Conflicts: 166000 | #Constraints: 46028 323.72/324.58 c #Conflicts: 167000 | #Constraints: 47028 323.72/324.58 c #Conflicts: 168000 | #Constraints: 48028 323.72/324.58 c INPROCESSING 323.72/324.58 c GARBAGE COLLECT 323.72/324.58 c rational objective 53 401.84/402.84 c #Conflicts: 169000 | #Constraints: 33950 401.84/402.84 c #Conflicts: 170000 | #Constraints: 34950 401.84/402.84 c #Conflicts: 171000 | #Constraints: 35950 401.84/402.84 c bounds - >= 54 @ 332.531 401.84/402.84 c #Conflicts: 172000 | #Constraints: 36959 401.84/402.84 c #Conflicts: 173000 | #Constraints: 37959 401.84/402.84 c #Conflicts: 174000 | #Constraints: 38959 401.84/402.84 c #Conflicts: 175000 | #Constraints: 39959 401.84/402.84 c #Conflicts: 176000 | #Constraints: 40959 401.84/402.84 c #Conflicts: 177000 | #Constraints: 41959 401.84/402.84 c #Conflicts: 178000 | #Constraints: 42959 401.84/402.84 c #Conflicts: 179000 | #Constraints: 43959 401.84/402.84 c #Conflicts: 180000 | #Constraints: 44959 401.84/402.84 c #Conflicts: 181000 | #Constraints: 45960 401.84/402.84 c #Conflicts: 182000 | #Constraints: 46961 401.84/402.84 c #Conflicts: 183000 | #Constraints: 47964 401.84/402.84 c #Conflicts: 184000 | #Constraints: 48964 401.84/402.84 c #Conflicts: 185000 | #Constraints: 49964 401.84/402.84 c #Conflicts: 186000 | #Constraints: 50966 401.84/402.84 c #Conflicts: 187000 | #Constraints: 51966 401.84/402.84 c #Conflicts: 188000 | #Constraints: 52966 401.84/402.84 c #Conflicts: 189000 | #Constraints: 53966 401.84/402.84 c #Conflicts: 190000 | #Constraints: 54966 401.84/402.84 c #Conflicts: 191000 | #Constraints: 55966 401.84/402.84 c #Conflicts: 192000 | #Constraints: 56967 401.84/402.84 c #Conflicts: 193000 | #Constraints: 57967 401.84/402.84 c #Conflicts: 194000 | #Constraints: 58969 401.84/402.84 c #Conflicts: 195000 | #Constraints: 59969 401.84/402.84 c #Conflicts: 196000 | #Constraints: 60969 401.84/402.84 c #Conflicts: 197000 | #Constraints: 61969 401.84/402.84 c INPROCESSING 401.84/402.84 c GARBAGE COLLECT 401.84/402.84 c rational objective 54 463.39/464.59 c #Conflicts: 198000 | #Constraints: 40899 463.39/464.59 c #Conflicts: 199000 | #Constraints: 41899 463.39/464.59 c #Conflicts: 200000 | #Constraints: 42899 463.39/464.59 c #Conflicts: 201000 | #Constraints: 43899 463.39/464.59 c #Conflicts: 202000 | #Constraints: 44899 463.39/464.59 c #Conflicts: 203000 | #Constraints: 45899 463.39/464.59 c #Conflicts: 204000 | #Constraints: 46899 463.39/464.59 c #Conflicts: 205000 | #Constraints: 47899 463.39/464.59 c #Conflicts: 206000 | #Constraints: 48899 463.39/464.59 c #Conflicts: 207000 | #Constraints: 49899 463.39/464.59 c #Conflicts: 208000 | #Constraints: 50899 463.39/464.59 c #Conflicts: 209000 | #Constraints: 51899 463.39/464.59 c INPROCESSING 463.39/464.59 c GARBAGE COLLECT 463.39/464.59 c rational objective 54 562.86/564.22 c #Conflicts: 210000 | #Constraints: 36519 562.86/564.22 c #Conflicts: 211000 | #Constraints: 37519 562.86/564.22 c #Conflicts: 212000 | #Constraints: 38519 562.86/564.22 c #Conflicts: 213000 | #Constraints: 39519 562.86/564.22 c bounds - >= 55 @ 482.091 562.86/564.22 c #Conflicts: 214000 | #Constraints: 40528 562.86/564.22 c #Conflicts: 215000 | #Constraints: 41528 562.86/564.22 c #Conflicts: 216000 | #Constraints: 42528 562.86/564.22 c #Conflicts: 217000 | #Constraints: 43528 562.86/564.22 c #Conflicts: 218000 | #Constraints: 44528 562.86/564.22 c #Conflicts: 219000 | #Constraints: 45528 562.86/564.22 c #Conflicts: 220000 | #Constraints: 46528 562.86/564.22 c #Conflicts: 221000 | #Constraints: 47528 562.86/564.22 c #Conflicts: 222000 | #Constraints: 48528 562.86/564.22 c #Conflicts: 223000 | #Constraints: 49528 562.86/564.22 c #Conflicts: 224000 | #Constraints: 50528 562.86/564.22 c #Conflicts: 225000 | #Constraints: 51528 562.86/564.22 c #Conflicts: 226000 | #Constraints: 52528 562.86/564.22 c #Conflicts: 227000 | #Constraints: 53528 562.86/564.22 c #Conflicts: 228000 | #Constraints: 54528 562.86/564.22 c #Conflicts: 229000 | #Constraints: 55528 562.86/564.22 c #Conflicts: 230000 | #Constraints: 56528 562.86/564.22 c #Conflicts: 231000 | #Constraints: 57528 562.86/564.22 c #Conflicts: 232000 | #Constraints: 58528 562.86/564.22 c #Conflicts: 233000 | #Constraints: 59528 562.86/564.22 c #Conflicts: 234000 | #Constraints: 60528 562.86/564.22 c #Conflicts: 235000 | #Constraints: 61528 562.86/564.22 c #Conflicts: 236000 | #Constraints: 62528 562.86/564.22 c #Conflicts: 237000 | #Constraints: 63528 562.86/564.22 c #Conflicts: 238000 | #Constraints: 64528 562.86/564.22 c #Conflicts: 239000 | #Constraints: 65528 562.86/564.22 c #Conflicts: 240000 | #Constraints: 66528 562.86/564.22 c #Conflicts: 241000 | #Constraints: 67528 562.86/564.22 c INPROCESSING 562.86/564.22 c GARBAGE COLLECT 562.86/564.22 c rational objective 55 654.04/655.70 c #Conflicts: 242000 | #Constraints: 43599 654.04/655.70 c #Conflicts: 243000 | #Constraints: 44599 654.04/655.70 c #Conflicts: 244000 | #Constraints: 45599 654.04/655.70 c #Conflicts: 245000 | #Constraints: 46599 654.04/655.70 c #Conflicts: 246000 | #Constraints: 47599 654.04/655.70 c #Conflicts: 247000 | #Constraints: 48599 654.04/655.70 c #Conflicts: 248000 | #Constraints: 49599 654.04/655.70 c #Conflicts: 249000 | #Constraints: 50599 654.04/655.70 c #Conflicts: 250000 | #Constraints: 51599 654.04/655.70 c #Conflicts: 251000 | #Constraints: 52599 654.04/655.70 c #Conflicts: 252000 | #Constraints: 53599 654.04/655.70 c #Conflicts: 253000 | #Constraints: 54599 654.04/655.70 c #Conflicts: 254000 | #Constraints: 55599 654.04/655.70 c INPROCESSING 654.04/655.70 c GARBAGE COLLECT 654.04/655.70 c rational objective 55 750.02/751.85 c #Conflicts: 255000 | #Constraints: 39576 750.02/751.85 c #Conflicts: 256000 | #Constraints: 40576 750.02/751.85 c #Conflicts: 257000 | #Constraints: 41576 750.02/751.85 c #Conflicts: 258000 | #Constraints: 42576 750.02/751.85 c #Conflicts: 259000 | #Constraints: 43576 750.02/751.85 c #Conflicts: 260000 | #Constraints: 44576 750.02/751.85 c #Conflicts: 261000 | #Constraints: 45576 750.02/751.85 c #Conflicts: 262000 | #Constraints: 46576 750.02/751.85 c #Conflicts: 263000 | #Constraints: 47576 750.02/751.85 c #Conflicts: 264000 | #Constraints: 48576 750.02/751.85 c #Conflicts: 265000 | #Constraints: 49576 750.02/751.85 c #Conflicts: 266000 | #Constraints: 50576 750.02/751.85 c #Conflicts: 267000 | #Constraints: 51576 750.02/751.85 c #Conflicts: 268000 | #Constraints: 52576 750.02/751.85 c #Conflicts: 269000 | #Constraints: 53576 750.02/751.85 c #Conflicts: 270000 | #Constraints: 54576 750.02/751.85 c #Conflicts: 271000 | #Constraints: 55576 750.02/751.85 c #Conflicts: 272000 | #Constraints: 56576 750.02/751.85 c #Conflicts: 273000 | #Constraints: 57577 750.02/751.85 c #Conflicts: 274000 | #Constraints: 58580 750.02/751.85 c #Conflicts: 275000 | #Constraints: 59582 750.02/751.85 c #Conflicts: 276000 | #Constraints: 60582 750.02/751.85 c #Conflicts: 277000 | #Constraints: 61582 750.02/751.85 c #Conflicts: 278000 | #Constraints: 62582 750.02/751.85 c #Conflicts: 279000 | #Constraints: 63582 750.02/751.85 c #Conflicts: 280000 | #Constraints: 64582 750.02/751.85 c #Conflicts: 281000 | #Constraints: 65582 750.02/751.85 c #Conflicts: 282000 | #Constraints: 66582 750.02/751.85 c #Conflicts: 283000 | #Constraints: 67582 750.02/751.85 c #Conflicts: 284000 | #Constraints: 68583 750.02/751.85 c #Conflicts: 285000 | #Constraints: 69583 750.02/751.85 c #Conflicts: 286000 | #Constraints: 70583 750.02/751.85 c #Conflicts: 287000 | #Constraints: 71583 750.02/751.85 c #Conflicts: 288000 | #Constraints: 72583 750.02/751.85 c #Conflicts: 289000 | #Constraints: 73583 750.02/751.85 c #Conflicts: 290000 | #Constraints: 74583 750.02/751.85 c INPROCESSING 750.02/751.85 c GARBAGE COLLECT 750.02/751.85 c rational objective 55 868.16/870.24 c #Conflicts: 291000 | #Constraints: 47399 868.16/870.24 c #Conflicts: 292000 | #Constraints: 48399 868.16/870.24 c #Conflicts: 293000 | #Constraints: 49399 868.16/870.24 c #Conflicts: 294000 | #Constraints: 50399 868.16/870.24 c #Conflicts: 295000 | #Constraints: 51399 868.16/870.24 c #Conflicts: 296000 | #Constraints: 52399 868.16/870.24 c #Conflicts: 297000 | #Constraints: 53399 868.16/870.24 c bounds - >= 56 @ 802.142 868.16/870.24 c #Conflicts: 298000 | #Constraints: 54405 868.16/870.24 c #Conflicts: 299000 | #Constraints: 55405 868.16/870.24 c #Conflicts: 300000 | #Constraints: 56405 868.16/870.24 c #Conflicts: 301000 | #Constraints: 57405 868.16/870.24 c #Conflicts: 302000 | #Constraints: 58405 868.16/870.24 c #Conflicts: 303000 | #Constraints: 59405 868.16/870.24 c #Conflicts: 304000 | #Constraints: 60405 868.16/870.24 c INPROCESSING 868.16/870.24 c GARBAGE COLLECT 868.16/870.24 c rational objective 56 1004.03/1006.40 c #Conflicts: 305000 | #Constraints: 42911 1004.03/1006.40 c #Conflicts: 306000 | #Constraints: 43911 1004.03/1006.40 c #Conflicts: 307000 | #Constraints: 44911 1004.03/1006.40 c #Conflicts: 308000 | #Constraints: 45911 1004.03/1006.40 c #Conflicts: 309000 | #Constraints: 46911 1004.03/1006.40 c #Conflicts: 310000 | #Constraints: 47911 1004.03/1006.40 c #Conflicts: 311000 | #Constraints: 48911 1004.03/1006.40 c #Conflicts: 312000 | #Constraints: 49911 1004.03/1006.40 c #Conflicts: 313000 | #Constraints: 50911 1004.03/1006.40 c #Conflicts: 314000 | #Constraints: 51911 1004.03/1006.40 c #Conflicts: 315000 | #Constraints: 52911 1004.03/1006.40 c #Conflicts: 316000 | #Constraints: 53911 1004.03/1006.40 c #Conflicts: 317000 | #Constraints: 54911 1004.03/1006.40 c #Conflicts: 318000 | #Constraints: 55911 1004.03/1006.40 c #Conflicts: 319000 | #Constraints: 56911 1004.03/1006.40 c #Conflicts: 320000 | #Constraints: 57911 1004.03/1006.40 c #Conflicts: 321000 | #Constraints: 58911 1004.03/1006.40 c #Conflicts: 322000 | #Constraints: 59911 1004.03/1006.40 c #Conflicts: 323000 | #Constraints: 60911 1004.03/1006.40 c #Conflicts: 324000 | #Constraints: 61911 1004.03/1006.40 c #Conflicts: 325000 | #Constraints: 62911 1004.03/1006.40 c #Conflicts: 326000 | #Constraints: 63911 1004.03/1006.40 c #Conflicts: 327000 | #Constraints: 64911 1004.03/1006.40 c #Conflicts: 328000 | #Constraints: 65911 1004.03/1006.40 c #Conflicts: 329000 | #Constraints: 66912 1004.03/1006.40 c #Conflicts: 330000 | #Constraints: 67912 1004.03/1006.40 c #Conflicts: 331000 | #Constraints: 68912 1004.03/1006.40 c #Conflicts: 332000 | #Constraints: 69913 1004.03/1006.40 c #Conflicts: 333000 | #Constraints: 70914 1004.03/1006.40 c #Conflicts: 334000 | #Constraints: 71915 1004.03/1006.40 c #Conflicts: 335000 | #Constraints: 72919 1004.03/1006.40 c #Conflicts: 336000 | #Constraints: 73919 1004.03/1006.40 c #Conflicts: 337000 | #Constraints: 74920 1004.03/1006.40 c #Conflicts: 338000 | #Constraints: 75920 1004.03/1006.40 c #Conflicts: 339000 | #Constraints: 76920 1004.03/1006.40 c #Conflicts: 340000 | #Constraints: 77920 1004.03/1006.40 c #Conflicts: 341000 | #Constraints: 78921 1004.03/1006.40 c #Conflicts: 342000 | #Constraints: 79921 1004.03/1006.40 c INPROCESSING 1004.03/1006.40 c GARBAGE COLLECT 1004.03/1006.40 WSVECS04 Frhs2[144]: 6 -256 0 shouldn't be 1004.03/1006.40 WSVECS04 Frhs2[8834]: 6 0 324 shouldn't be 1004.93/1007.30 c rational objective 56 1152.28/1155.09 c #Conflicts: 343000 | #Constraints: 49623 1152.28/1155.09 c #Conflicts: 344000 | #Constraints: 50623 1152.28/1155.09 c #Conflicts: 345000 | #Constraints: 51623 1152.28/1155.09 c #Conflicts: 346000 | #Constraints: 52623 1152.28/1155.09 c #Conflicts: 347000 | #Constraints: 53623 1152.28/1155.09 c #Conflicts: 348000 | #Constraints: 54623 1152.28/1155.09 c #Conflicts: 349000 | #Constraints: 55623 1152.28/1155.09 c #Conflicts: 350000 | #Constraints: 56623 1152.28/1155.09 c #Conflicts: 351000 | #Constraints: 57623 1152.28/1155.09 c #Conflicts: 352000 | #Constraints: 58623 1152.28/1155.09 c #Conflicts: 353000 | #Constraints: 59623 1152.28/1155.09 c #Conflicts: 354000 | #Constraints: 60623 1152.28/1155.09 c #Conflicts: 355000 | #Constraints: 61623 1152.28/1155.09 c #Conflicts: 356000 | #Constraints: 62623 1152.28/1155.09 c #Conflicts: 357000 | #Constraints: 63623 1152.28/1155.09 c #Conflicts: 358000 | #Constraints: 64623 1152.28/1155.09 c INPROCESSING 1152.28/1155.09 c GARBAGE COLLECT 1152.28/1155.09 c rational objective 56 1429.42/1432.85 c #Conflicts: 359000 | #Constraints: 46193 1429.42/1432.85 c #Conflicts: 360000 | #Constraints: 47193 1429.42/1432.85 c bounds - >= 57 @ 1164.66 1429.42/1432.85 c #Conflicts: 361000 | #Constraints: 48199 1429.42/1432.85 c #Conflicts: 362000 | #Constraints: 49199 1429.42/1432.85 c #Conflicts: 363000 | #Constraints: 50199 1429.42/1432.85 c #Conflicts: 364000 | #Constraints: 51199 1429.42/1432.85 c #Conflicts: 365000 | #Constraints: 52199 1429.42/1432.85 c #Conflicts: 366000 | #Constraints: 53199 1429.42/1432.85 c #Conflicts: 367000 | #Constraints: 54199 1429.42/1432.85 c #Conflicts: 368000 | #Constraints: 55199 1429.42/1432.85 c #Conflicts: 369000 | #Constraints: 56199 1429.42/1432.85 c #Conflicts: 370000 | #Constraints: 57199 1429.42/1432.85 c #Conflicts: 371000 | #Constraints: 58199 1429.42/1432.85 c #Conflicts: 372000 | #Constraints: 59199 1429.42/1432.85 c #Conflicts: 373000 | #Constraints: 60199 1429.42/1432.85 c #Conflicts: 374000 | #Constraints: 61199 1429.42/1432.85 c bounds - >= 58 @ 1311.33 1429.42/1432.85 c #Conflicts: 375000 | #Constraints: 62205 1429.42/1432.85 c #Conflicts: 376000 | #Constraints: 63205 1429.42/1432.85 c #Conflicts: 377000 | #Constraints: 64205 1429.42/1432.85 c #Conflicts: 378000 | #Constraints: 65205 1429.42/1432.85 c #Conflicts: 379000 | #Constraints: 66205 1429.42/1432.85 c #Conflicts: 380000 | #Constraints: 67205 1429.42/1432.85 c #Conflicts: 381000 | #Constraints: 68205 1429.42/1432.85 c #Conflicts: 382000 | #Constraints: 69205 1429.42/1432.85 c #Conflicts: 383000 | #Constraints: 70205 1429.42/1432.85 c #Conflicts: 384000 | #Constraints: 71205 1429.42/1432.85 c #Conflicts: 385000 | #Constraints: 72205 1429.42/1432.85 c #Conflicts: 386000 | #Constraints: 73205 1429.42/1432.85 c #Conflicts: 387000 | #Constraints: 74205 1429.42/1432.85 c #Conflicts: 388000 | #Constraints: 75205 1429.42/1432.85 c #Conflicts: 389000 | #Constraints: 76205 1429.42/1432.85 c #Conflicts: 390000 | #Constraints: 77205 1429.42/1432.85 c #Conflicts: 391000 | #Constraints: 78205 1429.42/1432.85 c #Conflicts: 392000 | #Constraints: 79205 1429.42/1432.85 c #Conflicts: 393000 | #Constraints: 80205 1429.42/1432.85 c #Conflicts: 394000 | #Constraints: 81205 1429.42/1432.85 c #Conflicts: 395000 | #Constraints: 82205 1429.42/1432.85 c #Conflicts: 396000 | #Constraints: 83205 1429.42/1432.85 c #Conflicts: 397000 | #Constraints: 84205 1429.42/1432.85 c #Conflicts: 398000 | #Constraints: 85205 1429.42/1432.85 c #Conflicts: 399000 | #Constraints: 86205 1429.42/1432.85 c #Conflicts: 400000 | #Constraints: 87205 1429.42/1432.85 c INPROCESSING 1429.42/1432.85 c GARBAGE COLLECT 1429.42/1432.85 WSVECS04 Frhs2[115]: 6 -64.0001 0 shouldn't be 1431.52/1434.96 c rational objective 58 1624.13/1628.06 c #Conflicts: 401000 | #Constraints: 53631 1624.13/1628.06 c #Conflicts: 402000 | #Constraints: 54631 1624.13/1628.06 c #Conflicts: 403000 | #Constraints: 55631 1624.13/1628.06 c #Conflicts: 404000 | #Constraints: 56631 1624.13/1628.06 c #Conflicts: 405000 | #Constraints: 57631 1624.13/1628.06 c #Conflicts: 406000 | #Constraints: 58631 1624.13/1628.06 c #Conflicts: 407000 | #Constraints: 59631 1624.13/1628.06 c #Conflicts: 408000 | #Constraints: 60631 1624.13/1628.06 c #Conflicts: 409000 | #Constraints: 61631 1624.13/1628.06 c #Conflicts: 410000 | #Constraints: 62631 1624.13/1628.06 c #Conflicts: 411000 | #Constraints: 63631 1624.13/1628.06 c #Conflicts: 412000 | #Constraints: 64631 1624.13/1628.06 c #Conflicts: 413000 | #Constraints: 65631 1624.13/1628.06 c #Conflicts: 414000 | #Constraints: 66631 1624.13/1628.06 c #Conflicts: 415000 | #Constraints: 67631 1624.13/1628.06 c #Conflicts: 416000 | #Constraints: 68631 1624.13/1628.06 c #Conflicts: 417000 | #Constraints: 69631 1624.13/1628.06 c INPROCESSING 1624.13/1628.06 c GARBAGE COLLECT 1624.13/1628.06 c rational objective 58 1778.02/1782.33 c #Conflicts: 418000 | #Constraints: 53212 1778.02/1782.33 c #Conflicts: 419000 | #Constraints: 54212 1778.02/1782.33 c #Conflicts: 420000 | #Constraints: 55212 1778.02/1782.33 c #Conflicts: 421000 | #Constraints: 56212 1778.02/1782.33 c #Conflicts: 422000 | #Constraints: 57212 1778.02/1782.33 c #Conflicts: 423000 | #Constraints: 58212 1778.02/1782.33 c #Conflicts: 424000 | #Constraints: 59212 1778.02/1782.33 c #Conflicts: 425000 | #Constraints: 60212 1778.02/1782.33 c #Conflicts: 426000 | #Constraints: 61212 1778.02/1782.33 c #Conflicts: 427000 | #Constraints: 62212 1778.02/1782.33 c #Conflicts: 428000 | #Constraints: 63212 1778.02/1782.33 c #Conflicts: 429000 | #Constraints: 64212 1778.02/1782.33 c #Conflicts: 430000 | #Constraints: 65212 1778.02/1782.33 c #Conflicts: 431000 | #Constraints: 66212 1778.02/1782.33 c #Conflicts: 432000 | #Constraints: 67212 1778.02/1782.33 c #Conflicts: 433000 | #Constraints: 68212 1778.02/1782.33 c #Conflicts: 434000 | #Constraints: 69212 1778.02/1782.33 c #Conflicts: 435000 | #Constraints: 70212 1778.02/1782.33 c #Conflicts: 436000 | #Constraints: 71212 1778.02/1782.33 c #Conflicts: 437000 | #Constraints: 72212 1778.02/1782.33 c #Conflicts: 438000 | #Constraints: 73212 1778.02/1782.33 c #Conflicts: 439000 | #Constraints: 74212 1778.02/1782.33 c #Conflicts: 440000 | #Constraints: 75212 1778.02/1782.33 c #Conflicts: 441000 | #Constraints: 76212 1778.02/1782.33 c #Conflicts: 442000 | #Constraints: 77212 1778.02/1782.33 c #Conflicts: 443000 | #Constraints: 78212 1778.02/1782.33 c #Conflicts: 444000 | #Constraints: 79212 1778.02/1782.33 c #Conflicts: 445000 | #Constraints: 80212 1778.02/1782.33 c #Conflicts: 446000 | #Constraints: 81212 1778.02/1782.33 c #Conflicts: 447000 | #Constraints: 82212 1778.02/1782.33 c #Conflicts: 448000 | #Constraints: 83212 1778.02/1782.33 c #Conflicts: 449000 | #Constraints: 84212 1778.02/1782.33 c #Conflicts: 450000 | #Constraints: 85212 1778.02/1782.33 c #Conflicts: 451000 | #Constraints: 86212 1778.02/1782.33 c #Conflicts: 452000 | #Constraints: 87212 1778.02/1782.33 c #Conflicts: 453000 | #Constraints: 88212 1778.02/1782.33 c #Conflicts: 454000 | #Constraints: 89212 1778.02/1782.33 c #Conflicts: 455000 | #Constraints: 90212 1778.02/1782.33 c #Conflicts: 456000 | #Constraints: 91212 1778.02/1782.33 c #Conflicts: 457000 | #Constraints: 92212 1778.02/1782.33 c #Conflicts: 458000 | #Constraints: 93212 1778.02/1782.33 c #Conflicts: 459000 | #Constraints: 94212 1778.02/1782.33 c #Conflicts: 460000 | #Constraints: 95212 1778.02/1782.33 c #Conflicts: 461000 | #Constraints: 96212 1778.02/1782.33 c INPROCESSING 1778.02/1782.33 c GARBAGE COLLECT 1778.02/1782.33 c rational objective 58 1991.82/1996.71 c #Conflicts: 462000 | #Constraints: 57778 1991.82/1996.71 c #Conflicts: 463000 | #Constraints: 58778 1991.82/1996.71 c #Conflicts: 464000 | #Constraints: 59778 1991.82/1996.71 c #Conflicts: 465000 | #Constraints: 60778 1991.82/1996.71 c #Conflicts: 466000 | #Constraints: 61778 1991.82/1996.71 c #Conflicts: 467000 | #Constraints: 62778 1991.82/1996.71 c #Conflicts: 468000 | #Constraints: 63778 1991.82/1996.71 c #Conflicts: 469000 | #Constraints: 64778 1991.82/1996.71 c #Conflicts: 470000 | #Constraints: 65778 1991.82/1996.71 c #Conflicts: 471000 | #Constraints: 66778 1991.82/1996.71 c #Conflicts: 472000 | #Constraints: 67778 1991.82/1996.71 c #Conflicts: 473000 | #Constraints: 68778 1991.82/1996.71 c #Conflicts: 474000 | #Constraints: 69778 1991.82/1996.71 c #Conflicts: 475000 | #Constraints: 70778 1991.82/1996.71 c #Conflicts: 476000 | #Constraints: 71778 1991.82/1996.71 c #Conflicts: 477000 | #Constraints: 72778 1991.82/1996.71 c #Conflicts: 478000 | #Constraints: 73778 1991.82/1996.71 c bounds - >= 59 @ 1974.91 1991.82/1996.71 c #Conflicts: 479000 | #Constraints: 74787 1991.82/1996.71 c #Conflicts: 480000 | #Constraints: 75787 1991.82/1996.71 c INPROCESSING 1991.82/1996.71 c GARBAGE COLLECT 1991.82/1996.71 c rational objective 59 2129.35/2134.69 c #Conflicts: 481000 | #Constraints: 57263 2129.35/2134.69 c #Conflicts: 482000 | #Constraints: 58263 2129.35/2134.69 c #Conflicts: 483000 | #Constraints: 59263 2129.35/2134.69 c #Conflicts: 484000 | #Constraints: 60263 2129.35/2134.69 c #Conflicts: 485000 | #Constraints: 61263 2129.35/2134.69 c #Conflicts: 486000 | #Constraints: 62263 2129.35/2134.69 c #Conflicts: 487000 | #Constraints: 63263 2129.35/2134.69 c #Conflicts: 488000 | #Constraints: 64263 2129.35/2134.69 c #Conflicts: 489000 | #Constraints: 65263 2129.35/2134.69 c #Conflicts: 490000 | #Constraints: 66263 2129.35/2134.69 c #Conflicts: 491000 | #Constraints: 67263 2129.35/2134.69 c #Conflicts: 492000 | #Constraints: 68263 2129.35/2134.69 c #Conflicts: 493000 | #Constraints: 69263 2129.35/2134.69 c #Conflicts: 494000 | #Constraints: 70263 2129.35/2134.69 c #Conflicts: 495000 | #Constraints: 71263 2129.35/2134.69 c #Conflicts: 496000 | #Constraints: 72263 2129.35/2134.69 c #Conflicts: 497000 | #Constraints: 73263 2129.35/2134.69 c #Conflicts: 498000 | #Constraints: 74263 2129.35/2134.69 c #Conflicts: 499000 | #Constraints: 75263 2129.35/2134.69 c #Conflicts: 500000 | #Constraints: 76263 2129.35/2134.69 c #Conflicts: 501000 | #Constraints: 77263 2129.35/2134.69 c #Conflicts: 502000 | #Constraints: 78263 2129.35/2134.69 c #Conflicts: 503000 | #Constraints: 79263 2129.35/2134.69 c #Conflicts: 504000 | #Constraints: 80263 2129.35/2134.69 c #Conflicts: 505000 | #Constraints: 81263 2129.35/2134.69 c #Conflicts: 506000 | #Constraints: 82263 2129.35/2134.69 c #Conflicts: 507000 | #Constraints: 83263 2129.35/2134.69 c #Conflicts: 508000 | #Constraints: 84263 2129.35/2134.69 c #Conflicts: 509000 | #Constraints: 85263 2129.35/2134.69 c #Conflicts: 510000 | #Constraints: 86263 2129.35/2134.69 c #Conflicts: 511000 | #Constraints: 87263 2129.35/2134.69 c #Conflicts: 512000 | #Constraints: 88263 2129.35/2134.69 c #Conflicts: 513000 | #Constraints: 89263 2129.35/2134.69 c #Conflicts: 514000 | #Constraints: 90263 2129.35/2134.69 c #Conflicts: 515000 | #Constraints: 91263 2129.35/2134.69 c #Conflicts: 516000 | #Constraints: 92263 2129.35/2134.69 c #Conflicts: 517000 | #Constraints: 93263 2129.35/2134.69 WSVECS04 Frhs2[104]: 6 -32 0 shouldn't be 2129.35/2134.69 WSVECS04 Frhs2[150]: 6 -32 0 shouldn't be 2129.35/2134.69 WSVECS04 Frhs2[8188]: 6 -324 0 shouldn't be 2177.12/2182.53 c #Conflicts: 518000 | #Constraints: 94263 2177.12/2182.53 c #Conflicts: 519000 | #Constraints: 95263 2177.12/2182.53 c #Conflicts: 520000 | #Constraints: 96263 2177.12/2182.53 c #Conflicts: 521000 | #Constraints: 97263 2177.12/2182.53 c #Conflicts: 522000 | #Constraints: 98263 2177.12/2182.53 c #Conflicts: 523000 | #Constraints: 99263 2177.12/2182.53 c #Conflicts: 524000 | #Constraints: 100263 2177.12/2182.53 c #Conflicts: 525000 | #Constraints: 101263 2177.12/2182.53 c #Conflicts: 526000 | #Constraints: 102263 2177.12/2182.53 c #Conflicts: 527000 | #Constraints: 103263 2177.12/2182.53 c #Conflicts: 528000 | #Constraints: 104263 2177.12/2182.53 c INPROCESSING 2177.12/2182.53 c GARBAGE COLLECT 2177.12/2182.53 c rational objective 59 2466.59/2472.89 c #Conflicts: 529000 | #Constraints: 62321 2466.59/2472.89 c #Conflicts: 530000 | #Constraints: 63321 2466.59/2472.89 c #Conflicts: 531000 | #Constraints: 64321 2466.59/2472.89 c #Conflicts: 532000 | #Constraints: 65321 2466.59/2472.89 c #Conflicts: 533000 | #Constraints: 66321 2466.59/2472.89 c #Conflicts: 534000 | #Constraints: 67321 2466.59/2472.89 c #Conflicts: 535000 | #Constraints: 68321 2466.59/2472.89 c #Conflicts: 536000 | #Constraints: 69321 2466.59/2472.89 c #Conflicts: 537000 | #Constraints: 70321 2466.59/2472.89 c #Conflicts: 538000 | #Constraints: 71321 2466.59/2472.89 c #Conflicts: 539000 | #Constraints: 72321 2466.59/2472.89 c #Conflicts: 540000 | #Constraints: 73321 2466.59/2472.89 c #Conflicts: 541000 | #Constraints: 74321 2466.59/2472.89 c #Conflicts: 542000 | #Constraints: 75321 2466.59/2472.89 c #Conflicts: 543000 | #Constraints: 76321 2466.59/2472.89 c #Conflicts: 544000 | #Constraints: 77321 2466.59/2472.89 c #Conflicts: 545000 | #Constraints: 78321 2466.59/2472.89 c #Conflicts: 546000 | #Constraints: 79321 2466.59/2472.89 c #Conflicts: 547000 | #Constraints: 80321 2466.59/2472.89 c INPROCESSING 2466.59/2472.89 c GARBAGE COLLECT 2466.59/2472.89 c rational objective 59 2730.48/2737.45 c #Conflicts: 548000 | #Constraints: 60594 2730.48/2737.45 c #Conflicts: 549000 | #Constraints: 61594 2730.48/2737.45 c #Conflicts: 550000 | #Constraints: 62594 2730.48/2737.45 c #Conflicts: 551000 | #Constraints: 63596 2730.48/2737.45 c #Conflicts: 552000 | #Constraints: 64596 2730.48/2737.45 c #Conflicts: 553000 | #Constraints: 65596 2730.48/2737.45 c #Conflicts: 554000 | #Constraints: 66596 2730.48/2737.45 c #Conflicts: 555000 | #Constraints: 67598 2730.48/2737.45 c #Conflicts: 556000 | #Constraints: 68598 2730.48/2737.45 c #Conflicts: 557000 | #Constraints: 69598 2730.48/2737.45 c #Conflicts: 558000 | #Constraints: 70598 2730.48/2737.45 c #Conflicts: 559000 | #Constraints: 71598 2730.48/2737.45 c #Conflicts: 560000 | #Constraints: 72598 2730.48/2737.45 c #Conflicts: 561000 | #Constraints: 73598 2730.48/2737.45 c #Conflicts: 562000 | #Constraints: 74598 2730.48/2737.45 c #Conflicts: 563000 | #Constraints: 75598 2730.48/2737.45 c #Conflicts: 564000 | #Constraints: 76598 2730.48/2737.45 c #Conflicts: 565000 | #Constraints: 77598 2730.48/2737.45 c #Conflicts: 566000 | #Constraints: 78598 2730.48/2737.45 c #Conflicts: 567000 | #Constraints: 79598 2730.48/2737.45 c #Conflicts: 568000 | #Constraints: 80598 2730.48/2737.45 c #Conflicts: 569000 | #Constraints: 81598 2730.48/2737.45 c #Conflicts: 570000 | #Constraints: 82598 2730.48/2737.45 c #Conflicts: 571000 | #Constraints: 83598 2730.48/2737.45 c #Conflicts: 572000 | #Constraints: 84598 2730.48/2737.45 c #Conflicts: 573000 | #Constraints: 85598 2730.48/2737.45 c #Conflicts: 574000 | #Constraints: 86598 2730.48/2737.45 c #Conflicts: 575000 | #Constraints: 87598 2730.48/2737.45 c #Conflicts: 576000 | #Constraints: 88598 2730.48/2737.45 c #Conflicts: 577000 | #Constraints: 89599 2730.48/2737.45 c #Conflicts: 578000 | #Constraints: 90599 2730.48/2737.45 c #Conflicts: 579000 | #Constraints: 91599 2730.48/2737.45 c #Conflicts: 580000 | #Constraints: 92599 2730.48/2737.45 c #Conflicts: 581000 | #Constraints: 93599 2730.48/2737.45 c #Conflicts: 582000 | #Constraints: 94599 2730.48/2737.45 c #Conflicts: 583000 | #Constraints: 95599 2730.48/2737.45 c #Conflicts: 584000 | #Constraints: 96599 2730.48/2737.45 c #Conflicts: 585000 | #Constraints: 97599 2730.48/2737.45 c #Conflicts: 586000 | #Constraints: 98599 2730.48/2737.45 c #Conflicts: 587000 | #Constraints: 99599 2730.48/2737.45 c #Conflicts: 588000 | #Constraints: 100599 2730.48/2737.45 c #Conflicts: 589000 | #Constraints: 101599 2730.48/2737.45 c #Conflicts: 590000 | #Constraints: 102599 2730.48/2737.45 c #Conflicts: 591000 | #Constraints: 103599 2730.48/2737.45 c #Conflicts: 592000 | #Constraints: 104599 2730.48/2737.45 c #Conflicts: 593000 | #Constraints: 105599 2730.48/2737.45 c #Conflicts: 594000 | #Constraints: 106599 2730.48/2737.45 c #Conflicts: 595000 | #Constraints: 107599 2730.48/2737.45 c #Conflicts: 596000 | #Constraints: 108599 2730.48/2737.45 c #Conflicts: 597000 | #Constraints: 109599 2730.48/2737.45 c #Conflicts: 598000 | #Constraints: 110599 2730.48/2737.45 c INPROCESSING 2730.48/2737.45 c GARBAGE COLLECT 2730.48/2737.45 c rational objective 59 3075.09/3083.10 c #Conflicts: 599000 | #Constraints: 65257 3075.09/3083.10 c #Conflicts: 600000 | #Constraints: 66257 3075.09/3083.10 c #Conflicts: 601000 | #Constraints: 67257 3075.09/3083.10 c #Conflicts: 602000 | #Constraints: 68257 3075.09/3083.10 c #Conflicts: 603000 | #Constraints: 69257 3075.09/3083.10 c #Conflicts: 604000 | #Constraints: 70257 3075.09/3083.10 c #Conflicts: 605000 | #Constraints: 71257 3075.09/3083.10 c #Conflicts: 606000 | #Constraints: 72257 3075.09/3083.10 c #Conflicts: 607000 | #Constraints: 73257 3075.09/3083.10 c #Conflicts: 608000 | #Constraints: 74257 3075.09/3083.10 c #Conflicts: 609000 | #Constraints: 75257 3075.09/3083.10 c #Conflicts: 610000 | #Constraints: 76257 3075.09/3083.10 c #Conflicts: 611000 | #Constraints: 77257 3075.09/3083.10 c #Conflicts: 612000 | #Constraints: 78257 3075.09/3083.10 c #Conflicts: 613000 | #Constraints: 79257 3075.09/3083.10 c #Conflicts: 614000 | #Constraints: 80257 3075.09/3083.10 c #Conflicts: 615000 | #Constraints: 81257 3075.09/3083.10 c #Conflicts: 616000 | #Constraints: 82257 3075.09/3083.10 c #Conflicts: 617000 | #Constraints: 83257 3075.09/3083.10 c #Conflicts: 618000 | #Constraints: 84257 3075.09/3083.10 c #Conflicts: 619000 | #Constraints: 85257 3075.09/3083.10 c INPROCESSING 3075.09/3083.10 c GARBAGE COLLECT 3075.09/3083.10 c rational objective 59 3383.55/3392.33 c #Conflicts: 620000 | #Constraints: 64633 3383.55/3392.33 c #Conflicts: 621000 | #Constraints: 65633 3383.55/3392.33 c #Conflicts: 622000 | #Constraints: 66633 3383.55/3392.33 c #Conflicts: 623000 | #Constraints: 67633 3383.55/3392.33 c #Conflicts: 624000 | #Constraints: 68633 3383.55/3392.33 c #Conflicts: 625000 | #Constraints: 69633 3383.55/3392.33 c #Conflicts: 626000 | #Constraints: 70633 3383.55/3392.33 c #Conflicts: 627000 | #Constraints: 71633 3383.55/3392.33 c #Conflicts: 628000 | #Constraints: 72633 3383.55/3392.33 c #Conflicts: 629000 | #Constraints: 73633 3383.55/3392.33 c #Conflicts: 630000 | #Constraints: 74633 3383.55/3392.33 c #Conflicts: 631000 | #Constraints: 75633 3383.55/3392.33 c #Conflicts: 632000 | #Constraints: 76633 3383.55/3392.33 c #Conflicts: 633000 | #Constraints: 77633 3383.55/3392.33 c #Conflicts: 634000 | #Constraints: 78633 3383.55/3392.33 c #Conflicts: 635000 | #Constraints: 79633 3383.55/3392.33 c #Conflicts: 636000 | #Constraints: 80633 3383.55/3392.33 c #Conflicts: 637000 | #Constraints: 81633 3383.55/3392.33 c #Conflicts: 638000 | #Constraints: 82633 3383.55/3392.33 c #Conflicts: 639000 | #Constraints: 83633 3383.55/3392.33 c #Conflicts: 640000 | #Constraints: 84633 3383.55/3392.33 c #Conflicts: 641000 | #Constraints: 85633 3383.55/3392.33 c #Conflicts: 642000 | #Constraints: 86633 3383.55/3392.33 c #Conflicts: 643000 | #Constraints: 87633 3383.55/3392.33 c #Conflicts: 644000 | #Constraints: 88633 3383.55/3392.33 c #Conflicts: 645000 | #Constraints: 89633 3383.55/3392.33 c #Conflicts: 646000 | #Constraints: 90633 3383.55/3392.33 c #Conflicts: 647000 | #Constraints: 91633 3383.55/3392.33 c #Conflicts: 648000 | #Constraints: 92633 3383.55/3392.33 c #Conflicts: 649000 | #Constraints: 93633 3383.55/3392.33 c #Conflicts: 650000 | #Constraints: 94633 3383.55/3392.33 c #Conflicts: 651000 | #Constraints: 95633 3383.55/3392.33 c #Conflicts: 652000 | #Constraints: 96633 3383.55/3392.33 c #Conflicts: 653000 | #Constraints: 97634 3383.55/3392.33 c #Conflicts: 654000 | #Constraints: 98634 3383.55/3392.33 c #Conflicts: 655000 | #Constraints: 99635 3383.55/3392.33 c #Conflicts: 656000 | #Constraints: 100636 3383.55/3392.33 c #Conflicts: 657000 | #Constraints: 101638 3383.55/3392.33 c #Conflicts: 658000 | #Constraints: 102920 3383.55/3392.33 c #Conflicts: 659000 | #Constraints: 104667 3383.55/3392.33 c #Conflicts: 660000 | #Constraints: 106072 3383.55/3392.33 c #Conflicts: 661000 | #Constraints: 107144 3383.55/3392.33 c #Conflicts: 662000 | #Constraints: 108177 3383.55/3392.33 c #Conflicts: 663000 | #Constraints: 109177 3383.55/3392.33 c #Conflicts: 664000 | #Constraints: 110177 3383.55/3392.33 c #Conflicts: 665000 | #Constraints: 111177 3383.55/3392.33 c #Conflicts: 666000 | #Constraints: 112177 3383.55/3392.33 c #Conflicts: 667000 | #Constraints: 113177 3383.55/3392.33 c #Conflicts: 668000 | #Constraints: 114177 3383.55/3392.33 c #Conflicts: 669000 | #Constraints: 115177 3383.55/3392.33 c #Conflicts: 670000 | #Constraints: 116177 3383.55/3392.33 c #Conflicts: 671000 | #Constraints: 117177 3383.55/3392.33 c #Conflicts: 672000 | #Constraints: 118177 3383.55/3392.33 c #Conflicts: 673000 | #Constraints: 119177 3383.55/3392.33 c INPROCESSING 3383.55/3392.33 c GARBAGE COLLECT 3383.55/3392.33 c rational objective 59 3600.03/3609.40 c #Conflicts: 674000 | #Constraints: 69516 3600.03/3609.40 c #Conflicts: 675000 | #Constraints: 70516 3600.03/3609.40 c #Conflicts: 676000 | #Constraints: 71516 3600.03/3609.40 c #Conflicts: 677000 | #Constraints: 72516 3600.03/3609.40 c #Conflicts: 678000 | #Constraints: 73516 3600.03/3609.40 c #Conflicts: 679000 | #Constraints: 74516 3600.03/3609.40 c #Conflicts: 680000 | #Constraints: 75516 3600.03/3609.40 c #Conflicts: 681000 | #Constraints: 76516 3600.03/3609.40 c #Conflicts: 682000 | #Constraints: 77516 3600.03/3609.40 c #Conflicts: 683000 | #Constraints: 78516 3600.03/3609.40 c #Conflicts: 684000 | #Constraints: 79516 3600.03/3609.40 c #Conflicts: 685000 | #Constraints: 80516 3600.03/3609.40 c Program interrupted by user. 3600.03/3609.40 c cpu time 3588.17 s 3600.03/3609.40 c deterministic time 283596874047 2.84e+11 3600.03/3609.40 c optimization time 215.993 s 3600.03/3609.40 c total solve time 3372.01 s 3600.03/3609.40 c core-guided solve time 1800.61 s 3600.03/3609.40 c propagation time 3428.31 s 3600.03/3609.40 c conflict analysis time 93.9754 s 3600.03/3609.40 c propagations 508003439 3600.03/3609.40 c resolve steps 2711535 3600.03/3609.40 c decisions 4308514 3600.03/3609.40 c conflicts 685733 3600.03/3609.40 c restarts 1498 3600.03/3609.40 c inprocessing phases 37 3600.03/3609.40 c input clauses 59 3600.03/3609.40 c input cardinalities 47 3600.03/3609.40 c input general constraints 17671 3600.03/3609.40 c input average constraint length 33.64 3600.03/3609.40 c input average constraint degree 953.04 3600.03/3609.40 c learned clauses 215481 3600.03/3609.40 c learned cardinalities 8 3600.03/3609.40 c learned general constraints 471896 3600.03/3609.40 c learned average constraint length 55.24 3600.03/3609.40 c learned average constraint degree 11639949.02 3600.03/3609.40 c watched constraints 488814 3600.03/3609.40 c counting constraints 753 3600.03/3609.40 c gcd simplifications 7305 3600.03/3609.40 c detected cardinalities 8 3600.03/3609.40 c weakened non-implied lits 3343166 3600.03/3609.40 c weakened non-implying lits 1462 3600.03/3609.40 c original variables 8883 3600.03/3609.40 c clausal propagations 692014 3600.03/3609.40 c cardinality propagations 1340184 3600.03/3609.40 c watched propagations 493414409 3600.03/3609.40 c counting propagations 12140745 3600.03/3609.40 c watch lookups 62445351045 3600.03/3609.40 c watch backjump lookups 59407725402 3600.03/3609.40 c watch checks 94446788815 3600.03/3609.40 c propagation checks 66147740369 3600.03/3609.40 c constraint additions 123095779 3600.03/3609.40 c trail pops 512996284 3600.03/3609.40 c formula constraints 17459 3600.03/3609.40 c learned constraints 685732 3600.03/3609.40 c bound constraints 47 3600.03/3609.40 c core-guided constraints 271 3600.03/3609.40 c encountered formula constraints 2418936 3600.03/3609.40 c encountered learned constraints 977637 3600.03/3609.40 c encountered bound constraints 11 3600.03/3609.40 c encountered core-guided constraints 153 3600.03/3609.40 c LP total time 134.363 s 3600.03/3609.40 c LP solve time 128.02 s 3600.03/3609.40 c LP constraints added 17741 3600.03/3609.40 c LP constraints removed 267 3600.03/3609.40 c LP pivots internal 690881 3600.03/3609.40 c LP pivots root 173518 3600.03/3609.40 c LP calls 1814 3600.03/3609.40 c LP optimalities 176 3600.03/3609.40 c LP no pivot count 16 3600.03/3609.40 c LP infeasibilities 1623 3600.03/3609.40 c LP valid Farkas constraints 1622 3600.03/3609.40 c LP learned Farkas constraints 0 3600.03/3609.40 c LP basis resets 10 3600.03/3609.40 c LP cycling count 10 3600.03/3609.40 c LP singular count 0 3600.03/3609.40 c LP no primal count 0 3600.03/3609.40 c LP no farkas count 0 3600.03/3609.40 c LP other issue count 0 3600.03/3609.40 c LP Gomory cuts 31 3600.03/3609.40 c LP learned cuts 251 3600.03/3609.40 c LP deleted cuts 267 3600.03/3609.40 c LP encountered Gomory constraints 293 3600.03/3609.40 c LP encountered Farkas constraints 238 3600.03/3609.40 c LP encountered learned Farkas constraints 0 3600.03/3609.40 c CG auxiliary variables introduced 106 3600.03/3609.40 c CG solutions found 0 3600.03/3609.40 c CG cores constructed 47 3600.03/3609.40 c CG core cardinality constraints returned 0 3600.03/3609.40 c CG unit cores 0 3600.03/3609.40 c CG single cores 47 3600.03/3609.40 c CG blocks removed during cardinality reduction 0 3600.03/3609.40 c CG first core best 0 3600.03/3609.40 c CG decision core best 0 3600.03/3609.40 c CG core reduction tie 0 3600.03/3609.40 c CG core degree average 1.00 3600.03/3609.40 c CG core slack average 4.34 3600.03/3609.40 s UNKNOWN
ERROR: no interpretation found !
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 (62173 MiB free)
memory of node 1: 64510 MiB (63245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455156-1721459514/watcher-4455156-1721459514 -o /tmp/evaluation-result-4455156-1721459514/solver-4455156-1721459514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042523 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455156-1721459514.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1044974, runsolver pid=1044971
[startup+0.100661 s]*
/proc/loadavg: 4.04 4.12 4.15 5/257 1044975
/proc/meminfo: memFree=128422316/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=39840 memory=12232 CPUtime=0.09 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 1374 0 0 0 9 0 0 0 20 0 1 0 198116348 40796160 3058 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 9960 3058 1326 922 0 1912 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12232 KiB
[startup+0.20566 s]*
/proc/loadavg: 4.04 4.12 4.15 5/257 1044975
/proc/meminfo: memFree=128407668/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=54392 memory=28108 CPUtime=0.19 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 4976 0 0 0 17 2 0 0 20 0 1 0 198116348 55697408 6961 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 13598 6961 1597 922 0 5550 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54392 KiB
Current children cumulated memory: 28108 KiB
[startup+0.305662 s]*
/proc/loadavg: 4.04 4.12 4.15 5/257 1044975
/proc/meminfo: memFree=128378216/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=82816 memory=56612 CPUtime=0.29 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 14456 0 0 0 24 5 0 0 20 0 1 0 198116348 84803584 14153 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 20704 14153 1676 922 0 12656 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82816 KiB
Current children cumulated memory: 56612 KiB
[startup+0.70022 s]
/proc/loadavg: 4.04 4.12 4.15 5/257 1044975
/proc/meminfo: memFree=128363748/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=97964 memory=71616 CPUtime=0.67 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 17059 0 0 0 61 6 0 0 20 0 1 0 198116348 100315136 17904 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 24491 17904 1772 922 0 16443 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 97964 KiB
Current children cumulated memory: 71616 KiB
[startup+1.50021 s]
/proc/loadavg: 4.04 4.12 4.15 5/257 1044975
/proc/meminfo: memFree=128363392/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=97964 memory=71616 CPUtime=1.47 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 17068 0 0 0 138 9 0 0 20 0 1 0 198116348 100315136 17904 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 24491 17904 1772 922 0 16443 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 97964 KiB
Current children cumulated memory: 71616 KiB
[startup+3.10558 s]
/proc/loadavg: 4.11 4.14 4.15 5/257 1044975
/proc/meminfo: memFree=128353772/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=106036 memory=80524 CPUtime=3.08 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 18870 0 0 0 295 13 0 0 20 0 1 0 198116348 108580864 20131 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 26509 20131 1865 922 0 18461 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106036 KiB
Current children cumulated memory: 80524 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.14 4.15 5/257 1044975
/proc/meminfo: memFree=128338852/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=125332 memory=94648 CPUtime=6.27 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 20689 0 0 0 606 21 0 0 20 0 1 0 198116348 128339968 23662 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 31333 23662 1881 922 0 23285 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125332 KiB
Current children cumulated memory: 94648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.15 5/257 1044977
/proc/meminfo: memFree=128321936/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=138016 memory=107452 CPUtime=12.65 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 21335 0 0 0 1233 32 0 0 20 0 1 0 198116348 141328384 26863 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 34504 26863 1881 922 0 26456 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138016 KiB
Current children cumulated memory: 107452 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.15 5/257 1045024
/proc/meminfo: memFree=128638352/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=173172 memory=138056 CPUtime=25.42 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 27070 0 0 0 2488 54 0 0 20 0 1 0 198116348 177328128 34514 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 43293 34514 1881 922 0 35245 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 173172 KiB
Current children cumulated memory: 138056 KiB
[startup+51.1056 s]
/proc/loadavg: 4.05 4.11 4.15 5/257 1045029
/proc/meminfo: memFree=128622828/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=183296 memory=143436 CPUtime=50.97 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 27577 0 0 0 5008 89 0 0 20 0 1 0 198116348 187695104 35859 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 45824 35859 1881 922 0 37776 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 183296 KiB
Current children cumulated memory: 143436 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/258 1045039
/proc/meminfo: memFree=128563740/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=195816 memory=159752 CPUtime=102.04 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 28695 0 0 0 10061 143 0 0 20 0 1 0 198116348 200515584 39938 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 48954 39938 1881 922 0 40906 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 159752 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/258 1045050
/proc/meminfo: memFree=128555892/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=195816 memory=161872 CPUtime=161.9 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 28796 0 0 0 16001 189 0 0 20 0 1 0 198116348 200515584 40468 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 48954 40468 1881 922 0 40906 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 161872 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/256 1045060
/proc/meminfo: memFree=128533812/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=207492 memory=163776 CPUtime=221.75 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 29321 0 0 0 21946 229 0 0 20 0 1 0 198116348 212471808 40944 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 51873 40944 1881 922 0 43825 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 207492 KiB
Current children cumulated memory: 163776 KiB
[startup+282.3 s]
/proc/loadavg: 4.41 4.19 4.16 5/255 1045070
/proc/meminfo: memFree=128518780/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=218740 memory=180136 CPUtime=281.62 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 30628 0 0 0 27882 280 0 0 20 0 1 0 198116348 223989760 45034 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 54685 45034 2014 922 0 46637 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 218740 KiB
Current children cumulated memory: 180136 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.17 4.16 5/256 1045082
/proc/meminfo: memFree=128483680/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=240244 memory=201628 CPUtime=341.48 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 32021 0 0 0 33837 311 0 0 20 0 1 0 198116348 246009856 50407 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 60061 50407 2014 922 0 52013 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 240244 KiB
Current children cumulated memory: 201628 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.16 5/255 1045092
/proc/meminfo: memFree=128456780/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=240244 memory=205736 CPUtime=401.34 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 32088 0 0 0 39784 350 0 0 20 0 1 0 198116348 246009856 51434 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 60061 51434 2014 922 0 52013 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 240244 KiB
Current children cumulated memory: 205736 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.15 5/255 1045102
/proc/meminfo: memFree=128492808/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=198812 memory=164036 CPUtime=461.2 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 33496 0 0 0 45745 375 0 0 20 0 1 0 198116348 203583488 41009 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 49703 41009 2014 922 0 41655 0
################
# More data... #
################
Current children cumulated memory: 267572 KiB
[startup+2862.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/257 1046699
/proc/meminfo: memFree=128223500/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=300192 memory=267572 CPUtime=2855.02 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 51664 0 0 0 284458 1044 0 0 20 0 1 0 198116348 307396608 66893 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 75048 66893 2014 922 0 67000 0
Current children cumulated CPU time: 2855.02 s
Current children cumulated vsize: 300192 KiB
Current children cumulated memory: 267572 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/256 1046712
/proc/meminfo: memFree=128223240/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=300192 memory=267572 CPUtime=2914.85 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 51821 0 0 0 290428 1057 0 0 20 0 1 0 198116348 307396608 66893 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 75048 66893 2014 922 0 67000 0
Current children cumulated CPU time: 2914.85 s
Current children cumulated vsize: 300192 KiB
Current children cumulated memory: 267572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/256 1046734
/proc/meminfo: memFree=128224328/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=300192 memory=267572 CPUtime=2974.68 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 51878 0 0 0 296403 1065 0 0 20 0 1 0 198116348 307396608 66893 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 75048 66893 2014 922 0 67000 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 300192 KiB
Current children cumulated memory: 267572 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/256 1046744
/proc/meminfo: memFree=128221488/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=300192 memory=267572 CPUtime=3034.51 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 51995 0 0 0 302380 1071 0 0 20 0 1 0 198116348 307396608 66893 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 75048 66893 2014 922 0 67000 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 300192 KiB
Current children cumulated memory: 267572 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/256 1046755
/proc/meminfo: memFree=128209780/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=311644 memory=279020 CPUtime=3094.34 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 52489 0 0 0 308352 1082 0 0 20 0 1 0 198116348 319123456 69755 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 77911 69755 2014 922 0 69863 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 279020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 1046767
/proc/meminfo: memFree=128218296/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=311644 memory=279024 CPUtime=3154.17 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 52577 0 0 0 314319 1098 0 0 20 0 1 0 198116348 319123456 69756 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 77911 69756 2014 922 0 69863 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 279024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/255 1046777
/proc/meminfo: memFree=128216784/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=311644 memory=279024 CPUtime=3214.01 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 52672 0 0 0 320287 1114 0 0 20 0 1 0 198116348 319123456 69756 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 77911 69756 2014 922 0 69863 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 279024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/255 1046787
/proc/meminfo: memFree=128214956/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=311644 memory=279024 CPUtime=3273.85 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 52792 0 0 0 326255 1130 0 0 20 0 1 0 198116348 319123456 69756 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 77911 69756 2014 922 0 69863 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 279024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/255 1046798
/proc/meminfo: memFree=128214776/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=311644 memory=279024 CPUtime=3333.69 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 52907 0 0 0 332224 1145 0 0 20 0 1 0 198116348 319123456 69756 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 77911 69756 2014 922 0 69863 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 279024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/255 1046808
/proc/meminfo: memFree=128212108/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=311644 memory=281072 CPUtime=3393.53 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 53035 0 0 0 338192 1161 0 0 20 0 1 0 198116348 319123456 70268 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 77911 70268 2014 922 0 69863 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 281072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/254 1046818
/proc/meminfo: memFree=128211388/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=311644 memory=281072 CPUtime=3453.36 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 53093 0 0 0 344167 1169 0 0 20 0 1 0 198116348 319123456 70268 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 77911 70268 2014 922 0 69863 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 281072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1046832
/proc/meminfo: memFree=128246736/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=275240 memory=244796 CPUtime=3513.18 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 53510 0 0 0 350140 1178 0 0 20 0 1 0 198116348 281845760 61199 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 68810 61199 2014 922 0 60762 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 275240 KiB
Current children cumulated memory: 244796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1046847
/proc/meminfo: memFree=128241932/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=275240 memory=244796 CPUtime=3573 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 53571 0 0 0 356116 1184 0 0 20 0 1 0 198116348 281845760 61199 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 68810 61199 2014 922 0 60762 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 275240 KiB
Current children cumulated memory: 244796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 1046944
/proc/meminfo: memFree=127251340/131524600 swapFree=131071996/131071996
[pid=1044974] ppid=1044971 vsize=275240 memory=244796 CPUtime=3600.03 cores=1,3
/proc/1044974/stat : 1044974 (roundingsat) R 1044971 1044974 1042511 0 -1 4194304 53571 0 0 0 358817 1186 0 0 20 0 1 0 198116348 281845760 61199 134679101440 4194304 7968373 140737198261248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 38912000 140737198269372 140737198269536 140737198269536 140737198276553 0
/proc/1044974/statm: 68810 61199 2014 922 0 60762 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 275240 KiB
Current children cumulated memory: 244796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 1044974 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.18 s, system=11.8689 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.05
CPU user time (s): 3588.18
CPU system time (s): 11.8689
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 330888
Max. memory (cumulated for all children) (KiB): 298032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.18
system time used= 11.8689
maximum resident set size= 312472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53584
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= 37
involuntary context switches= 1109
# summary of solver processes directly reported to runsolver:
# pid: 1044974
# total CPU time (s): 3600.05
# total CPU user time (s): 3588.18
# total CPU system time (s): 11.8689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29897 second user time and 17.0143 second system time
The end
Begin job on nodeC024 at 2024-07-20 09:12:07 IDJOB=4455156 IDBENCH=147625 IDSOLVER=3084 FILE ID=nodeC024/4455156-1721459514 RUNJOBID= nodeC024-1721455874-1042523 SLURM_JOB_ID= 7545689 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-4455156-1721459514/watcher-4455156-1721459514 -o /tmp/evaluation-result-4455156-1721459514/solver-4455156-1721459514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042523 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455156-1721459514.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a RANDOM SEED=883973283 nodeC024.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 : 3668.898 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.60 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 : 3668.574 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 : 7007.08 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 : 3599.959 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.60 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 : 3663.662 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 : 7007.08 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 : 3668.954 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.60 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 : 3668.273 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 : 7007.08 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.049 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.60 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 : 3623.088 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 : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128429568 kB MemAvailable: 129284536 kB Buffers: 549136 kB Cached: 1149840 kB SwapCached: 0 kB Active: 1049796 kB Inactive: 1430848 kB Active(anon): 1564 kB Inactive(anon): 826020 kB Active(file): 1048232 kB Inactive(file): 604828 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20668 kB Writeback: 0 kB AnonPages: 780716 kB Mapped: 117644 kB Shmem: 45912 kB KReclaimable: 83112 kB Slab: 194772 kB SReclaimable: 83112 kB SUnreclaim: 111660 kB KernelStack: 4140 kB PageTables: 10576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1257836 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71872 kB HardwareCorrupted: 0 kB AnonHugePages: 624640 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: 299732 kB DirectMap2M: 36173824 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890040 MiB End job on nodeC024 at 2024-07-20 10:12:17