0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.10/0.11 c [STEP] solving with SCIP
299.06/300.18 c [STEP] preprocessing done, loading into solver
299.15/300.23 c [STEP] solving
299.15/300.23 c #variables 1903 #constraints 26845
299.15/300.23 c SMALL=int, LARGE=long long
299.15/300.23 d SCIPUB -10249
299.15/300.23 c bounds - >= -109612 @ 298.944
299.15/300.23 c stratification level: 332
399.34/400.79 c bounds - >= -109280 @ 298.949
399.34/400.79 c #Conflicts: 1000 | #Constraints: 27847
399.34/400.79 c #Conflicts: 2000 | #Constraints: 28847
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 3000 | #Constraints: 28854
399.34/400.79 c #Conflicts: 4000 | #Constraints: 29854
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 5000 | #Constraints: 29258
399.34/400.79 c #Conflicts: 6000 | #Constraints: 30258
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 7000 | #Constraints: 29260
399.34/400.79 c #Conflicts: 8000 | #Constraints: 30260
399.34/400.79 c #Conflicts: 9000 | #Constraints: 31260
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 10000 | #Constraints: 29962
399.34/400.79 c #Conflicts: 11000 | #Constraints: 30962
399.34/400.79 c #Conflicts: 12000 | #Constraints: 31962
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 13000 | #Constraints: 30413
399.34/400.79 c #Conflicts: 14000 | #Constraints: 31413
399.34/400.79 c #Conflicts: 15000 | #Constraints: 32413
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 16000 | #Constraints: 30640
399.34/400.79 c #Conflicts: 17000 | #Constraints: 31640
399.34/400.79 c #Conflicts: 18000 | #Constraints: 32640
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 19000 | #Constraints: 30653
399.34/400.79 c #Conflicts: 20000 | #Constraints: 31653
399.34/400.79 c #Conflicts: 21000 | #Constraints: 32653
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 22000 | #Constraints: 30460
399.34/400.79 c #Conflicts: 23000 | #Constraints: 31460
399.34/400.79 c #Conflicts: 24000 | #Constraints: 32460
399.34/400.79 c #Conflicts: 25000 | #Constraints: 33460
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 26000 | #Constraints: 31068
399.34/400.79 c #Conflicts: 27000 | #Constraints: 32068
399.34/400.79 c #Conflicts: 28000 | #Constraints: 33068
399.34/400.79 c #Conflicts: 29000 | #Constraints: 34068
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 30000 | #Constraints: 31467
399.34/400.79 c #Conflicts: 31000 | #Constraints: 32467
399.34/400.79 c #Conflicts: 32000 | #Constraints: 33467
399.34/400.79 c #Conflicts: 33000 | #Constraints: 34467
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 34000 | #Constraints: 31674
399.34/400.79 c #Conflicts: 35000 | #Constraints: 32674
399.34/400.79 c #Conflicts: 36000 | #Constraints: 33674
399.34/400.79 c #Conflicts: 37000 | #Constraints: 34674
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 38000 | #Constraints: 31673
399.34/400.79 c #Conflicts: 39000 | #Constraints: 32673
399.34/400.79 c #Conflicts: 40000 | #Constraints: 33673
399.34/400.79 c #Conflicts: 41000 | #Constraints: 34673
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 42000 | #Constraints: 31491
399.34/400.79 c #Conflicts: 43000 | #Constraints: 32491
399.34/400.79 c #Conflicts: 44000 | #Constraints: 33491
399.34/400.79 c #Conflicts: 45000 | #Constraints: 34491
399.34/400.79 c #Conflicts: 46000 | #Constraints: 35491
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 47000 | #Constraints: 32079
399.34/400.79 c #Conflicts: 48000 | #Constraints: 33079
399.34/400.79 c #Conflicts: 49000 | #Constraints: 34079
399.34/400.79 c #Conflicts: 50000 | #Constraints: 35079
399.34/400.79 c #Conflicts: 51000 | #Constraints: 36079
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 52000 | #Constraints: 32488
399.34/400.79 c #Conflicts: 53000 | #Constraints: 33488
399.34/400.79 c #Conflicts: 54000 | #Constraints: 34488
399.34/400.79 c #Conflicts: 55000 | #Constraints: 35488
399.34/400.79 c #Conflicts: 56000 | #Constraints: 36488
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 57000 | #Constraints: 32693
399.34/400.79 c #Conflicts: 58000 | #Constraints: 33693
399.34/400.79 c #Conflicts: 59000 | #Constraints: 34693
399.34/400.79 c #Conflicts: 60000 | #Constraints: 35693
399.34/400.79 c #Conflicts: 61000 | #Constraints: 36693
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 62000 | #Constraints: 32688
399.34/400.79 c #Conflicts: 63000 | #Constraints: 33688
399.34/400.79 c #Conflicts: 64000 | #Constraints: 34688
399.34/400.79 c #Conflicts: 65000 | #Constraints: 35688
399.34/400.79 c #Conflicts: 66000 | #Constraints: 36688
399.34/400.79 c INPROCESSING
399.34/400.79 c GARBAGE COLLECT
399.34/400.79 c #Conflicts: 67000 | #Constraints: 32492
527.78/529.57 c #Conflicts: 68000 | #Constraints: 33492
527.78/529.57 c #Conflicts: 69000 | #Constraints: 34492
527.78/529.57 c #Conflicts: 70000 | #Constraints: 35492
527.78/529.57 c #Conflicts: 71000 | #Constraints: 36492
527.78/529.57 c #Conflicts: 72000 | #Constraints: 37492
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 73000 | #Constraints: 33100
527.78/529.57 c #Conflicts: 74000 | #Constraints: 34100
527.78/529.57 c #Conflicts: 75000 | #Constraints: 35100
527.78/529.57 c #Conflicts: 76000 | #Constraints: 36100
527.78/529.57 c #Conflicts: 77000 | #Constraints: 37100
527.78/529.57 c #Conflicts: 78000 | #Constraints: 38100
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 79000 | #Constraints: 33515
527.78/529.57 c #Conflicts: 80000 | #Constraints: 34515
527.78/529.57 c #Conflicts: 81000 | #Constraints: 35515
527.78/529.57 c #Conflicts: 82000 | #Constraints: 36515
527.78/529.57 c #Conflicts: 83000 | #Constraints: 37515
527.78/529.57 c #Conflicts: 84000 | #Constraints: 38515
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 85000 | #Constraints: 33723
527.78/529.57 c #Conflicts: 86000 | #Constraints: 34723
527.78/529.57 c #Conflicts: 87000 | #Constraints: 35723
527.78/529.57 c #Conflicts: 88000 | #Constraints: 36723
527.78/529.57 c #Conflicts: 89000 | #Constraints: 37723
527.78/529.57 c #Conflicts: 90000 | #Constraints: 38723
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 91000 | #Constraints: 33716
527.78/529.57 c #Conflicts: 92000 | #Constraints: 34716
527.78/529.57 c #Conflicts: 93000 | #Constraints: 35716
527.78/529.57 c #Conflicts: 94000 | #Constraints: 36716
527.78/529.57 c #Conflicts: 95000 | #Constraints: 37716
527.78/529.57 c #Conflicts: 96000 | #Constraints: 38716
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 97000 | #Constraints: 33509
527.78/529.57 c #Conflicts: 98000 | #Constraints: 34509
527.78/529.57 c #Conflicts: 99000 | #Constraints: 35509
527.78/529.57 c #Conflicts: 100000 | #Constraints: 36509
527.78/529.57 c #Conflicts: 101000 | #Constraints: 37509
527.78/529.57 c #Conflicts: 102000 | #Constraints: 38509
527.78/529.57 c #Conflicts: 103000 | #Constraints: 39509
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 104000 | #Constraints: 34105
527.78/529.57 c #Conflicts: 105000 | #Constraints: 35105
527.78/529.57 c #Conflicts: 106000 | #Constraints: 36105
527.78/529.57 c #Conflicts: 107000 | #Constraints: 37105
527.78/529.57 c #Conflicts: 108000 | #Constraints: 38105
527.78/529.57 c #Conflicts: 109000 | #Constraints: 39105
527.78/529.57 c #Conflicts: 110000 | #Constraints: 40105
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 111000 | #Constraints: 34507
527.78/529.57 c #Conflicts: 112000 | #Constraints: 35507
527.78/529.57 c #Conflicts: 113000 | #Constraints: 36507
527.78/529.57 c #Conflicts: 114000 | #Constraints: 37507
527.78/529.57 c #Conflicts: 115000 | #Constraints: 38507
527.78/529.57 c #Conflicts: 116000 | #Constraints: 39507
527.78/529.57 c #Conflicts: 117000 | #Constraints: 40507
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 118000 | #Constraints: 34712
527.78/529.57 c #Conflicts: 119000 | #Constraints: 35712
527.78/529.57 c #Conflicts: 120000 | #Constraints: 36712
527.78/529.57 c #Conflicts: 121000 | #Constraints: 37712
527.78/529.57 c #Conflicts: 122000 | #Constraints: 38712
527.78/529.57 c #Conflicts: 123000 | #Constraints: 39712
527.78/529.57 c #Conflicts: 124000 | #Constraints: 40712
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 125000 | #Constraints: 34717
527.78/529.57 c #Conflicts: 126000 | #Constraints: 35717
527.78/529.57 c #Conflicts: 127000 | #Constraints: 36717
527.78/529.57 c #Conflicts: 128000 | #Constraints: 37717
527.78/529.57 c #Conflicts: 129000 | #Constraints: 38717
527.78/529.57 c #Conflicts: 130000 | #Constraints: 39717
527.78/529.57 c #Conflicts: 131000 | #Constraints: 40717
527.78/529.57 c INPROCESSING
527.78/529.57 c GARBAGE COLLECT
527.78/529.57 c #Conflicts: 132000 | #Constraints: 34515
527.78/529.57 c #Conflicts: 133000 | #Constraints: 35515
527.78/529.57 c #Conflicts: 134000 | #Constraints: 36515
527.78/529.57 c #Conflicts: 135000 | #Constraints: 37515
527.78/529.57 c #Conflicts: 136000 | #Constraints: 38515
527.78/529.57 c #Conflicts: 137000 | #Constraints: 39515
527.78/529.57 c #Conflicts: 138000 | #Constraints: 40515
527.78/529.57 c #Conflicts: 139000 | #Constraints: 41515
527.78/529.57 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 140000 | #Constraints: 35118
729.26/731.53 c #Conflicts: 141000 | #Constraints: 36118
729.26/731.53 c #Conflicts: 142000 | #Constraints: 37118
729.26/731.53 c #Conflicts: 143000 | #Constraints: 38118
729.26/731.53 c #Conflicts: 144000 | #Constraints: 39118
729.26/731.53 c #Conflicts: 145000 | #Constraints: 40118
729.26/731.53 c #Conflicts: 146000 | #Constraints: 41118
729.26/731.53 c #Conflicts: 147000 | #Constraints: 42118
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 148000 | #Constraints: 35525
729.26/731.53 c #Conflicts: 149000 | #Constraints: 36525
729.26/731.53 c #Conflicts: 150000 | #Constraints: 37525
729.26/731.53 c #Conflicts: 151000 | #Constraints: 38525
729.26/731.53 c #Conflicts: 152000 | #Constraints: 39525
729.26/731.53 c #Conflicts: 153000 | #Constraints: 40525
729.26/731.53 c #Conflicts: 154000 | #Constraints: 41525
729.26/731.53 c #Conflicts: 155000 | #Constraints: 42525
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 156000 | #Constraints: 35742
729.26/731.53 c #Conflicts: 157000 | #Constraints: 36742
729.26/731.53 c #Conflicts: 158000 | #Constraints: 37742
729.26/731.53 c #Conflicts: 159000 | #Constraints: 38742
729.26/731.53 c #Conflicts: 160000 | #Constraints: 39742
729.26/731.53 c #Conflicts: 161000 | #Constraints: 40742
729.26/731.53 c #Conflicts: 162000 | #Constraints: 41742
729.26/731.53 c bounds - >= -108948 @ 577.344
729.26/731.53 c #Conflicts: 163000 | #Constraints: 42743
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 164000 | #Constraints: 33728
729.26/731.53 c #Conflicts: 165000 | #Constraints: 34728
729.26/731.53 c #Conflicts: 166000 | #Constraints: 35728
729.26/731.53 c #Conflicts: 167000 | #Constraints: 36728
729.26/731.53 c #Conflicts: 168000 | #Constraints: 37728
729.26/731.53 c #Conflicts: 169000 | #Constraints: 38728
729.26/731.53 c #Conflicts: 170000 | #Constraints: 39728
729.26/731.53 c #Conflicts: 171000 | #Constraints: 40728
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 172000 | #Constraints: 34474
729.26/731.53 c #Conflicts: 173000 | #Constraints: 35474
729.26/731.53 c #Conflicts: 174000 | #Constraints: 36474
729.26/731.53 c #Conflicts: 175000 | #Constraints: 37474
729.26/731.53 c #Conflicts: 176000 | #Constraints: 38474
729.26/731.53 c #Conflicts: 177000 | #Constraints: 39474
729.26/731.53 c #Conflicts: 178000 | #Constraints: 40474
729.26/731.53 c #Conflicts: 179000 | #Constraints: 41474
729.26/731.53 c #Conflicts: 180000 | #Constraints: 42474
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 181000 | #Constraints: 35547
729.26/731.53 c #Conflicts: 182000 | #Constraints: 36547
729.26/731.53 c #Conflicts: 183000 | #Constraints: 37547
729.26/731.53 c #Conflicts: 184000 | #Constraints: 38547
729.26/731.53 c #Conflicts: 185000 | #Constraints: 39547
729.26/731.53 c #Conflicts: 186000 | #Constraints: 40547
729.26/731.53 c #Conflicts: 187000 | #Constraints: 41547
729.26/731.53 c #Conflicts: 188000 | #Constraints: 42547
729.26/731.53 c #Conflicts: 189000 | #Constraints: 43547
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 190000 | #Constraints: 36189
729.26/731.53 c #Conflicts: 191000 | #Constraints: 37189
729.26/731.53 c #Conflicts: 192000 | #Constraints: 38189
729.26/731.53 c #Conflicts: 193000 | #Constraints: 39189
729.26/731.53 c #Conflicts: 194000 | #Constraints: 40189
729.26/731.53 c #Conflicts: 195000 | #Constraints: 41189
729.26/731.53 c #Conflicts: 196000 | #Constraints: 42189
729.26/731.53 c #Conflicts: 197000 | #Constraints: 43189
729.26/731.53 c #Conflicts: 198000 | #Constraints: 44189
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 199000 | #Constraints: 36505
729.26/731.53 c #Conflicts: 200000 | #Constraints: 37505
729.26/731.53 c #Conflicts: 201000 | #Constraints: 38505
729.26/731.53 c #Conflicts: 202000 | #Constraints: 39505
729.26/731.53 c #Conflicts: 203000 | #Constraints: 40505
729.26/731.53 c #Conflicts: 204000 | #Constraints: 41505
729.26/731.53 c #Conflicts: 205000 | #Constraints: 42505
729.26/731.53 c #Conflicts: 206000 | #Constraints: 43505
729.26/731.53 c #Conflicts: 207000 | #Constraints: 44505
729.26/731.53 c INPROCESSING
729.26/731.53 c GARBAGE COLLECT
729.26/731.53 c #Conflicts: 208000 | #Constraints: 36570
729.26/731.53 c #Conflicts: 209000 | #Constraints: 37570
729.26/731.53 c #Conflicts: 210000 | #Constraints: 38570
729.26/731.53 c #Conflicts: 211000 | #Constraints: 39570
729.26/731.53 c #Conflicts: 212000 | #Constraints: 40570
1094.72/1097.82 c #Conflicts: 213000 | #Constraints: 41570
1094.72/1097.82 c #Conflicts: 214000 | #Constraints: 42570
1094.72/1097.82 c #Conflicts: 215000 | #Constraints: 43570
1094.72/1097.82 c #Conflicts: 216000 | #Constraints: 44570
1094.72/1097.82 c INPROCESSING
1094.72/1097.82 c GARBAGE COLLECT
1094.72/1097.82 c #Conflicts: 217000 | #Constraints: 36407
1094.72/1097.82 c #Conflicts: 218000 | #Constraints: 37407
1094.72/1097.82 c #Conflicts: 219000 | #Constraints: 38407
1094.72/1097.82 c #Conflicts: 220000 | #Constraints: 39407
1094.72/1097.82 c #Conflicts: 221000 | #Constraints: 40407
1094.72/1097.82 c #Conflicts: 222000 | #Constraints: 41407
1094.72/1097.82 c #Conflicts: 223000 | #Constraints: 42407
1094.72/1097.82 c #Conflicts: 224000 | #Constraints: 43407
1094.72/1097.82 c #Conflicts: 225000 | #Constraints: 44407
1094.72/1097.82 c #Conflicts: 226000 | #Constraints: 45407
1094.72/1097.82 c INPROCESSING
1094.72/1097.82 c GARBAGE COLLECT
1094.72/1097.82 c #Conflicts: 227000 | #Constraints: 37028
1094.72/1097.82 c #Conflicts: 228000 | #Constraints: 38028
1094.72/1097.82 c #Conflicts: 229000 | #Constraints: 39028
1094.72/1097.82 c #Conflicts: 230000 | #Constraints: 40028
1094.72/1097.82 c #Conflicts: 231000 | #Constraints: 41028
1094.72/1097.82 c #Conflicts: 232000 | #Constraints: 42028
1094.72/1097.82 c #Conflicts: 233000 | #Constraints: 43028
1094.72/1097.82 c #Conflicts: 234000 | #Constraints: 44028
1094.72/1097.82 c #Conflicts: 235000 | #Constraints: 45028
1094.72/1097.82 c #Conflicts: 236000 | #Constraints: 46028
1094.72/1097.82 c INPROCESSING
1094.72/1097.82 c GARBAGE COLLECT
1094.72/1097.82 c #Conflicts: 237000 | #Constraints: 37424
1094.72/1097.82 c #Conflicts: 238000 | #Constraints: 38424
1094.72/1097.82 c #Conflicts: 239000 | #Constraints: 39424
1094.72/1097.82 c #Conflicts: 240000 | #Constraints: 40424
1094.72/1097.82 c #Conflicts: 241000 | #Constraints: 41424
1094.72/1097.82 c #Conflicts: 242000 | #Constraints: 42424
1094.72/1097.82 c #Conflicts: 243000 | #Constraints: 43424
1094.72/1097.82 c #Conflicts: 244000 | #Constraints: 44424
1094.72/1097.82 c #Conflicts: 245000 | #Constraints: 45424
1094.72/1097.82 c #Conflicts: 246000 | #Constraints: 46424
1094.72/1097.82 c INPROCESSING
1094.72/1097.82 c GARBAGE COLLECT
1094.72/1097.82 c #Conflicts: 247000 | #Constraints: 37618
1094.72/1097.82 c #Conflicts: 248000 | #Constraints: 38618
1094.72/1097.82 c #Conflicts: 249000 | #Constraints: 39618
1094.72/1097.82 c #Conflicts: 250000 | #Constraints: 40618
1094.72/1097.82 c #Conflicts: 251000 | #Constraints: 41618
1094.72/1097.82 c #Conflicts: 252000 | #Constraints: 42618
1094.72/1097.82 c #Conflicts: 253000 | #Constraints: 43618
1094.72/1097.82 c #Conflicts: 254000 | #Constraints: 44618
1094.72/1097.82 c #Conflicts: 255000 | #Constraints: 45618
1094.72/1097.82 c #Conflicts: 256000 | #Constraints: 46618
1094.72/1097.82 c INPROCESSING
1094.72/1097.82 c GARBAGE COLLECT
1094.72/1097.82 c #Conflicts: 257000 | #Constraints: 37620
1094.72/1097.82 c #Conflicts: 258000 | #Constraints: 38620
1094.72/1097.82 c #Conflicts: 259000 | #Constraints: 39620
1094.72/1097.82 c #Conflicts: 260000 | #Constraints: 40620
1094.72/1097.82 c #Conflicts: 261000 | #Constraints: 41620
1094.72/1097.82 c #Conflicts: 262000 | #Constraints: 42620
1094.72/1097.82 c #Conflicts: 263000 | #Constraints: 43620
1094.72/1097.82 c #Conflicts: 264000 | #Constraints: 44620
1094.72/1097.82 c #Conflicts: 265000 | #Constraints: 45620
1094.72/1097.82 c #Conflicts: 266000 | #Constraints: 46620
1094.72/1097.82 c INPROCESSING
1094.72/1097.82 c GARBAGE COLLECT
1094.72/1097.82 c #Conflicts: 267000 | #Constraints: 37421
1094.72/1097.82 c #Conflicts: 268000 | #Constraints: 38421
1094.72/1097.82 c #Conflicts: 269000 | #Constraints: 39421
1094.72/1097.82 c #Conflicts: 270000 | #Constraints: 40421
1094.72/1097.82 c #Conflicts: 271000 | #Constraints: 41421
1094.72/1097.82 c #Conflicts: 272000 | #Constraints: 42421
1094.72/1097.82 c #Conflicts: 273000 | #Constraints: 43421
1094.72/1097.82 c #Conflicts: 274000 | #Constraints: 44421
1094.72/1097.82 c #Conflicts: 275000 | #Constraints: 45421
1094.72/1097.82 c #Conflicts: 276000 | #Constraints: 46421
1094.72/1097.82 c #Conflicts: 277000 | #Constraints: 47421
1094.72/1097.82 c INPROCESSING
1094.72/1097.82 c GARBAGE COLLECT
1094.72/1097.82 c #Conflicts: 278000 | #Constraints: 38021
1094.72/1097.82 c #Conflicts: 279000 | #Constraints: 39021
1094.72/1097.82 c #Conflicts: 280000 | #Constraints: 40021
1094.72/1097.82 c #Conflicts: 281000 | #Constraints: 41021
1094.72/1097.82 c #Conflicts: 282000 | #Constraints: 42021
1094.72/1097.82 c #Conflicts: 283000 | #Constraints: 43021
1094.72/1097.82 c #Conflicts: 284000 | #Constraints: 44021
1094.72/1097.82 c #Conflicts: 285000 | #Constraints: 45021
1094.72/1097.82 c #Conflicts: 286000 | #Constraints: 46021
1449.68/1453.69 c #Conflicts: 287000 | #Constraints: 47021
1449.68/1453.69 c #Conflicts: 288000 | #Constraints: 48021
1449.68/1453.69 c INPROCESSING
1449.68/1453.69 c GARBAGE COLLECT
1449.68/1453.69 c #Conflicts: 289000 | #Constraints: 38422
1449.68/1453.69 c #Conflicts: 290000 | #Constraints: 39422
1449.68/1453.69 c #Conflicts: 291000 | #Constraints: 40422
1449.68/1453.69 c #Conflicts: 292000 | #Constraints: 41422
1449.68/1453.69 c #Conflicts: 293000 | #Constraints: 42422
1449.68/1453.69 c #Conflicts: 294000 | #Constraints: 43422
1449.68/1453.69 c #Conflicts: 295000 | #Constraints: 44422
1449.68/1453.69 c #Conflicts: 296000 | #Constraints: 45422
1449.68/1453.69 c #Conflicts: 297000 | #Constraints: 46422
1449.68/1453.69 c #Conflicts: 298000 | #Constraints: 47422
1449.68/1453.69 c #Conflicts: 299000 | #Constraints: 48422
1449.68/1453.69 c INPROCESSING
1449.68/1453.69 c GARBAGE COLLECT
1449.68/1453.69 c #Conflicts: 300000 | #Constraints: 38623
1449.68/1453.69 c #Conflicts: 301000 | #Constraints: 39623
1449.68/1453.69 c #Conflicts: 302000 | #Constraints: 40623
1449.68/1453.69 c #Conflicts: 303000 | #Constraints: 41623
1449.68/1453.69 c #Conflicts: 304000 | #Constraints: 42623
1449.68/1453.69 c #Conflicts: 305000 | #Constraints: 43623
1449.68/1453.69 c #Conflicts: 306000 | #Constraints: 44623
1449.68/1453.69 c #Conflicts: 307000 | #Constraints: 45623
1449.68/1453.69 c #Conflicts: 308000 | #Constraints: 46623
1449.68/1453.69 c #Conflicts: 309000 | #Constraints: 47623
1449.68/1453.69 c #Conflicts: 310000 | #Constraints: 48623
1449.68/1453.69 c INPROCESSING
1449.68/1453.69 c GARBAGE COLLECT
1449.68/1453.69 c #Conflicts: 311000 | #Constraints: 38623
1449.68/1453.69 c #Conflicts: 312000 | #Constraints: 39623
1449.68/1453.69 c #Conflicts: 313000 | #Constraints: 40623
1449.68/1453.69 c #Conflicts: 314000 | #Constraints: 41623
1449.68/1453.69 c #Conflicts: 315000 | #Constraints: 42623
1449.68/1453.69 c #Conflicts: 316000 | #Constraints: 43623
1449.68/1453.69 c #Conflicts: 317000 | #Constraints: 44623
1449.68/1453.69 c #Conflicts: 318000 | #Constraints: 45623
1449.68/1453.69 c #Conflicts: 319000 | #Constraints: 46623
1449.68/1453.69 c #Conflicts: 320000 | #Constraints: 47623
1449.68/1453.69 c #Conflicts: 321000 | #Constraints: 48623
1449.68/1453.69 c INPROCESSING
1449.68/1453.69 c GARBAGE COLLECT
1449.68/1453.69 c #Conflicts: 322000 | #Constraints: 38419
1449.68/1453.69 c #Conflicts: 323000 | #Constraints: 39419
1449.68/1453.69 c #Conflicts: 324000 | #Constraints: 40419
1449.68/1453.69 c #Conflicts: 325000 | #Constraints: 41419
1449.68/1453.69 c #Conflicts: 326000 | #Constraints: 42419
1449.68/1453.69 c #Conflicts: 327000 | #Constraints: 43419
1449.68/1453.69 c #Conflicts: 328000 | #Constraints: 44419
1449.68/1453.69 c #Conflicts: 329000 | #Constraints: 45419
1449.68/1453.69 c #Conflicts: 330000 | #Constraints: 46419
1449.68/1453.69 c #Conflicts: 331000 | #Constraints: 47419
1449.68/1453.69 c #Conflicts: 332000 | #Constraints: 48419
1449.68/1453.69 c #Conflicts: 333000 | #Constraints: 49419
1449.68/1453.69 c INPROCESSING
1449.68/1453.69 c GARBAGE COLLECT
1449.68/1453.69 c #Conflicts: 334000 | #Constraints: 39028
1449.68/1453.69 c #Conflicts: 335000 | #Constraints: 40028
1449.68/1453.69 c #Conflicts: 336000 | #Constraints: 41028
1449.68/1453.69 c #Conflicts: 337000 | #Constraints: 42028
1449.68/1453.69 c #Conflicts: 338000 | #Constraints: 43028
1449.68/1453.69 c #Conflicts: 339000 | #Constraints: 44028
1449.68/1453.69 c #Conflicts: 340000 | #Constraints: 45028
1449.68/1453.69 c #Conflicts: 341000 | #Constraints: 46028
1449.68/1453.69 c #Conflicts: 342000 | #Constraints: 47028
1449.68/1453.69 c #Conflicts: 343000 | #Constraints: 48028
1449.68/1453.69 c #Conflicts: 344000 | #Constraints: 49028
1449.68/1453.69 c #Conflicts: 345000 | #Constraints: 50028
1449.68/1453.69 c INPROCESSING
1449.68/1453.69 c GARBAGE COLLECT
1449.68/1453.69 c #Conflicts: 346000 | #Constraints: 39425
1449.68/1453.69 c #Conflicts: 347000 | #Constraints: 40425
1449.68/1453.69 c #Conflicts: 348000 | #Constraints: 41425
1449.68/1453.69 c #Conflicts: 349000 | #Constraints: 42425
1449.68/1453.69 c #Conflicts: 350000 | #Constraints: 43425
1449.68/1453.69 c #Conflicts: 351000 | #Constraints: 44425
1449.68/1453.69 c #Conflicts: 352000 | #Constraints: 45425
1449.68/1453.69 c #Conflicts: 353000 | #Constraints: 46425
1449.68/1453.69 c #Conflicts: 354000 | #Constraints: 47425
1449.68/1453.69 c #Conflicts: 355000 | #Constraints: 48425
1449.68/1453.69 c #Conflicts: 356000 | #Constraints: 49425
1449.68/1453.69 c #Conflicts: 357000 | #Constraints: 50425
1449.68/1453.69 c INPROCESSING
1449.68/1453.69 c GARBAGE COLLECT
1449.68/1453.69 c #Conflicts: 358000 | #Constraints: 39623
1449.68/1453.69 c #Conflicts: 359000 | #Constraints: 40623
1449.68/1453.69 c #Conflicts: 360000 | #Constraints: 41623
1449.68/1453.69 c #Conflicts: 361000 | #Constraints: 42623
1911.12/1916.16 c #Conflicts: 362000 | #Constraints: 43623
1911.12/1916.16 c #Conflicts: 363000 | #Constraints: 44623
1911.12/1916.16 c #Conflicts: 364000 | #Constraints: 45623
1911.12/1916.16 c #Conflicts: 365000 | #Constraints: 46623
1911.12/1916.16 c #Conflicts: 366000 | #Constraints: 47623
1911.12/1916.16 c #Conflicts: 367000 | #Constraints: 48623
1911.12/1916.16 c #Conflicts: 368000 | #Constraints: 49623
1911.12/1916.16 c #Conflicts: 369000 | #Constraints: 50623
1911.12/1916.16 c INPROCESSING
1911.12/1916.16 c GARBAGE COLLECT
1911.12/1916.16 c #Conflicts: 370000 | #Constraints: 39622
1911.12/1916.16 c #Conflicts: 371000 | #Constraints: 40622
1911.12/1916.16 c #Conflicts: 372000 | #Constraints: 41622
1911.12/1916.16 c #Conflicts: 373000 | #Constraints: 42622
1911.12/1916.16 c #Conflicts: 374000 | #Constraints: 43622
1911.12/1916.16 c #Conflicts: 375000 | #Constraints: 44622
1911.12/1916.16 c #Conflicts: 376000 | #Constraints: 45622
1911.12/1916.16 c #Conflicts: 377000 | #Constraints: 46622
1911.12/1916.16 c #Conflicts: 378000 | #Constraints: 47622
1911.12/1916.16 c #Conflicts: 379000 | #Constraints: 48622
1911.12/1916.16 c #Conflicts: 380000 | #Constraints: 49622
1911.12/1916.16 c #Conflicts: 381000 | #Constraints: 50622
1911.12/1916.16 c INPROCESSING
1911.12/1916.16 c GARBAGE COLLECT
1911.12/1916.16 c #Conflicts: 382000 | #Constraints: 39417
1911.12/1916.16 c #Conflicts: 383000 | #Constraints: 40417
1911.12/1916.16 c #Conflicts: 384000 | #Constraints: 41417
1911.12/1916.16 c #Conflicts: 385000 | #Constraints: 42417
1911.12/1916.16 c #Conflicts: 386000 | #Constraints: 43417
1911.12/1916.16 c #Conflicts: 387000 | #Constraints: 44417
1911.12/1916.16 c #Conflicts: 388000 | #Constraints: 45417
1911.12/1916.16 c #Conflicts: 389000 | #Constraints: 46417
1911.12/1916.16 c #Conflicts: 390000 | #Constraints: 47417
1911.12/1916.16 c #Conflicts: 391000 | #Constraints: 48417
1911.12/1916.16 c #Conflicts: 392000 | #Constraints: 49417
1911.12/1916.16 c #Conflicts: 393000 | #Constraints: 50417
1911.12/1916.16 c #Conflicts: 394000 | #Constraints: 51417
1911.12/1916.16 c INPROCESSING
1911.12/1916.16 c GARBAGE COLLECT
1911.12/1916.16 c #Conflicts: 395000 | #Constraints: 40022
1911.12/1916.16 c #Conflicts: 396000 | #Constraints: 41022
1911.12/1916.16 c #Conflicts: 397000 | #Constraints: 42022
1911.12/1916.16 c #Conflicts: 398000 | #Constraints: 43022
1911.12/1916.16 c #Conflicts: 399000 | #Constraints: 44022
1911.12/1916.16 c #Conflicts: 400000 | #Constraints: 45022
1911.12/1916.16 c #Conflicts: 401000 | #Constraints: 46022
1911.12/1916.16 c #Conflicts: 402000 | #Constraints: 47022
1911.12/1916.16 c #Conflicts: 403000 | #Constraints: 48022
1911.12/1916.16 c #Conflicts: 404000 | #Constraints: 49022
1911.12/1916.16 c #Conflicts: 405000 | #Constraints: 50022
1911.12/1916.16 c #Conflicts: 406000 | #Constraints: 51022
1911.12/1916.16 c #Conflicts: 407000 | #Constraints: 52022
1911.12/1916.16 c INPROCESSING
1911.12/1916.16 c GARBAGE COLLECT
1911.12/1916.16 c #Conflicts: 408000 | #Constraints: 40423
1911.12/1916.16 c #Conflicts: 409000 | #Constraints: 41423
1911.12/1916.16 c #Conflicts: 410000 | #Constraints: 42423
1911.12/1916.16 c #Conflicts: 411000 | #Constraints: 43423
1911.12/1916.16 c #Conflicts: 412000 | #Constraints: 44423
1911.12/1916.16 c #Conflicts: 413000 | #Constraints: 45423
1911.12/1916.16 c #Conflicts: 414000 | #Constraints: 46423
1911.12/1916.16 c #Conflicts: 415000 | #Constraints: 47423
1911.12/1916.16 c #Conflicts: 416000 | #Constraints: 48423
1911.12/1916.16 c #Conflicts: 417000 | #Constraints: 49423
1911.12/1916.16 c #Conflicts: 418000 | #Constraints: 50423
1911.12/1916.16 c #Conflicts: 419000 | #Constraints: 51423
1911.12/1916.16 c #Conflicts: 420000 | #Constraints: 52423
1911.12/1916.16 c INPROCESSING
1911.12/1916.16 c GARBAGE COLLECT
1911.12/1916.16 c #Conflicts: 421000 | #Constraints: 40623
1911.12/1916.16 c #Conflicts: 422000 | #Constraints: 41623
1911.12/1916.16 c #Conflicts: 423000 | #Constraints: 42623
1911.12/1916.16 c #Conflicts: 424000 | #Constraints: 43623
1911.12/1916.16 c #Conflicts: 425000 | #Constraints: 44623
1911.12/1916.16 c #Conflicts: 426000 | #Constraints: 45623
1911.12/1916.16 c #Conflicts: 427000 | #Constraints: 46623
1911.12/1916.16 c #Conflicts: 428000 | #Constraints: 47623
1911.12/1916.16 c #Conflicts: 429000 | #Constraints: 48623
1911.12/1916.16 c #Conflicts: 430000 | #Constraints: 49623
1911.12/1916.16 c #Conflicts: 431000 | #Constraints: 50623
1911.12/1916.16 c #Conflicts: 432000 | #Constraints: 51623
1911.12/1916.16 c #Conflicts: 433000 | #Constraints: 52623
1911.12/1916.16 c INPROCESSING
1911.12/1916.16 c GARBAGE COLLECT
1911.12/1916.16 c #Conflicts: 434000 | #Constraints: 40636
1911.12/1916.16 c #Conflicts: 435000 | #Constraints: 41636
1911.12/1916.16 c #Conflicts: 436000 | #Constraints: 42636
2616.39/2623.49 c #Conflicts: 437000 | #Constraints: 43636
2616.39/2623.49 c #Conflicts: 438000 | #Constraints: 44636
2616.39/2623.49 c #Conflicts: 439000 | #Constraints: 45636
2616.39/2623.49 c #Conflicts: 440000 | #Constraints: 46636
2616.39/2623.49 c #Conflicts: 441000 | #Constraints: 47636
2616.39/2623.49 c #Conflicts: 442000 | #Constraints: 48636
2616.39/2623.49 c #Conflicts: 443000 | #Constraints: 49636
2616.39/2623.49 c #Conflicts: 444000 | #Constraints: 50636
2616.39/2623.49 c #Conflicts: 445000 | #Constraints: 51636
2616.39/2623.49 c #Conflicts: 446000 | #Constraints: 52636
2616.39/2623.49 c INPROCESSING
2616.39/2623.49 c GARBAGE COLLECT
2616.39/2623.49 c #Conflicts: 447000 | #Constraints: 40441
2616.39/2623.49 c #Conflicts: 448000 | #Constraints: 41441
2616.39/2623.49 c #Conflicts: 449000 | #Constraints: 42441
2616.39/2623.49 c #Conflicts: 450000 | #Constraints: 43441
2616.39/2623.49 c #Conflicts: 451000 | #Constraints: 44441
2616.39/2623.49 c #Conflicts: 452000 | #Constraints: 45441
2616.39/2623.49 c #Conflicts: 453000 | #Constraints: 46441
2616.39/2623.49 c #Conflicts: 454000 | #Constraints: 47441
2616.39/2623.49 c #Conflicts: 455000 | #Constraints: 48441
2616.39/2623.49 c #Conflicts: 456000 | #Constraints: 49441
2616.39/2623.49 c #Conflicts: 457000 | #Constraints: 50441
2616.39/2623.49 c #Conflicts: 458000 | #Constraints: 51441
2616.39/2623.49 c #Conflicts: 459000 | #Constraints: 52441
2616.39/2623.49 c #Conflicts: 460000 | #Constraints: 53441
2616.39/2623.49 c INPROCESSING
2616.39/2623.49 c GARBAGE COLLECT
2616.39/2623.49 c #Conflicts: 461000 | #Constraints: 41042
2616.39/2623.49 c #Conflicts: 462000 | #Constraints: 42042
2616.39/2623.49 c #Conflicts: 463000 | #Constraints: 43042
2616.39/2623.49 c #Conflicts: 464000 | #Constraints: 44042
2616.39/2623.49 c #Conflicts: 465000 | #Constraints: 45042
2616.39/2623.49 c #Conflicts: 466000 | #Constraints: 46042
2616.39/2623.49 c #Conflicts: 467000 | #Constraints: 47042
2616.39/2623.49 c #Conflicts: 468000 | #Constraints: 48042
2616.39/2623.49 c #Conflicts: 469000 | #Constraints: 49042
2616.39/2623.49 c #Conflicts: 470000 | #Constraints: 50042
2616.39/2623.49 c #Conflicts: 471000 | #Constraints: 51042
2616.39/2623.49 c #Conflicts: 472000 | #Constraints: 52042
2616.39/2623.49 c #Conflicts: 473000 | #Constraints: 53042
2616.39/2623.49 c #Conflicts: 474000 | #Constraints: 54042
2616.39/2623.49 c INPROCESSING
2616.39/2623.49 c GARBAGE COLLECT
2616.39/2623.49 c #Conflicts: 475000 | #Constraints: 41448
2616.39/2623.49 c #Conflicts: 476000 | #Constraints: 42448
2616.39/2623.49 c #Conflicts: 477000 | #Constraints: 43448
2616.39/2623.49 c #Conflicts: 478000 | #Constraints: 44448
2616.39/2623.49 c #Conflicts: 479000 | #Constraints: 45448
2616.39/2623.49 c #Conflicts: 480000 | #Constraints: 46448
2616.39/2623.49 c #Conflicts: 481000 | #Constraints: 47448
2616.39/2623.49 c #Conflicts: 482000 | #Constraints: 48448
2616.39/2623.49 c #Conflicts: 483000 | #Constraints: 49448
2616.39/2623.49 c #Conflicts: 484000 | #Constraints: 50448
2616.39/2623.49 c #Conflicts: 485000 | #Constraints: 51448
2616.39/2623.49 c #Conflicts: 486000 | #Constraints: 52448
2616.39/2623.49 c #Conflicts: 487000 | #Constraints: 53448
2616.39/2623.49 c #Conflicts: 488000 | #Constraints: 54448
2616.39/2623.49 c INPROCESSING
2616.39/2623.49 c GARBAGE COLLECT
2616.39/2623.49 c #Conflicts: 489000 | #Constraints: 41647
2616.39/2623.49 c #Conflicts: 490000 | #Constraints: 42647
2616.39/2623.49 c #Conflicts: 491000 | #Constraints: 43647
2616.39/2623.49 c #Conflicts: 492000 | #Constraints: 44647
2616.39/2623.49 c #Conflicts: 493000 | #Constraints: 45647
2616.39/2623.49 c #Conflicts: 494000 | #Constraints: 46647
2616.39/2623.49 c #Conflicts: 495000 | #Constraints: 47647
2616.39/2623.49 c #Conflicts: 496000 | #Constraints: 48647
2616.39/2623.49 c #Conflicts: 497000 | #Constraints: 49647
2616.39/2623.49 c #Conflicts: 498000 | #Constraints: 50647
2616.39/2623.49 c #Conflicts: 499000 | #Constraints: 51647
2616.39/2623.49 c #Conflicts: 500000 | #Constraints: 52647
2616.39/2623.49 c #Conflicts: 501000 | #Constraints: 53647
2616.39/2623.49 c #Conflicts: 502000 | #Constraints: 54647
2616.39/2623.49 c INPROCESSING
2616.39/2623.49 c GARBAGE COLLECT
2616.39/2623.49 c #Conflicts: 503000 | #Constraints: 41643
2616.39/2623.49 c #Conflicts: 504000 | #Constraints: 42643
2616.39/2623.49 c #Conflicts: 505000 | #Constraints: 43643
2616.39/2623.49 c #Conflicts: 506000 | #Constraints: 44643
2616.39/2623.49 c #Conflicts: 507000 | #Constraints: 45643
2616.39/2623.49 c #Conflicts: 508000 | #Constraints: 46643
2616.39/2623.49 c #Conflicts: 509000 | #Constraints: 47643
2616.39/2623.49 c #Conflicts: 510000 | #Constraints: 48643
2616.39/2623.49 c #Conflicts: 511000 | #Constraints: 49643
3035.46/3043.76 c #Conflicts: 512000 | #Constraints: 50643
3035.46/3043.76 c #Conflicts: 513000 | #Constraints: 51643
3035.46/3043.76 c #Conflicts: 514000 | #Constraints: 52643
3035.46/3043.76 c #Conflicts: 515000 | #Constraints: 53643
3035.46/3043.76 c #Conflicts: 516000 | #Constraints: 54643
3035.46/3043.76 c INPROCESSING
3035.46/3043.76 c GARBAGE COLLECT
3035.46/3043.76 c #Conflicts: 517000 | #Constraints: 41432
3035.46/3043.76 c #Conflicts: 518000 | #Constraints: 42432
3035.46/3043.76 c #Conflicts: 519000 | #Constraints: 43432
3035.46/3043.76 c #Conflicts: 520000 | #Constraints: 44432
3035.46/3043.76 c #Conflicts: 521000 | #Constraints: 45432
3035.46/3043.76 c #Conflicts: 522000 | #Constraints: 46432
3035.46/3043.76 c #Conflicts: 523000 | #Constraints: 47432
3035.46/3043.76 c #Conflicts: 524000 | #Constraints: 48432
3035.46/3043.76 c #Conflicts: 525000 | #Constraints: 49432
3035.46/3043.76 c #Conflicts: 526000 | #Constraints: 50432
3035.46/3043.76 c #Conflicts: 527000 | #Constraints: 51432
3035.46/3043.76 c #Conflicts: 528000 | #Constraints: 52432
3035.46/3043.76 c #Conflicts: 529000 | #Constraints: 53432
3035.46/3043.76 c #Conflicts: 530000 | #Constraints: 54432
3035.46/3043.76 c #Conflicts: 531000 | #Constraints: 55432
3035.46/3043.76 c INPROCESSING
3035.46/3043.76 c GARBAGE COLLECT
3035.46/3043.76 c #Conflicts: 532000 | #Constraints: 42033
3035.46/3043.76 c #Conflicts: 533000 | #Constraints: 43033
3035.46/3043.76 c #Conflicts: 534000 | #Constraints: 44033
3035.46/3043.76 c #Conflicts: 535000 | #Constraints: 45033
3035.46/3043.76 c #Conflicts: 536000 | #Constraints: 46033
3035.46/3043.76 c #Conflicts: 537000 | #Constraints: 47033
3035.46/3043.76 c #Conflicts: 538000 | #Constraints: 48033
3035.46/3043.76 c #Conflicts: 539000 | #Constraints: 49033
3035.46/3043.76 c #Conflicts: 540000 | #Constraints: 50033
3035.46/3043.76 c #Conflicts: 541000 | #Constraints: 51033
3035.46/3043.76 c #Conflicts: 542000 | #Constraints: 52033
3035.46/3043.76 c #Conflicts: 543000 | #Constraints: 53033
3035.46/3043.76 c #Conflicts: 544000 | #Constraints: 54033
3035.46/3043.76 c #Conflicts: 545000 | #Constraints: 55033
3035.46/3043.76 c #Conflicts: 546000 | #Constraints: 56033
3035.46/3043.76 c INPROCESSING
3035.46/3043.76 c GARBAGE COLLECT
3035.46/3043.76 c #Conflicts: 547000 | #Constraints: 42430
3035.46/3043.76 c #Conflicts: 548000 | #Constraints: 43430
3035.46/3043.76 c #Conflicts: 549000 | #Constraints: 44430
3035.46/3043.76 c #Conflicts: 550000 | #Constraints: 45430
3035.46/3043.76 c #Conflicts: 551000 | #Constraints: 46430
3035.46/3043.76 c #Conflicts: 552000 | #Constraints: 47430
3035.46/3043.76 c #Conflicts: 553000 | #Constraints: 48430
3035.46/3043.76 c #Conflicts: 554000 | #Constraints: 49430
3035.46/3043.76 c #Conflicts: 555000 | #Constraints: 50430
3035.46/3043.76 c #Conflicts: 556000 | #Constraints: 51430
3035.46/3043.76 c #Conflicts: 557000 | #Constraints: 52430
3035.46/3043.76 c #Conflicts: 558000 | #Constraints: 53430
3035.46/3043.76 c #Conflicts: 559000 | #Constraints: 54430
3035.46/3043.76 c #Conflicts: 560000 | #Constraints: 55430
3035.46/3043.76 c #Conflicts: 561000 | #Constraints: 56430
3035.46/3043.76 c INPROCESSING
3035.46/3043.76 c GARBAGE COLLECT
3035.46/3043.76 c #Conflicts: 562000 | #Constraints: 42624
3035.46/3043.76 c #Conflicts: 563000 | #Constraints: 43624
3035.46/3043.76 c #Conflicts: 564000 | #Constraints: 44624
3035.46/3043.76 c #Conflicts: 565000 | #Constraints: 45624
3035.46/3043.76 c #Conflicts: 566000 | #Constraints: 46624
3035.46/3043.76 c #Conflicts: 567000 | #Constraints: 47624
3035.46/3043.76 c #Conflicts: 568000 | #Constraints: 48624
3035.46/3043.76 c #Conflicts: 569000 | #Constraints: 49624
3035.46/3043.76 c #Conflicts: 570000 | #Constraints: 50624
3035.46/3043.76 c #Conflicts: 571000 | #Constraints: 51624
3035.46/3043.76 c #Conflicts: 572000 | #Constraints: 52624
3035.46/3043.76 c #Conflicts: 573000 | #Constraints: 53624
3035.46/3043.76 c #Conflicts: 574000 | #Constraints: 54624
3035.46/3043.76 c #Conflicts: 575000 | #Constraints: 55624
3035.46/3043.76 c #Conflicts: 576000 | #Constraints: 56624
3035.46/3043.76 c INPROCESSING
3035.46/3043.76 c GARBAGE COLLECT
3035.46/3043.76 c #Conflicts: 577000 | #Constraints: 42633
3035.46/3043.76 c #Conflicts: 578000 | #Constraints: 43633
3035.46/3043.76 c #Conflicts: 579000 | #Constraints: 44633
3035.46/3043.76 c #Conflicts: 580000 | #Constraints: 45633
3035.46/3043.76 c #Conflicts: 581000 | #Constraints: 46633
3035.46/3043.76 c #Conflicts: 582000 | #Constraints: 47633
3035.46/3043.76 c #Conflicts: 583000 | #Constraints: 48633
3035.46/3043.76 c #Conflicts: 584000 | #Constraints: 49633
3035.46/3043.76 c #Conflicts: 585000 | #Constraints: 50633
3035.46/3043.76 c #Conflicts: 586000 | #Constraints: 51633
3035.46/3043.76 c #Conflicts: 587000 | #Constraints: 52633
3459.54/3469.06 c #Conflicts: 588000 | #Constraints: 53633
3459.54/3469.06 c #Conflicts: 589000 | #Constraints: 54633
3459.54/3469.06 c #Conflicts: 590000 | #Constraints: 55633
3459.54/3469.06 c #Conflicts: 591000 | #Constraints: 56633
3459.54/3469.06 c INPROCESSING
3459.54/3469.06 c GARBAGE COLLECT
3459.54/3469.06 c #Conflicts: 592000 | #Constraints: 42424
3459.54/3469.06 c #Conflicts: 593000 | #Constraints: 43424
3459.54/3469.06 c #Conflicts: 594000 | #Constraints: 44424
3459.54/3469.06 c #Conflicts: 595000 | #Constraints: 45424
3459.54/3469.06 c #Conflicts: 596000 | #Constraints: 46424
3459.54/3469.06 c #Conflicts: 597000 | #Constraints: 47424
3459.54/3469.06 c #Conflicts: 598000 | #Constraints: 48424
3459.54/3469.06 c #Conflicts: 599000 | #Constraints: 49424
3459.54/3469.06 c #Conflicts: 600000 | #Constraints: 50424
3459.54/3469.06 c #Conflicts: 601000 | #Constraints: 51424
3459.54/3469.06 c #Conflicts: 602000 | #Constraints: 52424
3459.54/3469.06 c #Conflicts: 603000 | #Constraints: 53424
3459.54/3469.06 c #Conflicts: 604000 | #Constraints: 54424
3459.54/3469.06 c #Conflicts: 605000 | #Constraints: 55424
3459.54/3469.06 c #Conflicts: 606000 | #Constraints: 56424
3459.54/3469.06 c #Conflicts: 607000 | #Constraints: 57424
3459.54/3469.06 c INPROCESSING
3459.54/3469.06 c GARBAGE COLLECT
3459.54/3469.06 c #Conflicts: 608000 | #Constraints: 43027
3459.54/3469.06 c #Conflicts: 609000 | #Constraints: 44027
3459.54/3469.06 c #Conflicts: 610000 | #Constraints: 45027
3459.54/3469.06 c #Conflicts: 611000 | #Constraints: 46027
3459.54/3469.06 c #Conflicts: 612000 | #Constraints: 47027
3459.54/3469.06 c #Conflicts: 613000 | #Constraints: 48027
3459.54/3469.06 c #Conflicts: 614000 | #Constraints: 49027
3459.54/3469.06 c #Conflicts: 615000 | #Constraints: 50027
3459.54/3469.06 c #Conflicts: 616000 | #Constraints: 51027
3459.54/3469.06 c #Conflicts: 617000 | #Constraints: 52027
3459.54/3469.06 c #Conflicts: 618000 | #Constraints: 53027
3459.54/3469.06 c #Conflicts: 619000 | #Constraints: 54027
3459.54/3469.06 c #Conflicts: 620000 | #Constraints: 55027
3459.54/3469.06 c #Conflicts: 621000 | #Constraints: 56027
3459.54/3469.06 c #Conflicts: 622000 | #Constraints: 57027
3459.54/3469.06 c #Conflicts: 623000 | #Constraints: 58027
3459.54/3469.06 c INPROCESSING
3459.54/3469.06 c GARBAGE COLLECT
3459.54/3469.06 c #Conflicts: 624000 | #Constraints: 43422
3459.54/3469.07 c #Conflicts: 625000 | #Constraints: 44422
3459.54/3469.07 c #Conflicts: 626000 | #Constraints: 45422
3459.54/3469.07 c #Conflicts: 627000 | #Constraints: 46422
3459.54/3469.07 c #Conflicts: 628000 | #Constraints: 47422
3459.54/3469.07 c #Conflicts: 629000 | #Constraints: 48422
3459.54/3469.07 c #Conflicts: 630000 | #Constraints: 49422
3459.54/3469.07 c #Conflicts: 631000 | #Constraints: 50422
3459.54/3469.07 c #Conflicts: 632000 | #Constraints: 51422
3459.54/3469.07 c #Conflicts: 633000 | #Constraints: 52422
3459.54/3469.07 c #Conflicts: 634000 | #Constraints: 53422
3459.54/3469.07 c #Conflicts: 635000 | #Constraints: 54422
3459.54/3469.07 c #Conflicts: 636000 | #Constraints: 55422
3459.54/3469.07 c #Conflicts: 637000 | #Constraints: 56422
3459.54/3469.07 c #Conflicts: 638000 | #Constraints: 57422
3459.54/3469.07 c #Conflicts: 639000 | #Constraints: 58422
3459.54/3469.07 c INPROCESSING
3459.54/3469.07 c GARBAGE COLLECT
3459.54/3469.07 c #Conflicts: 640000 | #Constraints: 43624
3459.54/3469.07 c #Conflicts: 641000 | #Constraints: 44624
3459.54/3469.07 c #Conflicts: 642000 | #Constraints: 45624
3459.54/3469.07 c #Conflicts: 643000 | #Constraints: 46624
3459.54/3469.07 c #Conflicts: 644000 | #Constraints: 47624
3459.54/3469.07 c #Conflicts: 645000 | #Constraints: 48624
3459.54/3469.07 c #Conflicts: 646000 | #Constraints: 49624
3459.54/3469.07 c #Conflicts: 647000 | #Constraints: 50624
3459.54/3469.07 c #Conflicts: 648000 | #Constraints: 51624
3459.54/3469.07 c #Conflicts: 649000 | #Constraints: 52624
3459.54/3469.07 c #Conflicts: 650000 | #Constraints: 53624
3459.54/3469.07 c #Conflicts: 651000 | #Constraints: 54624
3459.54/3469.07 c #Conflicts: 652000 | #Constraints: 55624
3459.54/3469.07 c #Conflicts: 653000 | #Constraints: 56624
3459.54/3469.07 c #Conflicts: 654000 | #Constraints: 57624
3459.54/3469.07 c #Conflicts: 655000 | #Constraints: 58624
3459.54/3469.07 c INPROCESSING
3459.54/3469.07 c GARBAGE COLLECT
3459.54/3469.07 c #Conflicts: 656000 | #Constraints: 43631
3459.54/3469.07 c #Conflicts: 657000 | #Constraints: 44631
3459.54/3469.07 c #Conflicts: 658000 | #Constraints: 45631
3459.54/3469.07 c #Conflicts: 659000 | #Constraints: 46631
3459.54/3469.07 c #Conflicts: 660000 | #Constraints: 47631
3459.54/3469.07 c #Conflicts: 661000 | #Constraints: 48631
3459.54/3469.07 c #Conflicts: 662000 | #Constraints: 49631
3600.01/3609.90 c #Conflicts: 663000 | #Constraints: 50631
3600.01/3609.90 c #Conflicts: 664000 | #Constraints: 51631
3600.01/3609.90 c #Conflicts: 665000 | #Constraints: 52631
3600.01/3609.90 c #Conflicts: 666000 | #Constraints: 53631
3600.01/3609.90 c #Conflicts: 667000 | #Constraints: 54631
3600.01/3609.90 c #Conflicts: 668000 | #Constraints: 55631
3600.01/3609.90 c #Conflicts: 669000 | #Constraints: 56631
3600.01/3609.90 c #Conflicts: 670000 | #Constraints: 57631
3600.01/3609.90 c #Conflicts: 671000 | #Constraints: 58631
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 672000 | #Constraints: 43427
3600.01/3609.90 c #Conflicts: 673000 | #Constraints: 44427
3600.01/3609.90 c #Conflicts: 674000 | #Constraints: 45427
3600.01/3609.90 c #Conflicts: 675000 | #Constraints: 46427
3600.01/3609.90 c #Conflicts: 676000 | #Constraints: 47427
3600.01/3609.90 c #Conflicts: 677000 | #Constraints: 48427
3600.01/3609.90 c #Conflicts: 678000 | #Constraints: 49427
3600.01/3609.90 c #Conflicts: 679000 | #Constraints: 50427
3600.01/3609.90 c #Conflicts: 680000 | #Constraints: 51427
3600.01/3609.90 c #Conflicts: 681000 | #Constraints: 52427
3600.01/3609.90 c #Conflicts: 682000 | #Constraints: 53427
3600.01/3609.91 c #Conflicts: 683000 | #Constraints: 54427
3600.01/3609.91 c #Conflicts: 684000 | #Constraints: 55427
3600.01/3609.91 c #Conflicts: 685000 | #Constraints: 56427
3600.01/3609.91 c #Conflicts: 686000 | #Constraints: 57427
3600.01/3609.91 c #Conflicts: 687000 | #Constraints: 58427
3600.01/3609.91 c Program interrupted by user.
3600.01/3609.91 c cpu time 3592.89 s
3600.01/3609.91 c deterministic time 936323433593 9.36e+11
3600.01/3609.91 c optimization time 79.2086 s
3600.01/3609.91 c total solve time 3214.73 s
3600.01/3609.91 c core-guided solve time 3214.73 s
3600.01/3609.91 c propagation time 2971.85 s
3600.01/3609.91 c conflict analysis time 289.432 s
3600.01/3609.91 c propagations 165955711
3600.01/3609.91 c resolve steps 6563167
3600.01/3609.91 c decisions 4660398
3600.01/3609.91 c conflicts 687566
3600.01/3609.91 c restarts 1505
3600.01/3609.91 c inprocessing phases 73
3600.01/3609.91 c input clauses 26837
3600.01/3609.91 c input cardinalities 0
3600.01/3609.91 c input general constraints 11
3600.01/3609.91 c input average constraint length 2.78
3600.01/3609.91 c input average constraint degree 947.05
3600.01/3609.91 c learned clauses 209639
3600.01/3609.91 c learned cardinalities 3
3600.01/3609.91 c learned general constraints 477925
3600.01/3609.91 c learned average constraint length 1246.66
3600.01/3609.91 c learned average constraint degree 107782408.53
3600.01/3609.91 c watched constraints 476902
3600.01/3609.91 c counting constraints 1034
3600.01/3609.91 c gcd simplifications 82274
3600.01/3609.91 c detected cardinalities 3
3600.01/3609.91 c weakened non-implied lits 158986086
3600.01/3609.91 c weakened non-implying lits 800662
3600.01/3609.91 c original variables 2023
3600.01/3609.91 c clausal propagations 42413755
3600.01/3609.91 c cardinality propagations 3
3600.01/3609.91 c watched propagations 105167691
3600.01/3609.91 c counting propagations 17461084
3600.01/3609.91 c watch lookups 5977948341
3600.01/3609.91 c watch backjump lookups 3066432923
3600.01/3609.91 c watch checks 870437774440
3600.01/3609.91 c propagation checks 53761903889
3600.01/3609.91 c constraint additions 2737455723
3600.01/3609.91 c trail pops 171302167
3600.01/3609.91 c formula constraints 26845
3600.01/3609.91 c learned constraints 687567
3600.01/3609.91 c bound constraints 3
3600.01/3609.91 c core-guided constraints 0
3600.01/3609.91 c encountered formula constraints 5494672
3600.01/3609.91 c encountered learned constraints 1755608
3600.01/3609.91 c encountered bound constraints 453
3600.01/3609.91 c encountered core-guided constraints 0
3600.01/3609.91 c LP total time 0 s
3600.01/3609.91 c LP solve time 0 s
3600.01/3609.91 c LP constraints added 0
3600.01/3609.91 c LP constraints removed 0
3600.01/3609.91 c LP pivots internal 0
3600.01/3609.91 c LP pivots root 0
3600.01/3609.91 c LP calls 0
3600.01/3609.91 c LP optimalities 0
3600.01/3609.91 c LP no pivot count 0
3600.01/3609.91 c LP infeasibilities 0
3600.01/3609.91 c LP valid Farkas constraints 0
3600.01/3609.91 c LP learned Farkas constraints 0
3600.01/3609.91 c LP basis resets 0
3600.01/3609.91 c LP cycling count 0
3600.01/3609.91 c LP singular count 0
3600.01/3609.91 c LP no primal count 0
3600.01/3609.91 c LP no farkas count 0
3600.01/3609.91 c LP other issue count 0
3600.01/3609.91 c LP Gomory cuts 0
3600.01/3609.91 c LP learned cuts 0
3600.01/3609.91 c LP deleted cuts 0
3600.01/3609.91 c LP encountered Gomory constraints 0
3600.01/3609.91 c LP encountered Farkas constraints 0
3600.01/3609.91 c LP encountered learned Farkas constraints 0
3600.01/3609.91 c CG auxiliary variables introduced 0
3600.01/3609.91 c CG solutions found 0
3600.01/3609.91 c CG cores constructed 2
3600.01/3609.91 c CG core cardinality constraints returned 0
3600.01/3609.91 c CG unit cores 1
3600.01/3609.91 c CG single cores 0
3600.01/3609.91 c CG blocks removed during cardinality reduction 0
3600.01/3609.91 c CG first core best 0
3600.01/3609.91 c CG decision core best 0
3600.01/3609.91 c CG core reduction tie 1
3600.01/3609.91 c CG core degree average 1.00
3600.01/3609.91 c CG core slack average 1.00
3600.01/3609.91 c CG exhausted 0
3600.01/3609.91 c CG exhaust time 0 s
3600.01/3609.91 c CG trimmed 0
3600.01/3609.91 c CG trim time 0.000722 s
3600.01/3609.91 c CG minimized 0
3600.01/3609.91 c CG minimize time 0 s
3600.01/3609.91 c CG am1 prop time 0.000242 s
3600.01/3609.91 c CG # am1s reformulated 0
3600.01/3609.91 c CG lower bound derived from am1s 0
3600.01/3609.91 c CG # clausal cores 0
3600.01/3609.91 c CG # cardinality cores 0
3600.01/3609.91 c CG # pb cores 2
3600.01/3609.91 c CG # pb reforms 0
3600.01/3609.91 c CG # cores discarded because of pb reform 0
3600.01/3609.91 d LOWERBOUND -108948
3600.01/3609.91 d NCORES 2
3600.01/3609.91 d NPBCORES 2
3600.01/3609.91 d NPBREFORM 0
3600.01/3609.91 d NTRIMMED 0
3600.01/3609.91 d NEXHAUSTED 0
3600.01/3609.91 d NAM1S 0
3600.01/3609.91 d AM1LB 0
3600.01/3609.91 c [Papilo Statistics]
3600.01/3609.91 c prepro time 0.0401583s
3600.01/3609.91 c # tsx applied 1
3600.01/3609.91 c # tsx conflicts 0
3600.01/3609.91 c # bound changes 121
3600.01/3609.91 c # side changes 0
3600.01/3609.91 c # coef changes 0
3600.01/3609.91 c # rounds 2
3600.01/3609.91 c # deted vars 121
3600.01/3609.91 c # deted constrs 4953
3600.01/3609.91 c # consecutive rounds of only bound changes 0
3600.01/3609.91 s UNKNOWN
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: 64059 MiB (61490 MiB free)
memory of node 1: 64510 MiB (62567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454911-1721473230/watcher-4454911-1721473230 -o /tmp/evaluation-result-4454911-1721473230/solver-4454911-1721473230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721472791-1072409 --watchdog 3760 mixed-bag HOME/instance-4454911-1721473230.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux Starting watchdog thread
Linux Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1073563, runsolver pid=1073560
[startup+0.100099 s]*
/proc/loadavg: 4.29 3.95 3.57 5/245 1073564
/proc/meminfo: memFree=127014792/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=101988 memory=27352 CPUtime=0.1 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 6672 0 0 0 10 0 0 0 20 0 1 0 199479059 104435712 6838 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 25497 6838 1732 3002 0 9246 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 101988 KiB
Current children cumulated memory: 27352 KiB
[startup+0.213328 s]*
/proc/loadavg: 4.29 3.95 3.57 5/245 1073564
/proc/meminfo: memFree=126977152/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=143244 memory=73124 CPUtime=0.22 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 16741 0 0 0 20 2 0 0 20 0 1 0 199479059 146681856 18281 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 35811 18281 3783 3002 0 19560 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 143244 KiB
Current children cumulated memory: 73124 KiB
[startup+0.313485 s]*
/proc/loadavg: 4.29 3.95 3.57 5/245 1073564
/proc/meminfo: memFree=126966696/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=149356 memory=81260 CPUtime=0.31 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 20597 0 0 0 29 2 0 0 20 0 1 0 199479059 152940544 20315 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 37339 20315 3783 3002 0 21088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 149356 KiB
Current children cumulated memory: 81260 KiB
[startup+0.70025 s]
/proc/loadavg: 4.29 3.95 3.57 5/245 1073564
/proc/meminfo: memFree=126958168/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=158168 memory=89704 CPUtime=0.69 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 22752 0 0 0 66 3 0 0 20 0 1 0 199479059 161964032 22426 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 39542 22426 3783 3002 0 23291 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 158168 KiB
Current children cumulated memory: 89704 KiB
[startup+1.50036 s]
/proc/loadavg: 4.29 3.95 3.57 6/245 1073564
/proc/meminfo: memFree=126956796/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=158168 memory=89704 CPUtime=1.49 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 22753 0 0 0 146 3 0 0 20 0 1 0 199479059 161964032 22426 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 39542 22426 3783 3002 0 23291 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 158168 KiB
Current children cumulated memory: 89704 KiB
[startup+3.11315 s]
/proc/loadavg: 4.29 3.95 3.57 5/243 1073564
/proc/meminfo: memFree=127417332/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=162528 memory=93784 CPUtime=3.09 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 23699 0 0 0 306 3 0 0 20 0 1 0 199479059 166428672 23446 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 40632 23446 3815 3002 0 24381 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 162528 KiB
Current children cumulated memory: 93784 KiB
[startup+6.30034 s]
/proc/loadavg: 4.26 3.95 3.57 6/245 1073657
/proc/meminfo: memFree=127383488/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=258712 memory=181560 CPUtime=6.27 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 41258 0 0 0 620 7 0 0 20 0 1 0 199479059 264921088 45390 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 64678 45390 4020 3002 0 48427 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 258712 KiB
Current children cumulated memory: 181560 KiB
[startup+12.7003 s]
/proc/loadavg: 4.32 3.97 3.58 6/245 1073657
/proc/meminfo: memFree=126346792/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=259036 memory=182088 CPUtime=12.65 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 41375 0 0 0 1257 8 0 0 20 0 1 0 199479059 265252864 45522 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 64759 45522 4020 3002 0 48508 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 259036 KiB
Current children cumulated memory: 182088 KiB
[startup+25.5004 s]
/proc/loadavg: 4.39 4.00 3.59 6/245 1073671
/proc/meminfo: memFree=125112156/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=303792 memory=222948 CPUtime=25.4 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 51599 0 0 0 2530 10 0 0 20 0 1 0 199479059 311083008 55737 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 75948 55737 4036 3002 0 59697 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 303792 KiB
Current children cumulated memory: 222948 KiB
[startup+51.1134 s]
/proc/loadavg: 4.26 4.00 3.61 6/245 1073674
/proc/meminfo: memFree=123411336/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=303792 memory=223272 CPUtime=50.92 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 51639 0 0 0 5079 13 0 0 20 0 1 0 199479059 311083008 55818 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 75948 55818 4052 3002 0 59697 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 303792 KiB
Current children cumulated memory: 223272 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.03 3.64 6/245 1073683
/proc/meminfo: memFree=123391796/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=303792 memory=223392 CPUtime=101.94 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 52281 0 0 0 10176 18 0 0 20 0 1 0 199479059 311083008 55848 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 75948 55848 4052 3002 0 59697 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 303792 KiB
Current children cumulated memory: 223392 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.05 3.67 6/244 1073695
/proc/meminfo: memFree=123366660/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=313336 memory=233336 CPUtime=161.73 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 55365 0 0 0 16154 19 0 0 20 0 1 0 199479059 320856064 58334 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 78334 58334 4052 3002 0 62083 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 313336 KiB
Current children cumulated memory: 233336 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.07 3.71 6/243 1073705
/proc/meminfo: memFree=123187552/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=335532 memory=256624 CPUtime=221.52 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 61634 0 0 0 22131 21 0 0 20 0 1 0 199479059 343584768 64156 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 83883 64156 4052 3002 0 67632 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 335532 KiB
Current children cumulated memory: 256624 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.10 3.75 6/243 1073716
/proc/meminfo: memFree=123185612/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=353772 memory=273700 CPUtime=281.31 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 65972 0 0 0 28109 22 0 0 20 0 1 0 199479059 362262528 68425 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 88443 68425 4052 3002 0 72192 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 353772 KiB
Current children cumulated memory: 273700 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 3.77 6/241 1073727
/proc/meminfo: memFree=124013620/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=345916 memory=272528 CPUtime=341.12 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 69574 0 0 0 34069 43 0 0 20 0 1 0 199479059 354217984 68132 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 86479 68132 4196 3002 0 70228 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 345916 KiB
Current children cumulated memory: 272528 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 3.79 6/241 1073737
/proc/meminfo: memFree=123952068/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=345916 memory=272740 CPUtime=400.94 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 69642 0 0 0 40030 64 0 0 20 0 1 0 199479059 354217984 68185 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 86479 68185 4196 3002 0 70228 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 345916 KiB
Current children cumulated memory: 272740 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 3.82 6/241 1073747
/proc/meminfo: memFree=123808992/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=345916 memory=277040 CPUtime=460.76 cores=5,7
################
# More data... #
################
Current children cumulated memory: 497164 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/241 1074893
/proc/meminfo: memFree=114674624/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=655480 memory=509124 CPUtime=2914.41 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 80207 0 0 0 290858 583 0 0 20 0 1 0 199479059 671211520 127281 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 163870 127281 4196 3002 0 147619 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 655480 KiB
Current children cumulated memory: 509124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/243 1074907
/proc/meminfo: memFree=114666792/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=656976 memory=510020 CPUtime=2974.24 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 80573 0 0 0 296831 593 0 0 20 0 1 0 199479059 672743424 127505 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 164244 127505 4196 3002 0 147993 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 656976 KiB
Current children cumulated memory: 510020 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/243 1074917
/proc/meminfo: memFree=114338024/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=657656 memory=510720 CPUtime=3034.06 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 80793 0 0 0 302803 603 0 0 20 0 1 0 199479059 673439744 127680 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 164414 127680 4196 3002 0 148163 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 657656 KiB
Current children cumulated memory: 510720 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/244 1074928
/proc/meminfo: memFree=114123304/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=657656 memory=510720 CPUtime=3093.9 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 81005 0 0 0 308775 615 0 0 20 0 1 0 199479059 673439744 127680 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 164414 127680 4196 3002 0 148163 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 657656 KiB
Current children cumulated memory: 510720 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 1074939
/proc/meminfo: memFree=114101216/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=657656 memory=510720 CPUtime=3153.72 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 81235 0 0 0 314750 622 0 0 20 0 1 0 199479059 673439744 127680 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 164414 127680 4196 3002 0 148163 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 657656 KiB
Current children cumulated memory: 510720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 1074949
/proc/meminfo: memFree=114071140/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=659640 memory=512412 CPUtime=3213.55 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 81853 0 0 0 320722 633 0 0 20 0 1 0 199479059 675471360 128103 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 164910 128103 4196 3002 0 148659 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 659640 KiB
Current children cumulated memory: 512412 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/244 1075347
/proc/meminfo: memFree=113996924/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=662200 memory=514268 CPUtime=3273.36 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 82484 0 0 0 326692 644 0 0 20 0 1 0 199479059 678092800 128567 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 165550 128567 4196 3002 0 149299 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 662200 KiB
Current children cumulated memory: 514268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/244 1075358
/proc/meminfo: memFree=113648292/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=662200 memory=514500 CPUtime=3333.19 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 82591 0 0 0 332663 656 0 0 20 0 1 0 199479059 678092800 128625 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 165550 128625 4196 3002 0 149299 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 662200 KiB
Current children cumulated memory: 514500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/244 1075368
/proc/meminfo: memFree=113640728/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=666172 memory=517332 CPUtime=3393.02 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 83466 0 0 0 338635 667 0 0 20 0 1 0 199479059 682160128 129333 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 166543 129333 4196 3002 0 150292 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 666172 KiB
Current children cumulated memory: 517332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/243 1075546
/proc/meminfo: memFree=113633676/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=666172 memory=517532 CPUtime=3452.84 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 83573 0 0 0 344605 679 0 0 20 0 1 0 199479059 682160128 129383 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 166543 129383 4196 3002 0 150292 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 666172 KiB
Current children cumulated memory: 517532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/244 1075558
/proc/meminfo: memFree=113627724/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=666172 memory=517608 CPUtime=3512.66 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 83815 0 0 0 350571 695 0 0 20 0 1 0 199479059 682160128 129402 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 166543 129402 4196 3002 0 150292 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 666172 KiB
Current children cumulated memory: 517608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/246 1075572
/proc/meminfo: memFree=113274324/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=667072 memory=518464 CPUtime=3572.5 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 84159 0 0 0 356540 710 0 0 20 0 1 0 199479059 683081728 129616 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 166768 129616 4196 3002 0 150517 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 667072 KiB
Current children cumulated memory: 518464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.62 4.25 4.14 5/244 1075577
/proc/meminfo: memFree=112953760/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=667072 memory=518532 CPUtime=3600.01 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 84791 0 0 0 359287 714 0 0 20 0 1 0 199479059 683081728 129633 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 166768 129633 4196 3002 0 150517 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 667072 KiB
Current children cumulated memory: 518532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 1073563 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.89 s, system=7.14824 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.62 4.25 4.14 5/244 1075577
/proc/meminfo: memFree=112953760/131655788 swapFree=131071996/131071996
[pid=1073563] ppid=1073560 vsize=667072 memory=518532 CPUtime=3600.01 cores=5,7
/proc/1073563/stat : 1073563 (mixed-bag) R 1073560 1073563 1072396 0 -1 4194304 84791 0 0 0 359287 714 0 0 20 0 1 0 199479059 683081728 129633 134679101440 4194304 16488053 140736865235056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42115072 140736865244181 140736865244258 140736865244258 140736865251275 0
/proc/1073563/statm: 166768 129633 4196 3002 0 150517 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 667072 KiB
Current children cumulated memory: 518532 KiB
Child status: 0
Real time (s): 3609.92
CPU time (s): 3600.04
CPU user time (s): 3592.89
CPU system time (s): 7.14824
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 667072
Max. memory (cumulated for all children) (KiB): 518532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.89
system time used= 7.14824
maximum resident set size= 519368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84813
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= 77
involuntary context switches= 1415
# summary of solver processes directly reported to runsolver:
# pid: 1073563
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.89
# total CPU system time (s): 7.14824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5704 second user time and 35.5194 second system time
The end
Begin job on nodeC003 at 2024-07-20 13:00:41
IDJOB=4454911
IDBENCH=155343
IDSOLVER=3083
FILE ID=nodeC003/4454911-1721473230
RUNJOBID= nodeC003-1721472791-1072409
SLURM_JOB_ID= 7545744
Free space on /tmp= 723720 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454911-1721473230/watcher-4454911-1721473230 -o /tmp/evaluation-result-4454911-1721473230/solver-4454911-1721473230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721472791-1072409 --watchdog 3760 mixed-bag HOME/instance-4454911-1721473230.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=619785634
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3555.511
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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 : 3616.611
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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.394
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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.319
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 3673.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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 : 3491.906
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.478
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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.217
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127036168 kB
MemAvailable: 128435792 kB
Buffers: 585048 kB
Cached: 1655768 kB
SwapCached: 0 kB
Active: 1113672 kB
Inactive: 2944492 kB
Active(anon): 1452 kB
Inactive(anon): 1861784 kB
Active(file): 1112220 kB
Inactive(file): 1082708 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17300 kB
Writeback: 12 kB
AnonPages: 1816496 kB
Mapped: 140656 kB
Shmem: 45896 kB
KReclaimable: 89452 kB
Slab: 192544 kB
SReclaimable: 89452 kB
SUnreclaim: 103092 kB
KernelStack: 3904 kB
PageTables: 13292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2237536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 503808 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 275272 kB
DirectMap2M: 31086592 kB
DirectMap1G: 104857600 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC003 at 2024-07-20 14:00:52