| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.04 | 3613.71 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K143.opb |
| MD5SUM | 5b71eb3fc2b19671b5e391982561b6cd |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 17017 |
| Total number of constraints | 17305 |
| Number of constraints which are clauses | 17162 |
| Number of constraints which are cardinality constraints (but not clauses) | 143 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 144 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.08 c #variables 17017 #constraints 17305 220.82/221.63 c #Conflicts: 1000 | #Constraints: 18304 220.82/221.63 c #Conflicts: 2000 | #Constraints: 19304 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 3000 | #Constraints: 18637 220.82/221.63 c #Conflicts: 4000 | #Constraints: 19637 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 5000 | #Constraints: 19118 220.82/221.63 c #Conflicts: 6000 | #Constraints: 20118 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 7000 | #Constraints: 19203 220.82/221.63 c #Conflicts: 8000 | #Constraints: 20203 220.82/221.63 c #Conflicts: 9000 | #Constraints: 21203 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 10000 | #Constraints: 19985 220.82/221.63 c #Conflicts: 11000 | #Constraints: 20985 220.82/221.63 c #Conflicts: 12000 | #Constraints: 21985 220.82/221.63 c #Conflicts: 13000 | #Constraints: 22985 220.82/221.63 c #Conflicts: 14000 | #Constraints: 23985 220.82/221.63 c #Conflicts: 15000 | #Constraints: 24985 220.82/221.63 c #Conflicts: 16000 | #Constraints: 25985 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 17000 | #Constraints: 22302 220.82/221.63 c #Conflicts: 18000 | #Constraints: 23302 220.82/221.63 c #Conflicts: 19000 | #Constraints: 24302 220.82/221.63 c #Conflicts: 20000 | #Constraints: 25302 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 21000 | #Constraints: 22061 220.82/221.63 c #Conflicts: 22000 | #Constraints: 23061 220.82/221.63 c #Conflicts: 23000 | #Constraints: 24061 220.82/221.63 c #Conflicts: 24000 | #Constraints: 25061 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 25000 | #Constraints: 21882 220.82/221.63 c #Conflicts: 26000 | #Constraints: 22882 220.82/221.63 c #Conflicts: 27000 | #Constraints: 23882 220.82/221.63 c #Conflicts: 28000 | #Constraints: 24882 220.82/221.63 c #Conflicts: 29000 | #Constraints: 25882 220.82/221.63 c #Conflicts: 30000 | #Constraints: 26882 220.82/221.63 c #Conflicts: 31000 | #Constraints: 27882 220.82/221.63 c #Conflicts: 32000 | #Constraints: 28882 220.82/221.63 c #Conflicts: 33000 | #Constraints: 29882 220.82/221.63 c #Conflicts: 34000 | #Constraints: 30882 220.82/221.63 c #Conflicts: 35000 | #Constraints: 31882 220.82/221.63 c #Conflicts: 36000 | #Constraints: 32883 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 37000 | #Constraints: 26070 220.82/221.63 c #Conflicts: 38000 | #Constraints: 27070 220.82/221.63 c #Conflicts: 39000 | #Constraints: 28070 220.82/221.63 c #Conflicts: 40000 | #Constraints: 29070 220.82/221.63 c #Conflicts: 41000 | #Constraints: 30070 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 42000 | #Constraints: 24506 220.82/221.63 c #Conflicts: 43000 | #Constraints: 25506 220.82/221.63 c #Conflicts: 44000 | #Constraints: 26506 220.82/221.63 c #Conflicts: 45000 | #Constraints: 27506 220.82/221.63 c #Conflicts: 46000 | #Constraints: 28506 220.82/221.63 c #Conflicts: 47000 | #Constraints: 29506 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c #Conflicts: 48000 | #Constraints: 24552 220.82/221.63 c #Conflicts: 49000 | #Constraints: 25552 220.82/221.63 c #Conflicts: 50000 | #Constraints: 26552 220.82/221.63 c #Conflicts: 51000 | #Constraints: 27552 220.82/221.63 c #Conflicts: 52000 | #Constraints: 28552 220.82/221.63 c #Conflicts: 53000 | #Constraints: 29552 220.82/221.63 c #Conflicts: 54000 | #Constraints: 30553 220.82/221.63 c #Conflicts: 55000 | #Constraints: 31553 220.82/221.63 c #Conflicts: 56000 | #Constraints: 32553 220.82/221.63 c #Conflicts: 57000 | #Constraints: 33553 220.82/221.63 c #Conflicts: 58000 | #Constraints: 34553 220.82/221.63 c #Conflicts: 59000 | #Constraints: 35553 220.82/221.63 c #Conflicts: 60000 | #Constraints: 36553 220.82/221.63 c #Conflicts: 61000 | #Constraints: 37553 220.82/221.63 c #Conflicts: 62000 | #Constraints: 38553 220.82/221.63 c INPROCESSING 220.82/221.63 c GARBAGE COLLECT 220.82/221.63 c rational objective 143 294.46/295.57 c #Conflicts: 63000 | #Constraints: 28721 294.46/295.57 c #Conflicts: 64000 | #Constraints: 29721 294.46/295.57 c #Conflicts: 65000 | #Constraints: 30721 294.46/295.57 c #Conflicts: 66000 | #Constraints: 31721 294.46/295.57 c #Conflicts: 67000 | #Constraints: 32722 294.46/295.57 c #Conflicts: 68000 | #Constraints: 33722 294.46/295.57 c #Conflicts: 69000 | #Constraints: 34722 294.46/295.57 c INPROCESSING 294.46/295.57 c GARBAGE COLLECT 294.46/295.57 c #Conflicts: 70000 | #Constraints: 26875 294.46/295.57 c #Conflicts: 71000 | #Constraints: 27875 294.46/295.57 c #Conflicts: 72000 | #Constraints: 28875 294.46/295.57 c #Conflicts: 73000 | #Constraints: 29875 294.46/295.57 c #Conflicts: 74000 | #Constraints: 30875 294.46/295.57 c #Conflicts: 75000 | #Constraints: 31875 294.46/295.57 c #Conflicts: 76000 | #Constraints: 32875 294.46/295.57 c INPROCESSING 294.46/295.57 c GARBAGE COLLECT 294.46/295.57 c rational objective 143 438.23/439.86 c #Conflicts: 77000 | #Constraints: 26506 438.23/439.86 c #Conflicts: 78000 | #Constraints: 27506 438.23/439.86 c #Conflicts: 79000 | #Constraints: 28506 438.23/439.86 c #Conflicts: 80000 | #Constraints: 29506 438.23/439.86 c #Conflicts: 81000 | #Constraints: 30506 438.23/439.86 c #Conflicts: 82000 | #Constraints: 31506 438.23/439.86 c #Conflicts: 83000 | #Constraints: 32506 438.23/439.86 c #Conflicts: 84000 | #Constraints: 33507 438.23/439.86 c #Conflicts: 85000 | #Constraints: 34507 438.23/439.86 c #Conflicts: 86000 | #Constraints: 35507 438.23/439.86 c #Conflicts: 87000 | #Constraints: 36507 438.23/439.86 c #Conflicts: 88000 | #Constraints: 37507 438.23/439.86 c #Conflicts: 89000 | #Constraints: 38507 438.23/439.86 c #Conflicts: 90000 | #Constraints: 39507 438.23/439.86 c #Conflicts: 91000 | #Constraints: 40507 438.23/439.86 c #Conflicts: 92000 | #Constraints: 41507 438.23/439.86 c #Conflicts: 93000 | #Constraints: 42507 438.23/439.86 c #Conflicts: 94000 | #Constraints: 43507 438.23/439.86 c #Conflicts: 95000 | #Constraints: 44507 438.23/439.86 c #Conflicts: 96000 | #Constraints: 45507 438.23/439.86 c INPROCESSING 438.23/439.86 c GARBAGE COLLECT 438.23/439.86 c rational objective 143 618.92/621.15 c #Conflicts: 97000 | #Constraints: 32299 618.92/621.15 c #Conflicts: 98000 | #Constraints: 33299 618.92/621.15 c #Conflicts: 99000 | #Constraints: 34299 618.92/621.15 c #Conflicts: 100000 | #Constraints: 35299 618.92/621.15 c #Conflicts: 101000 | #Constraints: 36299 618.92/621.15 c #Conflicts: 102000 | #Constraints: 37299 618.92/621.15 c #Conflicts: 103000 | #Constraints: 38300 618.92/621.15 c #Conflicts: 104000 | #Constraints: 39300 618.92/621.15 c #Conflicts: 105000 | #Constraints: 40300 618.92/621.15 c INPROCESSING 618.92/621.15 c GARBAGE COLLECT 618.92/621.15 c #Conflicts: 106000 | #Constraints: 30001 618.92/621.15 c #Conflicts: 107000 | #Constraints: 31001 618.92/621.15 c #Conflicts: 108000 | #Constraints: 32001 618.92/621.15 c #Conflicts: 109000 | #Constraints: 33001 618.92/621.15 c #Conflicts: 110000 | #Constraints: 34001 618.92/621.15 c #Conflicts: 111000 | #Constraints: 35001 618.92/621.15 c #Conflicts: 112000 | #Constraints: 36001 618.92/621.15 c #Conflicts: 113000 | #Constraints: 37001 618.92/621.15 c INPROCESSING 618.92/621.15 c GARBAGE COLLECT 618.92/621.15 c #Conflicts: 114000 | #Constraints: 28957 618.92/621.15 c #Conflicts: 115000 | #Constraints: 29957 618.92/621.15 c #Conflicts: 116000 | #Constraints: 30957 618.92/621.15 c #Conflicts: 117000 | #Constraints: 31957 618.92/621.15 c #Conflicts: 118000 | #Constraints: 32957 618.92/621.15 c #Conflicts: 119000 | #Constraints: 33958 618.92/621.15 c #Conflicts: 120000 | #Constraints: 34958 618.92/621.15 c #Conflicts: 121000 | #Constraints: 35958 618.92/621.15 c #Conflicts: 122000 | #Constraints: 36958 618.92/621.15 c #Conflicts: 123000 | #Constraints: 37958 618.92/621.15 c #Conflicts: 124000 | #Constraints: 38958 618.92/621.15 c #Conflicts: 125000 | #Constraints: 39958 618.92/621.15 c #Conflicts: 126000 | #Constraints: 40958 618.92/621.15 c #Conflicts: 127000 | #Constraints: 41958 618.92/621.15 c #Conflicts: 128000 | #Constraints: 42958 618.92/621.15 c #Conflicts: 129000 | #Constraints: 43958 618.92/621.15 c #Conflicts: 130000 | #Constraints: 44958 618.92/621.15 c #Conflicts: 131000 | #Constraints: 45958 618.92/621.15 c #Conflicts: 132000 | #Constraints: 46958 618.92/621.15 c #Conflicts: 133000 | #Constraints: 47958 618.92/621.15 c #Conflicts: 134000 | #Constraints: 48958 618.92/621.15 c #Conflicts: 135000 | #Constraints: 49958 618.92/621.15 c #Conflicts: 136000 | #Constraints: 50958 618.92/621.15 c #Conflicts: 137000 | #Constraints: 51959 618.92/621.15 c INPROCESSING 618.92/621.15 c GARBAGE COLLECT 618.92/621.15 c #Conflicts: 138000 | #Constraints: 35689 618.92/621.15 c #Conflicts: 139000 | #Constraints: 36689 618.92/621.15 c #Conflicts: 140000 | #Constraints: 37689 618.92/621.15 c #Conflicts: 141000 | #Constraints: 38689 618.92/621.15 c #Conflicts: 142000 | #Constraints: 39689 618.92/621.15 c #Conflicts: 143000 | #Constraints: 40689 618.92/621.15 c #Conflicts: 144000 | #Constraints: 41689 618.92/621.15 c #Conflicts: 145000 | #Constraints: 42689 618.92/621.15 c #Conflicts: 146000 | #Constraints: 43689 618.92/621.15 c #Conflicts: 147000 | #Constraints: 44689 618.92/621.15 c INPROCESSING 618.92/621.15 c GARBAGE COLLECT 618.92/621.15 c rational objective 143 996.28/999.78 c #Conflicts: 148000 | #Constraints: 32136 996.28/999.78 c #Conflicts: 149000 | #Constraints: 33136 996.28/999.78 c #Conflicts: 150000 | #Constraints: 34136 996.28/999.78 c #Conflicts: 151000 | #Constraints: 35136 996.28/999.78 c #Conflicts: 152000 | #Constraints: 36136 996.28/999.78 c #Conflicts: 153000 | #Constraints: 37136 996.28/999.78 c #Conflicts: 154000 | #Constraints: 38136 996.28/999.78 c #Conflicts: 155000 | #Constraints: 39136 996.28/999.78 c #Conflicts: 156000 | #Constraints: 40136 996.28/999.78 c #Conflicts: 157000 | #Constraints: 41136 996.28/999.78 c INPROCESSING 996.28/999.78 c GARBAGE COLLECT 996.28/999.78 c #Conflicts: 158000 | #Constraints: 31690 996.28/999.78 c #Conflicts: 159000 | #Constraints: 32690 996.28/999.78 c #Conflicts: 160000 | #Constraints: 33690 996.28/999.78 c #Conflicts: 161000 | #Constraints: 34690 996.28/999.78 c #Conflicts: 162000 | #Constraints: 35691 996.28/999.78 c #Conflicts: 163000 | #Constraints: 36691 996.28/999.78 c #Conflicts: 164000 | #Constraints: 37691 996.28/999.78 c #Conflicts: 165000 | #Constraints: 38691 996.28/999.78 c #Conflicts: 166000 | #Constraints: 39691 996.28/999.78 c #Conflicts: 167000 | #Constraints: 40691 996.28/999.78 c #Conflicts: 168000 | #Constraints: 41691 996.28/999.78 c #Conflicts: 169000 | #Constraints: 42691 996.28/999.78 c #Conflicts: 170000 | #Constraints: 43691 996.28/999.78 c #Conflicts: 171000 | #Constraints: 44691 996.28/999.78 c #Conflicts: 172000 | #Constraints: 45691 996.28/999.78 c #Conflicts: 173000 | #Constraints: 46691 996.28/999.78 c #Conflicts: 174000 | #Constraints: 47691 996.28/999.78 c #Conflicts: 175000 | #Constraints: 48691 996.28/999.78 c #Conflicts: 176000 | #Constraints: 49691 996.28/999.78 c #Conflicts: 177000 | #Constraints: 50691 996.28/999.78 c #Conflicts: 178000 | #Constraints: 51692 996.28/999.78 c #Conflicts: 179000 | #Constraints: 52692 996.28/999.78 c #Conflicts: 180000 | #Constraints: 53692 996.28/999.78 c #Conflicts: 181000 | #Constraints: 54692 996.28/999.78 c #Conflicts: 182000 | #Constraints: 55692 996.28/999.78 c #Conflicts: 183000 | #Constraints: 56692 996.28/999.78 c #Conflicts: 184000 | #Constraints: 57692 996.28/999.78 c #Conflicts: 185000 | #Constraints: 58692 996.28/999.78 c #Conflicts: 186000 | #Constraints: 59692 996.28/999.78 c INPROCESSING 996.28/999.78 c GARBAGE COLLECT 996.28/999.78 c #Conflicts: 187000 | #Constraints: 39953 996.28/999.78 c #Conflicts: 188000 | #Constraints: 40953 996.28/999.78 c #Conflicts: 189000 | #Constraints: 41953 996.28/999.78 c #Conflicts: 190000 | #Constraints: 42954 996.28/999.78 c #Conflicts: 191000 | #Constraints: 43954 996.28/999.78 c #Conflicts: 192000 | #Constraints: 44954 996.28/999.78 c #Conflicts: 193000 | #Constraints: 45954 996.28/999.78 c #Conflicts: 194000 | #Constraints: 46954 996.28/999.78 c #Conflicts: 195000 | #Constraints: 47954 996.28/999.78 c #Conflicts: 196000 | #Constraints: 48955 996.28/999.78 c #Conflicts: 197000 | #Constraints: 49955 996.28/999.78 c INPROCESSING 996.28/999.78 c GARBAGE COLLECT 996.28/999.78 c #Conflicts: 198000 | #Constraints: 34862 996.28/999.78 c #Conflicts: 199000 | #Constraints: 35862 996.28/999.78 c #Conflicts: 200000 | #Constraints: 36862 996.28/999.78 c #Conflicts: 201000 | #Constraints: 37862 996.28/999.78 c #Conflicts: 202000 | #Constraints: 38862 996.28/999.78 c #Conflicts: 203000 | #Constraints: 39862 996.28/999.78 c #Conflicts: 204000 | #Constraints: 40862 996.28/999.78 c #Conflicts: 205000 | #Constraints: 41862 996.28/999.78 c #Conflicts: 206000 | #Constraints: 42862 996.28/999.78 c #Conflicts: 207000 | #Constraints: 43862 996.28/999.78 c #Conflicts: 208000 | #Constraints: 44862 996.28/999.78 c #Conflicts: 209000 | #Constraints: 45862 996.28/999.78 c #Conflicts: 210000 | #Constraints: 46862 996.28/999.78 c #Conflicts: 211000 | #Constraints: 47862 996.28/999.78 c #Conflicts: 212000 | #Constraints: 48863 996.28/999.78 c #Conflicts: 213000 | #Constraints: 49863 996.28/999.78 c #Conflicts: 214000 | #Constraints: 50863 996.28/999.78 c #Conflicts: 215000 | #Constraints: 51863 996.28/999.78 c #Conflicts: 216000 | #Constraints: 52863 996.28/999.78 c #Conflicts: 217000 | #Constraints: 53863 996.28/999.78 c #Conflicts: 218000 | #Constraints: 54863 996.28/999.78 c #Conflicts: 219000 | #Constraints: 55863 996.28/999.78 c #Conflicts: 220000 | #Constraints: 56863 996.28/999.78 c #Conflicts: 221000 | #Constraints: 57863 996.28/999.78 c #Conflicts: 222000 | #Constraints: 58863 996.28/999.78 c #Conflicts: 223000 | #Constraints: 59863 996.28/999.78 c #Conflicts: 224000 | #Constraints: 60863 1119.86/1123.77 c #Conflicts: 225000 | #Constraints: 61863 1119.86/1123.77 c #Conflicts: 226000 | #Constraints: 62863 1119.86/1123.77 c #Conflicts: 227000 | #Constraints: 63864 1119.86/1123.77 c #Conflicts: 228000 | #Constraints: 64865 1119.86/1123.77 c INPROCESSING 1119.86/1123.77 c GARBAGE COLLECT 1119.86/1123.77 c #Conflicts: 229000 | #Constraints: 42001 1119.86/1123.77 c #Conflicts: 230000 | #Constraints: 43003 1119.86/1123.77 c #Conflicts: 231000 | #Constraints: 44003 1119.86/1123.77 c #Conflicts: 232000 | #Constraints: 45003 1119.86/1123.77 c #Conflicts: 233000 | #Constraints: 46003 1119.86/1123.77 c #Conflicts: 234000 | #Constraints: 47003 1119.86/1123.77 c #Conflicts: 235000 | #Constraints: 48003 1119.86/1123.77 c #Conflicts: 236000 | #Constraints: 49003 1119.86/1123.77 c #Conflicts: 237000 | #Constraints: 50003 1119.86/1123.77 c #Conflicts: 238000 | #Constraints: 51003 1119.86/1123.77 c #Conflicts: 239000 | #Constraints: 52003 1119.86/1123.77 c #Conflicts: 240000 | #Constraints: 53003 1119.86/1123.77 c #Conflicts: 241000 | #Constraints: 54003 1119.86/1123.77 c INPROCESSING 1119.86/1123.77 c GARBAGE COLLECT 1119.86/1123.77 c rational objective 143 1306.83/1311.31 c #Conflicts: 242000 | #Constraints: 36797 1306.83/1311.31 c #Conflicts: 243000 | #Constraints: 37797 1306.83/1311.31 c #Conflicts: 244000 | #Constraints: 38797 1306.83/1311.31 c #Conflicts: 245000 | #Constraints: 39797 1306.83/1311.31 c #Conflicts: 246000 | #Constraints: 40798 1306.83/1311.31 c #Conflicts: 247000 | #Constraints: 41800 1306.83/1311.31 c #Conflicts: 248000 | #Constraints: 42800 1306.83/1311.31 c #Conflicts: 249000 | #Constraints: 43801 1306.83/1311.31 c #Conflicts: 250000 | #Constraints: 44801 1306.83/1311.31 c #Conflicts: 251000 | #Constraints: 45801 1306.83/1311.31 c #Conflicts: 252000 | #Constraints: 46801 1306.83/1311.31 c #Conflicts: 253000 | #Constraints: 47801 1306.83/1311.31 c #Conflicts: 254000 | #Constraints: 48801 1306.83/1311.31 c INPROCESSING 1306.83/1311.31 c GARBAGE COLLECT 1306.83/1311.31 c rational objective 143 1473.62/1478.72 c #Conflicts: 255000 | #Constraints: 36350 1473.62/1478.72 c #Conflicts: 256000 | #Constraints: 37352 1473.62/1478.72 c #Conflicts: 257000 | #Constraints: 38352 1473.62/1478.72 c #Conflicts: 258000 | #Constraints: 39352 1473.62/1478.72 c #Conflicts: 259000 | #Constraints: 40352 1473.62/1478.72 c #Conflicts: 260000 | #Constraints: 41352 1473.62/1478.72 c #Conflicts: 261000 | #Constraints: 42352 1473.62/1478.72 c #Conflicts: 262000 | #Constraints: 43352 1473.62/1478.72 c #Conflicts: 263000 | #Constraints: 44352 1473.62/1478.72 c #Conflicts: 264000 | #Constraints: 45353 1473.62/1478.72 c #Conflicts: 265000 | #Constraints: 46353 1473.62/1478.72 c #Conflicts: 266000 | #Constraints: 47353 1473.62/1478.72 c #Conflicts: 267000 | #Constraints: 48353 1473.62/1478.72 c #Conflicts: 268000 | #Constraints: 49353 1473.62/1478.72 c #Conflicts: 269000 | #Constraints: 50353 1473.62/1478.72 c #Conflicts: 270000 | #Constraints: 51353 1473.62/1478.72 c #Conflicts: 271000 | #Constraints: 52353 1473.62/1478.72 c #Conflicts: 272000 | #Constraints: 53353 1473.62/1478.72 c #Conflicts: 273000 | #Constraints: 54353 1473.62/1478.72 c #Conflicts: 274000 | #Constraints: 55353 1473.62/1478.72 c #Conflicts: 275000 | #Constraints: 56353 1473.62/1478.72 c #Conflicts: 276000 | #Constraints: 57353 1473.62/1478.72 c #Conflicts: 277000 | #Constraints: 58353 1473.62/1478.72 c #Conflicts: 278000 | #Constraints: 59354 1473.62/1478.72 c #Conflicts: 279000 | #Constraints: 60354 1473.62/1478.72 c #Conflicts: 280000 | #Constraints: 61354 1473.62/1478.72 c #Conflicts: 281000 | #Constraints: 62354 1473.62/1478.72 c #Conflicts: 282000 | #Constraints: 63354 1473.62/1478.72 c #Conflicts: 283000 | #Constraints: 64354 1473.62/1478.72 c #Conflicts: 284000 | #Constraints: 65354 1473.62/1478.72 c #Conflicts: 285000 | #Constraints: 66354 1473.62/1478.72 c #Conflicts: 286000 | #Constraints: 67354 1473.62/1478.72 c #Conflicts: 287000 | #Constraints: 68355 1473.62/1478.72 c #Conflicts: 288000 | #Constraints: 69355 1473.62/1478.72 c #Conflicts: 289000 | #Constraints: 70355 1473.62/1478.72 c #Conflicts: 290000 | #Constraints: 71355 1473.62/1478.72 c INPROCESSING 1473.62/1478.72 c GARBAGE COLLECT 1473.62/1478.72 c #Conflicts: 291000 | #Constraints: 45928 1473.62/1478.72 c #Conflicts: 292000 | #Constraints: 46929 1473.62/1478.72 c #Conflicts: 293000 | #Constraints: 47929 1473.62/1478.72 c #Conflicts: 294000 | #Constraints: 48929 1473.62/1478.72 c #Conflicts: 295000 | #Constraints: 49929 1473.62/1478.72 c #Conflicts: 296000 | #Constraints: 50929 1473.62/1478.72 c #Conflicts: 297000 | #Constraints: 51929 1473.62/1478.72 c #Conflicts: 298000 | #Constraints: 52929 1473.62/1478.72 c #Conflicts: 299000 | #Constraints: 53930 1473.62/1478.72 c #Conflicts: 300000 | #Constraints: 54930 1473.62/1478.72 c #Conflicts: 301000 | #Constraints: 55930 1473.62/1478.72 c #Conflicts: 302000 | #Constraints: 56930 1473.62/1478.72 c #Conflicts: 303000 | #Constraints: 57930 1473.62/1478.72 c #Conflicts: 304000 | #Constraints: 58930 1473.62/1478.72 c INPROCESSING 1473.62/1478.72 c GARBAGE COLLECT 1473.62/1478.72 c #Conflicts: 305000 | #Constraints: 39702 1473.62/1478.72 c #Conflicts: 306000 | #Constraints: 40702 1473.62/1478.72 c #Conflicts: 307000 | #Constraints: 41702 1473.62/1478.72 c #Conflicts: 308000 | #Constraints: 42702 1473.62/1478.72 c #Conflicts: 309000 | #Constraints: 43702 1473.62/1478.72 c #Conflicts: 310000 | #Constraints: 44703 1473.62/1478.72 c #Conflicts: 311000 | #Constraints: 45703 1473.62/1478.72 c #Conflicts: 312000 | #Constraints: 46703 1473.62/1478.72 c #Conflicts: 313000 | #Constraints: 47703 1473.62/1478.72 c #Conflicts: 314000 | #Constraints: 48703 1473.62/1478.72 c #Conflicts: 315000 | #Constraints: 49703 1473.62/1478.72 c #Conflicts: 316000 | #Constraints: 50703 1473.62/1478.72 c #Conflicts: 317000 | #Constraints: 51703 1473.62/1478.72 c #Conflicts: 318000 | #Constraints: 52703 1473.62/1478.72 c #Conflicts: 319000 | #Constraints: 53703 1473.62/1478.72 c #Conflicts: 320000 | #Constraints: 54703 1473.62/1478.72 c #Conflicts: 321000 | #Constraints: 55703 1473.62/1478.72 c #Conflicts: 322000 | #Constraints: 56703 1473.62/1478.72 c #Conflicts: 323000 | #Constraints: 57703 1473.62/1478.72 c #Conflicts: 324000 | #Constraints: 58703 1473.62/1478.72 c #Conflicts: 325000 | #Constraints: 59703 1473.62/1478.72 c #Conflicts: 326000 | #Constraints: 60703 1473.62/1478.72 c #Conflicts: 327000 | #Constraints: 61703 1473.62/1478.72 c #Conflicts: 328000 | #Constraints: 62703 1473.62/1478.72 c #Conflicts: 329000 | #Constraints: 63703 1473.62/1478.72 c #Conflicts: 330000 | #Constraints: 64703 1473.62/1478.72 c #Conflicts: 331000 | #Constraints: 65703 1473.62/1478.72 c #Conflicts: 332000 | #Constraints: 66703 1735.10/1741.15 c #Conflicts: 333000 | #Constraints: 67703 1735.10/1741.15 c #Conflicts: 334000 | #Constraints: 68703 1735.10/1741.15 c #Conflicts: 335000 | #Constraints: 69703 1735.10/1741.15 c #Conflicts: 336000 | #Constraints: 70703 1735.10/1741.15 c #Conflicts: 337000 | #Constraints: 71703 1735.10/1741.15 c #Conflicts: 338000 | #Constraints: 72703 1735.10/1741.15 c #Conflicts: 339000 | #Constraints: 73703 1735.10/1741.15 c #Conflicts: 340000 | #Constraints: 74703 1735.10/1741.15 c #Conflicts: 341000 | #Constraints: 75703 1735.10/1741.15 c #Conflicts: 342000 | #Constraints: 76703 1735.10/1741.15 c INPROCESSING 1735.10/1741.15 c GARBAGE COLLECT 1735.10/1741.15 c #Conflicts: 343000 | #Constraints: 48185 1735.10/1741.15 c #Conflicts: 344000 | #Constraints: 49185 1735.10/1741.15 c #Conflicts: 345000 | #Constraints: 50185 1735.10/1741.15 c #Conflicts: 346000 | #Constraints: 51185 1735.10/1741.15 c #Conflicts: 347000 | #Constraints: 52185 1735.10/1741.15 c #Conflicts: 348000 | #Constraints: 53185 1735.10/1741.15 c #Conflicts: 349000 | #Constraints: 54186 1735.10/1741.15 c #Conflicts: 350000 | #Constraints: 55186 1735.10/1741.15 c #Conflicts: 351000 | #Constraints: 56187 1735.10/1741.15 c #Conflicts: 352000 | #Constraints: 57187 1735.10/1741.15 c #Conflicts: 353000 | #Constraints: 58187 1735.10/1741.15 c #Conflicts: 354000 | #Constraints: 59187 1735.10/1741.15 c #Conflicts: 355000 | #Constraints: 60187 1735.10/1741.15 c #Conflicts: 356000 | #Constraints: 61187 1735.10/1741.15 c #Conflicts: 357000 | #Constraints: 62187 1735.10/1741.15 c #Conflicts: 358000 | #Constraints: 63187 1735.10/1741.15 c INPROCESSING 1735.10/1741.15 c GARBAGE COLLECT 1735.10/1741.15 c #Conflicts: 359000 | #Constraints: 41691 1735.10/1741.15 c #Conflicts: 360000 | #Constraints: 42691 1735.10/1741.15 c #Conflicts: 361000 | #Constraints: 43692 1735.10/1741.15 c #Conflicts: 362000 | #Constraints: 44692 1735.10/1741.15 c #Conflicts: 363000 | #Constraints: 45692 1735.10/1741.15 c #Conflicts: 364000 | #Constraints: 46692 1735.10/1741.15 c #Conflicts: 365000 | #Constraints: 47692 1735.10/1741.15 c #Conflicts: 366000 | #Constraints: 48692 1735.10/1741.15 c #Conflicts: 367000 | #Constraints: 49692 1735.10/1741.15 c #Conflicts: 368000 | #Constraints: 50692 1735.10/1741.15 c #Conflicts: 369000 | #Constraints: 51692 1735.10/1741.15 c #Conflicts: 370000 | #Constraints: 52692 1735.10/1741.15 c #Conflicts: 371000 | #Constraints: 53692 1735.10/1741.15 c #Conflicts: 372000 | #Constraints: 54692 1735.10/1741.15 c #Conflicts: 373000 | #Constraints: 55692 1735.10/1741.15 c #Conflicts: 374000 | #Constraints: 56692 1735.10/1741.15 c #Conflicts: 375000 | #Constraints: 57692 1735.10/1741.15 c #Conflicts: 376000 | #Constraints: 58693 1735.10/1741.15 c #Conflicts: 377000 | #Constraints: 59693 1735.10/1741.15 c #Conflicts: 378000 | #Constraints: 60693 1735.10/1741.15 c #Conflicts: 379000 | #Constraints: 61693 1735.10/1741.15 c #Conflicts: 380000 | #Constraints: 62693 1735.10/1741.15 c #Conflicts: 381000 | #Constraints: 63693 1735.10/1741.15 c #Conflicts: 382000 | #Constraints: 64693 1735.10/1741.15 c #Conflicts: 383000 | #Constraints: 65693 1735.10/1741.15 c #Conflicts: 384000 | #Constraints: 66693 1735.10/1741.15 c #Conflicts: 385000 | #Constraints: 67693 1735.10/1741.15 c #Conflicts: 386000 | #Constraints: 68693 1735.10/1741.15 c #Conflicts: 387000 | #Constraints: 69693 1735.10/1741.15 c #Conflicts: 388000 | #Constraints: 70693 1735.10/1741.15 c #Conflicts: 389000 | #Constraints: 71693 1735.10/1741.15 c #Conflicts: 390000 | #Constraints: 72693 1735.10/1741.15 c #Conflicts: 391000 | #Constraints: 73693 1735.10/1741.15 c #Conflicts: 392000 | #Constraints: 74693 1735.10/1741.15 c #Conflicts: 393000 | #Constraints: 75694 1735.10/1741.15 c #Conflicts: 394000 | #Constraints: 76694 1735.10/1741.15 c #Conflicts: 395000 | #Constraints: 77694 1735.10/1741.15 c #Conflicts: 396000 | #Constraints: 78694 1735.10/1741.15 c #Conflicts: 397000 | #Constraints: 79694 1735.10/1741.15 c #Conflicts: 398000 | #Constraints: 80694 1735.10/1741.15 c #Conflicts: 399000 | #Constraints: 81694 1735.10/1741.15 c #Conflicts: 400000 | #Constraints: 82694 1735.10/1741.15 c INPROCESSING 1735.10/1741.15 c GARBAGE COLLECT 1735.10/1741.15 c rational objective 143 1885.91/1892.42 c #Conflicts: 401000 | #Constraints: 51539 1885.91/1892.42 c #Conflicts: 402000 | #Constraints: 52539 1885.91/1892.42 c #Conflicts: 403000 | #Constraints: 53539 1885.91/1892.42 c #Conflicts: 404000 | #Constraints: 54539 1885.91/1892.42 c #Conflicts: 405000 | #Constraints: 55540 1885.91/1892.42 c #Conflicts: 406000 | #Constraints: 56540 1885.91/1892.42 c #Conflicts: 407000 | #Constraints: 57540 1885.91/1892.42 c #Conflicts: 408000 | #Constraints: 58540 1885.91/1892.42 c #Conflicts: 409000 | #Constraints: 59540 1885.91/1892.42 c #Conflicts: 410000 | #Constraints: 60540 1885.91/1892.42 c #Conflicts: 411000 | #Constraints: 61540 1885.91/1892.42 c #Conflicts: 412000 | #Constraints: 62540 1885.91/1892.42 c #Conflicts: 413000 | #Constraints: 63540 1885.91/1892.42 c #Conflicts: 414000 | #Constraints: 64540 1885.91/1892.42 c #Conflicts: 415000 | #Constraints: 65540 1885.91/1892.42 c #Conflicts: 416000 | #Constraints: 66540 1885.91/1892.42 c #Conflicts: 417000 | #Constraints: 67540 1885.91/1892.42 c INPROCESSING 1885.91/1892.42 c GARBAGE COLLECT 1885.91/1892.42 c rational objective 143 2123.10/2130.36 c #Conflicts: 418000 | #Constraints: 44172 2123.10/2130.36 c #Conflicts: 419000 | #Constraints: 45172 2123.10/2130.36 c #Conflicts: 420000 | #Constraints: 46172 2123.10/2130.36 c #Conflicts: 421000 | #Constraints: 47172 2123.10/2130.36 c #Conflicts: 422000 | #Constraints: 48172 2123.10/2130.36 c #Conflicts: 423000 | #Constraints: 49172 2123.10/2130.36 c #Conflicts: 424000 | #Constraints: 50173 2123.10/2130.36 c #Conflicts: 425000 | #Constraints: 51173 2123.10/2130.36 c #Conflicts: 426000 | #Constraints: 52173 2123.10/2130.36 c #Conflicts: 427000 | #Constraints: 53173 2123.10/2130.36 c #Conflicts: 428000 | #Constraints: 54173 2123.10/2130.36 c #Conflicts: 429000 | #Constraints: 55173 2123.10/2130.36 c #Conflicts: 430000 | #Constraints: 56173 2123.10/2130.36 c #Conflicts: 431000 | #Constraints: 57174 2123.10/2130.36 c #Conflicts: 432000 | #Constraints: 58174 2123.10/2130.36 c #Conflicts: 433000 | #Constraints: 59174 2123.10/2130.36 c #Conflicts: 434000 | #Constraints: 60174 2123.10/2130.36 c #Conflicts: 435000 | #Constraints: 61174 2123.10/2130.36 c #Conflicts: 436000 | #Constraints: 62174 2123.10/2130.36 c #Conflicts: 437000 | #Constraints: 63175 2123.10/2130.36 c #Conflicts: 438000 | #Constraints: 64175 2123.10/2130.36 c #Conflicts: 439000 | #Constraints: 65175 2123.10/2130.36 c #Conflicts: 440000 | #Constraints: 66175 2123.10/2130.36 c #Conflicts: 441000 | #Constraints: 67175 2123.10/2130.36 c #Conflicts: 442000 | #Constraints: 68175 2123.10/2130.36 c #Conflicts: 443000 | #Constraints: 69175 2123.10/2130.36 c #Conflicts: 444000 | #Constraints: 70175 2123.10/2130.36 c #Conflicts: 445000 | #Constraints: 71175 2123.10/2130.36 c #Conflicts: 446000 | #Constraints: 72176 2123.10/2130.36 c #Conflicts: 447000 | #Constraints: 73176 2123.10/2130.36 c #Conflicts: 448000 | #Constraints: 74176 2123.10/2130.36 c #Conflicts: 449000 | #Constraints: 75176 2123.10/2130.36 c #Conflicts: 450000 | #Constraints: 76176 2123.10/2130.36 c #Conflicts: 451000 | #Constraints: 77176 2123.10/2130.36 c #Conflicts: 452000 | #Constraints: 78176 2123.10/2130.36 c #Conflicts: 453000 | #Constraints: 79176 2123.10/2130.36 c #Conflicts: 454000 | #Constraints: 80176 2123.10/2130.36 c #Conflicts: 455000 | #Constraints: 81176 2123.10/2130.36 c #Conflicts: 456000 | #Constraints: 82176 2123.10/2130.36 c #Conflicts: 457000 | #Constraints: 83176 2123.10/2130.36 c #Conflicts: 458000 | #Constraints: 84176 2123.10/2130.36 c #Conflicts: 459000 | #Constraints: 85176 2123.10/2130.36 c #Conflicts: 460000 | #Constraints: 86176 2123.10/2130.36 c #Conflicts: 461000 | #Constraints: 87176 2123.10/2130.36 c INPROCESSING 2123.10/2130.36 c GARBAGE COLLECT 2123.10/2130.36 c rational objective 143 2388.41/2396.44 c #Conflicts: 462000 | #Constraints: 53521 2388.41/2396.44 c #Conflicts: 463000 | #Constraints: 54521 2388.41/2396.44 c #Conflicts: 464000 | #Constraints: 55521 2388.41/2396.44 c #Conflicts: 465000 | #Constraints: 56521 2388.41/2396.44 c #Conflicts: 466000 | #Constraints: 57521 2388.41/2396.44 c #Conflicts: 467000 | #Constraints: 58521 2388.41/2396.44 c #Conflicts: 468000 | #Constraints: 59521 2388.41/2396.44 c #Conflicts: 469000 | #Constraints: 60521 2388.41/2396.44 c #Conflicts: 470000 | #Constraints: 61521 2388.41/2396.44 c #Conflicts: 471000 | #Constraints: 62521 2388.41/2396.44 c #Conflicts: 472000 | #Constraints: 63521 2388.41/2396.44 c #Conflicts: 473000 | #Constraints: 64521 2388.41/2396.44 c #Conflicts: 474000 | #Constraints: 65521 2388.41/2396.44 c #Conflicts: 475000 | #Constraints: 66521 2388.41/2396.44 c #Conflicts: 476000 | #Constraints: 67521 2388.41/2396.44 c #Conflicts: 477000 | #Constraints: 68521 2388.41/2396.44 c #Conflicts: 478000 | #Constraints: 69521 2388.41/2396.44 c #Conflicts: 479000 | #Constraints: 70521 2388.41/2396.44 c #Conflicts: 480000 | #Constraints: 71521 2388.41/2396.44 c INPROCESSING 2388.41/2396.44 c GARBAGE COLLECT 2388.41/2396.44 c #Conflicts: 481000 | #Constraints: 46162 2388.41/2396.44 c #Conflicts: 482000 | #Constraints: 47162 2388.41/2396.44 c #Conflicts: 483000 | #Constraints: 48162 2388.41/2396.44 c #Conflicts: 484000 | #Constraints: 49163 2388.41/2396.44 c #Conflicts: 485000 | #Constraints: 50163 2388.41/2396.44 c #Conflicts: 486000 | #Constraints: 51163 2388.41/2396.44 c #Conflicts: 487000 | #Constraints: 52163 2388.41/2396.44 c #Conflicts: 488000 | #Constraints: 53163 2388.41/2396.44 c #Conflicts: 489000 | #Constraints: 54163 2388.41/2396.44 c #Conflicts: 490000 | #Constraints: 55163 2388.41/2396.44 c #Conflicts: 491000 | #Constraints: 56163 2388.41/2396.44 c #Conflicts: 492000 | #Constraints: 57163 2388.41/2396.44 c #Conflicts: 493000 | #Constraints: 58163 2388.41/2396.44 c #Conflicts: 494000 | #Constraints: 59163 2388.41/2396.44 c #Conflicts: 495000 | #Constraints: 60163 2388.41/2396.44 c #Conflicts: 496000 | #Constraints: 61163 2388.41/2396.44 c #Conflicts: 497000 | #Constraints: 62163 2388.41/2396.44 c #Conflicts: 498000 | #Constraints: 63163 2388.41/2396.44 c #Conflicts: 499000 | #Constraints: 64163 2388.41/2396.44 c #Conflicts: 500000 | #Constraints: 65163 2388.41/2396.44 c #Conflicts: 501000 | #Constraints: 66163 2388.41/2396.44 c #Conflicts: 502000 | #Constraints: 67164 2388.41/2396.44 c #Conflicts: 503000 | #Constraints: 68164 2388.41/2396.44 c #Conflicts: 504000 | #Constraints: 69164 2388.41/2396.44 c #Conflicts: 505000 | #Constraints: 70164 2388.41/2396.44 c #Conflicts: 506000 | #Constraints: 71164 2388.41/2396.44 c #Conflicts: 507000 | #Constraints: 72164 2388.41/2396.44 c #Conflicts: 508000 | #Constraints: 73164 2388.41/2396.44 c #Conflicts: 509000 | #Constraints: 74164 2388.41/2396.44 c #Conflicts: 510000 | #Constraints: 75164 2388.41/2396.44 c #Conflicts: 511000 | #Constraints: 76164 2388.41/2396.44 c #Conflicts: 512000 | #Constraints: 77164 2388.41/2396.44 c #Conflicts: 513000 | #Constraints: 78164 2388.41/2396.44 c #Conflicts: 514000 | #Constraints: 79164 2388.41/2396.44 c #Conflicts: 515000 | #Constraints: 80164 2388.41/2396.44 c #Conflicts: 516000 | #Constraints: 81164 2388.41/2396.44 c #Conflicts: 517000 | #Constraints: 82164 2388.41/2396.44 c #Conflicts: 518000 | #Constraints: 83164 2388.41/2396.44 c #Conflicts: 519000 | #Constraints: 84164 2388.41/2396.44 c #Conflicts: 520000 | #Constraints: 85164 2388.41/2396.44 c #Conflicts: 521000 | #Constraints: 86164 2388.41/2396.44 c #Conflicts: 522000 | #Constraints: 87164 2388.41/2396.44 c #Conflicts: 523000 | #Constraints: 88164 2388.41/2396.44 c #Conflicts: 524000 | #Constraints: 89164 2388.41/2396.44 c #Conflicts: 525000 | #Constraints: 90164 2388.41/2396.44 c #Conflicts: 526000 | #Constraints: 91164 2388.41/2396.44 c #Conflicts: 527000 | #Constraints: 92164 2388.41/2396.44 c #Conflicts: 528000 | #Constraints: 93164 2388.41/2396.44 c INPROCESSING 2388.41/2396.44 c GARBAGE COLLECT 2388.41/2396.44 c rational objective 143 2446.53/2454.78 c #Conflicts: 529000 | #Constraints: 56902 2446.53/2454.78 c #Conflicts: 530000 | #Constraints: 57902 2446.53/2454.78 c #Conflicts: 531000 | #Constraints: 58902 2446.53/2454.78 c #Conflicts: 532000 | #Constraints: 59902 2446.53/2454.78 c #Conflicts: 533000 | #Constraints: 60902 2446.53/2454.78 c #Conflicts: 534000 | #Constraints: 61902 2446.53/2454.78 c #Conflicts: 535000 | #Constraints: 62902 2446.53/2454.78 c #Conflicts: 536000 | #Constraints: 63902 2446.53/2454.78 c #Conflicts: 537000 | #Constraints: 64902 2446.53/2454.78 c #Conflicts: 538000 | #Constraints: 65902 2446.53/2454.78 c #Conflicts: 539000 | #Constraints: 66902 2446.53/2454.78 c #Conflicts: 540000 | #Constraints: 67902 2446.53/2454.78 c #Conflicts: 541000 | #Constraints: 68902 2446.53/2454.78 c #Conflicts: 542000 | #Constraints: 69902 2446.53/2454.78 c #Conflicts: 543000 | #Constraints: 70902 2446.53/2454.78 c #Conflicts: 544000 | #Constraints: 71902 2446.53/2454.78 c #Conflicts: 545000 | #Constraints: 72902 2446.53/2454.78 c #Conflicts: 546000 | #Constraints: 73902 2446.53/2454.78 c #Conflicts: 547000 | #Constraints: 74902 2446.53/2454.78 c INPROCESSING 2446.53/2454.78 c GARBAGE COLLECT 2446.53/2454.78 c rational objective 143 2620.71/2629.43 c #Conflicts: 548000 | #Constraints: 47861 2620.71/2629.43 c #Conflicts: 549000 | #Constraints: 48861 2620.71/2629.43 c #Conflicts: 550000 | #Constraints: 49862 2620.71/2629.43 c #Conflicts: 551000 | #Constraints: 50862 2620.71/2629.43 c #Conflicts: 552000 | #Constraints: 51862 2620.71/2629.43 c #Conflicts: 553000 | #Constraints: 52862 2620.71/2629.43 c #Conflicts: 554000 | #Constraints: 53862 2620.71/2629.43 c #Conflicts: 555000 | #Constraints: 54862 2620.71/2629.43 c #Conflicts: 556000 | #Constraints: 55863 2620.71/2629.43 c #Conflicts: 557000 | #Constraints: 56863 2620.71/2629.43 c #Conflicts: 558000 | #Constraints: 57863 2620.71/2629.43 c #Conflicts: 559000 | #Constraints: 58863 2620.71/2629.43 c #Conflicts: 560000 | #Constraints: 59863 2620.71/2629.43 c #Conflicts: 561000 | #Constraints: 60863 2620.71/2629.43 c #Conflicts: 562000 | #Constraints: 61863 2620.71/2629.43 c #Conflicts: 563000 | #Constraints: 62863 2620.71/2629.43 c #Conflicts: 564000 | #Constraints: 63863 2620.71/2629.43 c #Conflicts: 565000 | #Constraints: 64863 2620.71/2629.43 c #Conflicts: 566000 | #Constraints: 65863 2620.71/2629.43 c #Conflicts: 567000 | #Constraints: 66863 2620.71/2629.43 c #Conflicts: 568000 | #Constraints: 67863 2620.71/2629.43 c #Conflicts: 569000 | #Constraints: 68863 2620.71/2629.43 c #Conflicts: 570000 | #Constraints: 69864 2620.71/2629.43 c #Conflicts: 571000 | #Constraints: 70864 2620.71/2629.43 c #Conflicts: 572000 | #Constraints: 71864 2620.71/2629.43 c #Conflicts: 573000 | #Constraints: 72864 2620.71/2629.43 c #Conflicts: 574000 | #Constraints: 73864 2620.71/2629.43 c #Conflicts: 575000 | #Constraints: 74864 2620.71/2629.43 c #Conflicts: 576000 | #Constraints: 75864 2620.71/2629.43 c #Conflicts: 577000 | #Constraints: 76864 2620.71/2629.43 c #Conflicts: 578000 | #Constraints: 77864 2620.71/2629.43 c #Conflicts: 579000 | #Constraints: 78865 2620.71/2629.43 c #Conflicts: 580000 | #Constraints: 79865 2620.71/2629.43 c #Conflicts: 581000 | #Constraints: 80865 2620.71/2629.43 c #Conflicts: 582000 | #Constraints: 81865 2620.71/2629.43 c #Conflicts: 583000 | #Constraints: 82865 2620.71/2629.43 c #Conflicts: 584000 | #Constraints: 83865 2620.71/2629.43 c #Conflicts: 585000 | #Constraints: 84865 2620.71/2629.43 c #Conflicts: 586000 | #Constraints: 85866 2620.71/2629.43 c #Conflicts: 587000 | #Constraints: 86866 2620.71/2629.43 c #Conflicts: 588000 | #Constraints: 87866 2620.71/2629.43 c #Conflicts: 589000 | #Constraints: 88866 2620.71/2629.43 c #Conflicts: 590000 | #Constraints: 89866 2620.71/2629.43 c #Conflicts: 591000 | #Constraints: 90866 2620.71/2629.43 c #Conflicts: 592000 | #Constraints: 91866 2620.71/2629.43 c #Conflicts: 593000 | #Constraints: 92866 2620.71/2629.43 c #Conflicts: 594000 | #Constraints: 93866 2620.71/2629.43 c #Conflicts: 595000 | #Constraints: 94866 2620.71/2629.43 c #Conflicts: 596000 | #Constraints: 95866 2620.71/2629.43 c #Conflicts: 597000 | #Constraints: 96866 2620.71/2629.43 c #Conflicts: 598000 | #Constraints: 97866 2620.71/2629.43 c INPROCESSING 2620.71/2629.43 c GARBAGE COLLECT 2620.71/2629.43 c rational objective 143 2715.43/2724.45 c #Conflicts: 599000 | #Constraints: 59103 2715.43/2724.45 c #Conflicts: 600000 | #Constraints: 60103 2715.43/2724.45 c #Conflicts: 601000 | #Constraints: 61103 2715.43/2724.45 c #Conflicts: 602000 | #Constraints: 62103 2715.43/2724.45 c #Conflicts: 603000 | #Constraints: 63103 2715.43/2724.45 c #Conflicts: 604000 | #Constraints: 64103 2715.43/2724.45 c #Conflicts: 605000 | #Constraints: 65104 2715.43/2724.45 c #Conflicts: 606000 | #Constraints: 66104 2715.43/2724.45 c #Conflicts: 607000 | #Constraints: 67109 2715.43/2724.45 c #Conflicts: 608000 | #Constraints: 68109 2715.43/2724.45 c #Conflicts: 609000 | #Constraints: 69109 2715.43/2724.45 c #Conflicts: 610000 | #Constraints: 70111 2715.43/2724.45 c #Conflicts: 611000 | #Constraints: 71112 2715.43/2724.45 c #Conflicts: 612000 | #Constraints: 72112 2715.43/2724.45 c #Conflicts: 613000 | #Constraints: 73112 2715.43/2724.45 c #Conflicts: 614000 | #Constraints: 74113 2715.43/2724.45 c #Conflicts: 615000 | #Constraints: 75114 2715.43/2724.45 c #Conflicts: 616000 | #Constraints: 76114 2715.43/2724.45 c #Conflicts: 617000 | #Constraints: 77114 2715.43/2724.45 c #Conflicts: 618000 | #Constraints: 78114 2715.43/2724.45 c #Conflicts: 619000 | #Constraints: 79114 2715.43/2724.45 c INPROCESSING 2715.43/2724.45 c GARBAGE COLLECT 2715.43/2724.45 c rational objective 143 2881.42/2890.98 c #Conflicts: 620000 | #Constraints: 50330 2881.42/2890.98 c #Conflicts: 621000 | #Constraints: 51330 2881.42/2890.98 c #Conflicts: 622000 | #Constraints: 52330 2881.42/2890.98 c #Conflicts: 623000 | #Constraints: 53330 2881.42/2890.98 c #Conflicts: 624000 | #Constraints: 54330 2881.42/2890.98 c #Conflicts: 625000 | #Constraints: 55330 2881.42/2890.98 c #Conflicts: 626000 | #Constraints: 56330 2881.42/2890.98 c #Conflicts: 627000 | #Constraints: 57330 2881.42/2890.98 c #Conflicts: 628000 | #Constraints: 58330 2881.42/2890.98 c #Conflicts: 629000 | #Constraints: 59330 2881.42/2890.98 c #Conflicts: 630000 | #Constraints: 60330 2881.42/2890.98 c #Conflicts: 631000 | #Constraints: 61330 2881.42/2890.98 c #Conflicts: 632000 | #Constraints: 62330 2881.42/2890.98 c #Conflicts: 633000 | #Constraints: 63330 2881.42/2890.98 c #Conflicts: 634000 | #Constraints: 64330 2881.42/2890.98 c #Conflicts: 635000 | #Constraints: 65331 2881.42/2890.98 c #Conflicts: 636000 | #Constraints: 66331 2881.42/2890.98 c #Conflicts: 637000 | #Constraints: 67332 2881.42/2890.98 c #Conflicts: 638000 | #Constraints: 68332 2881.42/2890.98 c #Conflicts: 639000 | #Constraints: 69332 2881.42/2890.98 c #Conflicts: 640000 | #Constraints: 70332 2881.42/2890.98 c #Conflicts: 641000 | #Constraints: 71332 2881.42/2890.98 c #Conflicts: 642000 | #Constraints: 72332 2881.42/2890.98 c #Conflicts: 643000 | #Constraints: 73333 2881.42/2890.98 c #Conflicts: 644000 | #Constraints: 74333 2881.42/2890.98 c #Conflicts: 645000 | #Constraints: 75334 2881.42/2890.98 c #Conflicts: 646000 | #Constraints: 76334 2881.42/2890.98 c #Conflicts: 647000 | #Constraints: 77334 2881.42/2890.98 c #Conflicts: 648000 | #Constraints: 78334 2881.42/2890.98 c #Conflicts: 649000 | #Constraints: 79334 2881.42/2890.98 c #Conflicts: 650000 | #Constraints: 80334 2881.42/2890.98 c #Conflicts: 651000 | #Constraints: 81334 2881.42/2890.98 c #Conflicts: 652000 | #Constraints: 82334 2881.42/2890.98 c #Conflicts: 653000 | #Constraints: 83334 2881.42/2890.98 c #Conflicts: 654000 | #Constraints: 84334 2881.42/2890.98 c #Conflicts: 655000 | #Constraints: 85334 2881.42/2890.98 c #Conflicts: 656000 | #Constraints: 86335 2881.42/2890.98 c #Conflicts: 657000 | #Constraints: 87335 2881.42/2890.98 c #Conflicts: 658000 | #Constraints: 88335 2881.42/2890.98 c #Conflicts: 659000 | #Constraints: 89335 2881.42/2890.98 c #Conflicts: 660000 | #Constraints: 90335 2881.42/2890.98 c #Conflicts: 661000 | #Constraints: 91335 2881.42/2890.98 c #Conflicts: 662000 | #Constraints: 92335 2881.42/2890.98 c #Conflicts: 663000 | #Constraints: 93335 2881.42/2890.98 c #Conflicts: 664000 | #Constraints: 94335 2881.42/2890.98 c #Conflicts: 665000 | #Constraints: 95335 2881.42/2890.98 c #Conflicts: 666000 | #Constraints: 96335 2881.42/2890.98 c #Conflicts: 667000 | #Constraints: 97335 2881.42/2890.98 c #Conflicts: 668000 | #Constraints: 98335 2881.42/2890.98 c #Conflicts: 669000 | #Constraints: 99335 2881.42/2890.98 c #Conflicts: 670000 | #Constraints: 100335 2881.42/2890.98 c #Conflicts: 671000 | #Constraints: 101335 2881.42/2890.98 c #Conflicts: 672000 | #Constraints: 102336 2881.42/2890.98 c #Conflicts: 673000 | #Constraints: 103336 2881.42/2890.98 c INPROCESSING 2881.42/2890.98 c GARBAGE COLLECT 2881.42/2890.98 c rational objective 143 3114.81/3125.00 c #Conflicts: 674000 | #Constraints: 61993 3114.81/3125.00 c #Conflicts: 675000 | #Constraints: 62993 3114.81/3125.00 c #Conflicts: 676000 | #Constraints: 63993 3114.81/3125.00 c #Conflicts: 677000 | #Constraints: 64993 3114.81/3125.00 c #Conflicts: 678000 | #Constraints: 65993 3114.81/3125.00 c #Conflicts: 679000 | #Constraints: 66993 3114.81/3125.00 c #Conflicts: 680000 | #Constraints: 67994 3114.81/3125.00 c #Conflicts: 681000 | #Constraints: 68994 3114.81/3125.00 c #Conflicts: 682000 | #Constraints: 69994 3114.81/3125.00 c #Conflicts: 683000 | #Constraints: 70994 3114.81/3125.00 c #Conflicts: 684000 | #Constraints: 71994 3114.81/3125.00 c #Conflicts: 685000 | #Constraints: 72994 3114.81/3125.00 c #Conflicts: 686000 | #Constraints: 73994 3114.81/3125.00 c #Conflicts: 687000 | #Constraints: 74994 3114.81/3125.00 c #Conflicts: 688000 | #Constraints: 75994 3114.81/3125.00 c #Conflicts: 689000 | #Constraints: 76994 3114.81/3125.00 c #Conflicts: 690000 | #Constraints: 77994 3114.81/3125.00 c #Conflicts: 691000 | #Constraints: 78994 3114.81/3125.00 c #Conflicts: 692000 | #Constraints: 79994 3114.81/3125.00 c #Conflicts: 693000 | #Constraints: 80994 3114.81/3125.00 c #Conflicts: 694000 | #Constraints: 81994 3114.81/3125.00 c #Conflicts: 695000 | #Constraints: 82994 3114.81/3125.00 c INPROCESSING 3114.81/3125.00 c GARBAGE COLLECT 3114.81/3125.00 c rational objective 143 3268.73/3279.44 c #Conflicts: 696000 | #Constraints: 52889 3268.73/3279.44 c #Conflicts: 697000 | #Constraints: 53889 3268.73/3279.44 c #Conflicts: 698000 | #Constraints: 54889 3268.73/3279.44 c #Conflicts: 699000 | #Constraints: 55889 3268.73/3279.44 c #Conflicts: 700000 | #Constraints: 56889 3268.73/3279.44 c #Conflicts: 701000 | #Constraints: 57889 3268.73/3279.44 c #Conflicts: 702000 | #Constraints: 58889 3268.73/3279.44 c #Conflicts: 703000 | #Constraints: 59889 3268.73/3279.44 c #Conflicts: 704000 | #Constraints: 60889 3268.73/3279.44 c #Conflicts: 705000 | #Constraints: 61889 3268.73/3279.44 c #Conflicts: 706000 | #Constraints: 62889 3268.73/3279.44 c #Conflicts: 707000 | #Constraints: 63889 3268.73/3279.44 c #Conflicts: 708000 | #Constraints: 64889 3268.73/3279.44 c #Conflicts: 709000 | #Constraints: 65889 3268.73/3279.44 c #Conflicts: 710000 | #Constraints: 66889 3268.73/3279.44 c #Conflicts: 711000 | #Constraints: 67889 3268.73/3279.44 c #Conflicts: 712000 | #Constraints: 68889 3268.73/3279.44 c #Conflicts: 713000 | #Constraints: 69889 3268.73/3279.44 c #Conflicts: 714000 | #Constraints: 70889 3268.73/3279.44 c #Conflicts: 715000 | #Constraints: 71890 3268.73/3279.44 c #Conflicts: 716000 | #Constraints: 72890 3268.73/3279.44 c #Conflicts: 717000 | #Constraints: 73892 3268.73/3279.44 c #Conflicts: 718000 | #Constraints: 74892 3268.73/3279.44 c #Conflicts: 719000 | #Constraints: 75892 3268.73/3279.44 c #Conflicts: 720000 | #Constraints: 76892 3268.73/3279.44 c #Conflicts: 721000 | #Constraints: 77892 3268.73/3279.44 c #Conflicts: 722000 | #Constraints: 78892 3268.73/3279.44 c #Conflicts: 723000 | #Constraints: 79892 3268.73/3279.44 c #Conflicts: 724000 | #Constraints: 80892 3268.73/3279.44 c #Conflicts: 725000 | #Constraints: 81892 3268.73/3279.44 c #Conflicts: 726000 | #Constraints: 82892 3268.73/3279.44 c #Conflicts: 727000 | #Constraints: 83892 3268.73/3279.44 c #Conflicts: 728000 | #Constraints: 84892 3268.73/3279.44 c #Conflicts: 729000 | #Constraints: 85892 3268.73/3279.44 c #Conflicts: 730000 | #Constraints: 86892 3268.73/3279.44 c #Conflicts: 731000 | #Constraints: 87892 3268.73/3279.44 c #Conflicts: 732000 | #Constraints: 88892 3268.73/3279.44 c #Conflicts: 733000 | #Constraints: 89892 3268.73/3279.44 c #Conflicts: 734000 | #Constraints: 90892 3268.73/3279.44 c #Conflicts: 735000 | #Constraints: 91892 3268.73/3279.44 c #Conflicts: 736000 | #Constraints: 92892 3268.73/3279.44 c #Conflicts: 737000 | #Constraints: 93892 3268.73/3279.44 c #Conflicts: 738000 | #Constraints: 94892 3268.73/3279.44 c #Conflicts: 739000 | #Constraints: 95892 3268.73/3279.44 c #Conflicts: 740000 | #Constraints: 96892 3268.73/3279.44 c #Conflicts: 741000 | #Constraints: 97892 3268.73/3279.44 c #Conflicts: 742000 | #Constraints: 98892 3268.73/3279.44 c #Conflicts: 743000 | #Constraints: 99892 3268.73/3279.44 c #Conflicts: 744000 | #Constraints: 100892 3268.73/3279.44 c #Conflicts: 745000 | #Constraints: 101892 3268.73/3279.44 c #Conflicts: 746000 | #Constraints: 102892 3268.73/3279.44 c #Conflicts: 747000 | #Constraints: 103892 3268.73/3279.44 c #Conflicts: 748000 | #Constraints: 104892 3268.73/3279.44 c #Conflicts: 749000 | #Constraints: 105892 3268.73/3279.44 c #Conflicts: 750000 | #Constraints: 106892 3268.73/3279.44 c #Conflicts: 751000 | #Constraints: 107892 3268.73/3279.44 c #Conflicts: 752000 | #Constraints: 108892 3268.73/3279.44 c INPROCESSING 3268.73/3279.44 c GARBAGE COLLECT 3268.73/3279.44 c rational objective 143 3380.89/3391.96 c #Conflicts: 753000 | #Constraints: 64209 3380.89/3391.96 c #Conflicts: 754000 | #Constraints: 65209 3380.89/3391.96 c #Conflicts: 755000 | #Constraints: 66210 3380.89/3391.96 c #Conflicts: 756000 | #Constraints: 67210 3380.89/3391.96 c #Conflicts: 757000 | #Constraints: 68210 3380.89/3391.96 c #Conflicts: 758000 | #Constraints: 69210 3380.89/3391.96 c #Conflicts: 759000 | #Constraints: 70210 3380.89/3391.96 c #Conflicts: 760000 | #Constraints: 71210 3380.89/3391.96 c #Conflicts: 761000 | #Constraints: 72210 3380.89/3391.96 c #Conflicts: 762000 | #Constraints: 73210 3380.89/3391.96 c #Conflicts: 763000 | #Constraints: 74210 3380.89/3391.96 c #Conflicts: 764000 | #Constraints: 75210 3380.89/3391.96 c #Conflicts: 765000 | #Constraints: 76210 3380.89/3391.96 c #Conflicts: 766000 | #Constraints: 77210 3380.89/3391.96 c #Conflicts: 767000 | #Constraints: 78210 3380.89/3391.96 c #Conflicts: 768000 | #Constraints: 79210 3380.89/3391.96 c #Conflicts: 769000 | #Constraints: 80210 3380.89/3391.96 c #Conflicts: 770000 | #Constraints: 81211 3380.89/3391.96 c #Conflicts: 771000 | #Constraints: 82211 3380.89/3391.96 c #Conflicts: 772000 | #Constraints: 83211 3380.89/3391.96 c #Conflicts: 773000 | #Constraints: 84211 3380.89/3391.96 c #Conflicts: 774000 | #Constraints: 85211 3380.89/3391.96 c #Conflicts: 775000 | #Constraints: 86211 3380.89/3391.96 c #Conflicts: 776000 | #Constraints: 87211 3380.89/3391.96 c INPROCESSING 3380.89/3391.96 c GARBAGE COLLECT 3380.89/3391.96 c rational objective 143
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 (61786 MiB free)
memory of node 1: 64510 MiB (61365 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455630-1721464299/watcher-4455630-1721464299 -o /tmp/evaluation-result-4455630-1721464299/solver-4455630-1721464299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721456928-1055159 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455630-1721464299.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1060885, runsolver pid=1060882
[startup+0.101016 s]*
/proc/loadavg: 4.14 4.16 4.11 5/260 1060886
/proc/meminfo: memFree=126084960/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=60024 memory=29096 CPUtime=0.09 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 7771 0 0 0 7 2 0 0 20 0 1 0 198590150 61464576 7274 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 15006 7274 1602 922 0 6958 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 29096 KiB
[startup+0.205797 s]*
/proc/loadavg: 4.14 4.16 4.11 5/260 1060886
/proc/meminfo: memFree=126080592/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=67408 memory=33940 CPUtime=0.19 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 8835 0 0 0 17 2 0 0 20 0 1 0 198590150 69025792 8485 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 16852 8485 1698 922 0 8804 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67408 KiB
Current children cumulated memory: 33940 KiB
[startup+0.305718 s]*
/proc/loadavg: 4.14 4.16 4.11 5/260 1060886
/proc/meminfo: memFree=126079456/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=67748 memory=34468 CPUtime=0.29 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 9031 0 0 0 27 2 0 0 20 0 1 0 198590150 69373952 8617 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 16937 8617 1698 922 0 8889 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67748 KiB
Current children cumulated memory: 34468 KiB
[startup+0.700235 s]
/proc/loadavg: 4.14 4.16 4.11 5/260 1060886
/proc/meminfo: memFree=126077104/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=69540 memory=36828 CPUtime=0.68 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 9616 0 0 0 65 3 0 0 20 0 1 0 198590150 71208960 9207 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 17385 9207 1698 922 0 9337 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69540 KiB
Current children cumulated memory: 36828 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.16 4.11 5/260 1060886
/proc/meminfo: memFree=126076432/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=70628 memory=38268 CPUtime=1.48 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 9950 0 0 0 141 7 0 0 20 0 1 0 198590150 72323072 9567 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 17657 9567 1730 922 0 9609 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 38268 KiB
[startup+3.10569 s]
/proc/loadavg: 4.13 4.16 4.11 5/260 1060887
/proc/meminfo: memFree=126069772/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=72696 memory=42744 CPUtime=3.08 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 10536 0 0 0 294 14 0 0 20 0 1 0 198590150 74440704 10686 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 18174 10686 1746 922 0 10126 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72696 KiB
Current children cumulated memory: 42744 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.15 4.11 5/260 1060887
/proc/meminfo: memFree=126065964/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=74380 memory=45116 CPUtime=6.27 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 11089 0 0 0 610 17 0 0 20 0 1 0 198590150 76165120 11279 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 18595 11279 1746 922 0 10547 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74380 KiB
Current children cumulated memory: 45116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.11 5/260 1060889
/proc/meminfo: memFree=126035052/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=79520 memory=49232 CPUtime=12.64 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 12082 0 0 0 1230 34 0 0 20 0 1 0 198590150 81428480 12308 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 19880 12308 1823 922 0 11832 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 49232 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.11 5/260 1060891
/proc/meminfo: memFree=126029964/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=79520 memory=50348 CPUtime=25.4 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 12359 0 0 0 2498 42 0 0 20 0 1 0 198590150 81428480 12587 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 19880 12587 1839 922 0 11832 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 50348 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.16 4.11 5/260 1060894
/proc/meminfo: memFree=125965800/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=102700 memory=73708 CPUtime=50.91 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 16121 0 0 0 5009 82 0 0 20 0 1 0 198590150 105164800 18427 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 25675 18427 1839 922 0 17627 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 102700 KiB
Current children cumulated memory: 73708 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 1060904
/proc/meminfo: memFree=125882872/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=142768 memory=99908 CPUtime=101.93 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 19104 0 0 0 10030 163 0 0 20 0 1 0 198590150 146194432 24977 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 35692 24977 1839 922 0 27644 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 142768 KiB
Current children cumulated memory: 99908 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 1060963
/proc/meminfo: memFree=126669724/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=144128 memory=110156 CPUtime=161.71 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 19617 0 0 0 15964 207 0 0 20 0 1 0 198590150 147587072 27539 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 36032 27539 1839 922 0 27984 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 144128 KiB
Current children cumulated memory: 110156 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/254 1060974
/proc/meminfo: memFree=126544920/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=195360 memory=145096 CPUtime=221.52 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 25286 0 0 0 21862 290 0 0 20 0 1 0 198590150 200048640 36274 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 48840 36274 1839 922 0 40792 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 195360 KiB
Current children cumulated memory: 145096 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/254 1060985
/proc/meminfo: memFree=126484080/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=243460 memory=191008 CPUtime=281.3 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 37550 0 0 0 27776 354 0 0 20 0 1 0 198590150 249303040 47752 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 60865 47752 1839 922 0 52817 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 243460 KiB
Current children cumulated memory: 191008 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1060996
/proc/meminfo: memFree=126431496/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=295512 memory=221500 CPUtime=341.09 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 39053 0 0 0 33706 403 0 0 20 0 1 0 198590150 302604288 55375 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 73878 55375 1855 922 0 65830 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 295512 KiB
Current children cumulated memory: 221500 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 1061007
/proc/meminfo: memFree=126379288/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=301404 memory=256104 CPUtime=400.87 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 40562 0 0 0 39656 431 0 0 20 0 1 0 198590150 308637696 64026 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 75351 64026 1855 922 0 67303 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 301404 KiB
Current children cumulated memory: 256104 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 1061062
/proc/meminfo: memFree=127498840/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=306400 memory=262332 CPUtime=460.66 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 40693 0 0 0 45604 462 0 0 20 0 1 0 198590150 313753600 65583 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 76600 65583 1855 922 0 68552 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/258 1062260
/proc/meminfo: memFree=119110920/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1431040 memory=1255468 CPUtime=3092.17 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 139111 0 0 0 306713 2504 0 0 20 0 1 0 198590150 1465384960 313867 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 357760 313867 1980 922 0 349712 0
Current children cumulated CPU time: 3092.17 s
Current children cumulated vsize: 1431040 KiB
Current children cumulated memory: 1255468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/258 1062274
/proc/meminfo: memFree=118356188/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1431588 memory=1256016 CPUtime=3151.99 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 139821 0 0 0 312653 2546 0 0 20 0 1 0 198590150 1465946112 314004 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 357897 314004 1980 922 0 349849 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 1431588 KiB
Current children cumulated memory: 1256016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 1062666
/proc/meminfo: memFree=117706532/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1431588 memory=1256016 CPUtime=3211.8 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 140189 0 0 0 318592 2588 0 0 20 0 1 0 198590150 1465946112 314004 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 357897 314004 1980 922 0 349849 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 1431588 KiB
Current children cumulated memory: 1256016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 1062676
/proc/meminfo: memFree=117088484/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1431588 memory=1256160 CPUtime=3271.62 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 140661 0 0 0 324529 2633 0 0 20 0 1 0 198590150 1465946112 314040 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 357897 314040 1980 922 0 349849 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 1431588 KiB
Current children cumulated memory: 1256160 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/255 1062687
/proc/meminfo: memFree=116428104/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1432684 memory=1257136 CPUtime=3331.44 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 141098 0 0 0 330437 2707 0 0 20 0 1 0 198590150 1467068416 314284 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 358171 314284 1980 922 0 350123 0
Current children cumulated CPU time: 3331.44 s
Current children cumulated vsize: 1432684 KiB
Current children cumulated memory: 1257136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/257 1062867
/proc/meminfo: memFree=115808964/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1261780 CPUtime=3391.26 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 142637 0 0 0 336378 2748 0 0 20 0 1 0 198590150 1472086016 315445 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315445 1980 922 0 351348 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1261780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/257 1062877
/proc/meminfo: memFree=115431184/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1261976 CPUtime=3451.08 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 142931 0 0 0 342303 2805 0 0 20 0 1 0 198590150 1472086016 315494 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315494 1980 922 0 351348 0
Current children cumulated CPU time: 3451.08 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1261976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/258 1062944
/proc/meminfo: memFree=114831964/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1261976 CPUtime=3510.9 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 143277 0 0 0 348229 2861 0 0 20 0 1 0 198590150 1472086016 315494 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315494 1980 922 0 351348 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1261976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 1062955
/proc/meminfo: memFree=114180000/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1261984 CPUtime=3570.71 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 143669 0 0 0 354171 2900 0 0 20 0 1 0 198590150 1472086016 315496 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315496 1980 922 0 351348 0
Current children cumulated CPU time: 3570.71 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1261984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.18 4.16 4.11 5/258 1062959
/proc/meminfo: memFree=113812652/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1262248 CPUtime=3600.02 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 143932 0 0 0 357087 2915 0 0 20 0 1 0 198590150 1472086016 315562 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315562 1980 922 0 351348 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1262248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.71 s]
# the end of solver process 1060885 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3572.86 s, system=29.1783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.16 4.15 4.11 5/258 1062960
/proc/meminfo: memFree=113799392/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1262248 CPUtime=3601.12 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 143932 0 0 0 357196 2916 0 0 20 0 1 0 198590150 1472086016 315562 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315562 1980 922 0 351348 0
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1262248 KiB
[startup+3613.2 s]
/proc/loadavg: 4.16 4.15 4.11 5/258 1062960
/proc/meminfo: memFree=113785140/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1262248 CPUtime=3601.51 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 143932 0 0 0 357235 2916 0 0 20 0 1 0 198590150 1472086016 315562 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315562 1980 922 0 351348 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1262248 KiB
[startup+3613.6 s]
/proc/loadavg: 4.16 4.15 4.11 5/258 1062960
/proc/meminfo: memFree=113785140/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1262248 CPUtime=3601.91 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 143932 0 0 0 357275 2916 0 0 20 0 1 0 198590150 1472086016 315562 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315562 1980 922 0 351348 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1262248 KiB
[startup+3613.7 s]
/proc/loadavg: 4.16 4.15 4.11 5/258 1062960
/proc/meminfo: memFree=113785140/131524600 swapFree=131071996/131071996
[pid=1060885] ppid=1060882 vsize=1437584 memory=1262248 CPUtime=3602.01 cores=0,2
/proc/1060885/stat : 1060885 (roundingsat) R 1060882 1060885 1055149 0 -1 4194304 143932 0 0 0 357285 2916 0 0 20 0 1 0 198590150 1472086016 315562 134679101440 4194304 7968373 140726731542464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 34009088 140726731551676 140726731551840 140726731551840 140726731558857 0
/proc/1060885/statm: 359396 315562 1980 922 0 351348 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 1437584 KiB
Current children cumulated memory: 1262248 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.71
CPU time (s): 3602.04
CPU user time (s): 3572.86
CPU system time (s): 29.1783
CPU usage (%): 99.6769
Max. virtual memory (cumulated for all children) (KiB): 1437584
Max. memory (cumulated for all children) (KiB): 1262248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.86
system time used= 29.1783
maximum resident set size= 1262332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143932
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= 109
involuntary context switches= 24707
# summary of solver processes directly reported to runsolver:
# pid: 1060885
# total CPU time (s): 3602.04
# total CPU user time (s): 3572.86
# total CPU system time (s): 29.1783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92693 second user time and 16.742 second system time
The end
Begin job on nodeC015 at 2024-07-20 10:31:51 IDJOB=4455630 IDBENCH=158274 IDSOLVER=3084 FILE ID=nodeC015/4455630-1721464299 RUNJOBID= nodeC015-1721456928-1055159 SLURM_JOB_ID= 7545695 Free space on /tmp= 889904 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K143.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-4455630-1721464299/watcher-4455630-1721464299 -o /tmp/evaluation-result-4455630-1721464299/solver-4455630-1721464299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721456928-1055159 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455630-1721464299.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd RANDOM SEED=1712370103 nodeC015.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 : 3662.403 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.61 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 : 3681.837 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.25 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 : 3649.821 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.61 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 : 3599.818 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.25 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 : 3676.704 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.61 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 : 3681.891 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.25 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 : 3617.570 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.61 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 : 3600.064 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.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126108600 kB MemAvailable: 127580768 kB Buffers: 562520 kB Cached: 1743256 kB SwapCached: 0 kB Active: 1895104 kB Inactive: 2880868 kB Active(anon): 1572 kB Inactive(anon): 2514212 kB Active(file): 1893532 kB Inactive(file): 366656 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6396 kB Writeback: 0 kB AnonPages: 2464424 kB Mapped: 117504 kB Shmem: 45912 kB KReclaimable: 103252 kB Slab: 216012 kB SReclaimable: 103252 kB SUnreclaim: 112760 kB KernelStack: 4188 kB PageTables: 14072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2839964 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 68224 kB HardwareCorrupted: 0 kB AnonHugePages: 1239040 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: 291540 kB DirectMap2M: 38279168 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890028 MiB End job on nodeC015 at 2024-07-20 11:32:05