0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.12 c #variables 6256 #constraints 6442
33.97/34.14 c #Conflicts: 1000 | #Constraints: 7441
33.97/34.14 c #Conflicts: 2000 | #Constraints: 8441
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 3000 | #Constraints: 8069
33.97/34.14 c #Conflicts: 4000 | #Constraints: 9069
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 5000 | #Constraints: 8522
33.97/34.14 c #Conflicts: 6000 | #Constraints: 9522
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 7000 | #Constraints: 8568
33.97/34.14 c #Conflicts: 8000 | #Constraints: 9568
33.97/34.14 c #Conflicts: 9000 | #Constraints: 10568
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 10000 | #Constraints: 9308
33.97/34.14 c #Conflicts: 11000 | #Constraints: 10308
33.97/34.14 c #Conflicts: 12000 | #Constraints: 11308
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 13000 | #Constraints: 9800
33.97/34.14 c #Conflicts: 14000 | #Constraints: 10800
33.97/34.14 c #Conflicts: 15000 | #Constraints: 11800
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 16000 | #Constraints: 10080
33.97/34.14 c #Conflicts: 17000 | #Constraints: 11080
33.97/34.14 c #Conflicts: 18000 | #Constraints: 12080
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 19000 | #Constraints: 10111
33.97/34.14 c #Conflicts: 20000 | #Constraints: 11111
33.97/34.14 c #Conflicts: 21000 | #Constraints: 12112
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 22000 | #Constraints: 9918
33.97/34.14 c #Conflicts: 23000 | #Constraints: 10918
33.97/34.14 c #Conflicts: 24000 | #Constraints: 11918
33.97/34.14 c #Conflicts: 25000 | #Constraints: 12918
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 26000 | #Constraints: 10578
33.97/34.14 c #Conflicts: 27000 | #Constraints: 11578
33.97/34.14 c #Conflicts: 28000 | #Constraints: 12578
33.97/34.14 c #Conflicts: 29000 | #Constraints: 13578
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 30000 | #Constraints: 10986
33.97/34.14 c #Conflicts: 31000 | #Constraints: 11986
33.97/34.14 c #Conflicts: 32000 | #Constraints: 12986
33.97/34.14 c #Conflicts: 33000 | #Constraints: 13986
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 34000 | #Constraints: 11219
33.97/34.14 c #Conflicts: 35000 | #Constraints: 12219
33.97/34.14 c #Conflicts: 36000 | #Constraints: 13219
33.97/34.14 c #Conflicts: 37000 | #Constraints: 14219
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 38000 | #Constraints: 11238
33.97/34.14 c #Conflicts: 39000 | #Constraints: 12238
33.97/34.14 c #Conflicts: 40000 | #Constraints: 13238
33.97/34.14 c #Conflicts: 41000 | #Constraints: 14238
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 42000 | #Constraints: 11049
33.97/34.14 c #Conflicts: 43000 | #Constraints: 12049
33.97/34.14 c #Conflicts: 44000 | #Constraints: 13049
33.97/34.14 c #Conflicts: 45000 | #Constraints: 14049
33.97/34.14 c #Conflicts: 46000 | #Constraints: 15049
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 47000 | #Constraints: 11656
33.97/34.14 c #Conflicts: 48000 | #Constraints: 12656
33.97/34.14 c #Conflicts: 49000 | #Constraints: 13656
33.97/34.14 c #Conflicts: 50000 | #Constraints: 14656
33.97/34.14 c #Conflicts: 51000 | #Constraints: 15656
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 52000 | #Constraints: 12069
33.97/34.14 c #Conflicts: 53000 | #Constraints: 13069
33.97/34.14 c #Conflicts: 54000 | #Constraints: 14069
33.97/34.14 c #Conflicts: 55000 | #Constraints: 15069
33.97/34.14 c #Conflicts: 56000 | #Constraints: 16069
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 57000 | #Constraints: 12331
33.97/34.14 c #Conflicts: 58000 | #Constraints: 13331
33.97/34.14 c #Conflicts: 59000 | #Constraints: 14331
33.97/34.14 c #Conflicts: 60000 | #Constraints: 15331
33.97/34.14 c #Conflicts: 61000 | #Constraints: 16331
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 62000 | #Constraints: 12309
33.97/34.14 c #Conflicts: 63000 | #Constraints: 13309
33.97/34.14 c #Conflicts: 64000 | #Constraints: 14309
33.97/34.14 c #Conflicts: 65000 | #Constraints: 15309
33.97/34.14 c #Conflicts: 66000 | #Constraints: 16309
33.97/34.14 c INPROCESSING
33.97/34.14 c GARBAGE COLLECT
33.97/34.14 c #Conflicts: 67000 | #Constraints: 12117
33.97/34.14 c #Conflicts: 68000 | #Constraints: 13117
98.14/98.57 c #Conflicts: 69000 | #Constraints: 14117
98.14/98.57 c #Conflicts: 70000 | #Constraints: 15117
98.14/98.57 c #Conflicts: 71000 | #Constraints: 16117
98.14/98.57 c #Conflicts: 72000 | #Constraints: 17117
98.14/98.57 c #Conflicts: 73000 | #Constraints: 18117
98.14/98.57 c #Conflicts: 74000 | #Constraints: 19117
98.14/98.57 c #Conflicts: 75000 | #Constraints: 20117
98.14/98.57 c #Conflicts: 76000 | #Constraints: 21117
98.14/98.57 c #Conflicts: 77000 | #Constraints: 22117
98.14/98.57 c #Conflicts: 78000 | #Constraints: 23117
98.14/98.57 c #Conflicts: 79000 | #Constraints: 24117
98.14/98.57 c #Conflicts: 80000 | #Constraints: 25117
98.14/98.57 c #Conflicts: 81000 | #Constraints: 26118
98.14/98.57 c #Conflicts: 82000 | #Constraints: 27118
98.14/98.57 c #Conflicts: 83000 | #Constraints: 28118
98.14/98.57 c #Conflicts: 84000 | #Constraints: 29118
98.14/98.57 c #Conflicts: 85000 | #Constraints: 30118
98.14/98.57 c #Conflicts: 86000 | #Constraints: 31118
98.14/98.57 c #Conflicts: 87000 | #Constraints: 32118
98.14/98.57 c #Conflicts: 88000 | #Constraints: 33118
98.14/98.57 c #Conflicts: 89000 | #Constraints: 34118
98.14/98.57 c INPROCESSING
98.14/98.57 c GARBAGE COLLECT
98.14/98.57 c #Conflicts: 90000 | #Constraints: 21214
98.14/98.57 c #Conflicts: 91000 | #Constraints: 22214
98.14/98.57 c #Conflicts: 92000 | #Constraints: 23214
98.14/98.57 c #Conflicts: 93000 | #Constraints: 24214
98.14/98.57 c #Conflicts: 94000 | #Constraints: 25214
98.14/98.57 c #Conflicts: 95000 | #Constraints: 26214
98.14/98.57 c #Conflicts: 96000 | #Constraints: 27214
98.14/98.57 c INPROCESSING
98.14/98.57 c GARBAGE COLLECT
98.14/98.57 c #Conflicts: 97000 | #Constraints: 17932
98.14/98.57 c #Conflicts: 98000 | #Constraints: 18932
98.14/98.57 c #Conflicts: 99000 | #Constraints: 19932
98.14/98.57 c #Conflicts: 100000 | #Constraints: 20932
98.14/98.57 c #Conflicts: 101000 | #Constraints: 21932
98.14/98.57 c #Conflicts: 102000 | #Constraints: 22932
98.14/98.57 c INPROCESSING
98.14/98.57 c GARBAGE COLLECT
98.14/98.57 c #Conflicts: 103000 | #Constraints: 15370
98.14/98.57 c #Conflicts: 104000 | #Constraints: 16370
98.14/98.57 c #Conflicts: 105000 | #Constraints: 17370
98.14/98.57 c #Conflicts: 106000 | #Constraints: 18370
98.14/98.57 c #Conflicts: 107000 | #Constraints: 19370
98.14/98.57 c #Conflicts: 108000 | #Constraints: 20370
98.14/98.57 c #Conflicts: 109000 | #Constraints: 21370
98.14/98.57 c #Conflicts: 110000 | #Constraints: 22370
98.14/98.57 c INPROCESSING
98.14/98.57 c GARBAGE COLLECT
98.14/98.57 c #Conflicts: 111000 | #Constraints: 15512
98.14/98.57 c #Conflicts: 112000 | #Constraints: 16512
98.14/98.57 c #Conflicts: 113000 | #Constraints: 17512
98.14/98.57 c #Conflicts: 114000 | #Constraints: 18512
98.14/98.57 c #Conflicts: 115000 | #Constraints: 19512
98.14/98.57 c #Conflicts: 116000 | #Constraints: 20512
98.14/98.57 c #Conflicts: 117000 | #Constraints: 21512
98.14/98.57 c INPROCESSING
98.14/98.57 c GARBAGE COLLECT
98.14/98.57 c #Conflicts: 118000 | #Constraints: 14914
98.14/98.57 c #Conflicts: 119000 | #Constraints: 15914
98.14/98.57 c #Conflicts: 120000 | #Constraints: 16914
98.14/98.57 c #Conflicts: 121000 | #Constraints: 17915
98.14/98.57 c #Conflicts: 122000 | #Constraints: 18915
98.14/98.57 c #Conflicts: 123000 | #Constraints: 19915
98.14/98.57 c #Conflicts: 124000 | #Constraints: 20915
98.14/98.57 c #Conflicts: 125000 | #Constraints: 21915
98.14/98.57 c #Conflicts: 126000 | #Constraints: 22915
98.14/98.57 c #Conflicts: 127000 | #Constraints: 23915
98.14/98.57 c #Conflicts: 128000 | #Constraints: 24915
98.14/98.57 c #Conflicts: 129000 | #Constraints: 25915
98.14/98.57 c #Conflicts: 130000 | #Constraints: 26915
98.14/98.57 c #Conflicts: 131000 | #Constraints: 27915
98.14/98.57 c #Conflicts: 132000 | #Constraints: 28915
98.14/98.57 c #Conflicts: 133000 | #Constraints: 29915
98.14/98.57 c #Conflicts: 134000 | #Constraints: 30915
98.14/98.57 c #Conflicts: 135000 | #Constraints: 31915
98.14/98.57 c #Conflicts: 136000 | #Constraints: 32915
98.14/98.57 c #Conflicts: 137000 | #Constraints: 33915
98.14/98.57 c #Conflicts: 138000 | #Constraints: 34915
98.14/98.57 c #Conflicts: 139000 | #Constraints: 35915
98.14/98.57 c #Conflicts: 140000 | #Constraints: 36915
98.14/98.57 c #Conflicts: 141000 | #Constraints: 37915
98.14/98.57 c #Conflicts: 142000 | #Constraints: 38915
98.14/98.57 c #Conflicts: 143000 | #Constraints: 39915
109.01/109.44 c #Conflicts: 144000 | #Constraints: 40915
109.01/109.44 c #Conflicts: 145000 | #Constraints: 41915
109.01/109.44 c #Conflicts: 146000 | #Constraints: 42915
109.01/109.44 c INPROCESSING
109.01/109.44 c GARBAGE COLLECT
109.01/109.44 c rational objective 92
182.17/182.89 c #Conflicts: 147000 | #Constraints: 25600
182.17/182.89 c #Conflicts: 148000 | #Constraints: 26600
182.17/182.89 c #Conflicts: 149000 | #Constraints: 27600
182.17/182.89 c #Conflicts: 150000 | #Constraints: 28600
182.17/182.89 c #Conflicts: 151000 | #Constraints: 29600
182.17/182.89 c #Conflicts: 152000 | #Constraints: 30600
182.17/182.89 c #Conflicts: 153000 | #Constraints: 31601
182.17/182.89 c #Conflicts: 154000 | #Constraints: 32601
182.17/182.89 c #Conflicts: 155000 | #Constraints: 33601
182.17/182.89 c INPROCESSING
182.17/182.89 c GARBAGE COLLECT
182.17/182.89 c #Conflicts: 156000 | #Constraints: 21144
182.17/182.89 c #Conflicts: 157000 | #Constraints: 22144
182.17/182.89 c #Conflicts: 158000 | #Constraints: 23144
182.17/182.89 c #Conflicts: 159000 | #Constraints: 24144
182.17/182.89 c #Conflicts: 160000 | #Constraints: 25144
182.17/182.89 c #Conflicts: 161000 | #Constraints: 26144
182.17/182.89 c #Conflicts: 162000 | #Constraints: 27144
182.17/182.89 c #Conflicts: 163000 | #Constraints: 28144
182.17/182.89 c INPROCESSING
182.17/182.89 c GARBAGE COLLECT
182.17/182.89 c #Conflicts: 164000 | #Constraints: 18030
182.17/182.89 c #Conflicts: 165000 | #Constraints: 19030
182.17/182.89 c #Conflicts: 166000 | #Constraints: 20030
182.17/182.89 c #Conflicts: 167000 | #Constraints: 21030
182.17/182.89 c #Conflicts: 168000 | #Constraints: 22030
182.17/182.89 c #Conflicts: 169000 | #Constraints: 23030
182.17/182.89 c #Conflicts: 170000 | #Constraints: 24030
182.17/182.89 c #Conflicts: 171000 | #Constraints: 25030
182.17/182.89 c #Conflicts: 172000 | #Constraints: 26030
182.17/182.89 c INPROCESSING
182.17/182.89 c GARBAGE COLLECT
182.17/182.89 c #Conflicts: 173000 | #Constraints: 16983
182.17/182.89 c #Conflicts: 174000 | #Constraints: 17983
182.17/182.89 c #Conflicts: 175000 | #Constraints: 18983
182.17/182.89 c #Conflicts: 176000 | #Constraints: 19983
182.17/182.89 c #Conflicts: 177000 | #Constraints: 20983
182.17/182.89 c #Conflicts: 178000 | #Constraints: 21983
182.17/182.89 c #Conflicts: 179000 | #Constraints: 22983
182.17/182.89 c #Conflicts: 180000 | #Constraints: 23983
182.17/182.89 c #Conflicts: 181000 | #Constraints: 24983
182.17/182.89 c #Conflicts: 182000 | #Constraints: 25983
182.17/182.89 c INPROCESSING
182.17/182.89 c GARBAGE COLLECT
182.17/182.89 c #Conflicts: 183000 | #Constraints: 17347
182.17/182.89 c #Conflicts: 184000 | #Constraints: 18347
182.17/182.89 c #Conflicts: 185000 | #Constraints: 19347
182.17/182.89 c #Conflicts: 186000 | #Constraints: 20347
182.17/182.89 c #Conflicts: 187000 | #Constraints: 21347
182.17/182.89 c #Conflicts: 188000 | #Constraints: 22347
182.17/182.89 c #Conflicts: 189000 | #Constraints: 23347
182.17/182.89 c #Conflicts: 190000 | #Constraints: 24347
182.17/182.89 c #Conflicts: 191000 | #Constraints: 25347
182.17/182.89 c #Conflicts: 192000 | #Constraints: 26347
182.17/182.89 c #Conflicts: 193000 | #Constraints: 27347
182.17/182.89 c #Conflicts: 194000 | #Constraints: 28347
182.17/182.89 c #Conflicts: 195000 | #Constraints: 29347
182.17/182.89 c #Conflicts: 196000 | #Constraints: 30347
182.17/182.89 c #Conflicts: 197000 | #Constraints: 31347
182.17/182.89 c #Conflicts: 198000 | #Constraints: 32347
182.17/182.89 c #Conflicts: 199000 | #Constraints: 33347
182.17/182.89 c #Conflicts: 200000 | #Constraints: 34347
182.17/182.89 c #Conflicts: 201000 | #Constraints: 35347
182.17/182.89 c #Conflicts: 202000 | #Constraints: 36347
182.17/182.89 c #Conflicts: 203000 | #Constraints: 37347
182.17/182.89 c #Conflicts: 204000 | #Constraints: 38347
182.17/182.89 c #Conflicts: 205000 | #Constraints: 39347
182.17/182.89 c #Conflicts: 206000 | #Constraints: 40347
182.17/182.89 c #Conflicts: 207000 | #Constraints: 41347
182.17/182.89 c #Conflicts: 208000 | #Constraints: 42347
182.17/182.89 c #Conflicts: 209000 | #Constraints: 43347
182.17/182.89 c #Conflicts: 210000 | #Constraints: 44347
182.17/182.89 c #Conflicts: 211000 | #Constraints: 45347
182.17/182.89 c #Conflicts: 212000 | #Constraints: 46347
182.17/182.89 c #Conflicts: 213000 | #Constraints: 47347
182.17/182.89 c #Conflicts: 214000 | #Constraints: 48347
182.17/182.89 c #Conflicts: 215000 | #Constraints: 49347
182.17/182.89 c #Conflicts: 216000 | #Constraints: 50347
182.17/182.89 c #Conflicts: 217000 | #Constraints: 51347
182.17/182.89 c INPROCESSING
182.17/182.89 c GARBAGE COLLECT
182.17/182.89 c #Conflicts: 218000 | #Constraints: 29845
182.17/182.89 c #Conflicts: 219000 | #Constraints: 30845
182.17/182.89 c #Conflicts: 220000 | #Constraints: 31845
182.17/182.89 c #Conflicts: 221000 | #Constraints: 32845
182.17/182.89 c #Conflicts: 222000 | #Constraints: 33845
214.38/215.15 c #Conflicts: 223000 | #Constraints: 34845
214.38/215.15 c #Conflicts: 224000 | #Constraints: 35845
214.38/215.15 c #Conflicts: 225000 | #Constraints: 36845
214.38/215.15 c #Conflicts: 226000 | #Constraints: 37845
214.38/215.15 c #Conflicts: 227000 | #Constraints: 38845
214.38/215.15 c #Conflicts: 228000 | #Constraints: 39845
214.38/215.15 c INPROCESSING
214.38/215.15 c GARBAGE COLLECT
214.38/215.15 c #Conflicts: 229000 | #Constraints: 24284
214.38/215.15 c #Conflicts: 230000 | #Constraints: 25284
214.38/215.15 c #Conflicts: 231000 | #Constraints: 26284
214.38/215.15 c #Conflicts: 232000 | #Constraints: 27284
214.38/215.15 c #Conflicts: 233000 | #Constraints: 28284
214.38/215.15 c #Conflicts: 234000 | #Constraints: 29284
214.38/215.15 c #Conflicts: 235000 | #Constraints: 30284
214.38/215.15 c #Conflicts: 236000 | #Constraints: 31284
214.38/215.15 c #Conflicts: 237000 | #Constraints: 32284
214.38/215.15 c #Conflicts: 238000 | #Constraints: 33284
214.38/215.15 c INPROCESSING
214.38/215.15 c GARBAGE COLLECT
214.38/215.15 c #Conflicts: 239000 | #Constraints: 20713
214.38/215.15 c #Conflicts: 240000 | #Constraints: 21713
214.38/215.15 c #Conflicts: 241000 | #Constraints: 22713
214.38/215.15 c #Conflicts: 242000 | #Constraints: 23713
214.38/215.15 c #Conflicts: 243000 | #Constraints: 24713
214.38/215.15 c #Conflicts: 244000 | #Constraints: 25713
214.38/215.15 c #Conflicts: 245000 | #Constraints: 26713
214.38/215.15 c #Conflicts: 246000 | #Constraints: 27713
214.38/215.15 c #Conflicts: 247000 | #Constraints: 28713
214.38/215.15 c #Conflicts: 248000 | #Constraints: 29713
214.38/215.15 c #Conflicts: 249000 | #Constraints: 30713
214.38/215.15 c INPROCESSING
214.38/215.15 c GARBAGE COLLECT
214.38/215.15 c rational objective 92
224.73/225.56 c #Conflicts: 250000 | #Constraints: 19485
224.73/225.56 c #Conflicts: 251000 | #Constraints: 20485
224.73/225.56 c #Conflicts: 252000 | #Constraints: 21485
224.73/225.56 c #Conflicts: 253000 | #Constraints: 22485
224.73/225.56 c #Conflicts: 254000 | #Constraints: 23485
224.73/225.56 c #Conflicts: 255000 | #Constraints: 24485
224.73/225.56 c #Conflicts: 256000 | #Constraints: 25485
224.73/225.56 c #Conflicts: 257000 | #Constraints: 26485
224.73/225.56 c #Conflicts: 258000 | #Constraints: 27485
224.73/225.56 c #Conflicts: 259000 | #Constraints: 28485
224.73/225.56 c #Conflicts: 260000 | #Constraints: 29485
224.73/225.56 c INPROCESSING
224.73/225.56 c GARBAGE COLLECT
224.73/225.56 c rational objective 92
281.55/282.57 c #Conflicts: 261000 | #Constraints: 18786
281.55/282.57 c #Conflicts: 262000 | #Constraints: 19786
281.55/282.57 c #Conflicts: 263000 | #Constraints: 20786
281.55/282.57 c #Conflicts: 264000 | #Constraints: 21786
281.55/282.57 c #Conflicts: 265000 | #Constraints: 22786
281.55/282.57 c #Conflicts: 266000 | #Constraints: 23786
281.55/282.57 c #Conflicts: 267000 | #Constraints: 24786
281.55/282.57 c #Conflicts: 268000 | #Constraints: 25786
281.55/282.57 c #Conflicts: 269000 | #Constraints: 26786
281.55/282.57 c #Conflicts: 270000 | #Constraints: 27786
281.55/282.57 c #Conflicts: 271000 | #Constraints: 28786
281.55/282.57 c #Conflicts: 272000 | #Constraints: 29786
281.55/282.57 c #Conflicts: 273000 | #Constraints: 30786
281.55/282.57 c #Conflicts: 274000 | #Constraints: 31786
281.55/282.57 c #Conflicts: 275000 | #Constraints: 32786
281.55/282.57 c #Conflicts: 276000 | #Constraints: 33786
281.55/282.57 c #Conflicts: 277000 | #Constraints: 34786
281.55/282.57 c #Conflicts: 278000 | #Constraints: 35786
281.55/282.57 c #Conflicts: 279000 | #Constraints: 36786
281.55/282.57 c #Conflicts: 280000 | #Constraints: 37786
281.55/282.57 c #Conflicts: 281000 | #Constraints: 38786
281.55/282.57 c #Conflicts: 282000 | #Constraints: 39786
281.55/282.57 c #Conflicts: 283000 | #Constraints: 40786
281.55/282.57 c #Conflicts: 284000 | #Constraints: 41786
281.55/282.57 c #Conflicts: 285000 | #Constraints: 42786
281.55/282.57 c #Conflicts: 286000 | #Constraints: 43786
281.55/282.57 c #Conflicts: 287000 | #Constraints: 44786
281.55/282.57 c #Conflicts: 288000 | #Constraints: 45786
281.55/282.57 c #Conflicts: 289000 | #Constraints: 46786
281.55/282.57 c #Conflicts: 290000 | #Constraints: 47786
281.55/282.57 c #Conflicts: 291000 | #Constraints: 48786
281.55/282.57 c #Conflicts: 292000 | #Constraints: 49786
281.55/282.57 c #Conflicts: 293000 | #Constraints: 50786
281.55/282.57 c #Conflicts: 294000 | #Constraints: 51786
281.55/282.57 c #Conflicts: 295000 | #Constraints: 52786
281.55/282.57 c #Conflicts: 296000 | #Constraints: 53786
281.55/282.57 c #Conflicts: 297000 | #Constraints: 54786
281.55/282.57 c #Conflicts: 298000 | #Constraints: 55786
281.55/282.57 c #Conflicts: 299000 | #Constraints: 56786
281.55/282.57 c #Conflicts: 300000 | #Constraints: 57786
281.55/282.57 c #Conflicts: 301000 | #Constraints: 58786
281.55/282.57 c #Conflicts: 302000 | #Constraints: 59786
281.55/282.57 c INPROCESSING
281.55/282.57 c GARBAGE COLLECT
281.55/282.57 c rational objective 92
363.08/364.30 c #Conflicts: 303000 | #Constraints: 34036
363.08/364.30 c #Conflicts: 304000 | #Constraints: 35036
363.08/364.30 c #Conflicts: 305000 | #Constraints: 36036
363.08/364.30 c #Conflicts: 306000 | #Constraints: 37036
363.08/364.30 c #Conflicts: 307000 | #Constraints: 38036
363.08/364.30 c #Conflicts: 308000 | #Constraints: 39036
363.08/364.30 c #Conflicts: 309000 | #Constraints: 40036
363.08/364.30 c #Conflicts: 310000 | #Constraints: 41036
363.08/364.30 c #Conflicts: 311000 | #Constraints: 42036
363.08/364.30 c #Conflicts: 312000 | #Constraints: 43036
363.08/364.30 c #Conflicts: 313000 | #Constraints: 44036
363.08/364.30 c #Conflicts: 314000 | #Constraints: 45036
363.08/364.30 c #Conflicts: 315000 | #Constraints: 46036
363.08/364.30 c INPROCESSING
363.08/364.30 c GARBAGE COLLECT
363.08/364.30 c #Conflicts: 316000 | #Constraints: 27462
363.08/364.30 c #Conflicts: 317000 | #Constraints: 28462
363.08/364.30 c #Conflicts: 318000 | #Constraints: 29462
363.08/364.30 c #Conflicts: 319000 | #Constraints: 30462
363.08/364.30 c #Conflicts: 320000 | #Constraints: 31462
363.08/364.30 c #Conflicts: 321000 | #Constraints: 32462
363.08/364.30 c #Conflicts: 322000 | #Constraints: 33462
363.08/364.30 c #Conflicts: 323000 | #Constraints: 34462
363.08/364.30 c #Conflicts: 324000 | #Constraints: 35462
363.08/364.30 c #Conflicts: 325000 | #Constraints: 36462
363.08/364.30 c #Conflicts: 326000 | #Constraints: 37462
363.08/364.30 c #Conflicts: 327000 | #Constraints: 38462
363.08/364.30 c INPROCESSING
363.08/364.30 c GARBAGE COLLECT
363.08/364.30 c #Conflicts: 328000 | #Constraints: 23420
363.08/364.30 c #Conflicts: 329000 | #Constraints: 24420
363.08/364.30 c #Conflicts: 330000 | #Constraints: 25420
363.08/364.30 c #Conflicts: 331000 | #Constraints: 26420
363.08/364.30 c #Conflicts: 332000 | #Constraints: 27420
363.08/364.30 c #Conflicts: 333000 | #Constraints: 28420
363.08/364.30 c #Conflicts: 334000 | #Constraints: 29420
363.08/364.30 c #Conflicts: 335000 | #Constraints: 30420
363.08/364.30 c #Conflicts: 336000 | #Constraints: 31420
363.08/364.30 c #Conflicts: 337000 | #Constraints: 32420
363.08/364.30 c #Conflicts: 338000 | #Constraints: 33420
363.08/364.30 c #Conflicts: 339000 | #Constraints: 34420
363.08/364.30 c #Conflicts: 340000 | #Constraints: 35420
363.08/364.30 c INPROCESSING
363.08/364.30 c GARBAGE COLLECT
363.08/364.30 c #Conflicts: 341000 | #Constraints: 22019
363.08/364.30 c #Conflicts: 342000 | #Constraints: 23019
363.08/364.30 c #Conflicts: 343000 | #Constraints: 24019
363.08/364.30 c #Conflicts: 344000 | #Constraints: 25019
363.08/364.30 c #Conflicts: 345000 | #Constraints: 26019
363.08/364.30 c #Conflicts: 346000 | #Constraints: 27019
363.08/364.30 c #Conflicts: 347000 | #Constraints: 28019
363.08/364.30 c #Conflicts: 348000 | #Constraints: 29019
363.08/364.30 c #Conflicts: 349000 | #Constraints: 30020
363.08/364.30 c #Conflicts: 350000 | #Constraints: 31020
363.08/364.30 c #Conflicts: 351000 | #Constraints: 32020
363.08/364.30 c #Conflicts: 352000 | #Constraints: 33020
363.08/364.30 c #Conflicts: 353000 | #Constraints: 34020
363.08/364.30 c INPROCESSING
363.08/364.30 c GARBAGE COLLECT
363.08/364.30 c #Conflicts: 354000 | #Constraints: 21213
363.08/364.30 c #Conflicts: 355000 | #Constraints: 22213
363.08/364.30 c #Conflicts: 356000 | #Constraints: 23213
363.08/364.30 c #Conflicts: 357000 | #Constraints: 24213
363.08/364.30 c #Conflicts: 358000 | #Constraints: 25213
363.08/364.30 c #Conflicts: 359000 | #Constraints: 26213
363.08/364.30 c #Conflicts: 360000 | #Constraints: 27213
363.08/364.30 c #Conflicts: 361000 | #Constraints: 28213
363.08/364.30 c #Conflicts: 362000 | #Constraints: 29213
363.08/364.30 c #Conflicts: 363000 | #Constraints: 30213
363.08/364.30 c #Conflicts: 364000 | #Constraints: 31213
363.08/364.30 c #Conflicts: 365000 | #Constraints: 32213
363.08/364.30 c #Conflicts: 366000 | #Constraints: 33213
363.08/364.30 c #Conflicts: 367000 | #Constraints: 34213
363.08/364.30 c #Conflicts: 368000 | #Constraints: 35213
363.08/364.30 c #Conflicts: 369000 | #Constraints: 36213
363.08/364.30 c #Conflicts: 370000 | #Constraints: 37213
363.08/364.30 c #Conflicts: 371000 | #Constraints: 38213
363.08/364.30 c #Conflicts: 372000 | #Constraints: 39213
363.08/364.30 c #Conflicts: 373000 | #Constraints: 40213
363.08/364.30 c #Conflicts: 374000 | #Constraints: 41213
363.08/364.30 c #Conflicts: 375000 | #Constraints: 42213
363.08/364.30 c #Conflicts: 376000 | #Constraints: 43213
363.08/364.30 c #Conflicts: 377000 | #Constraints: 44213
363.08/364.30 c #Conflicts: 378000 | #Constraints: 45213
363.08/364.30 c #Conflicts: 379000 | #Constraints: 46213
447.19/448.71 c #Conflicts: 380000 | #Constraints: 47213
447.19/448.71 c #Conflicts: 381000 | #Constraints: 48213
447.19/448.71 c #Conflicts: 382000 | #Constraints: 49213
447.19/448.71 c #Conflicts: 383000 | #Constraints: 50213
447.19/448.71 c #Conflicts: 384000 | #Constraints: 51213
447.19/448.71 c #Conflicts: 385000 | #Constraints: 52213
447.19/448.71 c #Conflicts: 386000 | #Constraints: 53213
447.19/448.71 c #Conflicts: 387000 | #Constraints: 54213
447.19/448.71 c #Conflicts: 388000 | #Constraints: 55213
447.19/448.71 c #Conflicts: 389000 | #Constraints: 56213
447.19/448.71 c #Conflicts: 390000 | #Constraints: 57213
447.19/448.71 c #Conflicts: 391000 | #Constraints: 58213
447.19/448.71 c #Conflicts: 392000 | #Constraints: 59213
447.19/448.71 c #Conflicts: 393000 | #Constraints: 60213
447.19/448.71 c #Conflicts: 394000 | #Constraints: 61213
447.19/448.71 c #Conflicts: 395000 | #Constraints: 62213
447.19/448.71 c #Conflicts: 396000 | #Constraints: 63213
447.19/448.71 c #Conflicts: 397000 | #Constraints: 64213
447.19/448.71 c #Conflicts: 398000 | #Constraints: 65213
447.19/448.71 c #Conflicts: 399000 | #Constraints: 66213
447.19/448.71 c #Conflicts: 400000 | #Constraints: 67213
447.19/448.71 c #Conflicts: 401000 | #Constraints: 68213
447.19/448.71 c INPROCESSING
447.19/448.71 c GARBAGE COLLECT
447.19/448.71 c #Conflicts: 402000 | #Constraints: 38210
447.19/448.71 c #Conflicts: 403000 | #Constraints: 39210
447.19/448.71 c #Conflicts: 404000 | #Constraints: 40210
447.19/448.71 c #Conflicts: 405000 | #Constraints: 41210
447.19/448.71 c #Conflicts: 406000 | #Constraints: 42210
447.19/448.71 c #Conflicts: 407000 | #Constraints: 43210
447.19/448.71 c #Conflicts: 408000 | #Constraints: 44210
447.19/448.71 c #Conflicts: 409000 | #Constraints: 45210
447.19/448.71 c #Conflicts: 410000 | #Constraints: 46210
447.19/448.71 c #Conflicts: 411000 | #Constraints: 47210
447.19/448.71 c #Conflicts: 412000 | #Constraints: 48210
447.19/448.71 c #Conflicts: 413000 | #Constraints: 49210
447.19/448.71 c #Conflicts: 414000 | #Constraints: 50210
447.19/448.71 c #Conflicts: 415000 | #Constraints: 51210
447.19/448.71 c #Conflicts: 416000 | #Constraints: 52210
447.19/448.71 c INPROCESSING
447.19/448.71 c GARBAGE COLLECT
447.19/448.71 c #Conflicts: 417000 | #Constraints: 30579
447.19/448.71 c #Conflicts: 418000 | #Constraints: 31579
447.19/448.71 c #Conflicts: 419000 | #Constraints: 32579
447.19/448.71 c #Conflicts: 420000 | #Constraints: 33579
447.19/448.71 c #Conflicts: 421000 | #Constraints: 34579
447.19/448.71 c #Conflicts: 422000 | #Constraints: 35579
447.19/448.71 c #Conflicts: 423000 | #Constraints: 36579
447.19/448.71 c #Conflicts: 424000 | #Constraints: 37579
447.19/448.71 c #Conflicts: 425000 | #Constraints: 38579
447.19/448.71 c #Conflicts: 426000 | #Constraints: 39579
447.19/448.71 c #Conflicts: 427000 | #Constraints: 40579
447.19/448.71 c #Conflicts: 428000 | #Constraints: 41579
447.19/448.71 c #Conflicts: 429000 | #Constraints: 42579
447.19/448.71 c #Conflicts: 430000 | #Constraints: 43579
447.19/448.71 c INPROCESSING
447.19/448.71 c GARBAGE COLLECT
447.19/448.71 c rational objective 92
467.63/469.23 c #Conflicts: 431000 | #Constraints: 26006
467.63/469.23 c #Conflicts: 432000 | #Constraints: 27006
467.63/469.23 c #Conflicts: 433000 | #Constraints: 28006
467.63/469.23 c #Conflicts: 434000 | #Constraints: 29006
467.63/469.23 c #Conflicts: 435000 | #Constraints: 30006
467.63/469.23 c #Conflicts: 436000 | #Constraints: 31006
467.63/469.23 c #Conflicts: 437000 | #Constraints: 32006
467.63/469.23 c #Conflicts: 438000 | #Constraints: 33006
467.63/469.23 c #Conflicts: 439000 | #Constraints: 34006
467.63/469.23 c #Conflicts: 440000 | #Constraints: 35006
467.63/469.23 c #Conflicts: 441000 | #Constraints: 36006
467.63/469.23 c #Conflicts: 442000 | #Constraints: 37006
467.63/469.23 c #Conflicts: 443000 | #Constraints: 38006
467.63/469.23 c #Conflicts: 444000 | #Constraints: 39006
467.63/469.23 c #Conflicts: 445000 | #Constraints: 40006
467.63/469.23 c INPROCESSING
467.63/469.23 c GARBAGE COLLECT
467.63/469.23 c rational objective 92
583.08/585.05 c #Conflicts: 446000 | #Constraints: 24348
583.08/585.05 c #Conflicts: 447000 | #Constraints: 25348
583.08/585.05 c #Conflicts: 448000 | #Constraints: 26348
583.08/585.05 c #Conflicts: 449000 | #Constraints: 27348
583.08/585.05 c #Conflicts: 450000 | #Constraints: 28348
583.08/585.05 c #Conflicts: 451000 | #Constraints: 29348
583.08/585.05 c #Conflicts: 452000 | #Constraints: 30348
583.08/585.05 c #Conflicts: 453000 | #Constraints: 31348
583.08/585.05 c #Conflicts: 454000 | #Constraints: 32348
583.08/585.05 c #Conflicts: 455000 | #Constraints: 33348
583.08/585.05 c #Conflicts: 456000 | #Constraints: 34348
583.08/585.05 c #Conflicts: 457000 | #Constraints: 35348
583.08/585.05 c #Conflicts: 458000 | #Constraints: 36348
583.08/585.05 c #Conflicts: 459000 | #Constraints: 37348
583.08/585.05 c #Conflicts: 460000 | #Constraints: 38348
583.08/585.05 c INPROCESSING
583.08/585.05 c GARBAGE COLLECT
583.08/585.05 c #Conflicts: 461000 | #Constraints: 23553
583.08/585.05 c #Conflicts: 462000 | #Constraints: 24553
583.08/585.05 c #Conflicts: 463000 | #Constraints: 25553
583.08/585.05 c #Conflicts: 464000 | #Constraints: 26553
583.08/585.05 c #Conflicts: 465000 | #Constraints: 27553
583.08/585.05 c #Conflicts: 466000 | #Constraints: 28553
583.08/585.05 c #Conflicts: 467000 | #Constraints: 29553
583.08/585.05 c #Conflicts: 468000 | #Constraints: 30553
583.08/585.05 c #Conflicts: 469000 | #Constraints: 31553
583.08/585.05 c #Conflicts: 470000 | #Constraints: 32553
583.08/585.05 c #Conflicts: 471000 | #Constraints: 33553
583.08/585.05 c #Conflicts: 472000 | #Constraints: 34553
583.08/585.05 c #Conflicts: 473000 | #Constraints: 35553
583.08/585.05 c #Conflicts: 474000 | #Constraints: 36553
583.08/585.05 c #Conflicts: 475000 | #Constraints: 37553
583.08/585.05 c #Conflicts: 476000 | #Constraints: 38553
583.08/585.05 c #Conflicts: 477000 | #Constraints: 39553
583.08/585.05 c #Conflicts: 478000 | #Constraints: 40553
583.08/585.05 c #Conflicts: 479000 | #Constraints: 41553
583.08/585.05 c #Conflicts: 480000 | #Constraints: 42553
583.08/585.05 c #Conflicts: 481000 | #Constraints: 43553
583.08/585.05 c #Conflicts: 482000 | #Constraints: 44553
583.08/585.05 c #Conflicts: 483000 | #Constraints: 45553
583.08/585.05 c #Conflicts: 484000 | #Constraints: 46553
583.08/585.05 c #Conflicts: 485000 | #Constraints: 47553
583.08/585.05 c #Conflicts: 486000 | #Constraints: 48553
583.08/585.05 c #Conflicts: 487000 | #Constraints: 49553
583.08/585.05 c #Conflicts: 488000 | #Constraints: 50553
583.08/585.05 c #Conflicts: 489000 | #Constraints: 51553
583.08/585.05 c #Conflicts: 490000 | #Constraints: 52553
583.08/585.05 c #Conflicts: 491000 | #Constraints: 53553
583.08/585.05 c #Conflicts: 492000 | #Constraints: 54553
583.08/585.05 c #Conflicts: 493000 | #Constraints: 55553
583.08/585.05 c #Conflicts: 494000 | #Constraints: 56553
583.08/585.05 c #Conflicts: 495000 | #Constraints: 57553
583.08/585.05 c #Conflicts: 496000 | #Constraints: 58553
583.08/585.05 c #Conflicts: 497000 | #Constraints: 59553
583.08/585.05 c #Conflicts: 498000 | #Constraints: 60553
583.08/585.05 c #Conflicts: 499000 | #Constraints: 61553
583.08/585.05 c #Conflicts: 500000 | #Constraints: 62553
583.08/585.05 c #Conflicts: 501000 | #Constraints: 63553
583.08/585.05 c #Conflicts: 502000 | #Constraints: 64553
583.08/585.05 c #Conflicts: 503000 | #Constraints: 65553
583.08/585.05 c #Conflicts: 504000 | #Constraints: 66553
583.08/585.05 c #Conflicts: 505000 | #Constraints: 67553
583.08/585.05 c #Conflicts: 506000 | #Constraints: 68553
583.08/585.05 c #Conflicts: 507000 | #Constraints: 69553
583.08/585.05 c #Conflicts: 508000 | #Constraints: 70553
583.08/585.05 c #Conflicts: 509000 | #Constraints: 71553
583.08/585.05 c #Conflicts: 510000 | #Constraints: 72553
583.08/585.05 c #Conflicts: 511000 | #Constraints: 73553
583.08/585.05 c #Conflicts: 512000 | #Constraints: 74553
583.08/585.05 c #Conflicts: 513000 | #Constraints: 75553
583.08/585.05 c #Conflicts: 514000 | #Constraints: 76553
583.08/585.05 c INPROCESSING
583.08/585.05 c GARBAGE COLLECT
583.08/585.05 c #Conflicts: 515000 | #Constraints: 42336
583.08/585.05 c #Conflicts: 516000 | #Constraints: 43336
583.08/585.05 c #Conflicts: 517000 | #Constraints: 44336
583.08/585.05 c #Conflicts: 518000 | #Constraints: 45336
583.08/585.05 c #Conflicts: 519000 | #Constraints: 46336
583.08/585.05 c #Conflicts: 520000 | #Constraints: 47336
583.08/585.05 c #Conflicts: 521000 | #Constraints: 48336
583.08/585.05 c #Conflicts: 522000 | #Constraints: 49336
583.08/585.05 c #Conflicts: 523000 | #Constraints: 50336
631.44/633.50 c #Conflicts: 524000 | #Constraints: 51336
631.44/633.50 c #Conflicts: 525000 | #Constraints: 52336
631.44/633.50 c #Conflicts: 526000 | #Constraints: 53336
631.44/633.50 c #Conflicts: 527000 | #Constraints: 54336
631.44/633.50 c #Conflicts: 528000 | #Constraints: 55336
631.44/633.50 c #Conflicts: 529000 | #Constraints: 56336
631.44/633.50 c #Conflicts: 530000 | #Constraints: 57336
631.44/633.50 c #Conflicts: 531000 | #Constraints: 58336
631.44/633.50 c INPROCESSING
631.44/633.50 c GARBAGE COLLECT
631.44/633.50 c #Conflicts: 532000 | #Constraints: 33665
631.44/633.50 c #Conflicts: 533000 | #Constraints: 34665
631.44/633.50 c #Conflicts: 534000 | #Constraints: 35665
631.44/633.50 c #Conflicts: 535000 | #Constraints: 36665
631.44/633.50 c #Conflicts: 536000 | #Constraints: 37665
631.44/633.50 c #Conflicts: 537000 | #Constraints: 38665
631.44/633.50 c #Conflicts: 538000 | #Constraints: 39665
631.44/633.50 c #Conflicts: 539000 | #Constraints: 40665
631.44/633.50 c #Conflicts: 540000 | #Constraints: 41665
631.44/633.50 c #Conflicts: 541000 | #Constraints: 42665
631.44/633.50 c #Conflicts: 542000 | #Constraints: 43665
631.44/633.50 c #Conflicts: 543000 | #Constraints: 44665
631.44/633.50 c #Conflicts: 544000 | #Constraints: 45665
631.44/633.50 c #Conflicts: 545000 | #Constraints: 46665
631.44/633.50 c #Conflicts: 546000 | #Constraints: 47665
631.44/633.50 c #Conflicts: 547000 | #Constraints: 48665
631.44/633.50 c INPROCESSING
631.44/633.50 c GARBAGE COLLECT
631.44/633.50 c #Conflicts: 548000 | #Constraints: 28590
631.44/633.50 c #Conflicts: 549000 | #Constraints: 29590
631.44/633.50 c #Conflicts: 550000 | #Constraints: 30590
631.44/633.50 c #Conflicts: 551000 | #Constraints: 31590
631.44/633.50 c #Conflicts: 552000 | #Constraints: 32590
631.44/633.50 c #Conflicts: 553000 | #Constraints: 33590
631.44/633.50 c #Conflicts: 554000 | #Constraints: 34590
631.44/633.50 c #Conflicts: 555000 | #Constraints: 35590
631.44/633.50 c #Conflicts: 556000 | #Constraints: 36590
631.44/633.50 c #Conflicts: 557000 | #Constraints: 37590
631.44/633.50 c #Conflicts: 558000 | #Constraints: 38590
631.44/633.50 c #Conflicts: 559000 | #Constraints: 39590
631.44/633.50 c #Conflicts: 560000 | #Constraints: 40590
631.44/633.50 c #Conflicts: 561000 | #Constraints: 41590
631.44/633.50 c #Conflicts: 562000 | #Constraints: 42590
631.44/633.50 c #Conflicts: 563000 | #Constraints: 43590
631.44/633.50 c #Conflicts: 564000 | #Constraints: 44590
631.44/633.50 c INPROCESSING
631.44/633.50 c GARBAGE COLLECT
631.44/633.50 c rational objective 92
654.27/656.44 c #Conflicts: 565000 | #Constraints: 26829
654.27/656.44 c #Conflicts: 566000 | #Constraints: 27829
654.27/656.44 c #Conflicts: 567000 | #Constraints: 28829
654.27/656.44 c #Conflicts: 568000 | #Constraints: 29829
654.27/656.44 c #Conflicts: 569000 | #Constraints: 30829
654.27/656.44 c #Conflicts: 570000 | #Constraints: 31829
654.27/656.44 c #Conflicts: 571000 | #Constraints: 32829
654.27/656.44 c #Conflicts: 572000 | #Constraints: 33829
654.27/656.44 c #Conflicts: 573000 | #Constraints: 34829
654.27/656.44 c #Conflicts: 574000 | #Constraints: 35829
654.27/656.44 c #Conflicts: 575000 | #Constraints: 36829
654.27/656.44 c #Conflicts: 576000 | #Constraints: 37829
654.27/656.44 c #Conflicts: 577000 | #Constraints: 38829
654.27/656.44 c #Conflicts: 578000 | #Constraints: 39829
654.27/656.44 c #Conflicts: 579000 | #Constraints: 40829
654.27/656.44 c #Conflicts: 580000 | #Constraints: 41829
654.27/656.44 c INPROCESSING
654.27/656.44 c GARBAGE COLLECT
654.27/656.44 c rational objective 92
800.97/803.59 c #Conflicts: 581000 | #Constraints: 25021
800.97/803.59 c #Conflicts: 582000 | #Constraints: 26021
800.97/803.59 c #Conflicts: 583000 | #Constraints: 27021
800.97/803.59 c #Conflicts: 584000 | #Constraints: 28021
800.97/803.59 c #Conflicts: 585000 | #Constraints: 29021
800.97/803.59 c #Conflicts: 586000 | #Constraints: 30021
800.97/803.59 c #Conflicts: 587000 | #Constraints: 31021
800.97/803.59 c #Conflicts: 588000 | #Constraints: 32021
800.97/803.59 c #Conflicts: 589000 | #Constraints: 33021
800.97/803.59 c #Conflicts: 590000 | #Constraints: 34021
800.97/803.59 c #Conflicts: 591000 | #Constraints: 35021
800.97/803.59 c #Conflicts: 592000 | #Constraints: 36021
800.97/803.59 c #Conflicts: 593000 | #Constraints: 37021
800.97/803.59 c #Conflicts: 594000 | #Constraints: 38021
800.97/803.59 c #Conflicts: 595000 | #Constraints: 39021
800.97/803.59 c #Conflicts: 596000 | #Constraints: 40021
800.97/803.59 c #Conflicts: 597000 | #Constraints: 41021
800.97/803.59 c #Conflicts: 598000 | #Constraints: 42021
800.97/803.59 c #Conflicts: 599000 | #Constraints: 43021
800.97/803.59 c #Conflicts: 600000 | #Constraints: 44021
800.97/803.59 c #Conflicts: 601000 | #Constraints: 45021
800.97/803.59 c #Conflicts: 602000 | #Constraints: 46022
800.97/803.59 c #Conflicts: 603000 | #Constraints: 47022
800.97/803.59 c #Conflicts: 604000 | #Constraints: 48022
800.97/803.59 c #Conflicts: 605000 | #Constraints: 49022
800.97/803.59 c #Conflicts: 606000 | #Constraints: 50022
800.97/803.59 c #Conflicts: 607000 | #Constraints: 51022
800.97/803.59 c #Conflicts: 608000 | #Constraints: 52022
800.97/803.59 c #Conflicts: 609000 | #Constraints: 53022
800.97/803.59 c #Conflicts: 610000 | #Constraints: 54022
800.97/803.59 c #Conflicts: 611000 | #Constraints: 55022
800.97/803.59 c #Conflicts: 612000 | #Constraints: 56022
800.97/803.59 c #Conflicts: 613000 | #Constraints: 57022
800.97/803.59 c #Conflicts: 614000 | #Constraints: 58022
800.97/803.59 c #Conflicts: 615000 | #Constraints: 59022
800.97/803.59 c #Conflicts: 616000 | #Constraints: 60022
800.97/803.59 c #Conflicts: 617000 | #Constraints: 61022
800.97/803.59 c #Conflicts: 618000 | #Constraints: 62022
800.97/803.59 c #Conflicts: 619000 | #Constraints: 63022
800.97/803.59 c #Conflicts: 620000 | #Constraints: 64022
800.97/803.59 c #Conflicts: 621000 | #Constraints: 65022
800.97/803.59 c #Conflicts: 622000 | #Constraints: 66022
800.97/803.59 c #Conflicts: 623000 | #Constraints: 67022
800.97/803.59 c #Conflicts: 624000 | #Constraints: 68022
800.97/803.59 c #Conflicts: 625000 | #Constraints: 69022
800.97/803.59 c #Conflicts: 626000 | #Constraints: 70022
800.97/803.59 c #Conflicts: 627000 | #Constraints: 71022
800.97/803.59 c #Conflicts: 628000 | #Constraints: 72022
800.97/803.59 c #Conflicts: 629000 | #Constraints: 73022
800.97/803.59 c #Conflicts: 630000 | #Constraints: 74022
800.97/803.59 c #Conflicts: 631000 | #Constraints: 75022
800.97/803.59 c #Conflicts: 632000 | #Constraints: 76022
800.97/803.59 c #Conflicts: 633000 | #Constraints: 77022
800.97/803.59 c #Conflicts: 634000 | #Constraints: 78022
800.97/803.59 c #Conflicts: 635000 | #Constraints: 79022
800.97/803.59 c #Conflicts: 636000 | #Constraints: 80022
800.97/803.59 c #Conflicts: 637000 | #Constraints: 81022
800.97/803.59 c #Conflicts: 638000 | #Constraints: 82022
800.97/803.59 c #Conflicts: 639000 | #Constraints: 83022
800.97/803.59 c #Conflicts: 640000 | #Constraints: 84022
800.97/803.59 c #Conflicts: 641000 | #Constraints: 85022
800.97/803.59 c INPROCESSING
800.97/803.59 c GARBAGE COLLECT
800.97/803.59 c #Conflicts: 642000 | #Constraints: 46557
800.97/803.59 c #Conflicts: 643000 | #Constraints: 47557
800.97/803.59 c #Conflicts: 644000 | #Constraints: 48557
800.97/803.59 c #Conflicts: 645000 | #Constraints: 49557
800.97/803.59 c #Conflicts: 646000 | #Constraints: 50557
800.97/803.59 c #Conflicts: 647000 | #Constraints: 51557
800.97/803.59 c #Conflicts: 648000 | #Constraints: 52557
800.97/803.59 c #Conflicts: 649000 | #Constraints: 53557
800.97/803.59 c #Conflicts: 650000 | #Constraints: 54557
800.97/803.59 c #Conflicts: 651000 | #Constraints: 55557
800.97/803.59 c #Conflicts: 652000 | #Constraints: 56557
800.97/803.59 c #Conflicts: 653000 | #Constraints: 57557
800.97/803.59 c #Conflicts: 654000 | #Constraints: 58557
800.97/803.59 c #Conflicts: 655000 | #Constraints: 59557
800.97/803.59 c #Conflicts: 656000 | #Constraints: 60557
800.97/803.59 c #Conflicts: 657000 | #Constraints: 61557
800.97/803.59 c #Conflicts: 658000 | #Constraints: 62557
800.97/803.59 c #Conflicts: 659000 | #Constraints: 63557
901.90/904.72 c #Conflicts: 660000 | #Constraints: 64557
901.90/904.72 c INPROCESSING
901.90/904.72 c GARBAGE COLLECT
901.90/904.72 c #Conflicts: 661000 | #Constraints: 36786
901.90/904.72 c #Conflicts: 662000 | #Constraints: 37786
901.90/904.72 c #Conflicts: 663000 | #Constraints: 38786
901.90/904.72 c #Conflicts: 664000 | #Constraints: 39786
901.90/904.72 c #Conflicts: 665000 | #Constraints: 40786
901.90/904.72 c #Conflicts: 666000 | #Constraints: 41786
901.90/904.72 c #Conflicts: 667000 | #Constraints: 42786
901.90/904.72 c #Conflicts: 668000 | #Constraints: 43786
901.90/904.72 c #Conflicts: 669000 | #Constraints: 44786
901.90/904.72 c #Conflicts: 670000 | #Constraints: 45786
901.90/904.72 c #Conflicts: 671000 | #Constraints: 46786
901.90/904.72 c #Conflicts: 672000 | #Constraints: 47786
901.90/904.72 c #Conflicts: 673000 | #Constraints: 48786
901.90/904.72 c #Conflicts: 674000 | #Constraints: 49786
901.90/904.72 c #Conflicts: 675000 | #Constraints: 50786
901.90/904.72 c #Conflicts: 676000 | #Constraints: 51786
901.90/904.72 c #Conflicts: 677000 | #Constraints: 52786
901.90/904.72 c #Conflicts: 678000 | #Constraints: 53786
901.90/904.72 c INPROCESSING
901.90/904.72 c GARBAGE COLLECT
901.90/904.72 c #Conflicts: 679000 | #Constraints: 31278
901.90/904.72 c #Conflicts: 680000 | #Constraints: 32278
901.90/904.72 c #Conflicts: 681000 | #Constraints: 33278
901.90/904.72 c #Conflicts: 682000 | #Constraints: 34278
901.90/904.72 c #Conflicts: 683000 | #Constraints: 35278
901.90/904.72 c #Conflicts: 684000 | #Constraints: 36278
901.90/904.72 c #Conflicts: 685000 | #Constraints: 37278
901.90/904.72 c #Conflicts: 686000 | #Constraints: 38278
901.90/904.72 c #Conflicts: 687000 | #Constraints: 39278
901.90/904.72 c #Conflicts: 688000 | #Constraints: 40278
901.90/904.72 c #Conflicts: 689000 | #Constraints: 41278
901.90/904.72 c #Conflicts: 690000 | #Constraints: 42278
901.90/904.72 c #Conflicts: 691000 | #Constraints: 43278
901.90/904.72 c #Conflicts: 692000 | #Constraints: 44278
901.90/904.72 c #Conflicts: 693000 | #Constraints: 45278
901.90/904.72 c #Conflicts: 694000 | #Constraints: 46278
901.90/904.72 c #Conflicts: 695000 | #Constraints: 47278
901.90/904.72 c #Conflicts: 696000 | #Constraints: 48278
901.90/904.72 c INPROCESSING
901.90/904.72 c GARBAGE COLLECT
901.90/904.72 c #Conflicts: 697000 | #Constraints: 28260
901.90/904.72 c #Conflicts: 698000 | #Constraints: 29260
901.90/904.72 c #Conflicts: 699000 | #Constraints: 30260
901.90/904.72 c #Conflicts: 700000 | #Constraints: 31260
901.90/904.72 c #Conflicts: 701000 | #Constraints: 32260
901.90/904.72 c #Conflicts: 702000 | #Constraints: 33260
901.90/904.72 c #Conflicts: 703000 | #Constraints: 34260
901.90/904.72 c #Conflicts: 704000 | #Constraints: 35260
901.90/904.72 c #Conflicts: 705000 | #Constraints: 36260
901.90/904.72 c #Conflicts: 706000 | #Constraints: 37260
901.90/904.72 c #Conflicts: 707000 | #Constraints: 38260
901.90/904.72 c #Conflicts: 708000 | #Constraints: 39260
901.90/904.72 c #Conflicts: 709000 | #Constraints: 40260
901.90/904.72 c #Conflicts: 710000 | #Constraints: 41260
901.90/904.72 c #Conflicts: 711000 | #Constraints: 42260
901.90/904.72 c #Conflicts: 712000 | #Constraints: 43260
901.90/904.72 c #Conflicts: 713000 | #Constraints: 44260
901.90/904.72 c #Conflicts: 714000 | #Constraints: 45260
901.90/904.72 c #Conflicts: 715000 | #Constraints: 46260
901.90/904.72 c INPROCESSING
901.90/904.72 c GARBAGE COLLECT
901.90/904.72 c #Conflicts: 716000 | #Constraints: 27446
901.90/904.72 c #Conflicts: 717000 | #Constraints: 28446
901.90/904.72 c #Conflicts: 718000 | #Constraints: 29446
901.90/904.72 c #Conflicts: 719000 | #Constraints: 30446
901.90/904.72 c #Conflicts: 720000 | #Constraints: 31446
901.90/904.72 c #Conflicts: 721000 | #Constraints: 32446
901.90/904.72 c #Conflicts: 722000 | #Constraints: 33446
901.90/904.72 c #Conflicts: 723000 | #Constraints: 34446
901.90/904.72 c #Conflicts: 724000 | #Constraints: 35446
901.90/904.72 c #Conflicts: 725000 | #Constraints: 36446
901.90/904.72 c #Conflicts: 726000 | #Constraints: 37446
901.90/904.72 c #Conflicts: 727000 | #Constraints: 38446
901.90/904.72 c #Conflicts: 728000 | #Constraints: 39446
901.90/904.72 c #Conflicts: 729000 | #Constraints: 40446
901.90/904.72 c #Conflicts: 730000 | #Constraints: 41446
901.90/904.72 c #Conflicts: 731000 | #Constraints: 42446
901.90/904.72 c #Conflicts: 732000 | #Constraints: 43446
901.90/904.72 c #Conflicts: 733000 | #Constraints: 44446
901.90/904.72 c #Conflicts: 734000 | #Constraints: 45446
901.90/904.72 c #Conflicts: 735000 | #Constraints: 46446
1060.37/1063.63 c #Conflicts: 736000 | #Constraints: 47446
1060.37/1063.63 c #Conflicts: 737000 | #Constraints: 48446
1060.37/1063.63 c #Conflicts: 738000 | #Constraints: 49446
1060.37/1063.63 c #Conflicts: 739000 | #Constraints: 50446
1060.37/1063.63 c #Conflicts: 740000 | #Constraints: 51446
1060.37/1063.63 c #Conflicts: 741000 | #Constraints: 52446
1060.37/1063.63 c #Conflicts: 742000 | #Constraints: 53446
1060.37/1063.63 c #Conflicts: 743000 | #Constraints: 54446
1060.37/1063.63 c #Conflicts: 744000 | #Constraints: 55446
1060.37/1063.63 c #Conflicts: 745000 | #Constraints: 56446
1060.37/1063.63 c #Conflicts: 746000 | #Constraints: 57446
1060.37/1063.63 c #Conflicts: 747000 | #Constraints: 58446
1060.37/1063.63 c #Conflicts: 748000 | #Constraints: 59446
1060.37/1063.63 c #Conflicts: 749000 | #Constraints: 60446
1060.37/1063.63 c #Conflicts: 750000 | #Constraints: 61446
1060.37/1063.63 c #Conflicts: 751000 | #Constraints: 62446
1060.37/1063.63 c #Conflicts: 752000 | #Constraints: 63446
1060.37/1063.63 c #Conflicts: 753000 | #Constraints: 64446
1060.37/1063.63 c #Conflicts: 754000 | #Constraints: 65446
1060.37/1063.63 c #Conflicts: 755000 | #Constraints: 66446
1060.37/1063.63 c #Conflicts: 756000 | #Constraints: 67446
1060.37/1063.63 c #Conflicts: 757000 | #Constraints: 68446
1060.37/1063.63 c #Conflicts: 758000 | #Constraints: 69446
1060.37/1063.63 c #Conflicts: 759000 | #Constraints: 70446
1060.37/1063.63 c #Conflicts: 760000 | #Constraints: 71446
1060.37/1063.63 c #Conflicts: 761000 | #Constraints: 72446
1060.37/1063.63 c #Conflicts: 762000 | #Constraints: 73446
1060.37/1063.63 c #Conflicts: 763000 | #Constraints: 74446
1060.37/1063.63 c #Conflicts: 764000 | #Constraints: 75446
1060.37/1063.63 c #Conflicts: 765000 | #Constraints: 76446
1060.37/1063.63 c #Conflicts: 766000 | #Constraints: 77446
1060.37/1063.63 c #Conflicts: 767000 | #Constraints: 78446
1060.37/1063.63 c #Conflicts: 768000 | #Constraints: 79446
1060.37/1063.63 c #Conflicts: 769000 | #Constraints: 80446
1060.37/1063.63 c #Conflicts: 770000 | #Constraints: 81446
1060.37/1063.63 c #Conflicts: 771000 | #Constraints: 82446
1060.37/1063.63 c #Conflicts: 772000 | #Constraints: 83446
1060.37/1063.63 c #Conflicts: 773000 | #Constraints: 84446
1060.37/1063.63 c #Conflicts: 774000 | #Constraints: 85446
1060.37/1063.63 c #Conflicts: 775000 | #Constraints: 86446
1060.37/1063.63 c #Conflicts: 776000 | #Constraints: 87446
1060.37/1063.63 c #Conflicts: 777000 | #Constraints: 88446
1060.37/1063.63 c #Conflicts: 778000 | #Constraints: 89447
1060.37/1063.63 c #Conflicts: 779000 | #Constraints: 90447
1060.37/1063.63 c #Conflicts: 780000 | #Constraints: 91447
1060.37/1063.63 c #Conflicts: 781000 | #Constraints: 92447
1060.37/1063.63 c #Conflicts: 782000 | #Constraints: 93447
1060.37/1063.63 c #Conflicts: 783000 | #Constraints: 94447
1060.37/1063.63 c INPROCESSING
1060.37/1063.63 c GARBAGE COLLECT
1060.37/1063.63 c #Conflicts: 784000 | #Constraints: 51814
1060.37/1063.63 c #Conflicts: 785000 | #Constraints: 52814
1060.37/1063.63 c #Conflicts: 786000 | #Constraints: 53814
1060.37/1063.63 c #Conflicts: 787000 | #Constraints: 54814
1060.37/1063.63 c #Conflicts: 788000 | #Constraints: 55814
1060.37/1063.63 c #Conflicts: 789000 | #Constraints: 56814
1060.37/1063.63 c #Conflicts: 790000 | #Constraints: 57814
1060.37/1063.63 c #Conflicts: 791000 | #Constraints: 58814
1060.37/1063.63 c #Conflicts: 792000 | #Constraints: 59814
1060.37/1063.63 c #Conflicts: 793000 | #Constraints: 60814
1060.37/1063.63 c #Conflicts: 794000 | #Constraints: 61814
1060.37/1063.63 c #Conflicts: 795000 | #Constraints: 62814
1060.37/1063.63 c #Conflicts: 796000 | #Constraints: 63814
1060.37/1063.63 c #Conflicts: 797000 | #Constraints: 64814
1060.37/1063.63 c #Conflicts: 798000 | #Constraints: 65814
1060.37/1063.63 c #Conflicts: 799000 | #Constraints: 66814
1060.37/1063.63 c #Conflicts: 800000 | #Constraints: 67814
1060.37/1063.63 c #Conflicts: 801000 | #Constraints: 68814
1060.37/1063.63 c #Conflicts: 802000 | #Constraints: 69814
1060.37/1063.63 c #Conflicts: 803000 | #Constraints: 70814
1060.37/1063.63 c INPROCESSING
1060.37/1063.63 c GARBAGE COLLECT
1060.37/1063.63 c #Conflicts: 804000 | #Constraints: 39880
1060.37/1063.63 c #Conflicts: 805000 | #Constraints: 40880
1060.37/1063.63 c #Conflicts: 806000 | #Constraints: 41880
1060.37/1063.63 c #Conflicts: 807000 | #Constraints: 42880
1060.37/1063.63 c #Conflicts: 808000 | #Constraints: 43880
1060.37/1063.63 c #Conflicts: 809000 | #Constraints: 44880
1060.37/1063.63 c #Conflicts: 810000 | #Constraints: 45880
1060.37/1063.63 c #Conflicts: 811000 | #Constraints: 46880
1060.37/1063.63 c #Conflicts: 812000 | #Constraints: 47880
1136.45/1139.92 c #Conflicts: 813000 | #Constraints: 48880
1136.45/1139.92 c #Conflicts: 814000 | #Constraints: 49880
1136.45/1139.92 c #Conflicts: 815000 | #Constraints: 50880
1136.45/1139.92 c #Conflicts: 816000 | #Constraints: 51880
1136.45/1139.92 c #Conflicts: 817000 | #Constraints: 52880
1136.45/1139.92 c #Conflicts: 818000 | #Constraints: 53880
1136.45/1139.92 c #Conflicts: 819000 | #Constraints: 54880
1136.45/1139.92 c #Conflicts: 820000 | #Constraints: 55880
1136.45/1139.92 c #Conflicts: 821000 | #Constraints: 56880
1136.45/1139.92 c #Conflicts: 822000 | #Constraints: 57880
1136.45/1139.92 c #Conflicts: 823000 | #Constraints: 58880
1136.45/1139.92 c INPROCESSING
1136.45/1139.92 c GARBAGE COLLECT
1136.45/1139.92 c #Conflicts: 824000 | #Constraints: 33919
1136.45/1139.92 c #Conflicts: 825000 | #Constraints: 34919
1136.45/1139.92 c #Conflicts: 826000 | #Constraints: 35919
1136.45/1139.92 c #Conflicts: 827000 | #Constraints: 36919
1136.45/1139.92 c #Conflicts: 828000 | #Constraints: 37919
1136.45/1139.92 c #Conflicts: 829000 | #Constraints: 38919
1136.45/1139.92 c #Conflicts: 830000 | #Constraints: 39919
1136.45/1139.92 c #Conflicts: 831000 | #Constraints: 40919
1136.45/1139.92 c #Conflicts: 832000 | #Constraints: 41919
1136.45/1139.92 c #Conflicts: 833000 | #Constraints: 42919
1136.45/1139.92 c #Conflicts: 834000 | #Constraints: 43919
1136.45/1139.92 c #Conflicts: 835000 | #Constraints: 44919
1136.45/1139.92 c #Conflicts: 836000 | #Constraints: 45919
1136.45/1139.92 c #Conflicts: 837000 | #Constraints: 46919
1136.45/1139.92 c #Conflicts: 838000 | #Constraints: 47919
1136.45/1139.92 c #Conflicts: 839000 | #Constraints: 48919
1136.45/1139.92 c #Conflicts: 840000 | #Constraints: 49919
1136.45/1139.92 c #Conflicts: 841000 | #Constraints: 50919
1136.45/1139.92 c #Conflicts: 842000 | #Constraints: 51919
1136.45/1139.92 c #Conflicts: 843000 | #Constraints: 52919
1136.45/1139.92 c INPROCESSING
1136.45/1139.92 c GARBAGE COLLECT
1136.45/1139.92 c #Conflicts: 844000 | #Constraints: 30776
1136.45/1139.92 c #Conflicts: 845000 | #Constraints: 31776
1136.45/1139.92 c #Conflicts: 846000 | #Constraints: 32776
1136.45/1139.92 c #Conflicts: 847000 | #Constraints: 33776
1136.45/1139.92 c #Conflicts: 848000 | #Constraints: 34776
1136.45/1139.92 c #Conflicts: 849000 | #Constraints: 35776
1136.45/1139.92 c #Conflicts: 850000 | #Constraints: 36776
1136.45/1139.92 c #Conflicts: 851000 | #Constraints: 37776
1136.45/1139.92 c #Conflicts: 852000 | #Constraints: 38776
1136.45/1139.92 c #Conflicts: 853000 | #Constraints: 39776
1136.45/1139.92 c #Conflicts: 854000 | #Constraints: 40776
1136.45/1139.92 c #Conflicts: 855000 | #Constraints: 41776
1136.45/1139.92 c #Conflicts: 856000 | #Constraints: 42776
1136.45/1139.92 c #Conflicts: 857000 | #Constraints: 43776
1136.45/1139.92 c #Conflicts: 858000 | #Constraints: 44776
1136.45/1139.92 c #Conflicts: 859000 | #Constraints: 45776
1136.45/1139.92 c #Conflicts: 860000 | #Constraints: 46776
1136.45/1139.92 c #Conflicts: 861000 | #Constraints: 47776
1136.45/1139.92 c #Conflicts: 862000 | #Constraints: 48776
1136.45/1139.92 c #Conflicts: 863000 | #Constraints: 49776
1136.45/1139.92 c #Conflicts: 864000 | #Constraints: 50776
1136.45/1139.92 c INPROCESSING
1136.45/1139.92 c GARBAGE COLLECT
1136.45/1139.92 c rational objective 92
1163.98/1167.58 c #Conflicts: 865000 | #Constraints: 29796
1163.98/1167.58 c #Conflicts: 866000 | #Constraints: 30796
1163.98/1167.58 c #Conflicts: 867000 | #Constraints: 31796
1163.98/1167.58 c #Conflicts: 868000 | #Constraints: 32796
1163.98/1167.58 c #Conflicts: 869000 | #Constraints: 33796
1163.98/1167.58 c #Conflicts: 870000 | #Constraints: 34796
1163.98/1167.58 c #Conflicts: 871000 | #Constraints: 35796
1163.98/1167.58 c #Conflicts: 872000 | #Constraints: 36796
1163.98/1167.58 c #Conflicts: 873000 | #Constraints: 37796
1163.98/1167.58 c #Conflicts: 874000 | #Constraints: 38796
1163.98/1167.58 c #Conflicts: 875000 | #Constraints: 39796
1163.98/1167.58 c #Conflicts: 876000 | #Constraints: 40796
1163.98/1167.58 c #Conflicts: 877000 | #Constraints: 41796
1163.98/1167.58 c #Conflicts: 878000 | #Constraints: 42796
1163.98/1167.58 c #Conflicts: 879000 | #Constraints: 43796
1163.98/1167.58 c #Conflicts: 880000 | #Constraints: 44796
1163.98/1167.58 c #Conflicts: 881000 | #Constraints: 45796
1163.98/1167.58 c #Conflicts: 882000 | #Constraints: 46796
1163.98/1167.58 c #Conflicts: 883000 | #Constraints: 47796
1163.98/1167.58 c #Conflicts: 884000 | #Constraints: 48796
1163.98/1167.58 c #Conflicts: 885000 | #Constraints: 49796
1163.98/1167.58 c INPROCESSING
1163.98/1167.58 c GARBAGE COLLECT
1163.98/1167.58 c rational objective 92
1358.76/1362.84 c #Conflicts: 886000 | #Constraints: 29451
1358.76/1362.84 c #Conflicts: 887000 | #Constraints: 30451
1358.76/1362.84 c #Conflicts: 888000 | #Constraints: 31451
1358.76/1362.84 c #Conflicts: 889000 | #Constraints: 32451
1358.76/1362.84 c #Conflicts: 890000 | #Constraints: 33451
1358.76/1362.84 c #Conflicts: 891000 | #Constraints: 34451
1358.76/1362.84 c #Conflicts: 892000 | #Constraints: 35451
1358.76/1362.84 c #Conflicts: 893000 | #Constraints: 36451
1358.76/1362.84 c #Conflicts: 894000 | #Constraints: 37451
1358.76/1362.84 c #Conflicts: 895000 | #Constraints: 38451
1358.76/1362.84 c #Conflicts: 896000 | #Constraints: 39451
1358.76/1362.84 c #Conflicts: 897000 | #Constraints: 40451
1358.76/1362.84 c #Conflicts: 898000 | #Constraints: 41451
1358.76/1362.84 c #Conflicts: 899000 | #Constraints: 42451
1358.76/1362.84 c #Conflicts: 900000 | #Constraints: 43451
1358.76/1362.84 c #Conflicts: 901000 | #Constraints: 44451
1358.76/1362.84 c #Conflicts: 902000 | #Constraints: 45451
1358.76/1362.84 c #Conflicts: 903000 | #Constraints: 46451
1358.76/1362.84 c #Conflicts: 904000 | #Constraints: 47451
1358.76/1362.84 c #Conflicts: 905000 | #Constraints: 48451
1358.76/1362.84 c #Conflicts: 906000 | #Constraints: 49451
1358.76/1362.84 c #Conflicts: 907000 | #Constraints: 50451
1358.76/1362.84 c #Conflicts: 908000 | #Constraints: 51451
1358.76/1362.84 c #Conflicts: 909000 | #Constraints: 52451
1358.76/1362.84 c #Conflicts: 910000 | #Constraints: 53451
1358.76/1362.84 c #Conflicts: 911000 | #Constraints: 54451
1358.76/1362.84 c #Conflicts: 912000 | #Constraints: 55451
1358.76/1362.84 c #Conflicts: 913000 | #Constraints: 56451
1358.76/1362.84 c #Conflicts: 914000 | #Constraints: 57451
1358.76/1362.84 c #Conflicts: 915000 | #Constraints: 58451
1358.76/1362.84 c #Conflicts: 916000 | #Constraints: 59451
1358.76/1362.84 c #Conflicts: 917000 | #Constraints: 60451
1358.76/1362.84 c #Conflicts: 918000 | #Constraints: 61451
1358.76/1362.84 c #Conflicts: 919000 | #Constraints: 62451
1358.76/1362.84 c #Conflicts: 920000 | #Constraints: 63451
1358.76/1362.84 c #Conflicts: 921000 | #Constraints: 64451
1358.76/1362.84 c #Conflicts: 922000 | #Constraints: 65451
1358.76/1362.84 c #Conflicts: 923000 | #Constraints: 66451
1358.76/1362.84 c #Conflicts: 924000 | #Constraints: 67451
1358.76/1362.84 c #Conflicts: 925000 | #Constraints: 68451
1358.76/1362.84 c #Conflicts: 926000 | #Constraints: 69451
1358.76/1362.84 c #Conflicts: 927000 | #Constraints: 70451
1358.76/1362.84 c #Conflicts: 928000 | #Constraints: 71451
1358.76/1362.84 c #Conflicts: 929000 | #Constraints: 72451
1358.76/1362.84 c #Conflicts: 930000 | #Constraints: 73451
1358.76/1362.84 c #Conflicts: 931000 | #Constraints: 74451
1358.76/1362.84 c #Conflicts: 932000 | #Constraints: 75451
1358.76/1362.84 c #Conflicts: 933000 | #Constraints: 76451
1358.76/1362.84 c #Conflicts: 934000 | #Constraints: 77451
1358.76/1362.84 c #Conflicts: 935000 | #Constraints: 78451
1358.76/1362.84 c #Conflicts: 936000 | #Constraints: 79451
1358.76/1362.84 c #Conflicts: 937000 | #Constraints: 80451
1358.76/1362.84 c #Conflicts: 938000 | #Constraints: 81451
1358.76/1362.84 c #Conflicts: 939000 | #Constraints: 82451
1358.76/1362.84 c #Conflicts: 940000 | #Constraints: 83451
1358.76/1362.84 c #Conflicts: 941000 | #Constraints: 84451
1358.76/1362.84 c #Conflicts: 942000 | #Constraints: 85451
1358.76/1362.84 c #Conflicts: 943000 | #Constraints: 86451
1358.76/1362.84 c #Conflicts: 944000 | #Constraints: 87451
1358.76/1362.84 c #Conflicts: 945000 | #Constraints: 88451
1358.76/1362.84 c #Conflicts: 946000 | #Constraints: 89451
1358.76/1362.84 c #Conflicts: 947000 | #Constraints: 90451
1358.76/1362.84 c #Conflicts: 948000 | #Constraints: 91451
1358.76/1362.84 c #Conflicts: 949000 | #Constraints: 92451
1358.76/1362.84 c #Conflicts: 950000 | #Constraints: 93451
1358.76/1362.84 c #Conflicts: 951000 | #Constraints: 94451
1358.76/1362.84 c #Conflicts: 952000 | #Constraints: 95451
1358.76/1362.84 c #Conflicts: 953000 | #Constraints: 96451
1358.76/1362.84 c #Conflicts: 954000 | #Constraints: 97451
1358.76/1362.84 c #Conflicts: 955000 | #Constraints: 98451
1358.76/1362.84 c #Conflicts: 956000 | #Constraints: 99451
1358.76/1362.84 c #Conflicts: 957000 | #Constraints: 100451
1358.76/1362.84 c #Conflicts: 958000 | #Constraints: 101451
1358.76/1362.84 c #Conflicts: 959000 | #Constraints: 102451
1358.76/1362.84 c #Conflicts: 960000 | #Constraints: 103451
1358.76/1362.84 c INPROCESSING
1358.76/1362.84 c GARBAGE COLLECT
1358.76/1362.84 c #Conflicts: 961000 | #Constraints: 56318
1358.76/1362.84 c #Conflicts: 962000 | #Constraints: 57318
1358.76/1362.84 c #Conflicts: 963000 | #Constraints: 58318
1358.76/1362.84 c #Conflicts: 964000 | #Constraints: 59318
1473.54/1477.98 c #Conflicts: 965000 | #Constraints: 60318
1473.54/1477.98 c #Conflicts: 966000 | #Constraints: 61318
1473.54/1477.98 c #Conflicts: 967000 | #Constraints: 62318
1473.54/1477.98 c #Conflicts: 968000 | #Constraints: 63318
1473.54/1477.98 c #Conflicts: 969000 | #Constraints: 64318
1473.54/1477.98 c #Conflicts: 970000 | #Constraints: 65318
1473.54/1477.98 c #Conflicts: 971000 | #Constraints: 66318
1473.54/1477.98 c #Conflicts: 972000 | #Constraints: 67318
1473.54/1477.98 c #Conflicts: 973000 | #Constraints: 68318
1473.54/1477.98 c #Conflicts: 974000 | #Constraints: 69318
1473.54/1477.98 c #Conflicts: 975000 | #Constraints: 70318
1473.54/1477.98 c #Conflicts: 976000 | #Constraints: 71318
1473.54/1477.98 c #Conflicts: 977000 | #Constraints: 72318
1473.54/1477.98 c #Conflicts: 978000 | #Constraints: 73318
1473.54/1477.98 c #Conflicts: 979000 | #Constraints: 74318
1473.54/1477.98 c #Conflicts: 980000 | #Constraints: 75318
1473.54/1477.98 c #Conflicts: 981000 | #Constraints: 76318
1473.54/1477.98 c #Conflicts: 982000 | #Constraints: 77318
1473.54/1477.98 c INPROCESSING
1473.54/1477.98 c GARBAGE COLLECT
1473.54/1477.98 c #Conflicts: 983000 | #Constraints: 43194
1473.54/1477.99 c #Conflicts: 984000 | #Constraints: 44194
1473.54/1477.99 c #Conflicts: 985000 | #Constraints: 45194
1473.54/1477.99 c #Conflicts: 986000 | #Constraints: 46194
1473.54/1477.99 c #Conflicts: 987000 | #Constraints: 47194
1473.54/1477.99 c #Conflicts: 988000 | #Constraints: 48194
1473.54/1477.99 c #Conflicts: 989000 | #Constraints: 49194
1473.54/1477.99 c #Conflicts: 990000 | #Constraints: 50194
1473.54/1477.99 c #Conflicts: 991000 | #Constraints: 51194
1473.54/1477.99 c #Conflicts: 992000 | #Constraints: 52194
1473.54/1477.99 c #Conflicts: 993000 | #Constraints: 53194
1473.54/1477.99 c #Conflicts: 994000 | #Constraints: 54194
1473.54/1477.99 c #Conflicts: 995000 | #Constraints: 55194
1473.54/1477.99 c #Conflicts: 996000 | #Constraints: 56194
1473.54/1477.99 c #Conflicts: 997000 | #Constraints: 57194
1473.54/1477.99 c #Conflicts: 998000 | #Constraints: 58194
1473.54/1477.99 c #Conflicts: 999000 | #Constraints: 59194
1473.54/1477.99 c #Conflicts: 1000000 | #Constraints: 60194
1473.54/1477.99 c #Conflicts: 1001000 | #Constraints: 61194
1473.54/1477.99 c #Conflicts: 1002000 | #Constraints: 62194
1473.54/1477.99 c #Conflicts: 1003000 | #Constraints: 63194
1473.54/1477.99 c #Conflicts: 1004000 | #Constraints: 64194
1473.54/1477.99 c INPROCESSING
1473.54/1477.99 c GARBAGE COLLECT
1473.54/1477.99 c #Conflicts: 1005000 | #Constraints: 36536
1473.54/1477.99 c #Conflicts: 1006000 | #Constraints: 37536
1473.54/1477.99 c #Conflicts: 1007000 | #Constraints: 38536
1473.54/1477.99 c #Conflicts: 1008000 | #Constraints: 39536
1473.54/1477.99 c #Conflicts: 1009000 | #Constraints: 40536
1473.54/1477.99 c #Conflicts: 1010000 | #Constraints: 41536
1473.54/1477.99 c #Conflicts: 1011000 | #Constraints: 42536
1473.54/1477.99 c #Conflicts: 1012000 | #Constraints: 43536
1473.54/1477.99 c #Conflicts: 1013000 | #Constraints: 44536
1473.54/1477.99 c #Conflicts: 1014000 | #Constraints: 45536
1473.54/1477.99 c #Conflicts: 1015000 | #Constraints: 46536
1473.54/1477.99 c #Conflicts: 1016000 | #Constraints: 47536
1473.54/1477.99 c #Conflicts: 1017000 | #Constraints: 48536
1473.54/1477.99 c #Conflicts: 1018000 | #Constraints: 49536
1473.54/1477.99 c #Conflicts: 1019000 | #Constraints: 50536
1473.54/1477.99 c #Conflicts: 1020000 | #Constraints: 51536
1473.54/1477.99 c #Conflicts: 1021000 | #Constraints: 52536
1473.54/1477.99 c #Conflicts: 1022000 | #Constraints: 53536
1473.54/1477.99 c #Conflicts: 1023000 | #Constraints: 54536
1473.54/1477.99 c #Conflicts: 1024000 | #Constraints: 55536
1473.54/1477.99 c #Conflicts: 1025000 | #Constraints: 56536
1473.54/1477.99 c #Conflicts: 1026000 | #Constraints: 57536
1473.54/1477.99 c INPROCESSING
1473.54/1477.99 c GARBAGE COLLECT
1473.54/1477.99 c rational objective 92
1511.45/1515.90 c #Conflicts: 1027000 | #Constraints: 32865
1511.45/1515.90 c #Conflicts: 1028000 | #Constraints: 33865
1511.45/1515.90 c #Conflicts: 1029000 | #Constraints: 34865
1511.45/1515.90 c #Conflicts: 1030000 | #Constraints: 35865
1511.45/1515.90 c #Conflicts: 1031000 | #Constraints: 36865
1511.45/1515.90 c #Conflicts: 1032000 | #Constraints: 37865
1511.45/1515.90 c #Conflicts: 1033000 | #Constraints: 38865
1511.45/1515.90 c #Conflicts: 1034000 | #Constraints: 39865
1511.45/1515.90 c #Conflicts: 1035000 | #Constraints: 40865
1511.45/1515.90 c #Conflicts: 1036000 | #Constraints: 41865
1511.45/1515.90 c #Conflicts: 1037000 | #Constraints: 42865
1511.45/1515.90 c #Conflicts: 1038000 | #Constraints: 43865
1511.45/1515.90 c #Conflicts: 1039000 | #Constraints: 44865
1511.45/1515.90 c #Conflicts: 1040000 | #Constraints: 45865
1511.45/1515.90 c #Conflicts: 1041000 | #Constraints: 46865
1511.45/1515.90 c #Conflicts: 1042000 | #Constraints: 47865
1511.45/1515.90 c #Conflicts: 1043000 | #Constraints: 48865
1511.45/1515.90 c #Conflicts: 1044000 | #Constraints: 49865
1511.45/1515.90 c #Conflicts: 1045000 | #Constraints: 50865
1511.45/1515.90 c #Conflicts: 1046000 | #Constraints: 51865
1511.45/1515.90 c #Conflicts: 1047000 | #Constraints: 52865
1511.45/1515.90 c #Conflicts: 1048000 | #Constraints: 53865
1511.45/1515.90 c #Conflicts: 1049000 | #Constraints: 54865
1511.45/1515.90 c INPROCESSING
1511.45/1515.90 c GARBAGE COLLECT
1511.45/1515.90 c rational objective 92
1549.95/1554.50 c #Conflicts: 1050000 | #Constraints: 31670
1549.95/1554.50 c #Conflicts: 1051000 | #Constraints: 32670
1549.95/1554.50 c #Conflicts: 1052000 | #Constraints: 33670
1549.95/1554.50 c #Conflicts: 1053000 | #Constraints: 34670
1549.95/1554.50 c #Conflicts: 1054000 | #Constraints: 35670
1549.95/1554.50 c #Conflicts: 1055000 | #Constraints: 36670
1549.95/1554.50 c #Conflicts: 1056000 | #Constraints: 37670
1549.95/1554.50 c #Conflicts: 1057000 | #Constraints: 38670
1549.95/1554.50 c #Conflicts: 1058000 | #Constraints: 39670
1549.95/1554.50 c #Conflicts: 1059000 | #Constraints: 40670
1549.95/1554.50 c #Conflicts: 1060000 | #Constraints: 41670
1549.95/1554.50 c #Conflicts: 1061000 | #Constraints: 42670
1549.95/1554.50 c #Conflicts: 1062000 | #Constraints: 43670
1549.95/1554.50 c #Conflicts: 1063000 | #Constraints: 44670
1549.95/1554.50 c #Conflicts: 1064000 | #Constraints: 45670
1549.95/1554.50 c #Conflicts: 1065000 | #Constraints: 46670
1549.95/1554.50 c #Conflicts: 1066000 | #Constraints: 47670
1549.95/1554.50 c #Conflicts: 1067000 | #Constraints: 48670
1549.95/1554.50 c #Conflicts: 1068000 | #Constraints: 49670
1549.95/1554.50 c #Conflicts: 1069000 | #Constraints: 50670
1549.95/1554.50 c #Conflicts: 1070000 | #Constraints: 51670
1549.95/1554.50 c #Conflicts: 1071000 | #Constraints: 52670
1549.95/1554.50 c #Conflicts: 1072000 | #Constraints: 53670
1549.95/1554.50 c INPROCESSING
1549.95/1554.50 c GARBAGE COLLECT
1549.95/1554.50 c rational objective 92
1687.19/1692.18 c #Conflicts: 1073000 | #Constraints: 31247
1687.19/1692.18 c #Conflicts: 1074000 | #Constraints: 32247
1687.19/1692.18 c #Conflicts: 1075000 | #Constraints: 33247
1687.19/1692.18 c #Conflicts: 1076000 | #Constraints: 34247
1687.19/1692.18 c #Conflicts: 1077000 | #Constraints: 35247
1687.19/1692.18 c #Conflicts: 1078000 | #Constraints: 36247
1687.19/1692.18 c #Conflicts: 1079000 | #Constraints: 37247
1687.19/1692.18 c #Conflicts: 1080000 | #Constraints: 38247
1687.19/1692.18 c #Conflicts: 1081000 | #Constraints: 39247
1687.19/1692.18 c #Conflicts: 1082000 | #Constraints: 40247
1687.19/1692.18 c #Conflicts: 1083000 | #Constraints: 41247
1687.19/1692.18 c #Conflicts: 1084000 | #Constraints: 42247
1687.19/1692.18 c #Conflicts: 1085000 | #Constraints: 43247
1687.19/1692.18 c #Conflicts: 1086000 | #Constraints: 44247
1687.19/1692.18 c #Conflicts: 1087000 | #Constraints: 45247
1687.19/1692.18 c #Conflicts: 1088000 | #Constraints: 46247
1687.19/1692.18 c #Conflicts: 1089000 | #Constraints: 47247
1687.19/1692.18 c #Conflicts: 1090000 | #Constraints: 48247
1687.19/1692.18 c #Conflicts: 1091000 | #Constraints: 49247
1687.19/1692.18 c #Conflicts: 1092000 | #Constraints: 50247
1687.19/1692.18 c #Conflicts: 1093000 | #Constraints: 51247
1687.19/1692.18 c #Conflicts: 1094000 | #Constraints: 52247
1687.19/1692.18 c #Conflicts: 1095000 | #Constraints: 53247
1687.19/1692.18 c INPROCESSING
1687.19/1692.18 c GARBAGE COLLECT
1687.19/1692.18 c #Conflicts: 1096000 | #Constraints: 30911
1687.19/1692.18 c #Conflicts: 1097000 | #Constraints: 31911
1687.19/1692.18 c #Conflicts: 1098000 | #Constraints: 32911
1687.19/1692.18 c #Conflicts: 1099000 | #Constraints: 33912
1687.19/1692.18 c #Conflicts: 1100000 | #Constraints: 34912
1687.19/1692.18 c #Conflicts: 1101000 | #Constraints: 35912
1687.19/1692.18 c #Conflicts: 1102000 | #Constraints: 36912
1687.19/1692.18 c #Conflicts: 1103000 | #Constraints: 37912
1687.19/1692.18 c #Conflicts: 1104000 | #Constraints: 38912
1687.19/1692.18 c #Conflicts: 1105000 | #Constraints: 39912
1687.19/1692.18 c #Conflicts: 1106000 | #Constraints: 40912
1687.19/1692.18 c #Conflicts: 1107000 | #Constraints: 41912
1687.19/1692.18 c #Conflicts: 1108000 | #Constraints: 42912
1687.19/1692.18 c #Conflicts: 1109000 | #Constraints: 43912
1687.19/1692.18 c #Conflicts: 1110000 | #Constraints: 44912
1687.19/1692.18 c #Conflicts: 1111000 | #Constraints: 45912
1687.19/1692.18 c #Conflicts: 1112000 | #Constraints: 46912
1687.19/1692.18 c #Conflicts: 1113000 | #Constraints: 47912
1687.19/1692.18 c #Conflicts: 1114000 | #Constraints: 48912
1687.19/1692.18 c #Conflicts: 1115000 | #Constraints: 49912
1687.19/1692.18 c #Conflicts: 1116000 | #Constraints: 50912
1687.19/1692.18 c #Conflicts: 1117000 | #Constraints: 51912
1687.19/1692.18 c #Conflicts: 1118000 | #Constraints: 52912
1687.19/1692.18 c #Conflicts: 1119000 | #Constraints: 53912
1687.19/1692.18 c #Conflicts: 1120000 | #Constraints: 54912
1687.19/1692.18 c #Conflicts: 1121000 | #Constraints: 55912
1687.19/1692.18 c #Conflicts: 1122000 | #Constraints: 56912
1687.19/1692.18 c #Conflicts: 1123000 | #Constraints: 57912
1687.19/1692.18 c #Conflicts: 1124000 | #Constraints: 58912
1687.19/1692.18 c #Conflicts: 1125000 | #Constraints: 59912
1687.19/1692.18 c #Conflicts: 1126000 | #Constraints: 60912
1687.19/1692.18 c #Conflicts: 1127000 | #Constraints: 61912
1687.19/1692.18 c #Conflicts: 1128000 | #Constraints: 62912
1687.19/1692.18 c #Conflicts: 1129000 | #Constraints: 63912
1687.19/1692.18 c #Conflicts: 1130000 | #Constraints: 64912
1687.19/1692.18 c #Conflicts: 1131000 | #Constraints: 65912
1687.19/1692.18 c #Conflicts: 1132000 | #Constraints: 66912
1687.19/1692.18 c #Conflicts: 1133000 | #Constraints: 67912
1687.19/1692.18 c #Conflicts: 1134000 | #Constraints: 68912
1687.19/1692.18 c #Conflicts: 1135000 | #Constraints: 69912
1687.19/1692.18 c #Conflicts: 1136000 | #Constraints: 70912
1687.19/1692.18 c #Conflicts: 1137000 | #Constraints: 71912
1687.19/1692.18 c #Conflicts: 1138000 | #Constraints: 72912
1687.19/1692.18 c #Conflicts: 1139000 | #Constraints: 73912
1687.19/1692.18 c #Conflicts: 1140000 | #Constraints: 74912
1687.19/1692.18 c #Conflicts: 1141000 | #Constraints: 75912
1687.19/1692.18 c #Conflicts: 1142000 | #Constraints: 76912
1687.19/1692.18 c #Conflicts: 1143000 | #Constraints: 77912
1687.19/1692.18 c #Conflicts: 1144000 | #Constraints: 78912
1687.19/1692.18 c #Conflicts: 1145000 | #Constraints: 79912
1687.19/1692.18 c #Conflicts: 1146000 | #Constraints: 80912
1687.19/1692.18 c #Conflicts: 1147000 | #Constraints: 81912
1687.19/1692.18 c #Conflicts: 1148000 | #Constraints: 82912
1687.19/1692.18 c #Conflicts: 1149000 | #Constraints: 83912
1687.19/1692.18 c #Conflicts: 1150000 | #Constraints: 84912
1687.19/1692.18 c #Conflicts: 1151000 | #Constraints: 85912
1790.49/1795.79 c #Conflicts: 1152000 | #Constraints: 86912
1790.49/1795.79 c #Conflicts: 1153000 | #Constraints: 87912
1790.49/1795.79 c #Conflicts: 1154000 | #Constraints: 88912
1790.49/1795.79 c #Conflicts: 1155000 | #Constraints: 89912
1790.49/1795.79 c #Conflicts: 1156000 | #Constraints: 90912
1790.49/1795.79 c #Conflicts: 1157000 | #Constraints: 91912
1790.49/1795.79 c #Conflicts: 1158000 | #Constraints: 92912
1790.49/1795.79 c #Conflicts: 1159000 | #Constraints: 93912
1790.49/1795.79 c #Conflicts: 1160000 | #Constraints: 94912
1790.49/1795.79 c #Conflicts: 1161000 | #Constraints: 95912
1790.49/1795.79 c #Conflicts: 1162000 | #Constraints: 96912
1790.49/1795.79 c #Conflicts: 1163000 | #Constraints: 97912
1790.49/1795.79 c #Conflicts: 1164000 | #Constraints: 98912
1790.49/1795.79 c #Conflicts: 1165000 | #Constraints: 99912
1790.49/1795.79 c #Conflicts: 1166000 | #Constraints: 100912
1790.49/1795.79 c #Conflicts: 1167000 | #Constraints: 101912
1790.49/1795.79 c #Conflicts: 1168000 | #Constraints: 102912
1790.49/1795.79 c #Conflicts: 1169000 | #Constraints: 103912
1790.49/1795.79 c #Conflicts: 1170000 | #Constraints: 104912
1790.49/1795.79 c #Conflicts: 1171000 | #Constraints: 105912
1790.49/1795.79 c #Conflicts: 1172000 | #Constraints: 106912
1790.49/1795.79 c #Conflicts: 1173000 | #Constraints: 107912
1790.49/1795.79 c #Conflicts: 1174000 | #Constraints: 108912
1790.49/1795.79 c #Conflicts: 1175000 | #Constraints: 109912
1790.49/1795.79 c #Conflicts: 1176000 | #Constraints: 110912
1790.49/1795.79 c #Conflicts: 1177000 | #Constraints: 111912
1790.49/1795.79 c #Conflicts: 1178000 | #Constraints: 112912
1790.49/1795.79 c #Conflicts: 1179000 | #Constraints: 113912
1790.49/1795.79 c INPROCESSING
1790.49/1795.79 c GARBAGE COLLECT
1790.49/1795.79 c rational objective 92
1938.75/1944.46 c #Conflicts: 1180000 | #Constraints: 61433
1938.75/1944.46 c #Conflicts: 1181000 | #Constraints: 62433
1938.75/1944.46 c #Conflicts: 1182000 | #Constraints: 63433
1938.75/1944.46 c #Conflicts: 1183000 | #Constraints: 64433
1938.75/1944.46 c #Conflicts: 1184000 | #Constraints: 65433
1938.75/1944.46 c #Conflicts: 1185000 | #Constraints: 66433
1938.75/1944.46 c #Conflicts: 1186000 | #Constraints: 67433
1938.75/1944.46 c #Conflicts: 1187000 | #Constraints: 68433
1938.75/1944.46 c #Conflicts: 1188000 | #Constraints: 69433
1938.75/1944.46 c #Conflicts: 1189000 | #Constraints: 70433
1938.75/1944.46 c #Conflicts: 1190000 | #Constraints: 71433
1938.75/1944.46 c #Conflicts: 1191000 | #Constraints: 72433
1938.75/1944.46 c #Conflicts: 1192000 | #Constraints: 73433
1938.75/1944.46 c #Conflicts: 1193000 | #Constraints: 74433
1938.75/1944.46 c #Conflicts: 1194000 | #Constraints: 75433
1938.75/1944.46 c #Conflicts: 1195000 | #Constraints: 76433
1938.75/1944.46 c #Conflicts: 1196000 | #Constraints: 77433
1938.75/1944.46 c #Conflicts: 1197000 | #Constraints: 78433
1938.75/1944.46 c #Conflicts: 1198000 | #Constraints: 79433
1938.75/1944.46 c #Conflicts: 1199000 | #Constraints: 80433
1938.75/1944.46 c #Conflicts: 1200000 | #Constraints: 81433
1938.75/1944.46 c #Conflicts: 1201000 | #Constraints: 82433
1938.75/1944.46 c #Conflicts: 1202000 | #Constraints: 83433
1938.75/1944.46 c #Conflicts: 1203000 | #Constraints: 84433
1938.75/1944.46 c INPROCESSING
1938.75/1944.46 c GARBAGE COLLECT
1938.75/1944.46 c #Conflicts: 1204000 | #Constraints: 46489
1938.75/1944.46 c #Conflicts: 1205000 | #Constraints: 47489
1938.75/1944.46 c #Conflicts: 1206000 | #Constraints: 48489
1938.75/1944.46 c #Conflicts: 1207000 | #Constraints: 49489
1938.75/1944.46 c #Conflicts: 1208000 | #Constraints: 50489
1938.75/1944.46 c #Conflicts: 1209000 | #Constraints: 51489
1938.75/1944.46 c #Conflicts: 1210000 | #Constraints: 52489
1938.75/1944.46 c #Conflicts: 1211000 | #Constraints: 53489
1938.75/1944.46 c #Conflicts: 1212000 | #Constraints: 54489
1938.75/1944.46 c #Conflicts: 1213000 | #Constraints: 55489
1938.75/1944.46 c #Conflicts: 1214000 | #Constraints: 56489
1938.75/1944.46 c #Conflicts: 1215000 | #Constraints: 57489
1938.75/1944.46 c #Conflicts: 1216000 | #Constraints: 58489
1938.75/1944.46 c #Conflicts: 1217000 | #Constraints: 59489
1938.75/1944.46 c #Conflicts: 1218000 | #Constraints: 60489
1938.75/1944.46 c #Conflicts: 1219000 | #Constraints: 61489
1938.75/1944.46 c #Conflicts: 1220000 | #Constraints: 62490
1938.75/1944.46 c #Conflicts: 1221000 | #Constraints: 63490
1938.75/1944.46 c #Conflicts: 1222000 | #Constraints: 64490
1938.75/1944.46 c #Conflicts: 1223000 | #Constraints: 65490
1938.75/1944.46 c #Conflicts: 1224000 | #Constraints: 66490
1938.75/1944.46 c #Conflicts: 1225000 | #Constraints: 67490
1938.75/1944.46 c #Conflicts: 1226000 | #Constraints: 68490
1938.75/1944.46 c #Conflicts: 1227000 | #Constraints: 69490
1938.75/1944.46 c #Conflicts: 1228000 | #Constraints: 70490
1938.75/1944.46 c INPROCESSING
1938.75/1944.46 c GARBAGE COLLECT
1938.75/1944.46 c #Conflicts: 1229000 | #Constraints: 39690
1938.75/1944.46 c #Conflicts: 1230000 | #Constraints: 40690
1938.75/1944.46 c #Conflicts: 1231000 | #Constraints: 41690
1938.75/1944.46 c #Conflicts: 1232000 | #Constraints: 42690
1938.75/1944.46 c #Conflicts: 1233000 | #Constraints: 43690
1938.75/1944.46 c #Conflicts: 1234000 | #Constraints: 44690
1938.75/1944.46 c #Conflicts: 1235000 | #Constraints: 45690
1938.75/1944.46 c #Conflicts: 1236000 | #Constraints: 46690
1938.75/1944.46 c #Conflicts: 1237000 | #Constraints: 47690
1938.75/1944.46 c #Conflicts: 1238000 | #Constraints: 48690
1938.75/1944.46 c #Conflicts: 1239000 | #Constraints: 49690
1938.75/1944.46 c #Conflicts: 1240000 | #Constraints: 50690
1938.75/1944.46 c #Conflicts: 1241000 | #Constraints: 51690
1938.75/1944.46 c #Conflicts: 1242000 | #Constraints: 52690
1938.75/1944.46 c #Conflicts: 1243000 | #Constraints: 53690
1938.75/1944.46 c #Conflicts: 1244000 | #Constraints: 54690
1938.75/1944.46 c #Conflicts: 1245000 | #Constraints: 55690
1938.75/1944.46 c #Conflicts: 1246000 | #Constraints: 56690
1938.75/1944.46 c #Conflicts: 1247000 | #Constraints: 57690
1938.75/1944.46 c #Conflicts: 1248000 | #Constraints: 58690
1938.75/1944.46 c #Conflicts: 1249000 | #Constraints: 59690
1938.75/1944.46 c #Conflicts: 1250000 | #Constraints: 60690
1938.75/1944.46 c #Conflicts: 1251000 | #Constraints: 61690
1938.75/1944.46 c #Conflicts: 1252000 | #Constraints: 62690
1938.75/1944.46 c #Conflicts: 1253000 | #Constraints: 63690
1938.75/1944.46 c INPROCESSING
1938.75/1944.46 c GARBAGE COLLECT
1938.75/1944.46 c #Conflicts: 1254000 | #Constraints: 36396
1938.75/1944.46 c #Conflicts: 1255000 | #Constraints: 37396
1938.75/1944.46 c #Conflicts: 1256000 | #Constraints: 38396
2049.35/2055.36 c #Conflicts: 1257000 | #Constraints: 39396
2049.35/2055.36 c #Conflicts: 1258000 | #Constraints: 40396
2049.35/2055.36 c #Conflicts: 1259000 | #Constraints: 41396
2049.35/2055.36 c #Conflicts: 1260000 | #Constraints: 42396
2049.35/2055.36 c #Conflicts: 1261000 | #Constraints: 43396
2049.35/2055.36 c #Conflicts: 1262000 | #Constraints: 44396
2049.35/2055.36 c #Conflicts: 1263000 | #Constraints: 45396
2049.35/2055.36 c #Conflicts: 1264000 | #Constraints: 46396
2049.35/2055.36 c #Conflicts: 1265000 | #Constraints: 47396
2049.35/2055.36 c #Conflicts: 1266000 | #Constraints: 48396
2049.35/2055.36 c #Conflicts: 1267000 | #Constraints: 49396
2049.35/2055.36 c #Conflicts: 1268000 | #Constraints: 50396
2049.35/2055.36 c #Conflicts: 1269000 | #Constraints: 51396
2049.35/2055.36 c #Conflicts: 1270000 | #Constraints: 52396
2049.35/2055.36 c #Conflicts: 1271000 | #Constraints: 53396
2049.35/2055.36 c #Conflicts: 1272000 | #Constraints: 54396
2049.35/2055.36 c #Conflicts: 1273000 | #Constraints: 55396
2049.35/2055.36 c #Conflicts: 1274000 | #Constraints: 56396
2049.35/2055.36 c #Conflicts: 1275000 | #Constraints: 57396
2049.35/2055.36 c #Conflicts: 1276000 | #Constraints: 58396
2049.35/2055.36 c #Conflicts: 1277000 | #Constraints: 59396
2049.35/2055.36 c #Conflicts: 1278000 | #Constraints: 60396
2049.35/2055.36 c INPROCESSING
2049.35/2055.36 c GARBAGE COLLECT
2049.35/2055.36 c #Conflicts: 1279000 | #Constraints: 34807
2049.35/2055.36 c #Conflicts: 1280000 | #Constraints: 35807
2049.35/2055.36 c #Conflicts: 1281000 | #Constraints: 36807
2049.35/2055.36 c #Conflicts: 1282000 | #Constraints: 37807
2049.35/2055.36 c #Conflicts: 1283000 | #Constraints: 38807
2049.35/2055.36 c #Conflicts: 1284000 | #Constraints: 39807
2049.35/2055.36 c #Conflicts: 1285000 | #Constraints: 40807
2049.35/2055.36 c #Conflicts: 1286000 | #Constraints: 41807
2049.35/2055.36 c #Conflicts: 1287000 | #Constraints: 42807
2049.35/2055.36 c #Conflicts: 1288000 | #Constraints: 43807
2049.35/2055.36 c #Conflicts: 1289000 | #Constraints: 44807
2049.35/2055.36 c #Conflicts: 1290000 | #Constraints: 45807
2049.35/2055.36 c #Conflicts: 1291000 | #Constraints: 46807
2049.35/2055.36 c #Conflicts: 1292000 | #Constraints: 47807
2049.35/2055.36 c #Conflicts: 1293000 | #Constraints: 48807
2049.35/2055.36 c #Conflicts: 1294000 | #Constraints: 49807
2049.35/2055.36 c #Conflicts: 1295000 | #Constraints: 50807
2049.35/2055.36 c #Conflicts: 1296000 | #Constraints: 51807
2049.35/2055.36 c #Conflicts: 1297000 | #Constraints: 52807
2049.35/2055.36 c #Conflicts: 1298000 | #Constraints: 53807
2049.35/2055.36 c #Conflicts: 1299000 | #Constraints: 54807
2049.35/2055.36 c #Conflicts: 1300000 | #Constraints: 55807
2049.35/2055.36 c #Conflicts: 1301000 | #Constraints: 56808
2049.35/2055.36 c #Conflicts: 1302000 | #Constraints: 57808
2049.35/2055.36 c #Conflicts: 1303000 | #Constraints: 58808
2049.35/2055.36 c INPROCESSING
2049.35/2055.36 c GARBAGE COLLECT
2049.35/2055.36 c #Conflicts: 1304000 | #Constraints: 33852
2049.35/2055.36 c #Conflicts: 1305000 | #Constraints: 34852
2049.35/2055.36 c #Conflicts: 1306000 | #Constraints: 35852
2049.35/2055.36 c #Conflicts: 1307000 | #Constraints: 36852
2049.35/2055.36 c #Conflicts: 1308000 | #Constraints: 37852
2049.35/2055.36 c #Conflicts: 1309000 | #Constraints: 38852
2049.35/2055.36 c #Conflicts: 1310000 | #Constraints: 39852
2049.35/2055.36 c #Conflicts: 1311000 | #Constraints: 40852
2049.35/2055.36 c #Conflicts: 1312000 | #Constraints: 41852
2049.35/2055.36 c #Conflicts: 1313000 | #Constraints: 42852
2049.35/2055.36 c #Conflicts: 1314000 | #Constraints: 43852
2049.35/2055.36 c #Conflicts: 1315000 | #Constraints: 44852
2049.35/2055.36 c #Conflicts: 1316000 | #Constraints: 45852
2049.35/2055.36 c #Conflicts: 1317000 | #Constraints: 46852
2049.35/2055.36 c #Conflicts: 1318000 | #Constraints: 47852
2049.35/2055.36 c #Conflicts: 1319000 | #Constraints: 48852
2049.35/2055.36 c #Conflicts: 1320000 | #Constraints: 49852
2049.35/2055.36 c #Conflicts: 1321000 | #Constraints: 50852
2049.35/2055.36 c #Conflicts: 1322000 | #Constraints: 51852
2049.35/2055.36 c #Conflicts: 1323000 | #Constraints: 52852
2049.35/2055.36 c #Conflicts: 1324000 | #Constraints: 53852
2049.35/2055.36 c #Conflicts: 1325000 | #Constraints: 54852
2049.35/2055.36 c #Conflicts: 1326000 | #Constraints: 55852
2049.35/2055.36 c #Conflicts: 1327000 | #Constraints: 56852
2049.35/2055.36 c #Conflicts: 1328000 | #Constraints: 57852
2049.35/2055.36 c #Conflicts: 1329000 | #Constraints: 58852
2049.35/2055.36 c #Conflicts: 1330000 | #Constraints: 59852
2049.35/2055.36 c #Conflicts: 1331000 | #Constraints: 60852
2049.35/2055.36 c #Conflicts: 1332000 | #Constraints: 61852
2049.35/2055.36 c #Conflicts: 1333000 | #Constraints: 62852
2049.35/2055.36 c #Conflicts: 1334000 | #Constraints: 63852
2256.70/2263.23 c #Conflicts: 1335000 | #Constraints: 64852
2256.70/2263.23 c #Conflicts: 1336000 | #Constraints: 65852
2256.70/2263.23 c #Conflicts: 1337000 | #Constraints: 66852
2256.70/2263.23 c #Conflicts: 1338000 | #Constraints: 67852
2256.70/2263.23 c #Conflicts: 1339000 | #Constraints: 68852
2256.70/2263.23 c #Conflicts: 1340000 | #Constraints: 69852
2256.70/2263.23 c #Conflicts: 1341000 | #Constraints: 70852
2256.70/2263.23 c #Conflicts: 1342000 | #Constraints: 71852
2256.70/2263.23 c #Conflicts: 1343000 | #Constraints: 72852
2256.70/2263.23 c #Conflicts: 1344000 | #Constraints: 73852
2256.70/2263.23 c #Conflicts: 1345000 | #Constraints: 74852
2256.70/2263.23 c #Conflicts: 1346000 | #Constraints: 75852
2256.70/2263.23 c #Conflicts: 1347000 | #Constraints: 76852
2256.70/2263.23 c #Conflicts: 1348000 | #Constraints: 77852
2256.70/2263.23 c #Conflicts: 1349000 | #Constraints: 78852
2256.70/2263.23 c #Conflicts: 1350000 | #Constraints: 79852
2256.70/2263.23 c #Conflicts: 1351000 | #Constraints: 80852
2256.70/2263.23 c #Conflicts: 1352000 | #Constraints: 81852
2256.70/2263.23 c #Conflicts: 1353000 | #Constraints: 82852
2256.70/2263.23 c #Conflicts: 1354000 | #Constraints: 83852
2256.70/2263.23 c #Conflicts: 1355000 | #Constraints: 84852
2256.70/2263.23 c #Conflicts: 1356000 | #Constraints: 85852
2256.70/2263.23 c #Conflicts: 1357000 | #Constraints: 86852
2256.70/2263.23 c #Conflicts: 1358000 | #Constraints: 87852
2256.70/2263.23 c #Conflicts: 1359000 | #Constraints: 88852
2256.70/2263.23 c #Conflicts: 1360000 | #Constraints: 89852
2256.70/2263.23 c #Conflicts: 1361000 | #Constraints: 90852
2256.70/2263.23 c #Conflicts: 1362000 | #Constraints: 91852
2256.70/2263.23 c #Conflicts: 1363000 | #Constraints: 92852
2256.70/2263.23 c #Conflicts: 1364000 | #Constraints: 93852
2256.70/2263.23 c #Conflicts: 1365000 | #Constraints: 94852
2256.70/2263.23 c #Conflicts: 1366000 | #Constraints: 95852
2256.70/2263.23 c #Conflicts: 1367000 | #Constraints: 96852
2256.70/2263.23 c #Conflicts: 1368000 | #Constraints: 97852
2256.70/2263.23 c #Conflicts: 1369000 | #Constraints: 98852
2256.70/2263.23 c #Conflicts: 1370000 | #Constraints: 99852
2256.70/2263.23 c #Conflicts: 1371000 | #Constraints: 100852
2256.70/2263.23 c #Conflicts: 1372000 | #Constraints: 101852
2256.70/2263.23 c #Conflicts: 1373000 | #Constraints: 102852
2256.70/2263.23 c #Conflicts: 1374000 | #Constraints: 103852
2256.70/2263.23 c #Conflicts: 1375000 | #Constraints: 104852
2256.70/2263.23 c #Conflicts: 1376000 | #Constraints: 105852
2256.70/2263.23 c #Conflicts: 1377000 | #Constraints: 106852
2256.70/2263.23 c #Conflicts: 1378000 | #Constraints: 107852
2256.70/2263.23 c #Conflicts: 1379000 | #Constraints: 108852
2256.70/2263.23 c #Conflicts: 1380000 | #Constraints: 109852
2256.70/2263.23 c #Conflicts: 1381000 | #Constraints: 110852
2256.70/2263.23 c #Conflicts: 1382000 | #Constraints: 111852
2256.70/2263.23 c #Conflicts: 1383000 | #Constraints: 112852
2256.70/2263.23 c #Conflicts: 1384000 | #Constraints: 113852
2256.70/2263.23 c #Conflicts: 1385000 | #Constraints: 114852
2256.70/2263.23 c #Conflicts: 1386000 | #Constraints: 115852
2256.70/2263.23 c #Conflicts: 1387000 | #Constraints: 116852
2256.70/2263.23 c #Conflicts: 1388000 | #Constraints: 117852
2256.70/2263.23 c #Conflicts: 1389000 | #Constraints: 118852
2256.70/2263.23 c #Conflicts: 1390000 | #Constraints: 119852
2256.70/2263.23 c #Conflicts: 1391000 | #Constraints: 120852
2256.70/2263.23 c #Conflicts: 1392000 | #Constraints: 121852
2256.70/2263.23 c #Conflicts: 1393000 | #Constraints: 122852
2256.70/2263.23 c #Conflicts: 1394000 | #Constraints: 123852
2256.70/2263.23 c INPROCESSING
2256.70/2263.23 c GARBAGE COLLECT
2256.70/2263.23 c rational objective 92
2319.50/2326.23 c #Conflicts: 1395000 | #Constraints: 66384
2319.50/2326.23 c #Conflicts: 1396000 | #Constraints: 67384
2319.50/2326.23 c #Conflicts: 1397000 | #Constraints: 68384
2319.50/2326.23 c #Conflicts: 1398000 | #Constraints: 69384
2319.50/2326.23 c #Conflicts: 1399000 | #Constraints: 70384
2319.50/2326.23 c #Conflicts: 1400000 | #Constraints: 71384
2319.50/2326.23 c #Conflicts: 1401000 | #Constraints: 72384
2319.50/2326.23 c #Conflicts: 1402000 | #Constraints: 73384
2319.50/2326.23 c #Conflicts: 1403000 | #Constraints: 74384
2319.50/2326.23 c #Conflicts: 1404000 | #Constraints: 75384
2319.50/2326.23 c #Conflicts: 1405000 | #Constraints: 76384
2319.50/2326.23 c #Conflicts: 1406000 | #Constraints: 77384
2319.50/2326.23 c #Conflicts: 1407000 | #Constraints: 78384
2319.50/2326.23 c #Conflicts: 1408000 | #Constraints: 79384
2319.50/2326.23 c #Conflicts: 1409000 | #Constraints: 80384
2319.50/2326.23 c #Conflicts: 1410000 | #Constraints: 81384
2319.50/2326.23 c #Conflicts: 1411000 | #Constraints: 82384
2319.50/2326.23 c #Conflicts: 1412000 | #Constraints: 83384
2319.50/2326.23 c #Conflicts: 1413000 | #Constraints: 84384
2319.50/2326.23 c #Conflicts: 1414000 | #Constraints: 85384
2319.50/2326.23 c #Conflicts: 1415000 | #Constraints: 86384
2319.50/2326.23 c #Conflicts: 1416000 | #Constraints: 87384
2319.50/2326.23 c #Conflicts: 1417000 | #Constraints: 88384
2319.50/2326.23 c #Conflicts: 1418000 | #Constraints: 89384
2319.50/2326.23 c #Conflicts: 1419000 | #Constraints: 90384
2319.50/2326.23 c #Conflicts: 1420000 | #Constraints: 91384
2319.50/2326.23 c INPROCESSING
2319.50/2326.23 c GARBAGE COLLECT
2319.50/2326.23 c rational objective 92
2372.26/2379.19 c #Conflicts: 1421000 | #Constraints: 49924
2372.26/2379.19 c #Conflicts: 1422000 | #Constraints: 50924
2372.26/2379.19 c #Conflicts: 1423000 | #Constraints: 51924
2372.26/2379.19 c #Conflicts: 1424000 | #Constraints: 52924
2372.26/2379.19 c #Conflicts: 1425000 | #Constraints: 53924
2372.26/2379.19 c #Conflicts: 1426000 | #Constraints: 54924
2372.26/2379.19 c #Conflicts: 1427000 | #Constraints: 55924
2372.26/2379.19 c #Conflicts: 1428000 | #Constraints: 56924
2372.26/2379.19 c #Conflicts: 1429000 | #Constraints: 57924
2372.26/2379.19 c #Conflicts: 1430000 | #Constraints: 58924
2372.26/2379.19 c #Conflicts: 1431000 | #Constraints: 59924
2372.26/2379.19 c #Conflicts: 1432000 | #Constraints: 60924
2372.26/2379.19 c #Conflicts: 1433000 | #Constraints: 61924
2372.26/2379.19 c #Conflicts: 1434000 | #Constraints: 62924
2372.26/2379.19 c #Conflicts: 1435000 | #Constraints: 63924
2372.26/2379.19 c #Conflicts: 1436000 | #Constraints: 64924
2372.26/2379.19 c #Conflicts: 1437000 | #Constraints: 65924
2372.26/2379.19 c #Conflicts: 1438000 | #Constraints: 66924
2372.26/2379.19 c #Conflicts: 1439000 | #Constraints: 67924
2372.26/2379.19 c #Conflicts: 1440000 | #Constraints: 68924
2372.26/2379.19 c #Conflicts: 1441000 | #Constraints: 69924
2372.26/2379.19 c #Conflicts: 1442000 | #Constraints: 70924
2372.26/2379.19 c #Conflicts: 1443000 | #Constraints: 71924
2372.26/2379.19 c #Conflicts: 1444000 | #Constraints: 72924
2372.26/2379.19 c #Conflicts: 1445000 | #Constraints: 73924
2372.26/2379.19 c #Conflicts: 1446000 | #Constraints: 74924
2372.26/2379.19 c #Conflicts: 1447000 | #Constraints: 75924
2372.26/2379.19 c INPROCESSING
2372.26/2379.19 c GARBAGE COLLECT
2372.26/2379.19 c rational objective 92
2488.28/2495.56 c #Conflicts: 1448000 | #Constraints: 42279
2488.28/2495.56 c #Conflicts: 1449000 | #Constraints: 43279
2488.28/2495.56 c #Conflicts: 1450000 | #Constraints: 44279
2488.28/2495.56 c #Conflicts: 1451000 | #Constraints: 45279
2488.28/2495.56 c #Conflicts: 1452000 | #Constraints: 46279
2488.28/2495.56 c #Conflicts: 1453000 | #Constraints: 47279
2488.28/2495.56 c #Conflicts: 1454000 | #Constraints: 48279
2488.28/2495.56 c #Conflicts: 1455000 | #Constraints: 49279
2488.28/2495.56 c #Conflicts: 1456000 | #Constraints: 50279
2488.28/2495.56 c #Conflicts: 1457000 | #Constraints: 51279
2488.28/2495.56 c #Conflicts: 1458000 | #Constraints: 52279
2488.28/2495.56 c #Conflicts: 1459000 | #Constraints: 53279
2488.28/2495.56 c #Conflicts: 1460000 | #Constraints: 54279
2488.28/2495.56 c #Conflicts: 1461000 | #Constraints: 55279
2488.28/2495.56 c #Conflicts: 1462000 | #Constraints: 56279
2488.28/2495.56 c #Conflicts: 1463000 | #Constraints: 57279
2488.28/2495.56 c #Conflicts: 1464000 | #Constraints: 58279
2488.28/2495.56 c #Conflicts: 1465000 | #Constraints: 59279
2488.28/2495.56 c #Conflicts: 1466000 | #Constraints: 60279
2488.28/2495.56 c #Conflicts: 1467000 | #Constraints: 61279
2488.28/2495.56 c #Conflicts: 1468000 | #Constraints: 62279
2488.28/2495.56 c #Conflicts: 1469000 | #Constraints: 63279
2488.28/2495.56 c #Conflicts: 1470000 | #Constraints: 64279
2488.28/2495.56 c #Conflicts: 1471000 | #Constraints: 65279
2488.28/2495.56 c #Conflicts: 1472000 | #Constraints: 66279
2488.28/2495.56 c #Conflicts: 1473000 | #Constraints: 67279
2488.28/2495.56 c #Conflicts: 1474000 | #Constraints: 68279
2488.28/2495.56 c INPROCESSING
2488.28/2495.56 c GARBAGE COLLECT
2488.28/2495.56 c #Conflicts: 1475000 | #Constraints: 38591
2488.28/2495.56 c #Conflicts: 1476000 | #Constraints: 39591
2488.28/2495.56 c #Conflicts: 1477000 | #Constraints: 40591
2488.28/2495.56 c #Conflicts: 1478000 | #Constraints: 41591
2488.28/2495.56 c #Conflicts: 1479000 | #Constraints: 42591
2488.28/2495.56 c #Conflicts: 1480000 | #Constraints: 43591
2488.28/2495.56 c #Conflicts: 1481000 | #Constraints: 44591
2488.28/2495.56 c #Conflicts: 1482000 | #Constraints: 45591
2488.28/2495.56 c #Conflicts: 1483000 | #Constraints: 46591
2488.28/2495.56 c #Conflicts: 1484000 | #Constraints: 47591
2488.28/2495.56 c #Conflicts: 1485000 | #Constraints: 48591
2488.28/2495.56 c #Conflicts: 1486000 | #Constraints: 49591
2488.28/2495.56 c #Conflicts: 1487000 | #Constraints: 50591
2488.28/2495.56 c #Conflicts: 1488000 | #Constraints: 51591
2488.28/2495.56 c #Conflicts: 1489000 | #Constraints: 52591
2488.28/2495.56 c #Conflicts: 1490000 | #Constraints: 53591
2488.28/2495.56 c #Conflicts: 1491000 | #Constraints: 54591
2488.28/2495.56 c #Conflicts: 1492000 | #Constraints: 55591
2488.28/2495.56 c #Conflicts: 1493000 | #Constraints: 56591
2488.28/2495.56 c #Conflicts: 1494000 | #Constraints: 57591
2488.28/2495.56 c #Conflicts: 1495000 | #Constraints: 58591
2488.28/2495.56 c #Conflicts: 1496000 | #Constraints: 59591
2488.28/2495.56 c #Conflicts: 1497000 | #Constraints: 60591
2488.28/2495.56 c #Conflicts: 1498000 | #Constraints: 61591
2488.28/2495.56 c #Conflicts: 1499000 | #Constraints: 62591
2488.28/2495.56 c #Conflicts: 1500000 | #Constraints: 63591
2488.28/2495.56 c #Conflicts: 1501000 | #Constraints: 64591
2488.28/2495.56 c INPROCESSING
2488.28/2495.56 c GARBAGE COLLECT
2488.28/2495.56 c #Conflicts: 1502000 | #Constraints: 36675
2488.28/2495.56 c #Conflicts: 1503000 | #Constraints: 37675
2488.28/2495.56 c #Conflicts: 1504000 | #Constraints: 38675
2488.28/2495.56 c #Conflicts: 1505000 | #Constraints: 39675
2488.28/2495.56 c #Conflicts: 1506000 | #Constraints: 40675
2488.28/2495.56 c #Conflicts: 1507000 | #Constraints: 41675
2488.28/2495.56 c #Conflicts: 1508000 | #Constraints: 42675
2488.28/2495.56 c #Conflicts: 1509000 | #Constraints: 43675
2488.28/2495.56 c #Conflicts: 1510000 | #Constraints: 44675
2488.28/2495.56 c #Conflicts: 1511000 | #Constraints: 45675
2488.28/2495.56 c #Conflicts: 1512000 | #Constraints: 46675
2488.28/2495.56 c #Conflicts: 1513000 | #Constraints: 47675
2488.28/2495.56 c #Conflicts: 1514000 | #Constraints: 48675
2488.28/2495.56 c #Conflicts: 1515000 | #Constraints: 49675
2488.28/2495.56 c #Conflicts: 1516000 | #Constraints: 50675
2488.28/2495.56 c #Conflicts: 1517000 | #Constraints: 51675
2488.28/2495.56 c #Conflicts: 1518000 | #Constraints: 52675
2488.28/2495.56 c #Conflicts: 1519000 | #Constraints: 53675
2488.28/2495.56 c #Conflicts: 1520000 | #Constraints: 54675
2488.28/2495.56 c #Conflicts: 1521000 | #Constraints: 55675
2488.28/2495.56 c #Conflicts: 1522000 | #Constraints: 56675
2488.28/2495.56 c #Conflicts: 1523000 | #Constraints: 57675
2488.28/2495.56 c #Conflicts: 1524000 | #Constraints: 58675
2488.28/2495.56 c #Conflicts: 1525000 | #Constraints: 59675
2670.21/2678.02 c #Conflicts: 1526000 | #Constraints: 60675
2670.21/2678.02 c #Conflicts: 1527000 | #Constraints: 61675
2670.21/2678.02 c #Conflicts: 1528000 | #Constraints: 62675
2670.21/2678.02 c INPROCESSING
2670.21/2678.02 c GARBAGE COLLECT
2670.21/2678.02 c #Conflicts: 1529000 | #Constraints: 35562
2670.21/2678.02 c #Conflicts: 1530000 | #Constraints: 36562
2670.21/2678.02 c #Conflicts: 1531000 | #Constraints: 37562
2670.21/2678.02 c #Conflicts: 1532000 | #Constraints: 38562
2670.21/2678.02 c #Conflicts: 1533000 | #Constraints: 39562
2670.21/2678.02 c #Conflicts: 1534000 | #Constraints: 40562
2670.21/2678.02 c #Conflicts: 1535000 | #Constraints: 41562
2670.21/2678.02 c #Conflicts: 1536000 | #Constraints: 42562
2670.21/2678.02 c #Conflicts: 1537000 | #Constraints: 43562
2670.21/2678.02 c #Conflicts: 1538000 | #Constraints: 44562
2670.21/2678.02 c #Conflicts: 1539000 | #Constraints: 45562
2670.21/2678.02 c #Conflicts: 1540000 | #Constraints: 46562
2670.21/2678.02 c #Conflicts: 1541000 | #Constraints: 47562
2670.21/2678.02 c #Conflicts: 1542000 | #Constraints: 48562
2670.21/2678.02 c #Conflicts: 1543000 | #Constraints: 49562
2670.21/2678.02 c #Conflicts: 1544000 | #Constraints: 50562
2670.21/2678.03 c #Conflicts: 1545000 | #Constraints: 51562
2670.21/2678.03 c #Conflicts: 1546000 | #Constraints: 52562
2670.21/2678.03 c #Conflicts: 1547000 | #Constraints: 53562
2670.21/2678.03 c #Conflicts: 1548000 | #Constraints: 54562
2670.21/2678.03 c #Conflicts: 1549000 | #Constraints: 55562
2670.21/2678.03 c #Conflicts: 1550000 | #Constraints: 56562
2670.21/2678.03 c #Conflicts: 1551000 | #Constraints: 57562
2670.21/2678.03 c #Conflicts: 1552000 | #Constraints: 58562
2670.21/2678.03 c #Conflicts: 1553000 | #Constraints: 59562
2670.21/2678.03 c #Conflicts: 1554000 | #Constraints: 60562
2670.21/2678.03 c #Conflicts: 1555000 | #Constraints: 61562
2670.21/2678.03 c #Conflicts: 1556000 | #Constraints: 62562
2670.21/2678.03 c #Conflicts: 1557000 | #Constraints: 63562
2670.21/2678.03 c #Conflicts: 1558000 | #Constraints: 64562
2670.21/2678.03 c #Conflicts: 1559000 | #Constraints: 65562
2670.21/2678.03 c #Conflicts: 1560000 | #Constraints: 66562
2670.21/2678.03 c #Conflicts: 1561000 | #Constraints: 67562
2670.21/2678.03 c #Conflicts: 1562000 | #Constraints: 68562
2670.21/2678.03 c #Conflicts: 1563000 | #Constraints: 69562
2670.21/2678.03 c #Conflicts: 1564000 | #Constraints: 70562
2670.21/2678.03 c #Conflicts: 1565000 | #Constraints: 71562
2670.21/2678.03 c #Conflicts: 1566000 | #Constraints: 72562
2670.21/2678.03 c #Conflicts: 1567000 | #Constraints: 73562
2670.21/2678.03 c #Conflicts: 1568000 | #Constraints: 74562
2670.21/2678.03 c #Conflicts: 1569000 | #Constraints: 75562
2670.21/2678.03 c #Conflicts: 1570000 | #Constraints: 76562
2670.21/2678.03 c #Conflicts: 1571000 | #Constraints: 77562
2670.21/2678.03 c #Conflicts: 1572000 | #Constraints: 78562
2670.21/2678.03 c #Conflicts: 1573000 | #Constraints: 79562
2670.21/2678.03 c #Conflicts: 1574000 | #Constraints: 80562
2670.21/2678.03 c #Conflicts: 1575000 | #Constraints: 81562
2670.21/2678.03 c #Conflicts: 1576000 | #Constraints: 82562
2670.21/2678.03 c #Conflicts: 1577000 | #Constraints: 83562
2670.21/2678.03 c #Conflicts: 1578000 | #Constraints: 84562
2670.21/2678.03 c #Conflicts: 1579000 | #Constraints: 85562
2670.21/2678.03 c #Conflicts: 1580000 | #Constraints: 86562
2670.21/2678.03 c #Conflicts: 1581000 | #Constraints: 87562
2670.21/2678.03 c #Conflicts: 1582000 | #Constraints: 88562
2670.21/2678.03 c #Conflicts: 1583000 | #Constraints: 89562
2670.21/2678.03 c #Conflicts: 1584000 | #Constraints: 90562
2670.21/2678.03 c #Conflicts: 1585000 | #Constraints: 91562
2670.21/2678.03 c #Conflicts: 1586000 | #Constraints: 92562
2670.21/2678.03 c #Conflicts: 1587000 | #Constraints: 93562
2670.21/2678.03 c #Conflicts: 1588000 | #Constraints: 94562
2670.21/2678.03 c #Conflicts: 1589000 | #Constraints: 95562
2670.21/2678.03 c #Conflicts: 1590000 | #Constraints: 96562
2670.21/2678.03 c #Conflicts: 1591000 | #Constraints: 97562
2670.21/2678.03 c #Conflicts: 1592000 | #Constraints: 98562
2670.21/2678.03 c #Conflicts: 1593000 | #Constraints: 99562
2670.21/2678.03 c #Conflicts: 1594000 | #Constraints: 100562
2670.21/2678.03 c #Conflicts: 1595000 | #Constraints: 101562
2670.21/2678.03 c #Conflicts: 1596000 | #Constraints: 102562
2670.21/2678.03 c #Conflicts: 1597000 | #Constraints: 103562
2670.21/2678.03 c #Conflicts: 1598000 | #Constraints: 104562
2670.21/2678.03 c #Conflicts: 1599000 | #Constraints: 105562
2670.21/2678.03 c #Conflicts: 1600000 | #Constraints: 106562
2670.21/2678.03 c #Conflicts: 1601000 | #Constraints: 107562
2670.21/2678.03 c #Conflicts: 1602000 | #Constraints: 108562
2670.21/2678.03 c #Conflicts: 1603000 | #Constraints: 109562
2784.04/2792.23 c #Conflicts: 1604000 | #Constraints: 110562
2784.04/2792.23 c #Conflicts: 1605000 | #Constraints: 111562
2784.04/2792.23 c #Conflicts: 1606000 | #Constraints: 112562
2784.04/2792.23 c #Conflicts: 1607000 | #Constraints: 113562
2784.04/2792.23 c #Conflicts: 1608000 | #Constraints: 114562
2784.04/2792.23 c #Conflicts: 1609000 | #Constraints: 115562
2784.04/2792.23 c #Conflicts: 1610000 | #Constraints: 116562
2784.04/2792.23 c #Conflicts: 1611000 | #Constraints: 117562
2784.04/2792.23 c #Conflicts: 1612000 | #Constraints: 118562
2784.04/2792.23 c #Conflicts: 1613000 | #Constraints: 119562
2784.04/2792.23 c #Conflicts: 1614000 | #Constraints: 120562
2784.04/2792.23 c #Conflicts: 1615000 | #Constraints: 121562
2784.04/2792.23 c #Conflicts: 1616000 | #Constraints: 122562
2784.04/2792.23 c #Conflicts: 1617000 | #Constraints: 123562
2784.04/2792.23 c #Conflicts: 1618000 | #Constraints: 124562
2784.04/2792.23 c #Conflicts: 1619000 | #Constraints: 125562
2784.04/2792.23 c #Conflicts: 1620000 | #Constraints: 126562
2784.04/2792.23 c #Conflicts: 1621000 | #Constraints: 127562
2784.04/2792.23 c #Conflicts: 1622000 | #Constraints: 128562
2784.04/2792.23 c #Conflicts: 1623000 | #Constraints: 129562
2784.04/2792.23 c #Conflicts: 1624000 | #Constraints: 130562
2784.04/2792.23 c #Conflicts: 1625000 | #Constraints: 131562
2784.04/2792.23 c #Conflicts: 1626000 | #Constraints: 132562
2784.04/2792.23 c #Conflicts: 1627000 | #Constraints: 133562
2784.04/2792.23 c INPROCESSING
2784.04/2792.23 c GARBAGE COLLECT
2784.04/2792.23 c rational objective 92
2857.91/2866.37 c #Conflicts: 1628000 | #Constraints: 71202
2857.91/2866.37 c #Conflicts: 1629000 | #Constraints: 72202
2857.91/2866.37 c #Conflicts: 1630000 | #Constraints: 73202
2857.91/2866.37 c #Conflicts: 1631000 | #Constraints: 74202
2857.91/2866.37 c #Conflicts: 1632000 | #Constraints: 75202
2857.91/2866.37 c #Conflicts: 1633000 | #Constraints: 76202
2857.91/2866.37 c #Conflicts: 1634000 | #Constraints: 77202
2857.91/2866.37 c #Conflicts: 1635000 | #Constraints: 78202
2857.91/2866.37 c #Conflicts: 1636000 | #Constraints: 79202
2857.91/2866.37 c #Conflicts: 1637000 | #Constraints: 80202
2857.91/2866.37 c #Conflicts: 1638000 | #Constraints: 81202
2857.91/2866.37 c #Conflicts: 1639000 | #Constraints: 82202
2857.91/2866.37 c #Conflicts: 1640000 | #Constraints: 83202
2857.91/2866.37 c #Conflicts: 1641000 | #Constraints: 84202
2857.91/2866.37 c #Conflicts: 1642000 | #Constraints: 85202
2857.91/2866.37 c #Conflicts: 1643000 | #Constraints: 86202
2857.91/2866.37 c #Conflicts: 1644000 | #Constraints: 87202
2857.91/2866.37 c #Conflicts: 1645000 | #Constraints: 88202
2857.91/2866.37 c #Conflicts: 1646000 | #Constraints: 89202
2857.91/2866.37 c #Conflicts: 1647000 | #Constraints: 90202
2857.91/2866.37 c #Conflicts: 1648000 | #Constraints: 91202
2857.91/2866.37 c #Conflicts: 1649000 | #Constraints: 92202
2857.91/2866.37 c #Conflicts: 1650000 | #Constraints: 93202
2857.91/2866.37 c #Conflicts: 1651000 | #Constraints: 94202
2857.91/2866.37 c #Conflicts: 1652000 | #Constraints: 95202
2857.91/2866.37 c #Conflicts: 1653000 | #Constraints: 96202
2857.91/2866.37 c #Conflicts: 1654000 | #Constraints: 97202
2857.91/2866.37 c #Conflicts: 1655000 | #Constraints: 98202
2857.91/2866.37 c #Conflicts: 1656000 | #Constraints: 99202
2857.91/2866.37 c INPROCESSING
2857.91/2866.37 c GARBAGE COLLECT
2857.91/2866.37 c rational objective 92
2911.73/2920.32 c #Conflicts: 1657000 | #Constraints: 54263
2911.73/2920.32 c #Conflicts: 1658000 | #Constraints: 55263
2911.73/2920.32 c #Conflicts: 1659000 | #Constraints: 56263
2911.73/2920.32 c #Conflicts: 1660000 | #Constraints: 57263
2911.73/2920.32 c #Conflicts: 1661000 | #Constraints: 58263
2911.73/2920.32 c #Conflicts: 1662000 | #Constraints: 59263
2911.73/2920.32 c #Conflicts: 1663000 | #Constraints: 60263
2911.73/2920.32 c #Conflicts: 1664000 | #Constraints: 61263
2911.73/2920.32 c #Conflicts: 1665000 | #Constraints: 62263
2911.73/2920.32 c #Conflicts: 1666000 | #Constraints: 63263
2911.73/2920.32 c #Conflicts: 1667000 | #Constraints: 64263
2911.73/2920.32 c #Conflicts: 1668000 | #Constraints: 65263
2911.73/2920.32 c #Conflicts: 1669000 | #Constraints: 66263
2911.73/2920.32 c #Conflicts: 1670000 | #Constraints: 67263
2911.73/2920.32 c #Conflicts: 1671000 | #Constraints: 68263
2911.73/2920.32 c #Conflicts: 1672000 | #Constraints: 69263
2911.73/2920.32 c #Conflicts: 1673000 | #Constraints: 70263
2911.73/2920.32 c #Conflicts: 1674000 | #Constraints: 71263
2911.73/2920.32 c #Conflicts: 1675000 | #Constraints: 72263
2911.73/2920.32 c #Conflicts: 1676000 | #Constraints: 73263
2911.73/2920.32 c #Conflicts: 1677000 | #Constraints: 74263
2911.73/2920.32 c #Conflicts: 1678000 | #Constraints: 75263
2911.73/2920.32 c #Conflicts: 1679000 | #Constraints: 76263
2911.73/2920.32 c #Conflicts: 1680000 | #Constraints: 77263
2911.73/2920.32 c #Conflicts: 1681000 | #Constraints: 78263
2911.73/2920.32 c #Conflicts: 1682000 | #Constraints: 79263
2911.73/2920.32 c #Conflicts: 1683000 | #Constraints: 80263
2911.73/2920.32 c #Conflicts: 1684000 | #Constraints: 81263
2911.73/2920.32 c INPROCESSING
2911.73/2920.32 c GARBAGE COLLECT
2911.73/2920.32 c rational objective 92
2978.01/2986.80 c #Conflicts: 1685000 | #Constraints: 44890
2978.01/2986.80 c #Conflicts: 1686000 | #Constraints: 45890
2978.01/2986.80 c #Conflicts: 1687000 | #Constraints: 46890
2978.01/2986.80 c #Conflicts: 1688000 | #Constraints: 47890
2978.01/2986.80 c #Conflicts: 1689000 | #Constraints: 48890
2978.01/2986.80 c #Conflicts: 1690000 | #Constraints: 49890
2978.01/2986.80 c #Conflicts: 1691000 | #Constraints: 50890
2978.01/2986.80 c #Conflicts: 1692000 | #Constraints: 51891
2978.01/2986.80 c #Conflicts: 1693000 | #Constraints: 52891
2978.01/2986.80 c #Conflicts: 1694000 | #Constraints: 53891
2978.01/2986.80 c #Conflicts: 1695000 | #Constraints: 54891
2978.01/2986.80 c #Conflicts: 1696000 | #Constraints: 55891
2978.01/2986.80 c #Conflicts: 1697000 | #Constraints: 56891
2978.01/2986.80 c #Conflicts: 1698000 | #Constraints: 57891
2978.01/2986.80 c #Conflicts: 1699000 | #Constraints: 58891
2978.01/2986.80 c #Conflicts: 1700000 | #Constraints: 59891
2978.01/2986.80 c #Conflicts: 1701000 | #Constraints: 60891
2978.01/2986.80 c #Conflicts: 1702000 | #Constraints: 61891
2978.01/2986.80 c #Conflicts: 1703000 | #Constraints: 62891
2978.01/2986.80 c #Conflicts: 1704000 | #Constraints: 63891
2978.01/2986.80 c #Conflicts: 1705000 | #Constraints: 64891
2978.01/2986.80 c #Conflicts: 1706000 | #Constraints: 65891
2978.01/2986.80 c #Conflicts: 1707000 | #Constraints: 66891
2978.01/2986.80 c #Conflicts: 1708000 | #Constraints: 67891
2978.01/2986.80 c #Conflicts: 1709000 | #Constraints: 68891
2978.01/2986.80 c #Conflicts: 1710000 | #Constraints: 69891
2978.01/2986.80 c #Conflicts: 1711000 | #Constraints: 70891
2978.01/2986.80 c #Conflicts: 1712000 | #Constraints: 71891
2978.01/2986.80 c #Conflicts: 1713000 | #Constraints: 72891
2978.01/2986.80 c INPROCESSING
2978.01/2986.80 c GARBAGE COLLECT
2978.01/2986.80 c rational objective 92
3093.96/3103.13 c #Conflicts: 1714000 | #Constraints: 40695
3093.96/3103.13 c #Conflicts: 1715000 | #Constraints: 41695
3093.96/3103.13 c #Conflicts: 1716000 | #Constraints: 42695
3093.96/3103.13 c #Conflicts: 1717000 | #Constraints: 43695
3093.96/3103.13 c #Conflicts: 1718000 | #Constraints: 44695
3093.96/3103.13 c #Conflicts: 1719000 | #Constraints: 45695
3093.96/3103.13 c #Conflicts: 1720000 | #Constraints: 46695
3093.96/3103.13 c #Conflicts: 1721000 | #Constraints: 47695
3093.96/3103.13 c #Conflicts: 1722000 | #Constraints: 48695
3093.96/3103.13 c #Conflicts: 1723000 | #Constraints: 49695
3093.96/3103.13 c #Conflicts: 1724000 | #Constraints: 50695
3093.96/3103.13 c #Conflicts: 1725000 | #Constraints: 51695
3093.96/3103.13 c #Conflicts: 1726000 | #Constraints: 52695
3093.96/3103.13 c #Conflicts: 1727000 | #Constraints: 53695
3093.96/3103.13 c #Conflicts: 1728000 | #Constraints: 54695
3093.96/3103.13 c #Conflicts: 1729000 | #Constraints: 55695
3093.96/3103.13 c #Conflicts: 1730000 | #Constraints: 56695
3093.96/3103.13 c #Conflicts: 1731000 | #Constraints: 57695
3093.96/3103.13 c #Conflicts: 1732000 | #Constraints: 58695
3093.96/3103.13 c #Conflicts: 1733000 | #Constraints: 59695
3093.96/3103.13 c #Conflicts: 1734000 | #Constraints: 60695
3093.96/3103.13 c #Conflicts: 1735000 | #Constraints: 61695
3093.96/3103.13 c #Conflicts: 1736000 | #Constraints: 62695
3093.96/3103.13 c #Conflicts: 1737000 | #Constraints: 63695
3093.96/3103.13 c #Conflicts: 1738000 | #Constraints: 64695
3093.96/3103.13 c #Conflicts: 1739000 | #Constraints: 65695
3093.96/3103.13 c #Conflicts: 1740000 | #Constraints: 66695
3093.96/3103.13 c #Conflicts: 1741000 | #Constraints: 67695
3093.96/3103.13 c #Conflicts: 1742000 | #Constraints: 68695
3093.96/3103.13 c #Conflicts: 1743000 | #Constraints: 69695
3093.96/3103.13 c INPROCESSING
3093.96/3103.13 c GARBAGE COLLECT
3093.96/3103.13 c #Conflicts: 1744000 | #Constraints: 39470
3093.96/3103.13 c #Conflicts: 1745000 | #Constraints: 40470
3093.96/3103.13 c #Conflicts: 1746000 | #Constraints: 41470
3093.96/3103.13 c #Conflicts: 1747000 | #Constraints: 42470
3093.96/3103.13 c #Conflicts: 1748000 | #Constraints: 43470
3093.96/3103.13 c #Conflicts: 1749000 | #Constraints: 44470
3093.96/3103.13 c #Conflicts: 1750000 | #Constraints: 45470
3093.96/3103.13 c #Conflicts: 1751000 | #Constraints: 46470
3093.96/3103.13 c #Conflicts: 1752000 | #Constraints: 47470
3093.96/3103.13 c #Conflicts: 1753000 | #Constraints: 48470
3093.96/3103.13 c #Conflicts: 1754000 | #Constraints: 49470
3093.96/3103.13 c #Conflicts: 1755000 | #Constraints: 50470
3093.96/3103.13 c #Conflicts: 1756000 | #Constraints: 51470
3093.96/3103.13 c #Conflicts: 1757000 | #Constraints: 52470
3093.96/3103.13 c #Conflicts: 1758000 | #Constraints: 53470
3093.96/3103.13 c #Conflicts: 1759000 | #Constraints: 54470
3093.96/3103.13 c #Conflicts: 1760000 | #Constraints: 55470
3093.96/3103.13 c #Conflicts: 1761000 | #Constraints: 56470
3093.96/3103.13 c #Conflicts: 1762000 | #Constraints: 57470
3093.96/3103.13 c #Conflicts: 1763000 | #Constraints: 58470
3093.96/3103.13 c #Conflicts: 1764000 | #Constraints: 59470
3093.96/3103.13 c #Conflicts: 1765000 | #Constraints: 60470
3093.96/3103.13 c #Conflicts: 1766000 | #Constraints: 61470
3093.96/3103.13 c #Conflicts: 1767000 | #Constraints: 62470
3093.96/3103.13 c #Conflicts: 1768000 | #Constraints: 63470
3093.96/3103.13 c #Conflicts: 1769000 | #Constraints: 64470
3093.96/3103.13 c #Conflicts: 1770000 | #Constraints: 65470
3093.96/3103.13 c #Conflicts: 1771000 | #Constraints: 66470
3093.96/3103.13 c #Conflicts: 1772000 | #Constraints: 67470
3093.96/3103.13 c INPROCESSING
3093.96/3103.13 c GARBAGE COLLECT
3093.96/3103.13 c #Conflicts: 1773000 | #Constraints: 38089
3093.96/3103.13 c #Conflicts: 1774000 | #Constraints: 39089
3093.96/3103.13 c #Conflicts: 1775000 | #Constraints: 40089
3093.96/3103.13 c #Conflicts: 1776000 | #Constraints: 41089
3093.96/3103.13 c #Conflicts: 1777000 | #Constraints: 42089
3093.96/3103.13 c #Conflicts: 1778000 | #Constraints: 43089
3093.96/3103.13 c #Conflicts: 1779000 | #Constraints: 44089
3093.96/3103.13 c #Conflicts: 1780000 | #Constraints: 45089
3093.96/3103.13 c #Conflicts: 1781000 | #Constraints: 46089
3093.96/3103.13 c #Conflicts: 1782000 | #Constraints: 47089
3093.96/3103.13 c #Conflicts: 1783000 | #Constraints: 48089
3093.96/3103.13 c #Conflicts: 1784000 | #Constraints: 49089
3093.96/3103.13 c #Conflicts: 1785000 | #Constraints: 50089
3093.96/3103.13 c #Conflicts: 1786000 | #Constraints: 51089
3093.96/3103.13 c #Conflicts: 1787000 | #Constraints: 52089
3093.96/3103.13 c #Conflicts: 1788000 | #Constraints: 53089
3093.96/3103.13 c #Conflicts: 1789000 | #Constraints: 54089
3093.96/3103.13 c #Conflicts: 1790000 | #Constraints: 55089
3093.96/3103.13 c #Conflicts: 1791000 | #Constraints: 56089
3395.39/3405.53 c #Conflicts: 1792000 | #Constraints: 57089
3395.39/3405.53 c #Conflicts: 1793000 | #Constraints: 58089
3395.39/3405.53 c #Conflicts: 1794000 | #Constraints: 59089
3395.39/3405.53 c #Conflicts: 1795000 | #Constraints: 60089
3395.39/3405.53 c #Conflicts: 1796000 | #Constraints: 61089
3395.39/3405.53 c #Conflicts: 1797000 | #Constraints: 62089
3395.39/3405.53 c #Conflicts: 1798000 | #Constraints: 63089
3395.39/3405.53 c #Conflicts: 1799000 | #Constraints: 64089
3395.39/3405.53 c #Conflicts: 1800000 | #Constraints: 65089
3395.39/3405.53 c #Conflicts: 1801000 | #Constraints: 66089
3395.39/3405.53 c #Conflicts: 1802000 | #Constraints: 67089
3395.39/3405.53 c #Conflicts: 1803000 | #Constraints: 68089
3395.39/3405.53 c #Conflicts: 1804000 | #Constraints: 69089
3395.39/3405.53 c #Conflicts: 1805000 | #Constraints: 70089
3395.39/3405.53 c #Conflicts: 1806000 | #Constraints: 71089
3395.39/3405.53 c #Conflicts: 1807000 | #Constraints: 72089
3395.39/3405.53 c #Conflicts: 1808000 | #Constraints: 73089
3395.39/3405.53 c #Conflicts: 1809000 | #Constraints: 74089
3395.39/3405.53 c #Conflicts: 1810000 | #Constraints: 75089
3395.39/3405.53 c #Conflicts: 1811000 | #Constraints: 76089
3395.39/3405.53 c #Conflicts: 1812000 | #Constraints: 77089
3395.39/3405.53 c #Conflicts: 1813000 | #Constraints: 78089
3395.39/3405.53 c #Conflicts: 1814000 | #Constraints: 79089
3395.39/3405.53 c #Conflicts: 1815000 | #Constraints: 80089
3395.39/3405.53 c #Conflicts: 1816000 | #Constraints: 81089
3395.39/3405.53 c #Conflicts: 1817000 | #Constraints: 82089
3395.39/3405.53 c #Conflicts: 1818000 | #Constraints: 83089
3395.39/3405.53 c #Conflicts: 1819000 | #Constraints: 84089
3395.39/3405.53 c #Conflicts: 1820000 | #Constraints: 85089
3395.39/3405.53 c #Conflicts: 1821000 | #Constraints: 86089
3395.39/3405.53 c #Conflicts: 1822000 | #Constraints: 87089
3395.39/3405.53 c #Conflicts: 1823000 | #Constraints: 88089
3395.39/3405.53 c #Conflicts: 1824000 | #Constraints: 89089
3395.39/3405.53 c #Conflicts: 1825000 | #Constraints: 90089
3395.39/3405.53 c #Conflicts: 1826000 | #Constraints: 91089
3395.39/3405.53 c #Conflicts: 1827000 | #Constraints: 92089
3395.39/3405.53 c #Conflicts: 1828000 | #Constraints: 93089
3395.39/3405.53 c #Conflicts: 1829000 | #Constraints: 94089
3395.39/3405.53 c #Conflicts: 1830000 | #Constraints: 95089
3395.39/3405.53 c #Conflicts: 1831000 | #Constraints: 96089
3395.39/3405.53 c #Conflicts: 1832000 | #Constraints: 97089
3395.39/3405.53 c #Conflicts: 1833000 | #Constraints: 98089
3395.39/3405.53 c #Conflicts: 1834000 | #Constraints: 99089
3395.39/3405.53 c #Conflicts: 1835000 | #Constraints: 100089
3395.39/3405.53 c #Conflicts: 1836000 | #Constraints: 101089
3395.39/3405.53 c #Conflicts: 1837000 | #Constraints: 102089
3395.39/3405.53 c #Conflicts: 1838000 | #Constraints: 103089
3395.39/3405.53 c #Conflicts: 1839000 | #Constraints: 104089
3395.39/3405.53 c #Conflicts: 1840000 | #Constraints: 105089
3395.39/3405.53 c #Conflicts: 1841000 | #Constraints: 106089
3395.39/3405.53 c #Conflicts: 1842000 | #Constraints: 107089
3395.39/3405.53 c #Conflicts: 1843000 | #Constraints: 108089
3395.39/3405.53 c #Conflicts: 1844000 | #Constraints: 109089
3395.39/3405.53 c #Conflicts: 1845000 | #Constraints: 110089
3395.39/3405.53 c #Conflicts: 1846000 | #Constraints: 111089
3395.39/3405.53 c #Conflicts: 1847000 | #Constraints: 112089
3395.39/3405.53 c #Conflicts: 1848000 | #Constraints: 113089
3395.39/3405.53 c #Conflicts: 1849000 | #Constraints: 114089
3395.39/3405.53 c #Conflicts: 1850000 | #Constraints: 115089
3395.39/3405.53 c #Conflicts: 1851000 | #Constraints: 116089
3395.39/3405.53 c #Conflicts: 1852000 | #Constraints: 117089
3395.39/3405.53 c #Conflicts: 1853000 | #Constraints: 118089
3395.39/3405.53 c #Conflicts: 1854000 | #Constraints: 119089
3395.39/3405.53 c #Conflicts: 1855000 | #Constraints: 120089
3395.39/3405.53 c #Conflicts: 1856000 | #Constraints: 121089
3395.39/3405.53 c #Conflicts: 1857000 | #Constraints: 122089
3395.39/3405.53 c #Conflicts: 1858000 | #Constraints: 123089
3395.39/3405.53 c #Conflicts: 1859000 | #Constraints: 124089
3395.39/3405.53 c #Conflicts: 1860000 | #Constraints: 125089
3395.39/3405.53 c #Conflicts: 1861000 | #Constraints: 126089
3395.39/3405.53 c #Conflicts: 1862000 | #Constraints: 127089
3395.39/3405.53 c #Conflicts: 1863000 | #Constraints: 128089
3395.39/3405.53 c #Conflicts: 1864000 | #Constraints: 129089
3395.39/3405.53 c #Conflicts: 1865000 | #Constraints: 130089
3395.39/3405.53 c #Conflicts: 1866000 | #Constraints: 131089
3395.39/3405.53 c #Conflicts: 1867000 | #Constraints: 132089
3395.39/3405.53 c #Conflicts: 1868000 | #Constraints: 133089
3395.39/3405.53 c #Conflicts: 1869000 | #Constraints: 134089
3395.39/3405.53 c #Conflicts: 1870000 | #Constraints: 135089
3452.72/3463.04 c #Conflicts: 1871000 | #Constraints: 136089
3452.72/3463.04 c #Conflicts: 1872000 | #Constraints: 137089
3452.72/3463.04 c #Conflicts: 1873000 | #Constraints: 138089
3452.72/3463.04 c #Conflicts: 1874000 | #Constraints: 139089
3452.72/3463.04 c #Conflicts: 1875000 | #Constraints: 140089
3452.72/3463.04 c #Conflicts: 1876000 | #Constraints: 141089
3452.72/3463.04 c #Conflicts: 1877000 | #Constraints: 142089
3452.72/3463.04 c #Conflicts: 1878000 | #Constraints: 143089
3452.72/3463.04 c INPROCESSING
3452.72/3463.04 c GARBAGE COLLECT
3452.72/3463.04 c rational objective 92
3546.81/3557.41 c #Conflicts: 1879000 | #Constraints: 75862
3546.81/3557.41 c #Conflicts: 1880000 | #Constraints: 76862
3546.81/3557.41 c #Conflicts: 1881000 | #Constraints: 77862
3546.81/3557.41 c #Conflicts: 1882000 | #Constraints: 78862
3546.81/3557.41 c #Conflicts: 1883000 | #Constraints: 79862
3546.81/3557.41 c #Conflicts: 1884000 | #Constraints: 80862
3546.81/3557.41 c #Conflicts: 1885000 | #Constraints: 81862
3546.81/3557.41 c #Conflicts: 1886000 | #Constraints: 82862
3546.81/3557.41 c #Conflicts: 1887000 | #Constraints: 83862
3546.81/3557.41 c #Conflicts: 1888000 | #Constraints: 84862
3546.81/3557.41 c #Conflicts: 1889000 | #Constraints: 85862
3546.81/3557.41 c #Conflicts: 1890000 | #Constraints: 86862
3546.81/3557.41 c #Conflicts: 1891000 | #Constraints: 87862
3546.81/3557.41 c #Conflicts: 1892000 | #Constraints: 88862
3546.81/3557.41 c #Conflicts: 1893000 | #Constraints: 89862
3546.81/3557.41 c #Conflicts: 1894000 | #Constraints: 90862
3546.81/3557.41 c #Conflicts: 1895000 | #Constraints: 91862
3546.81/3557.41 c #Conflicts: 1896000 | #Constraints: 92862
3546.81/3557.41 c #Conflicts: 1897000 | #Constraints: 93862
3546.81/3557.41 c #Conflicts: 1898000 | #Constraints: 94862
3546.81/3557.41 c #Conflicts: 1899000 | #Constraints: 95862
3546.81/3557.41 c #Conflicts: 1900000 | #Constraints: 96862
3546.81/3557.41 c #Conflicts: 1901000 | #Constraints: 97862
3546.81/3557.41 c #Conflicts: 1902000 | #Constraints: 98862
3546.81/3557.41 c #Conflicts: 1903000 | #Constraints: 99862
3546.81/3557.41 c #Conflicts: 1904000 | #Constraints: 100862
3546.81/3557.41 c #Conflicts: 1905000 | #Constraints: 101862
3546.81/3557.41 c #Conflicts: 1906000 | #Constraints: 102862
3546.81/3557.41 c #Conflicts: 1907000 | #Constraints: 103862
3546.81/3557.41 c #Conflicts: 1908000 | #Constraints: 104862
3546.81/3557.41 c #Conflicts: 1909000 | #Constraints: 105862
3546.81/3557.41 c INPROCESSING
3546.81/3557.41 c GARBAGE COLLECT
3546.81/3557.41 c rational objective 92
3600.04/3610.80 c #Conflicts: 1910000 | #Constraints: 57511
3600.04/3610.80 c #Conflicts: 1911000 | #Constraints: 58511
3600.04/3610.80 c #Conflicts: 1912000 | #Constraints: 59511
3600.04/3610.80 c #Conflicts: 1913000 | #Constraints: 60511
3600.04/3610.80 c #Conflicts: 1914000 | #Constraints: 61511
3600.04/3610.80 c #Conflicts: 1915000 | #Constraints: 62511
3600.04/3610.80 c #Conflicts: 1916000 | #Constraints: 63511
3600.04/3610.80 c #Conflicts: 1917000 | #Constraints: 64511
3600.04/3610.80 c #Conflicts: 1918000 | #Constraints: 65511
3600.04/3610.80 c #Conflicts: 1919000 | #Constraints: 66511
3600.04/3610.80 c #Conflicts: 1920000 | #Constraints: 67511
3600.04/3610.80 c #Conflicts: 1921000 | #Constraints: 68511
3600.04/3610.80 c #Conflicts: 1922000 | #Constraints: 69511
3600.04/3610.80 c #Conflicts: 1923000 | #Constraints: 70512
3600.04/3610.80 c #Conflicts: 1924000 | #Constraints: 71512
3600.04/3610.80 c #Conflicts: 1925000 | #Constraints: 72512
3600.04/3610.80 c #Conflicts: 1926000 | #Constraints: 73512
3600.04/3610.80 c #Conflicts: 1927000 | #Constraints: 74512
3600.04/3610.80 c #Conflicts: 1928000 | #Constraints: 75512
3600.04/3610.80 c #Conflicts: 1929000 | #Constraints: 76512
3600.04/3610.80 c #Conflicts: 1930000 | #Constraints: 77512
3600.04/3610.80 c #Conflicts: 1931000 | #Constraints: 78512
3600.04/3610.80 c #Conflicts: 1932000 | #Constraints: 79512
3600.04/3610.80 c cpu time 3582.12 s
3600.04/3610.80 c deterministic time 274043386054 2.74e+11
3600.04/3610.80 c optimization time 51.9671 s
3600.04/3610.80 c total solve time 3530.08 s
3600.04/3610.80 c core-guided solve time 0 s
3600.04/3610.80 c propagation time 2049.49 s
3600.04/3610.80 c conflict analysis time 1349.59 s
3600.04/3610.80 c propagations 944142779
3600.04/3610.80 c resolve steps 86047636
3600.04/3610.80 c decisions 14066743
3600.04/3610.80 c conflicts 1932524
3600.04/3610.80 c restarts 3768
3600.04/3610.80 c inprocessing phases 86
3600.04/3610.80 c garbage collections 86 ,( 100.00 )
3600.04/3610.80 c input clauses 6350 ,( 98.57 )
3600.04/3610.80 c input cardinalities 92 ,( 1.43 )
3600.04/3610.80 c input general constraints 0 ,( 0.00 )
3600.04/3610.80 c input average constraint length 6.23
3600.04/3610.80 c input average constraint degree 1.94
3600.04/3610.80 c learned clauses 1486234 ,( 76.91 )
3600.04/3610.80 c learned cardinalities 31252 ,( 1.62 )
3600.04/3610.80 c learned general constraints 415072 ,( 21.48 )
3600.04/3610.80 c learned average constraint length 683.50
3600.04/3610.80 c learned average constraint degree 9793809.96
3600.04/3610.80 c watched CF 32, 64, 128, Arb: 134699 , 0 , 0 , 0
3600.04/3610.80 c counting CF 32, 64, 128, Arb: 280373 , 0 , 0 , 0
3600.04/3610.80 c watched constraints 134699 ,( 32.45 )
3600.04/3610.80 c counting constraints 280373 ,( 67.55 )
3600.04/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1537102143 , 694302051 , 3448626057 ,( 155902527 , 3292723530 )
3600.04/3610.80 c gcd simplifications 1210
3600.04/3610.80 c detected cardinalities 1905
3600.04/3610.80 c weakened non-implied lits 378435040
3600.04/3610.80 c weakened non-implying lits 270722
3600.04/3610.80 c original variables 6256
3600.04/3610.80 c clausal propagations 352291285
3600.04/3610.80 c cardinality propagations 355810067
3600.04/3610.80 c watched propagations 4924726
3600.04/3610.80 c counting propagations 224571189
3600.04/3610.80 c watch lookups 149879738979
3600.04/3610.80 c watch backjump lookups 0
3600.04/3610.80 c watch checks 40512733485
3600.04/3610.80 c propagation checks 77123488940
3600.04/3610.80 c constraint additions 4608684649
3600.04/3610.80 c trail pops 960136561
3600.04/3610.80 c formula constraints 6442
3600.04/3610.80 c learned constraints 1932509
3600.04/3610.80 c bound constraints 0
3600.04/3610.80 c core-guided constraints 0
3600.04/3610.80 c encountered formula constraints 50870332
3600.04/3610.80 c encountered learned constraints 37109708
3600.04/3610.80 c encountered bound constraints 0
3600.04/3610.80 c encountered core-guided constraints 0
3600.04/3610.80 c LP total time 165.115 s
3600.04/3610.80 c LP solve time 142.49 s
3600.04/3610.80 c LP constraints added 8659
3600.04/3610.80 c LP constraints removed 2066
3600.04/3610.80 c LP pivots internal 194930
3600.04/3610.80 c LP pivots root 198987
3600.04/3610.80 c LP calls 53
3600.04/3610.80 c LP optimalities 34
3600.04/3610.80 c LP no pivot count 2
3600.04/3610.80 c LP infeasibilities 14
3600.04/3610.80 c LP valid Farkas constraints 14
3600.04/3610.80 c LP learned Farkas constraints 14
3600.04/3610.80 c LP basis resets 0
3600.04/3610.80 c LP cycling count 0
3600.04/3610.80 c LP singular count 0
3600.04/3610.80 c LP no primal count 0
3600.04/3610.80 c LP no farkas count 0
3600.04/3610.80 c LP other issue count 0
3600.04/3610.80 c LP Gomory cuts 21
3600.04/3610.80 c LP learned cuts 2196
3600.04/3610.80 c LP deleted cuts 2066
3600.04/3610.80 c LP encountered Gomory constraints 28
3600.04/3610.80 c LP encountered Farkas constraints 60
3600.04/3610.80 c LP encountered learned Farkas constraints 18
3600.04/3610.80 c CG auxiliary variables introduced 0
3600.04/3610.80 c CG solutions found 0
3600.04/3610.80 c CG cores constructed 0
3600.04/3610.80 c CG core cardinality constraints returned 0
3600.04/3610.80 c CG unit cores 0
3600.04/3610.80 c CG single cores 0
3600.04/3610.80 c CG blocks removed during cardinality reduction 0
3600.04/3610.80 c CG first core best 0
3600.04/3610.80 c CG decision core best 0
3600.04/3610.80 c CG core reduction tie 0
3600.04/3610.80 c CG core degree average 0.00
3600.04/3610.80 c CG core slack average 0.00
3600.04/3610.80 c CG core upper bound improvements 0
3600.04/3610.80 c STR number of successful calls 0
3600.04/3610.80 c STR number of unsuccessful calls 0
3600.04/3610.80 c STR number of inconclusive calls 0
3600.04/3610.80 c STR number of successful attempts 0
3600.04/3610.80 c STR number of unsuccessful attempts 0
3600.04/3610.80 c STR number of inconclusive attempts 0
3600.04/3610.80 c STR average degree increase per successful call inf
3600.04/3610.80 c STR average degree increase per successful attempt inf
3600.04/3610.80 c STR total number of conflicts for successful attempts 0
3600.04/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.80 c STR average number of conflicts per successful attempt inf
3600.04/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.80 c AVG.sumWPerc 59.53
3600.04/3610.80 c bigint constraints 0
3600.04/3610.80 s UNKNOWN
3600.04/3610.80 c Program interrupted by user.
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: 63837 MiB (63228 MiB free)
memory of node 1: 64465 MiB (63945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507300-1751185859/watcher-4507300-1751185859 -o /tmp/evaluation-result-4507300-1751185859/solver-4507300-1751185859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21367 --watchdog 3760 run-dec.sh HOME/instance-4507300-1751185859.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21760, runsolver pid=21753
[startup+0.100073 s]*
/proc/loadavg: 4.09 4.09 4.04 4/250 21762
/proc/meminfo: memFree=130216828/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=61344 memory=17304 CPUtime=0.08 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 2379 0 0 0 6 2 0 0 20 0 1 0 34264996 62816256 4326 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 15336 4326 2208 1147 0 2763 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65536 KiB
Current children cumulated memory: 20248 KiB
[startup+0.213901 s]*
/proc/loadavg: 4.09 4.09 4.04 5/250 21762
/proc/meminfo: memFree=130214272/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=70620 memory=24720 CPUtime=0.2 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 4327 0 0 0 17 3 0 0 20 0 1 0 34264996 72314880 6180 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 17655 6180 2208 1147 0 5082 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74812 KiB
Current children cumulated memory: 27664 KiB
[startup+0.313669 s]*
/proc/loadavg: 4.09 4.09 4.04 4/250 21762
/proc/meminfo: memFree=130212256/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=70944 memory=25232 CPUtime=0.29 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 4452 0 0 0 26 3 0 0 20 0 1 0 34264996 72646656 6308 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 17736 6308 2208 1147 0 5163 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75136 KiB
Current children cumulated memory: 28176 KiB
[startup+0.700317 s]
/proc/loadavg: 4.09 4.09 4.04 4/251 21763
/proc/meminfo: memFree=130212256/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=71464 memory=26000 CPUtime=0.67 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 4598 0 0 0 63 4 0 0 20 0 1 0 34264996 73179136 6500 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 17866 6500 2240 1147 0 5293 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75656 KiB
Current children cumulated memory: 28944 KiB
[startup+1.50032 s]
/proc/loadavg: 4.09 4.09 4.04 4/251 21789
/proc/meminfo: memFree=130215904/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=72464 memory=26896 CPUtime=1.46 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 4811 0 0 0 142 4 0 0 20 0 1 0 34264996 74203136 6724 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 18116 6724 2272 1147 0 5543 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 76656 KiB
Current children cumulated memory: 29840 KiB
[startup+3.11341 s]
/proc/loadavg: 4.09 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130190368/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=76824 memory=33692 CPUtime=3.07 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 5964 0 0 0 295 12 0 0 20 0 1 0 34264996 78667776 8423 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 19206 8423 2304 1147 0 6633 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 81016 KiB
Current children cumulated memory: 36636 KiB
[startup+6.30033 s]
/proc/loadavg: 4.08 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130157172/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=85704 memory=41732 CPUtime=6.25 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 7465 0 0 0 605 20 0 0 20 0 1 0 34264996 87760896 10433 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 21426 10433 2304 1147 0 8853 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 89896 KiB
Current children cumulated memory: 44676 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130125356/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=92072 memory=47436 CPUtime=12.63 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 8369 0 0 0 1229 34 0 0 20 0 1 0 34264996 94281728 11859 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 23018 11859 2304 1147 0 10445 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 96264 KiB
Current children cumulated memory: 50380 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.10 4.05 5/255 21800
/proc/meminfo: memFree=130079664/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=106356 memory=58576 CPUtime=25.39 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 10650 0 0 0 2476 63 0 0 20 0 1 0 34264996 108908544 14644 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 26589 14644 2304 1147 0 14016 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 110548 KiB
Current children cumulated memory: 61520 KiB
[startup+51.1135 s]
/proc/loadavg: 4.08 4.09 4.05 5/255 21801
/proc/meminfo: memFree=129906416/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=159228 memory=112864 CPUtime=50.92 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 17076 0 0 0 4988 104 0 0 20 0 1 0 34264996 163049472 28216 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 39807 28216 2304 1147 0 27234 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 163420 KiB
Current children cumulated memory: 115808 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/255 21803
/proc/meminfo: memFree=129703976/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=212976 memory=153600 CPUtime=101.94 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 22675 0 0 0 10035 159 0 0 20 0 1 0 34264996 218087424 38400 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 53244 38400 2304 1147 0 40671 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 217168 KiB
Current children cumulated memory: 156544 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.06 5/255 21805
/proc/meminfo: memFree=129588540/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=290700 memory=196060 CPUtime=161.74 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 29711 0 0 0 15950 224 0 0 20 0 1 0 34264996 297676800 49015 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 72675 49015 2304 1147 0 60102 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 294892 KiB
Current children cumulated memory: 199004 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 21807
/proc/meminfo: memFree=129302532/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=299952 memory=232404 CPUtime=221.54 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 32156 0 0 0 21872 282 0 0 20 0 1 0 34264996 307150848 58101 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 74988 58101 2304 1147 0 62415 0
################
# More data... #
################
/proc/21762/statm: 231132 180358 2304 1147 0 218559 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 928720 KiB
Current children cumulated memory: 724376 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/255 21967
/proc/meminfo: memFree=126785604/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=924528 memory=721560 CPUtime=3093.15 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 73844 0 0 0 307657 1658 0 0 20 0 1 0 34264996 946716672 180390 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 231132 180390 2304 1147 0 218559 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 928720 KiB
Current children cumulated memory: 724504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/255 21969
/proc/meminfo: memFree=126790792/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=924528 memory=721560 CPUtime=3152.96 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 73844 0 0 0 313618 1678 0 0 20 0 1 0 34264996 946716672 180390 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 231132 180390 2304 1147 0 218559 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 928720 KiB
Current children cumulated memory: 724504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/255 21971
/proc/meminfo: memFree=126784720/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=924528 memory=721560 CPUtime=3212.77 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 73851 0 0 0 319581 1696 0 0 20 0 1 0 34264996 946716672 180390 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 231132 180390 2304 1147 0 218559 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 928720 KiB
Current children cumulated memory: 724504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/256 21975
/proc/meminfo: memFree=126780320/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=930168 memory=725144 CPUtime=3272.57 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 74743 0 0 0 325547 1710 0 0 20 0 1 0 34264996 952492032 181286 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 232542 181286 2304 1147 0 219969 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 934360 KiB
Current children cumulated memory: 728088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/255 21980
/proc/meminfo: memFree=126770644/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=941816 memory=732440 CPUtime=3332.39 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 76581 0 0 0 331518 1721 0 0 20 0 1 0 34264996 964419584 183110 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 235454 183110 2304 1147 0 222881 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 946008 KiB
Current children cumulated memory: 735384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/255 21982
/proc/meminfo: memFree=126746032/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=951804 memory=738968 CPUtime=3392.19 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 78503 0 0 0 337490 1729 0 0 20 0 1 0 34264996 974647296 184742 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 237951 184742 2304 1147 0 225378 0
Current children cumulated CPU time: 3392.19 s
Current children cumulated vsize: 955996 KiB
Current children cumulated memory: 741912 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/255 21984
/proc/meminfo: memFree=126693196/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=981500 memory=759704 CPUtime=3452 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 83702 0 0 0 343461 1739 0 0 20 0 1 0 34264996 1005056000 189926 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 245375 189926 2304 1147 0 232802 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 985692 KiB
Current children cumulated memory: 762648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/255 21986
/proc/meminfo: memFree=126668940/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=984340 memory=762392 CPUtime=3511.82 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 84356 0 0 0 349422 1760 0 0 20 0 1 0 34264996 1007964160 190598 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 246085 190598 2304 1147 0 233512 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 988532 KiB
Current children cumulated memory: 765336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/254 21989
/proc/meminfo: memFree=126660604/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=984340 memory=762392 CPUtime=3571.63 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 84356 0 0 0 355381 1782 0 0 20 0 1 0 34264996 1007964160 190598 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 246085 190598 2304 1147 0 233512 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 988532 KiB
Current children cumulated memory: 765336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.10 4.12 4.14 4/244 22009
/proc/meminfo: memFree=128871412/131382120 swapFree=33010684/33010684
[pid=21760] ppid=21753 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21760/stat : 21760 (run-dec.sh) S 21753 21760 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264994 4292608 736 18446744073709551615 94492820013056 94492820907589 140730437672224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94492821146640 94492821194384 94492845424640 140730437675373 140730437675496 140730437675496 140730437681098 0
/proc/21760/statm: 1048 736 672 219 0 110 0
[pid=21762] ppid=21760 vsize=984340 memory=762392 CPUtime=3600.04 cores=1,3
/proc/21762/stat : 21762 (roundingsat) R 21760 21760 21352 0 -1 4194304 84356 0 0 0 358212 1792 0 0 20 0 1 0 34264996 1007964160 190598 18446744073709551615 4227072 8923433 140733498483648 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25501696 140733498485175 140733498485288 140733498485288 140733498490858 0
/proc/21762/statm: 246085 190598 2304 1147 0 233512 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 988532 KiB
Current children cumulated memory: 765336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 21760 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005338 s
[startup+3610.81 s]
# the end of solver process 21762 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.12 s, system=17.9394 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.81
CPU time (s): 3600.06
CPU user time (s): 3582.12
CPU system time (s): 17.9394
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 988532
Max. memory (cumulated for all children) (KiB): 765336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.12
system time used= 17.9394
maximum resident set size= 762776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84581
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= 328
involuntary context switches= 3463
# summary of solver processes directly reported to runsolver:
# pid: 21760,21762
# total CPU time (s): 3600.06
# total CPU user time (s): 3582.12
# total CPU system time (s): 17.9394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8468 second user time and 36.2324 second system time
The end
Begin job on nodeC008 at 2025-06-29 10:30:59
IDJOB=4507300
IDBENCH=158341
IDSOLVER=3349
FILE ID=nodeC008/4507300-1751185859
RUNJOBID= nodeC008-1751182246-21367
SLURM_JOB_ID= 9587557
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507300-1751185859/watcher-4507300-1751185859 -o /tmp/evaluation-result-4507300-1751185859/solver-4507300-1751185859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21367 --watchdog 3760 run-dec.sh HOME/instance-4507300-1751185859.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=72166492
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.212
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.432
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.361
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.388
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130227396 kB
MemAvailable: 129871424 kB
Buffers: 3280 kB
Cached: 453504 kB
SwapCached: 0 kB
Active: 357232 kB
Inactive: 240224 kB
Active(anon): 158628 kB
Inactive(anon): 0 kB
Active(file): 198604 kB
Inactive(file): 240224 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24436 kB
Writeback: 4 kB
AnonPages: 143884 kB
Mapped: 111144 kB
Shmem: 17956 kB
KReclaimable: 85100 kB
Slab: 163756 kB
SReclaimable: 85100 kB
SUnreclaim: 78656 kB
KernelStack: 4048 kB
PageTables: 3292 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 482612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 11:31:10