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.31/0.36 c [STEP] preprocessing with Papilo
0.41/0.52 c [STEP] solving with SCIP
299.85/300.79 c [STEP] preprocessing done, loading into solver
299.96/300.88 c [STEP] solving
299.96/300.88 c #variables 14341 #constraints 53219
299.96/300.88 c SMALL=int, LARGE=long long
299.96/300.88 d SCIPUB 21
299.96/300.88 c bounds - >= 0 @ 299.741
299.96/300.88 c stratification level: 0
543.88/545.32 c bounds - >= 1 @ 299.756
543.88/545.32 c bounds - >= 2 @ 299.757
543.88/545.32 c bounds - >= 3 @ 299.781
543.88/545.32 c bounds - >= 4 @ 299.807
543.88/545.32 c bounds - >= 5 @ 299.807
543.88/545.32 c bounds - >= 6 @ 299.808
543.88/545.32 c bounds - >= 7 @ 299.81
543.88/545.32 c #Conflicts: 1000 | #Constraints: 54230
543.88/545.32 c #Conflicts: 2000 | #Constraints: 55230
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 3000 | #Constraints: 55231
543.88/545.32 c #Conflicts: 4000 | #Constraints: 56231
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 5000 | #Constraints: 55644
543.88/545.32 c #Conflicts: 6000 | #Constraints: 56644
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 7000 | #Constraints: 55647
543.88/545.32 c #Conflicts: 8000 | #Constraints: 56647
543.88/545.32 c #Conflicts: 9000 | #Constraints: 57647
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 10000 | #Constraints: 56351
543.88/545.32 c #Conflicts: 11000 | #Constraints: 57351
543.88/545.32 c #Conflicts: 12000 | #Constraints: 58351
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 13000 | #Constraints: 56798
543.88/545.32 c #Conflicts: 14000 | #Constraints: 57798
543.88/545.32 c #Conflicts: 15000 | #Constraints: 58798
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 16000 | #Constraints: 57029
543.88/545.32 c #Conflicts: 17000 | #Constraints: 58029
543.88/545.32 c #Conflicts: 18000 | #Constraints: 59029
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 19000 | #Constraints: 57051
543.88/545.32 c #Conflicts: 20000 | #Constraints: 58051
543.88/545.32 c #Conflicts: 21000 | #Constraints: 59051
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 22000 | #Constraints: 56857
543.88/545.32 c #Conflicts: 23000 | #Constraints: 57857
543.88/545.32 c #Conflicts: 24000 | #Constraints: 58857
543.88/545.32 c #Conflicts: 25000 | #Constraints: 59857
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 26000 | #Constraints: 57470
543.88/545.32 c #Conflicts: 27000 | #Constraints: 58470
543.88/545.32 c #Conflicts: 28000 | #Constraints: 59470
543.88/545.32 c #Conflicts: 29000 | #Constraints: 60470
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 30000 | #Constraints: 57863
543.88/545.32 c #Conflicts: 31000 | #Constraints: 58863
543.88/545.32 c #Conflicts: 32000 | #Constraints: 59863
543.88/545.32 c #Conflicts: 33000 | #Constraints: 60863
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 34000 | #Constraints: 58067
543.88/545.32 c #Conflicts: 35000 | #Constraints: 59067
543.88/545.32 c #Conflicts: 36000 | #Constraints: 60067
543.88/545.32 c #Conflicts: 37000 | #Constraints: 61067
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 38000 | #Constraints: 58089
543.88/545.32 c #Conflicts: 39000 | #Constraints: 59089
543.88/545.32 c #Conflicts: 40000 | #Constraints: 60089
543.88/545.32 c #Conflicts: 41000 | #Constraints: 61089
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 42000 | #Constraints: 57889
543.88/545.32 c #Conflicts: 43000 | #Constraints: 58889
543.88/545.32 c #Conflicts: 44000 | #Constraints: 59889
543.88/545.32 c #Conflicts: 45000 | #Constraints: 60889
543.88/545.32 c #Conflicts: 46000 | #Constraints: 61889
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 47000 | #Constraints: 58476
543.88/545.32 c #Conflicts: 48000 | #Constraints: 59476
543.88/545.32 c #Conflicts: 49000 | #Constraints: 60476
543.88/545.32 c #Conflicts: 50000 | #Constraints: 61476
543.88/545.32 c #Conflicts: 51000 | #Constraints: 62476
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 52000 | #Constraints: 58870
543.88/545.32 c #Conflicts: 53000 | #Constraints: 59870
543.88/545.32 c #Conflicts: 54000 | #Constraints: 60870
543.88/545.32 c #Conflicts: 55000 | #Constraints: 61870
543.88/545.32 c #Conflicts: 56000 | #Constraints: 62870
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 57000 | #Constraints: 59078
543.88/545.32 c #Conflicts: 58000 | #Constraints: 60078
543.88/545.32 c #Conflicts: 59000 | #Constraints: 61078
543.88/545.32 c #Conflicts: 60000 | #Constraints: 62078
543.88/545.32 c #Conflicts: 61000 | #Constraints: 63078
543.88/545.32 c INPROCESSING
543.88/545.32 c GARBAGE COLLECT
543.88/545.32 c #Conflicts: 62000 | #Constraints: 59079
543.88/545.32 c #Conflicts: 63000 | #Constraints: 60079
543.88/545.32 c #Conflicts: 64000 | #Constraints: 61079
543.88/545.32 c #Conflicts: 65000 | #Constraints: 62079
855.74/857.92 c #Conflicts: 66000 | #Constraints: 63079
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 67000 | #Constraints: 58883
855.74/857.92 c #Conflicts: 68000 | #Constraints: 59883
855.74/857.92 c #Conflicts: 69000 | #Constraints: 60883
855.74/857.92 c #Conflicts: 70000 | #Constraints: 61883
855.74/857.92 c #Conflicts: 71000 | #Constraints: 62883
855.74/857.92 c #Conflicts: 72000 | #Constraints: 63883
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 73000 | #Constraints: 59495
855.74/857.92 c #Conflicts: 74000 | #Constraints: 60495
855.74/857.92 c #Conflicts: 75000 | #Constraints: 61495
855.74/857.92 c #Conflicts: 76000 | #Constraints: 62495
855.74/857.92 c #Conflicts: 77000 | #Constraints: 63495
855.74/857.92 c #Conflicts: 78000 | #Constraints: 64495
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 79000 | #Constraints: 59890
855.74/857.92 c #Conflicts: 80000 | #Constraints: 60890
855.74/857.92 c #Conflicts: 81000 | #Constraints: 61890
855.74/857.92 c #Conflicts: 82000 | #Constraints: 62890
855.74/857.92 c #Conflicts: 83000 | #Constraints: 63890
855.74/857.92 c #Conflicts: 84000 | #Constraints: 64890
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 85000 | #Constraints: 60090
855.74/857.92 c #Conflicts: 86000 | #Constraints: 61090
855.74/857.92 c #Conflicts: 87000 | #Constraints: 62090
855.74/857.92 c #Conflicts: 88000 | #Constraints: 63090
855.74/857.92 c #Conflicts: 89000 | #Constraints: 64090
855.74/857.92 c #Conflicts: 90000 | #Constraints: 65090
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 91000 | #Constraints: 60095
855.74/857.92 c #Conflicts: 92000 | #Constraints: 61095
855.74/857.92 c #Conflicts: 93000 | #Constraints: 62095
855.74/857.92 c #Conflicts: 94000 | #Constraints: 63095
855.74/857.92 c #Conflicts: 95000 | #Constraints: 64095
855.74/857.92 c #Conflicts: 96000 | #Constraints: 65095
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 97000 | #Constraints: 59928
855.74/857.92 c #Conflicts: 98000 | #Constraints: 60928
855.74/857.92 c #Conflicts: 99000 | #Constraints: 61928
855.74/857.92 c #Conflicts: 100000 | #Constraints: 62928
855.74/857.92 c #Conflicts: 101000 | #Constraints: 63928
855.74/857.92 c #Conflicts: 102000 | #Constraints: 64928
855.74/857.92 c #Conflicts: 103000 | #Constraints: 65928
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 104000 | #Constraints: 60490
855.74/857.92 c #Conflicts: 105000 | #Constraints: 61490
855.74/857.92 c #Conflicts: 106000 | #Constraints: 62490
855.74/857.92 c #Conflicts: 107000 | #Constraints: 63490
855.74/857.92 c #Conflicts: 108000 | #Constraints: 64490
855.74/857.92 c #Conflicts: 109000 | #Constraints: 65490
855.74/857.92 c #Conflicts: 110000 | #Constraints: 66490
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 111000 | #Constraints: 60893
855.74/857.92 c #Conflicts: 112000 | #Constraints: 61893
855.74/857.92 c #Conflicts: 113000 | #Constraints: 62893
855.74/857.92 c #Conflicts: 114000 | #Constraints: 63893
855.74/857.92 c #Conflicts: 115000 | #Constraints: 64893
855.74/857.92 c #Conflicts: 116000 | #Constraints: 65893
855.74/857.92 c #Conflicts: 117000 | #Constraints: 66893
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 118000 | #Constraints: 61101
855.74/857.92 c #Conflicts: 119000 | #Constraints: 62101
855.74/857.92 c #Conflicts: 120000 | #Constraints: 63101
855.74/857.92 c #Conflicts: 121000 | #Constraints: 64101
855.74/857.92 c #Conflicts: 122000 | #Constraints: 65101
855.74/857.92 c #Conflicts: 123000 | #Constraints: 66101
855.74/857.92 c #Conflicts: 124000 | #Constraints: 67101
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 125000 | #Constraints: 61091
855.74/857.92 c #Conflicts: 126000 | #Constraints: 62091
855.74/857.92 c #Conflicts: 127000 | #Constraints: 63091
855.74/857.92 c #Conflicts: 128000 | #Constraints: 64091
855.74/857.92 c #Conflicts: 129000 | #Constraints: 65091
855.74/857.92 c #Conflicts: 130000 | #Constraints: 66091
855.74/857.92 c #Conflicts: 131000 | #Constraints: 67091
855.74/857.92 c INPROCESSING
855.74/857.92 c GARBAGE COLLECT
855.74/857.92 c #Conflicts: 132000 | #Constraints: 60886
855.74/857.92 c #Conflicts: 133000 | #Constraints: 61886
855.74/857.92 c #Conflicts: 134000 | #Constraints: 62886
855.74/857.92 c #Conflicts: 135000 | #Constraints: 63886
855.74/857.92 c #Conflicts: 136000 | #Constraints: 64886
855.74/857.92 c #Conflicts: 137000 | #Constraints: 65886
1112.95/1115.71 c #Conflicts: 138000 | #Constraints: 66886
1112.95/1115.71 c #Conflicts: 139000 | #Constraints: 67886
1112.95/1115.71 c INPROCESSING
1112.95/1115.71 c GARBAGE COLLECT
1112.95/1115.71 c #Conflicts: 140000 | #Constraints: 61502
1112.95/1115.71 c #Conflicts: 141000 | #Constraints: 62502
1112.95/1115.71 c #Conflicts: 142000 | #Constraints: 63502
1112.95/1115.71 c #Conflicts: 143000 | #Constraints: 64502
1112.95/1115.71 c #Conflicts: 144000 | #Constraints: 65502
1112.95/1115.71 c #Conflicts: 145000 | #Constraints: 66502
1112.95/1115.71 c #Conflicts: 146000 | #Constraints: 67502
1112.95/1115.71 c #Conflicts: 147000 | #Constraints: 68502
1112.95/1115.71 c INPROCESSING
1112.95/1115.71 c GARBAGE COLLECT
1112.95/1115.71 c #Conflicts: 148000 | #Constraints: 61896
1112.95/1115.71 c #Conflicts: 149000 | #Constraints: 62896
1112.95/1115.71 c #Conflicts: 150000 | #Constraints: 63896
1112.95/1115.71 c #Conflicts: 151000 | #Constraints: 64896
1112.95/1115.71 c #Conflicts: 152000 | #Constraints: 65896
1112.95/1115.71 c #Conflicts: 153000 | #Constraints: 66896
1112.95/1115.71 c #Conflicts: 154000 | #Constraints: 67896
1112.95/1115.71 c #Conflicts: 155000 | #Constraints: 68896
1112.95/1115.71 c INPROCESSING
1112.95/1115.71 c GARBAGE COLLECT
1112.95/1115.71 c #Conflicts: 156000 | #Constraints: 62101
1112.95/1115.71 c #Conflicts: 157000 | #Constraints: 63101
1112.95/1115.71 c #Conflicts: 158000 | #Constraints: 64101
1112.95/1115.71 c #Conflicts: 159000 | #Constraints: 65101
1112.95/1115.71 c #Conflicts: 160000 | #Constraints: 66101
1112.95/1115.71 c #Conflicts: 161000 | #Constraints: 67101
1112.95/1115.71 c #Conflicts: 162000 | #Constraints: 68101
1112.95/1115.71 c #Conflicts: 163000 | #Constraints: 69101
1112.95/1115.71 c INPROCESSING
1112.95/1115.71 c GARBAGE COLLECT
1112.95/1115.71 c #Conflicts: 164000 | #Constraints: 62094
1112.95/1115.71 c #Conflicts: 165000 | #Constraints: 63094
1112.95/1115.71 c #Conflicts: 166000 | #Constraints: 64094
1112.95/1115.71 c #Conflicts: 167000 | #Constraints: 65094
1112.95/1115.71 c #Conflicts: 168000 | #Constraints: 66094
1112.95/1115.71 c #Conflicts: 169000 | #Constraints: 67094
1112.95/1115.71 c #Conflicts: 170000 | #Constraints: 68094
1112.95/1115.71 c #Conflicts: 171000 | #Constraints: 69094
1112.95/1115.71 c INPROCESSING
1112.95/1115.71 c GARBAGE COLLECT
1112.95/1115.71 c #Conflicts: 172000 | #Constraints: 61906
1112.95/1115.71 c #Conflicts: 173000 | #Constraints: 62906
1112.95/1115.72 c #Conflicts: 174000 | #Constraints: 63906
1112.95/1115.72 c #Conflicts: 175000 | #Constraints: 64906
1112.95/1115.72 c #Conflicts: 176000 | #Constraints: 65906
1112.95/1115.72 c #Conflicts: 177000 | #Constraints: 66906
1112.95/1115.72 c #Conflicts: 178000 | #Constraints: 67906
1112.95/1115.72 c #Conflicts: 179000 | #Constraints: 68906
1112.95/1115.72 c #Conflicts: 180000 | #Constraints: 69906
1112.95/1115.72 c INPROCESSING
1112.95/1115.72 c GARBAGE COLLECT
1112.95/1115.72 c #Conflicts: 181000 | #Constraints: 62494
1112.95/1115.72 c #Conflicts: 182000 | #Constraints: 63494
1112.95/1115.72 c #Conflicts: 183000 | #Constraints: 64494
1112.95/1115.72 c #Conflicts: 184000 | #Constraints: 65494
1112.95/1115.72 c #Conflicts: 185000 | #Constraints: 66494
1112.95/1115.72 c #Conflicts: 186000 | #Constraints: 67494
1112.95/1115.72 c #Conflicts: 187000 | #Constraints: 68494
1112.95/1115.72 c #Conflicts: 188000 | #Constraints: 69494
1112.95/1115.72 c #Conflicts: 189000 | #Constraints: 70494
1112.95/1115.72 c INPROCESSING
1112.95/1115.72 c GARBAGE COLLECT
1112.95/1115.72 c #Conflicts: 190000 | #Constraints: 62893
1112.95/1115.72 c #Conflicts: 191000 | #Constraints: 63893
1112.95/1115.72 c #Conflicts: 192000 | #Constraints: 64893
1112.95/1115.72 c #Conflicts: 193000 | #Constraints: 65893
1112.95/1115.72 c #Conflicts: 194000 | #Constraints: 66893
1112.95/1115.72 c #Conflicts: 195000 | #Constraints: 67893
1112.95/1115.72 c #Conflicts: 196000 | #Constraints: 68893
1112.95/1115.72 c #Conflicts: 197000 | #Constraints: 69893
1112.95/1115.72 c #Conflicts: 198000 | #Constraints: 70893
1112.95/1115.72 c INPROCESSING
1112.95/1115.72 c GARBAGE COLLECT
1112.95/1115.72 c #Conflicts: 199000 | #Constraints: 63111
1112.95/1115.72 c #Conflicts: 200000 | #Constraints: 64111
1112.95/1115.72 c #Conflicts: 201000 | #Constraints: 65111
1112.95/1115.72 c #Conflicts: 202000 | #Constraints: 66111
1112.95/1115.72 c #Conflicts: 203000 | #Constraints: 67111
1112.95/1115.72 c #Conflicts: 204000 | #Constraints: 68111
1112.95/1115.72 c #Conflicts: 205000 | #Constraints: 69111
1112.95/1115.72 c #Conflicts: 206000 | #Constraints: 70111
1112.95/1115.72 c #Conflicts: 207000 | #Constraints: 71111
1112.95/1115.72 c INPROCESSING
1112.95/1115.72 c GARBAGE COLLECT
1112.95/1115.72 c #Conflicts: 208000 | #Constraints: 63143
1112.95/1115.72 c #Conflicts: 209000 | #Constraints: 64143
1112.95/1115.72 c #Conflicts: 210000 | #Constraints: 65143
1364.67/1368.07 c #Conflicts: 211000 | #Constraints: 66143
1364.67/1368.07 c #Conflicts: 212000 | #Constraints: 67143
1364.67/1368.07 c #Conflicts: 213000 | #Constraints: 68143
1364.67/1368.07 c #Conflicts: 214000 | #Constraints: 69143
1364.67/1368.07 c #Conflicts: 215000 | #Constraints: 70143
1364.67/1368.07 c #Conflicts: 216000 | #Constraints: 71143
1364.67/1368.07 c INPROCESSING
1364.67/1368.07 c GARBAGE COLLECT
1364.67/1368.07 c #Conflicts: 217000 | #Constraints: 62942
1364.67/1368.07 c #Conflicts: 218000 | #Constraints: 63942
1364.67/1368.07 c #Conflicts: 219000 | #Constraints: 64942
1364.67/1368.07 c #Conflicts: 220000 | #Constraints: 65942
1364.67/1368.07 c #Conflicts: 221000 | #Constraints: 66942
1364.67/1368.07 c #Conflicts: 222000 | #Constraints: 67942
1364.67/1368.07 c #Conflicts: 223000 | #Constraints: 68942
1364.67/1368.07 c #Conflicts: 224000 | #Constraints: 69942
1364.67/1368.07 c #Conflicts: 225000 | #Constraints: 70942
1364.67/1368.07 c #Conflicts: 226000 | #Constraints: 71942
1364.67/1368.07 c INPROCESSING
1364.67/1368.07 c GARBAGE COLLECT
1364.67/1368.07 c #Conflicts: 227000 | #Constraints: 63533
1364.67/1368.07 c #Conflicts: 228000 | #Constraints: 64533
1364.67/1368.07 c #Conflicts: 229000 | #Constraints: 65533
1364.67/1368.07 c #Conflicts: 230000 | #Constraints: 66533
1364.67/1368.07 c #Conflicts: 231000 | #Constraints: 67533
1364.67/1368.07 c #Conflicts: 232000 | #Constraints: 68533
1364.67/1368.07 c #Conflicts: 233000 | #Constraints: 69533
1364.67/1368.07 c #Conflicts: 234000 | #Constraints: 70533
1364.67/1368.07 c #Conflicts: 235000 | #Constraints: 71533
1364.67/1368.07 c #Conflicts: 236000 | #Constraints: 72533
1364.67/1368.07 c INPROCESSING
1364.67/1368.07 c GARBAGE COLLECT
1364.67/1368.07 c #Conflicts: 237000 | #Constraints: 63918
1364.67/1368.07 c #Conflicts: 238000 | #Constraints: 64918
1364.67/1368.07 c #Conflicts: 239000 | #Constraints: 65918
1364.67/1368.07 c #Conflicts: 240000 | #Constraints: 66918
1364.67/1368.07 c #Conflicts: 241000 | #Constraints: 67918
1364.67/1368.07 c #Conflicts: 242000 | #Constraints: 68918
1364.67/1368.07 c #Conflicts: 243000 | #Constraints: 69918
1364.67/1368.07 c #Conflicts: 244000 | #Constraints: 70918
1364.67/1368.07 c #Conflicts: 245000 | #Constraints: 71918
1364.67/1368.07 c #Conflicts: 246000 | #Constraints: 72918
1364.67/1368.07 c INPROCESSING
1364.67/1368.07 c GARBAGE COLLECT
1364.67/1368.07 c #Conflicts: 247000 | #Constraints: 64123
1364.67/1368.07 c #Conflicts: 248000 | #Constraints: 65123
1364.67/1368.07 c #Conflicts: 249000 | #Constraints: 66123
1364.67/1368.07 c #Conflicts: 250000 | #Constraints: 67123
1364.67/1368.07 c #Conflicts: 251000 | #Constraints: 68123
1364.67/1368.07 c #Conflicts: 252000 | #Constraints: 69123
1364.67/1368.07 c #Conflicts: 253000 | #Constraints: 70123
1364.67/1368.07 c #Conflicts: 254000 | #Constraints: 71123
1364.67/1368.07 c #Conflicts: 255000 | #Constraints: 72123
1364.67/1368.07 c #Conflicts: 256000 | #Constraints: 73123
1364.67/1368.07 c INPROCESSING
1364.67/1368.07 c GARBAGE COLLECT
1364.67/1368.07 c #Conflicts: 257000 | #Constraints: 64099
1364.67/1368.07 c #Conflicts: 258000 | #Constraints: 65099
1364.67/1368.07 c #Conflicts: 259000 | #Constraints: 66099
1364.67/1368.07 c #Conflicts: 260000 | #Constraints: 67099
1364.67/1368.07 c #Conflicts: 261000 | #Constraints: 68099
1364.67/1368.07 c #Conflicts: 262000 | #Constraints: 69099
1364.67/1368.07 c #Conflicts: 263000 | #Constraints: 70099
1364.67/1368.07 c #Conflicts: 264000 | #Constraints: 71099
1364.67/1368.07 c #Conflicts: 265000 | #Constraints: 72099
1364.67/1368.07 c #Conflicts: 266000 | #Constraints: 73099
1364.67/1368.07 c INPROCESSING
1364.67/1368.07 c GARBAGE COLLECT
1364.67/1368.07 c #Conflicts: 267000 | #Constraints: 63907
1364.67/1368.07 c #Conflicts: 268000 | #Constraints: 64907
1364.67/1368.07 c #Conflicts: 269000 | #Constraints: 65907
1364.67/1368.07 c #Conflicts: 270000 | #Constraints: 66907
1364.67/1368.07 c #Conflicts: 271000 | #Constraints: 67907
1364.67/1368.07 c #Conflicts: 272000 | #Constraints: 68907
1364.67/1368.07 c #Conflicts: 273000 | #Constraints: 69907
1364.67/1368.07 c #Conflicts: 274000 | #Constraints: 70907
1364.67/1368.07 c #Conflicts: 275000 | #Constraints: 71907
1364.67/1368.07 c #Conflicts: 276000 | #Constraints: 72907
1364.67/1368.07 c #Conflicts: 277000 | #Constraints: 73907
1364.67/1368.07 c INPROCESSING
1364.67/1368.07 c GARBAGE COLLECT
1364.67/1368.07 c #Conflicts: 278000 | #Constraints: 64508
1364.67/1368.07 c #Conflicts: 279000 | #Constraints: 65508
1364.67/1368.07 c #Conflicts: 280000 | #Constraints: 66508
1364.67/1368.07 c #Conflicts: 281000 | #Constraints: 67508
1364.67/1368.07 c #Conflicts: 282000 | #Constraints: 68508
1364.67/1368.07 c #Conflicts: 283000 | #Constraints: 69508
1364.67/1368.07 c #Conflicts: 284000 | #Constraints: 70508
1611.64/1615.65 c #Conflicts: 285000 | #Constraints: 71508
1611.64/1615.65 c #Conflicts: 286000 | #Constraints: 72508
1611.64/1615.65 c #Conflicts: 287000 | #Constraints: 73508
1611.64/1615.65 c #Conflicts: 288000 | #Constraints: 74508
1611.64/1615.65 c INPROCESSING
1611.64/1615.65 c GARBAGE COLLECT
1611.64/1615.65 c #Conflicts: 289000 | #Constraints: 64930
1611.64/1615.65 c #Conflicts: 290000 | #Constraints: 65930
1611.64/1615.65 c #Conflicts: 291000 | #Constraints: 66930
1611.64/1615.65 c #Conflicts: 292000 | #Constraints: 67930
1611.64/1615.65 c #Conflicts: 293000 | #Constraints: 68930
1611.64/1615.65 c #Conflicts: 294000 | #Constraints: 69930
1611.64/1615.65 c #Conflicts: 295000 | #Constraints: 70930
1611.64/1615.65 c #Conflicts: 296000 | #Constraints: 71930
1611.64/1615.65 c #Conflicts: 297000 | #Constraints: 72930
1611.64/1615.65 c #Conflicts: 298000 | #Constraints: 73930
1611.64/1615.65 c #Conflicts: 299000 | #Constraints: 74930
1611.64/1615.65 c INPROCESSING
1611.64/1615.65 c GARBAGE COLLECT
1611.64/1615.65 c #Conflicts: 300000 | #Constraints: 65159
1611.64/1615.65 c #Conflicts: 301000 | #Constraints: 66159
1611.64/1615.65 c #Conflicts: 302000 | #Constraints: 67159
1611.64/1615.65 c #Conflicts: 303000 | #Constraints: 68159
1611.64/1615.66 c #Conflicts: 304000 | #Constraints: 69159
1611.64/1615.66 c #Conflicts: 305000 | #Constraints: 70159
1611.64/1615.66 c #Conflicts: 306000 | #Constraints: 71159
1611.64/1615.66 c #Conflicts: 307000 | #Constraints: 72159
1611.64/1615.66 c #Conflicts: 308000 | #Constraints: 73159
1611.64/1615.66 c #Conflicts: 309000 | #Constraints: 74159
1611.64/1615.66 c #Conflicts: 310000 | #Constraints: 75159
1611.64/1615.66 c INPROCESSING
1611.64/1615.66 c GARBAGE COLLECT
1611.64/1615.66 c #Conflicts: 311000 | #Constraints: 65145
1611.64/1615.66 c #Conflicts: 312000 | #Constraints: 66145
1611.64/1615.66 c #Conflicts: 313000 | #Constraints: 67145
1611.64/1615.66 c #Conflicts: 314000 | #Constraints: 68145
1611.64/1615.66 c #Conflicts: 315000 | #Constraints: 69145
1611.64/1615.66 c #Conflicts: 316000 | #Constraints: 70145
1611.64/1615.66 c #Conflicts: 317000 | #Constraints: 71145
1611.64/1615.66 c #Conflicts: 318000 | #Constraints: 72145
1611.64/1615.66 c #Conflicts: 319000 | #Constraints: 73145
1611.64/1615.66 c #Conflicts: 320000 | #Constraints: 74145
1611.64/1615.66 c #Conflicts: 321000 | #Constraints: 75145
1611.64/1615.66 c INPROCESSING
1611.64/1615.66 c GARBAGE COLLECT
1611.64/1615.66 c #Conflicts: 322000 | #Constraints: 64917
1611.64/1615.66 c #Conflicts: 323000 | #Constraints: 65917
1611.64/1615.66 c #Conflicts: 324000 | #Constraints: 66917
1611.64/1615.66 c #Conflicts: 325000 | #Constraints: 67917
1611.64/1615.66 c #Conflicts: 326000 | #Constraints: 68917
1611.64/1615.66 c #Conflicts: 327000 | #Constraints: 69917
1611.64/1615.66 c #Conflicts: 328000 | #Constraints: 70917
1611.64/1615.66 c #Conflicts: 329000 | #Constraints: 71917
1611.64/1615.66 c #Conflicts: 330000 | #Constraints: 72917
1611.64/1615.66 c #Conflicts: 331000 | #Constraints: 73917
1611.64/1615.66 c #Conflicts: 332000 | #Constraints: 74917
1611.64/1615.66 c #Conflicts: 333000 | #Constraints: 75917
1611.64/1615.66 c INPROCESSING
1611.64/1615.66 c GARBAGE COLLECT
1611.64/1615.66 c #Conflicts: 334000 | #Constraints: 65504
1611.64/1615.66 c #Conflicts: 335000 | #Constraints: 66504
1611.64/1615.66 c #Conflicts: 336000 | #Constraints: 67504
1611.64/1615.66 c #Conflicts: 337000 | #Constraints: 68504
1611.64/1615.66 c #Conflicts: 338000 | #Constraints: 69504
1611.64/1615.66 c #Conflicts: 339000 | #Constraints: 70504
1611.64/1615.66 c #Conflicts: 340000 | #Constraints: 71504
1611.64/1615.66 c #Conflicts: 341000 | #Constraints: 72504
1611.64/1615.66 c #Conflicts: 342000 | #Constraints: 73504
1611.64/1615.66 c #Conflicts: 343000 | #Constraints: 74504
1611.64/1615.66 c #Conflicts: 344000 | #Constraints: 75504
1611.64/1615.66 c #Conflicts: 345000 | #Constraints: 76504
1611.64/1615.66 c INPROCESSING
1611.64/1615.66 c GARBAGE COLLECT
1611.64/1615.66 c #Conflicts: 346000 | #Constraints: 65909
1611.64/1615.66 c #Conflicts: 347000 | #Constraints: 66909
1611.64/1615.66 c #Conflicts: 348000 | #Constraints: 67909
1611.64/1615.66 c #Conflicts: 349000 | #Constraints: 68909
1611.64/1615.66 c #Conflicts: 350000 | #Constraints: 69909
1611.64/1615.66 c #Conflicts: 351000 | #Constraints: 70909
1611.64/1615.66 c #Conflicts: 352000 | #Constraints: 71909
1611.64/1615.66 c #Conflicts: 353000 | #Constraints: 72909
1611.64/1615.66 c #Conflicts: 354000 | #Constraints: 73909
1611.64/1615.66 c #Conflicts: 355000 | #Constraints: 74909
1611.64/1615.66 c #Conflicts: 356000 | #Constraints: 75909
1611.64/1615.66 c #Conflicts: 357000 | #Constraints: 76909
1611.64/1615.66 c INPROCESSING
1611.64/1615.66 c GARBAGE COLLECT
1611.64/1615.66 c #Conflicts: 358000 | #Constraints: 66139
1878.08/1882.71 c #Conflicts: 359000 | #Constraints: 67139
1878.08/1882.71 c #Conflicts: 360000 | #Constraints: 68139
1878.08/1882.71 c #Conflicts: 361000 | #Constraints: 69139
1878.08/1882.71 c #Conflicts: 362000 | #Constraints: 70139
1878.08/1882.71 c #Conflicts: 363000 | #Constraints: 71139
1878.08/1882.71 c #Conflicts: 364000 | #Constraints: 72139
1878.08/1882.71 c #Conflicts: 365000 | #Constraints: 73139
1878.08/1882.71 c #Conflicts: 366000 | #Constraints: 74139
1878.08/1882.71 c #Conflicts: 367000 | #Constraints: 75139
1878.08/1882.71 c #Conflicts: 368000 | #Constraints: 76139
1878.08/1882.71 c #Conflicts: 369000 | #Constraints: 77139
1878.08/1882.71 c INPROCESSING
1878.08/1882.71 c GARBAGE COLLECT
1878.08/1882.71 c #Conflicts: 370000 | #Constraints: 66157
1878.08/1882.71 c #Conflicts: 371000 | #Constraints: 67157
1878.08/1882.71 c #Conflicts: 372000 | #Constraints: 68157
1878.08/1882.71 c #Conflicts: 373000 | #Constraints: 69157
1878.08/1882.71 c #Conflicts: 374000 | #Constraints: 70157
1878.08/1882.71 c #Conflicts: 375000 | #Constraints: 71157
1878.08/1882.71 c #Conflicts: 376000 | #Constraints: 72157
1878.08/1882.71 c #Conflicts: 377000 | #Constraints: 73157
1878.08/1882.71 c #Conflicts: 378000 | #Constraints: 74157
1878.08/1882.71 c #Conflicts: 379000 | #Constraints: 75157
1878.08/1882.71 c #Conflicts: 380000 | #Constraints: 76157
1878.08/1882.71 c #Conflicts: 381000 | #Constraints: 77157
1878.08/1882.71 c INPROCESSING
1878.08/1882.71 c GARBAGE COLLECT
1878.08/1882.71 c #Conflicts: 382000 | #Constraints: 65950
1878.08/1882.71 c #Conflicts: 383000 | #Constraints: 66950
1878.08/1882.71 c #Conflicts: 384000 | #Constraints: 67950
1878.08/1882.71 c #Conflicts: 385000 | #Constraints: 68950
1878.08/1882.71 c #Conflicts: 386000 | #Constraints: 69950
1878.08/1882.71 c #Conflicts: 387000 | #Constraints: 70950
1878.08/1882.71 c #Conflicts: 388000 | #Constraints: 71950
1878.08/1882.71 c #Conflicts: 389000 | #Constraints: 72950
1878.08/1882.71 c #Conflicts: 390000 | #Constraints: 73950
1878.08/1882.71 c #Conflicts: 391000 | #Constraints: 74950
1878.08/1882.71 c #Conflicts: 392000 | #Constraints: 75950
1878.08/1882.71 c #Conflicts: 393000 | #Constraints: 76950
1878.08/1882.71 c #Conflicts: 394000 | #Constraints: 77950
1878.08/1882.71 c INPROCESSING
1878.08/1882.71 c GARBAGE COLLECT
1878.08/1882.71 c #Conflicts: 395000 | #Constraints: 66564
1878.08/1882.71 c #Conflicts: 396000 | #Constraints: 67564
1878.08/1882.71 c #Conflicts: 397000 | #Constraints: 68564
1878.08/1882.71 c #Conflicts: 398000 | #Constraints: 69564
1878.08/1882.71 c #Conflicts: 399000 | #Constraints: 70564
1878.08/1882.71 c #Conflicts: 400000 | #Constraints: 71564
1878.08/1882.71 c #Conflicts: 401000 | #Constraints: 72564
1878.08/1882.71 c #Conflicts: 402000 | #Constraints: 73564
1878.08/1882.71 c #Conflicts: 403000 | #Constraints: 74564
1878.08/1882.71 c #Conflicts: 404000 | #Constraints: 75564
1878.08/1882.71 c #Conflicts: 405000 | #Constraints: 76564
1878.08/1882.71 c #Conflicts: 406000 | #Constraints: 77564
1878.08/1882.71 c #Conflicts: 407000 | #Constraints: 78564
1878.08/1882.71 c INPROCESSING
1878.08/1882.71 c GARBAGE COLLECT
1878.08/1882.71 c #Conflicts: 408000 | #Constraints: 66961
1878.08/1882.71 c #Conflicts: 409000 | #Constraints: 67961
1878.08/1882.71 c #Conflicts: 410000 | #Constraints: 68961
1878.08/1882.71 c #Conflicts: 411000 | #Constraints: 69961
1878.08/1882.71 c #Conflicts: 412000 | #Constraints: 70961
1878.08/1882.71 c #Conflicts: 413000 | #Constraints: 71961
1878.08/1882.71 c #Conflicts: 414000 | #Constraints: 72961
1878.08/1882.71 c #Conflicts: 415000 | #Constraints: 73961
1878.08/1882.71 c #Conflicts: 416000 | #Constraints: 74961
1878.08/1882.71 c #Conflicts: 417000 | #Constraints: 75961
1878.08/1882.71 c #Conflicts: 418000 | #Constraints: 76961
1878.08/1882.71 c #Conflicts: 419000 | #Constraints: 77961
1878.08/1882.71 c #Conflicts: 420000 | #Constraints: 78961
1878.08/1882.71 c INPROCESSING
1878.08/1882.71 c GARBAGE COLLECT
1878.08/1882.71 c #Conflicts: 421000 | #Constraints: 67169
1878.08/1882.71 c #Conflicts: 422000 | #Constraints: 68169
1878.08/1882.71 c #Conflicts: 423000 | #Constraints: 69169
1878.08/1882.71 c #Conflicts: 424000 | #Constraints: 70169
1878.08/1882.71 c #Conflicts: 425000 | #Constraints: 71169
1878.08/1882.71 c #Conflicts: 426000 | #Constraints: 72169
1878.08/1882.71 c #Conflicts: 427000 | #Constraints: 73169
1878.08/1882.71 c #Conflicts: 428000 | #Constraints: 74169
1878.08/1882.71 c #Conflicts: 429000 | #Constraints: 75169
1878.08/1882.71 c #Conflicts: 430000 | #Constraints: 76169
1878.08/1882.71 c #Conflicts: 431000 | #Constraints: 77169
1878.08/1882.71 c #Conflicts: 432000 | #Constraints: 78169
1878.08/1882.71 c #Conflicts: 433000 | #Constraints: 79169
1878.08/1882.71 c INPROCESSING
1878.08/1882.71 c GARBAGE COLLECT
2229.59/2235.10 c #Conflicts: 434000 | #Constraints: 67189
2229.59/2235.10 c #Conflicts: 435000 | #Constraints: 68189
2229.59/2235.10 c #Conflicts: 436000 | #Constraints: 69189
2229.59/2235.10 c #Conflicts: 437000 | #Constraints: 70189
2229.59/2235.10 c #Conflicts: 438000 | #Constraints: 71189
2229.59/2235.10 c #Conflicts: 439000 | #Constraints: 72189
2229.59/2235.10 c #Conflicts: 440000 | #Constraints: 73189
2229.59/2235.10 c #Conflicts: 441000 | #Constraints: 74189
2229.59/2235.10 c #Conflicts: 442000 | #Constraints: 75189
2229.59/2235.10 c #Conflicts: 443000 | #Constraints: 76189
2229.59/2235.10 c #Conflicts: 444000 | #Constraints: 77189
2229.59/2235.10 c #Conflicts: 445000 | #Constraints: 78189
2229.59/2235.10 c #Conflicts: 446000 | #Constraints: 79189
2229.59/2235.10 c INPROCESSING
2229.59/2235.10 c GARBAGE COLLECT
2229.59/2235.10 c #Conflicts: 447000 | #Constraints: 67020
2229.59/2235.10 c #Conflicts: 448000 | #Constraints: 68020
2229.59/2235.10 c #Conflicts: 449000 | #Constraints: 69020
2229.59/2235.10 c #Conflicts: 450000 | #Constraints: 70020
2229.59/2235.10 c #Conflicts: 451000 | #Constraints: 71020
2229.59/2235.10 c #Conflicts: 452000 | #Constraints: 72020
2229.59/2235.10 c #Conflicts: 453000 | #Constraints: 73020
2229.59/2235.10 c #Conflicts: 454000 | #Constraints: 74020
2229.59/2235.10 c #Conflicts: 455000 | #Constraints: 75020
2229.59/2235.10 c #Conflicts: 456000 | #Constraints: 76020
2229.59/2235.10 c #Conflicts: 457000 | #Constraints: 77020
2229.59/2235.10 c #Conflicts: 458000 | #Constraints: 78020
2229.59/2235.10 c #Conflicts: 459000 | #Constraints: 79020
2229.59/2235.10 c #Conflicts: 460000 | #Constraints: 80020
2229.59/2235.10 c INPROCESSING
2229.59/2235.10 c GARBAGE COLLECT
2229.59/2235.10 c #Conflicts: 461000 | #Constraints: 67555
2229.59/2235.10 c #Conflicts: 462000 | #Constraints: 68555
2229.59/2235.10 c #Conflicts: 463000 | #Constraints: 69555
2229.59/2235.10 c #Conflicts: 464000 | #Constraints: 70555
2229.59/2235.10 c #Conflicts: 465000 | #Constraints: 71555
2229.59/2235.10 c #Conflicts: 466000 | #Constraints: 72555
2229.59/2235.10 c #Conflicts: 467000 | #Constraints: 73555
2229.59/2235.10 c #Conflicts: 468000 | #Constraints: 74555
2229.59/2235.10 c #Conflicts: 469000 | #Constraints: 75555
2229.59/2235.10 c #Conflicts: 470000 | #Constraints: 76555
2229.59/2235.10 c #Conflicts: 471000 | #Constraints: 77555
2229.59/2235.10 c #Conflicts: 472000 | #Constraints: 78555
2229.59/2235.10 c #Conflicts: 473000 | #Constraints: 79555
2229.59/2235.10 c #Conflicts: 474000 | #Constraints: 80555
2229.59/2235.10 c INPROCESSING
2229.59/2235.10 c GARBAGE COLLECT
2229.59/2235.10 c #Conflicts: 475000 | #Constraints: 67946
2229.59/2235.10 c #Conflicts: 476000 | #Constraints: 68946
2229.59/2235.10 c #Conflicts: 477000 | #Constraints: 69946
2229.59/2235.10 c #Conflicts: 478000 | #Constraints: 70946
2229.59/2235.10 c #Conflicts: 479000 | #Constraints: 71946
2229.59/2235.10 c #Conflicts: 480000 | #Constraints: 72946
2229.59/2235.10 c #Conflicts: 481000 | #Constraints: 73946
2229.59/2235.10 c #Conflicts: 482000 | #Constraints: 74946
2229.59/2235.10 c #Conflicts: 483000 | #Constraints: 75946
2229.59/2235.10 c #Conflicts: 484000 | #Constraints: 76946
2229.59/2235.10 c #Conflicts: 485000 | #Constraints: 77946
2229.59/2235.10 c #Conflicts: 486000 | #Constraints: 78946
2229.59/2235.10 c #Conflicts: 487000 | #Constraints: 79946
2229.59/2235.10 c #Conflicts: 488000 | #Constraints: 80946
2229.59/2235.10 c INPROCESSING
2229.59/2235.10 c GARBAGE COLLECT
2229.59/2235.10 c #Conflicts: 489000 | #Constraints: 68168
2229.59/2235.10 c #Conflicts: 490000 | #Constraints: 69168
2229.59/2235.10 c #Conflicts: 491000 | #Constraints: 70168
2229.59/2235.10 c #Conflicts: 492000 | #Constraints: 71168
2229.59/2235.10 c #Conflicts: 493000 | #Constraints: 72168
2229.59/2235.10 c #Conflicts: 494000 | #Constraints: 73168
2229.59/2235.10 c #Conflicts: 495000 | #Constraints: 74168
2229.59/2235.10 c #Conflicts: 496000 | #Constraints: 75168
2229.59/2235.10 c #Conflicts: 497000 | #Constraints: 76168
2229.59/2235.10 c #Conflicts: 498000 | #Constraints: 77168
2229.59/2235.10 c #Conflicts: 499000 | #Constraints: 78168
2229.59/2235.10 c #Conflicts: 500000 | #Constraints: 79168
2229.59/2235.10 c #Conflicts: 501000 | #Constraints: 80168
2229.59/2235.10 c #Conflicts: 502000 | #Constraints: 81168
2229.59/2235.10 c INPROCESSING
2229.59/2235.10 c GARBAGE COLLECT
2229.59/2235.10 c #Conflicts: 503000 | #Constraints: 68240
2229.59/2235.10 c #Conflicts: 504000 | #Constraints: 69240
2229.59/2235.10 c #Conflicts: 505000 | #Constraints: 70240
2229.59/2235.10 c #Conflicts: 506000 | #Constraints: 71240
2229.59/2235.10 c #Conflicts: 507000 | #Constraints: 72240
2229.59/2235.10 c #Conflicts: 508000 | #Constraints: 73240
2229.59/2235.10 c #Conflicts: 509000 | #Constraints: 74240
2480.60/2486.64 c #Conflicts: 510000 | #Constraints: 75240
2480.60/2486.64 c #Conflicts: 511000 | #Constraints: 76240
2480.60/2486.64 c #Conflicts: 512000 | #Constraints: 77240
2480.60/2486.64 c #Conflicts: 513000 | #Constraints: 78240
2480.60/2486.64 c #Conflicts: 514000 | #Constraints: 79240
2480.60/2486.64 c #Conflicts: 515000 | #Constraints: 80240
2480.60/2486.64 c #Conflicts: 516000 | #Constraints: 81240
2480.60/2486.64 c INPROCESSING
2480.60/2486.64 c GARBAGE COLLECT
2480.60/2486.64 c #Conflicts: 517000 | #Constraints: 68004
2480.60/2486.64 c #Conflicts: 518000 | #Constraints: 69004
2480.60/2486.64 c #Conflicts: 519000 | #Constraints: 70004
2480.60/2486.64 c #Conflicts: 520000 | #Constraints: 71004
2480.60/2486.64 c #Conflicts: 521000 | #Constraints: 72004
2480.60/2486.64 c #Conflicts: 522000 | #Constraints: 73004
2480.60/2486.64 c #Conflicts: 523000 | #Constraints: 74004
2480.60/2486.64 c #Conflicts: 524000 | #Constraints: 75004
2480.60/2486.64 c #Conflicts: 525000 | #Constraints: 76004
2480.60/2486.64 c #Conflicts: 526000 | #Constraints: 77004
2480.60/2486.64 c #Conflicts: 527000 | #Constraints: 78004
2480.60/2486.64 c #Conflicts: 528000 | #Constraints: 79004
2480.60/2486.64 c #Conflicts: 529000 | #Constraints: 80004
2480.60/2486.64 c #Conflicts: 530000 | #Constraints: 81004
2480.60/2486.64 c #Conflicts: 531000 | #Constraints: 82004
2480.60/2486.64 c INPROCESSING
2480.60/2486.64 c GARBAGE COLLECT
2480.60/2486.64 c #Conflicts: 532000 | #Constraints: 68587
2480.60/2486.64 c #Conflicts: 533000 | #Constraints: 69587
2480.60/2486.64 c #Conflicts: 534000 | #Constraints: 70587
2480.60/2486.64 c #Conflicts: 535000 | #Constraints: 71587
2480.60/2486.64 c #Conflicts: 536000 | #Constraints: 72587
2480.60/2486.64 c #Conflicts: 537000 | #Constraints: 73587
2480.60/2486.64 c #Conflicts: 538000 | #Constraints: 74587
2480.60/2486.64 c #Conflicts: 539000 | #Constraints: 75587
2480.60/2486.64 c #Conflicts: 540000 | #Constraints: 76587
2480.60/2486.64 c #Conflicts: 541000 | #Constraints: 77587
2480.60/2486.64 c #Conflicts: 542000 | #Constraints: 78587
2480.60/2486.64 c #Conflicts: 543000 | #Constraints: 79587
2480.60/2486.64 c #Conflicts: 544000 | #Constraints: 80587
2480.60/2486.64 c #Conflicts: 545000 | #Constraints: 81587
2480.60/2486.64 c #Conflicts: 546000 | #Constraints: 82587
2480.60/2486.64 c INPROCESSING
2480.60/2486.64 c GARBAGE COLLECT
2480.60/2486.64 c #Conflicts: 547000 | #Constraints: 68997
2480.60/2486.64 c #Conflicts: 548000 | #Constraints: 69997
2480.60/2486.64 c #Conflicts: 549000 | #Constraints: 70997
2480.60/2486.64 c #Conflicts: 550000 | #Constraints: 71997
2480.60/2486.64 c #Conflicts: 551000 | #Constraints: 72997
2480.60/2486.64 c #Conflicts: 552000 | #Constraints: 73997
2480.60/2486.64 c #Conflicts: 553000 | #Constraints: 74997
2480.60/2486.64 c #Conflicts: 554000 | #Constraints: 75997
2480.60/2486.64 c #Conflicts: 555000 | #Constraints: 76997
2480.60/2486.64 c #Conflicts: 556000 | #Constraints: 77997
2480.60/2486.64 c #Conflicts: 557000 | #Constraints: 78997
2480.60/2486.64 c #Conflicts: 558000 | #Constraints: 79997
2480.60/2486.64 c #Conflicts: 559000 | #Constraints: 80997
2480.60/2486.64 c #Conflicts: 560000 | #Constraints: 81997
2480.60/2486.64 c #Conflicts: 561000 | #Constraints: 82997
2480.60/2486.64 c INPROCESSING
2480.60/2486.64 c GARBAGE COLLECT
2480.60/2486.64 c #Conflicts: 562000 | #Constraints: 69214
2480.60/2486.64 c #Conflicts: 563000 | #Constraints: 70214
2480.60/2486.64 c #Conflicts: 564000 | #Constraints: 71214
2480.60/2486.64 c #Conflicts: 565000 | #Constraints: 72214
2480.60/2486.64 c #Conflicts: 566000 | #Constraints: 73214
2480.60/2486.64 c #Conflicts: 567000 | #Constraints: 74214
2480.60/2486.64 c #Conflicts: 568000 | #Constraints: 75214
2480.60/2486.64 c #Conflicts: 569000 | #Constraints: 76214
2480.60/2486.64 c #Conflicts: 570000 | #Constraints: 77214
2480.60/2486.64 c #Conflicts: 571000 | #Constraints: 78214
2480.60/2486.64 c #Conflicts: 572000 | #Constraints: 79214
2480.60/2486.64 c #Conflicts: 573000 | #Constraints: 80214
2480.60/2486.64 c #Conflicts: 574000 | #Constraints: 81214
2480.60/2486.64 c #Conflicts: 575000 | #Constraints: 82214
2480.60/2486.64 c #Conflicts: 576000 | #Constraints: 83214
2480.60/2486.64 c INPROCESSING
2480.60/2486.64 c GARBAGE COLLECT
2480.60/2486.64 c #Conflicts: 577000 | #Constraints: 69160
2480.60/2486.64 c #Conflicts: 578000 | #Constraints: 70160
2480.60/2486.64 c #Conflicts: 579000 | #Constraints: 71160
2480.60/2486.64 c #Conflicts: 580000 | #Constraints: 72160
2480.60/2486.64 c #Conflicts: 581000 | #Constraints: 73160
2480.60/2486.64 c #Conflicts: 582000 | #Constraints: 74160
2480.60/2486.64 c #Conflicts: 583000 | #Constraints: 75160
2480.60/2486.64 c #Conflicts: 584000 | #Constraints: 76160
2480.60/2486.64 c #Conflicts: 585000 | #Constraints: 77160
2776.00/2782.78 c #Conflicts: 586000 | #Constraints: 78160
2776.00/2782.78 c #Conflicts: 587000 | #Constraints: 79160
2776.00/2782.78 c #Conflicts: 588000 | #Constraints: 80160
2776.00/2782.78 c #Conflicts: 589000 | #Constraints: 81160
2776.00/2782.78 c #Conflicts: 590000 | #Constraints: 82160
2776.00/2782.78 c #Conflicts: 591000 | #Constraints: 83160
2776.00/2782.78 c INPROCESSING
2776.00/2782.78 c GARBAGE COLLECT
2776.00/2782.78 c #Conflicts: 592000 | #Constraints: 68964
2776.00/2782.78 c #Conflicts: 593000 | #Constraints: 69964
2776.00/2782.78 c #Conflicts: 594000 | #Constraints: 70964
2776.00/2782.78 c #Conflicts: 595000 | #Constraints: 71964
2776.00/2782.78 c #Conflicts: 596000 | #Constraints: 72964
2776.00/2782.78 c #Conflicts: 597000 | #Constraints: 73964
2776.00/2782.78 c #Conflicts: 598000 | #Constraints: 74964
2776.00/2782.78 c #Conflicts: 599000 | #Constraints: 75964
2776.00/2782.78 c #Conflicts: 600000 | #Constraints: 76964
2776.00/2782.78 c #Conflicts: 601000 | #Constraints: 77964
2776.00/2782.78 c #Conflicts: 602000 | #Constraints: 78964
2776.00/2782.78 c #Conflicts: 603000 | #Constraints: 79964
2776.00/2782.78 c #Conflicts: 604000 | #Constraints: 80964
2776.00/2782.78 c #Conflicts: 605000 | #Constraints: 81964
2776.00/2782.78 c #Conflicts: 606000 | #Constraints: 82964
2776.00/2782.78 c #Conflicts: 607000 | #Constraints: 83964
2776.00/2782.78 c INPROCESSING
2776.00/2782.78 c GARBAGE COLLECT
2776.00/2782.78 c #Conflicts: 608000 | #Constraints: 69579
2776.00/2782.78 c #Conflicts: 609000 | #Constraints: 70579
2776.00/2782.78 c #Conflicts: 610000 | #Constraints: 71579
2776.00/2782.78 c #Conflicts: 611000 | #Constraints: 72579
2776.00/2782.78 c #Conflicts: 612000 | #Constraints: 73579
2776.00/2782.78 c #Conflicts: 613000 | #Constraints: 74579
2776.00/2782.78 c #Conflicts: 614000 | #Constraints: 75579
2776.00/2782.78 c #Conflicts: 615000 | #Constraints: 76579
2776.00/2782.78 c #Conflicts: 616000 | #Constraints: 77579
2776.00/2782.78 c #Conflicts: 617000 | #Constraints: 78579
2776.00/2782.78 c #Conflicts: 618000 | #Constraints: 79579
2776.00/2782.78 c #Conflicts: 619000 | #Constraints: 80579
2776.00/2782.78 c #Conflicts: 620000 | #Constraints: 81579
2776.00/2782.78 c #Conflicts: 621000 | #Constraints: 82579
2776.00/2782.78 c #Conflicts: 622000 | #Constraints: 83579
2776.00/2782.78 c #Conflicts: 623000 | #Constraints: 84579
2776.00/2782.78 c INPROCESSING
2776.00/2782.78 c GARBAGE COLLECT
2776.00/2782.78 c #Conflicts: 624000 | #Constraints: 69948
2776.00/2782.78 c #Conflicts: 625000 | #Constraints: 70948
2776.00/2782.78 c #Conflicts: 626000 | #Constraints: 71948
2776.00/2782.78 c #Conflicts: 627000 | #Constraints: 72948
2776.00/2782.78 c #Conflicts: 628000 | #Constraints: 73948
2776.00/2782.78 c #Conflicts: 629000 | #Constraints: 74948
2776.00/2782.78 c #Conflicts: 630000 | #Constraints: 75948
2776.00/2782.78 c #Conflicts: 631000 | #Constraints: 76948
2776.00/2782.78 c #Conflicts: 632000 | #Constraints: 77948
2776.00/2782.78 c #Conflicts: 633000 | #Constraints: 78948
2776.00/2782.78 c #Conflicts: 634000 | #Constraints: 79948
2776.00/2782.78 c #Conflicts: 635000 | #Constraints: 80948
2776.00/2782.78 c #Conflicts: 636000 | #Constraints: 81948
2776.00/2782.78 c #Conflicts: 637000 | #Constraints: 82948
2776.00/2782.78 c #Conflicts: 638000 | #Constraints: 83948
2776.00/2782.78 c #Conflicts: 639000 | #Constraints: 84948
2776.00/2782.78 c INPROCESSING
2776.00/2782.78 c GARBAGE COLLECT
2776.00/2782.78 c #Conflicts: 640000 | #Constraints: 70185
2776.00/2782.78 c #Conflicts: 641000 | #Constraints: 71185
2776.00/2782.78 c #Conflicts: 642000 | #Constraints: 72185
2776.00/2782.78 c #Conflicts: 643000 | #Constraints: 73185
2776.00/2782.78 c #Conflicts: 644000 | #Constraints: 74185
2776.00/2782.78 c #Conflicts: 645000 | #Constraints: 75185
2776.00/2782.78 c #Conflicts: 646000 | #Constraints: 76185
2776.00/2782.78 c #Conflicts: 647000 | #Constraints: 77185
2776.00/2782.78 c #Conflicts: 648000 | #Constraints: 78185
2776.00/2782.78 c #Conflicts: 649000 | #Constraints: 79185
2776.00/2782.78 c #Conflicts: 650000 | #Constraints: 80185
2776.00/2782.78 c #Conflicts: 651000 | #Constraints: 81185
2776.00/2782.78 c #Conflicts: 652000 | #Constraints: 82185
2776.00/2782.78 c #Conflicts: 653000 | #Constraints: 83185
2776.00/2782.78 c #Conflicts: 654000 | #Constraints: 84185
2776.00/2782.78 c #Conflicts: 655000 | #Constraints: 85185
2776.00/2782.78 c INPROCESSING
2776.00/2782.78 c GARBAGE COLLECT
2776.00/2782.78 c #Conflicts: 656000 | #Constraints: 70199
2776.00/2782.78 c #Conflicts: 657000 | #Constraints: 71199
2776.00/2782.78 c #Conflicts: 658000 | #Constraints: 72199
2776.00/2782.78 c #Conflicts: 659000 | #Constraints: 73199
2776.00/2782.78 c #Conflicts: 660000 | #Constraints: 74199
3156.74/3164.41 c #Conflicts: 661000 | #Constraints: 75199
3156.74/3164.41 c #Conflicts: 662000 | #Constraints: 76199
3156.74/3164.41 c #Conflicts: 663000 | #Constraints: 77199
3156.74/3164.41 c #Conflicts: 664000 | #Constraints: 78199
3156.74/3164.41 c #Conflicts: 665000 | #Constraints: 79199
3156.74/3164.41 c #Conflicts: 666000 | #Constraints: 80199
3156.74/3164.41 c #Conflicts: 667000 | #Constraints: 81199
3156.74/3164.41 c #Conflicts: 668000 | #Constraints: 82199
3156.74/3164.41 c #Conflicts: 669000 | #Constraints: 83199
3156.74/3164.41 c #Conflicts: 670000 | #Constraints: 84199
3156.74/3164.41 c #Conflicts: 671000 | #Constraints: 85199
3156.74/3164.41 c INPROCESSING
3156.74/3164.41 c GARBAGE COLLECT
3156.74/3164.41 c #Conflicts: 672000 | #Constraints: 69985
3156.74/3164.41 c #Conflicts: 673000 | #Constraints: 70985
3156.74/3164.41 c #Conflicts: 674000 | #Constraints: 71985
3156.74/3164.41 c #Conflicts: 675000 | #Constraints: 72985
3156.74/3164.41 c #Conflicts: 676000 | #Constraints: 73985
3156.74/3164.41 c #Conflicts: 677000 | #Constraints: 74985
3156.74/3164.41 c #Conflicts: 678000 | #Constraints: 75985
3156.74/3164.41 c #Conflicts: 679000 | #Constraints: 76985
3156.74/3164.41 c #Conflicts: 680000 | #Constraints: 77985
3156.74/3164.41 c #Conflicts: 681000 | #Constraints: 78985
3156.74/3164.41 c #Conflicts: 682000 | #Constraints: 79985
3156.74/3164.41 c #Conflicts: 683000 | #Constraints: 80985
3156.74/3164.41 c #Conflicts: 684000 | #Constraints: 81985
3156.74/3164.41 c #Conflicts: 685000 | #Constraints: 82985
3156.74/3164.41 c #Conflicts: 686000 | #Constraints: 83985
3156.74/3164.41 c #Conflicts: 687000 | #Constraints: 84985
3156.74/3164.41 c #Conflicts: 688000 | #Constraints: 85985
3156.74/3164.41 c INPROCESSING
3156.74/3164.41 c GARBAGE COLLECT
3156.74/3164.41 c #Conflicts: 689000 | #Constraints: 70586
3156.74/3164.41 c #Conflicts: 690000 | #Constraints: 71586
3156.74/3164.41 c #Conflicts: 691000 | #Constraints: 72586
3156.74/3164.41 c #Conflicts: 692000 | #Constraints: 73586
3156.74/3164.41 c #Conflicts: 693000 | #Constraints: 74586
3156.74/3164.41 c #Conflicts: 694000 | #Constraints: 75586
3156.74/3164.41 c #Conflicts: 695000 | #Constraints: 76586
3156.74/3164.41 c #Conflicts: 696000 | #Constraints: 77586
3156.74/3164.41 c #Conflicts: 697000 | #Constraints: 78586
3156.74/3164.41 c #Conflicts: 698000 | #Constraints: 79586
3156.74/3164.41 c #Conflicts: 699000 | #Constraints: 80586
3156.74/3164.41 c #Conflicts: 700000 | #Constraints: 81586
3156.74/3164.41 c #Conflicts: 701000 | #Constraints: 82586
3156.74/3164.41 c #Conflicts: 702000 | #Constraints: 83586
3156.74/3164.41 c #Conflicts: 703000 | #Constraints: 84586
3156.74/3164.41 c #Conflicts: 704000 | #Constraints: 85586
3156.74/3164.41 c #Conflicts: 705000 | #Constraints: 86586
3156.74/3164.41 c INPROCESSING
3156.74/3164.41 c GARBAGE COLLECT
3156.74/3164.41 c #Conflicts: 706000 | #Constraints: 71004
3156.74/3164.41 c #Conflicts: 707000 | #Constraints: 72004
3156.74/3164.41 c #Conflicts: 708000 | #Constraints: 73004
3156.74/3164.41 c #Conflicts: 709000 | #Constraints: 74004
3156.74/3164.41 c #Conflicts: 710000 | #Constraints: 75004
3156.74/3164.41 c #Conflicts: 711000 | #Constraints: 76004
3156.74/3164.41 c #Conflicts: 712000 | #Constraints: 77004
3156.74/3164.41 c #Conflicts: 713000 | #Constraints: 78004
3156.74/3164.41 c #Conflicts: 714000 | #Constraints: 79004
3156.74/3164.41 c #Conflicts: 715000 | #Constraints: 80004
3156.74/3164.41 c #Conflicts: 716000 | #Constraints: 81004
3156.74/3164.41 c #Conflicts: 717000 | #Constraints: 82004
3156.74/3164.41 c #Conflicts: 718000 | #Constraints: 83004
3156.74/3164.41 c #Conflicts: 719000 | #Constraints: 84004
3156.74/3164.41 c #Conflicts: 720000 | #Constraints: 85004
3156.74/3164.41 c #Conflicts: 721000 | #Constraints: 86004
3156.74/3164.41 c #Conflicts: 722000 | #Constraints: 87004
3156.74/3164.41 c INPROCESSING
3156.74/3164.41 c GARBAGE COLLECT
3156.74/3164.41 c #Conflicts: 723000 | #Constraints: 71197
3156.74/3164.41 c #Conflicts: 724000 | #Constraints: 72197
3156.74/3164.41 c #Conflicts: 725000 | #Constraints: 73197
3156.74/3164.41 c #Conflicts: 726000 | #Constraints: 74197
3156.74/3164.41 c #Conflicts: 727000 | #Constraints: 75197
3156.74/3164.41 c #Conflicts: 728000 | #Constraints: 76197
3156.74/3164.41 c #Conflicts: 729000 | #Constraints: 77197
3156.74/3164.41 c #Conflicts: 730000 | #Constraints: 78197
3156.74/3164.41 c #Conflicts: 731000 | #Constraints: 79197
3156.74/3164.41 c #Conflicts: 732000 | #Constraints: 80197
3156.74/3164.41 c #Conflicts: 733000 | #Constraints: 81197
3156.74/3164.41 c #Conflicts: 734000 | #Constraints: 82197
3156.74/3164.41 c #Conflicts: 735000 | #Constraints: 83197
3156.74/3164.41 c #Conflicts: 736000 | #Constraints: 84197
3449.36/3457.81 c #Conflicts: 737000 | #Constraints: 85197
3449.36/3457.81 c #Conflicts: 738000 | #Constraints: 86197
3449.36/3457.81 c #Conflicts: 739000 | #Constraints: 87197
3449.36/3457.81 c INPROCESSING
3449.36/3457.81 c GARBAGE COLLECT
3449.36/3457.81 c #Conflicts: 740000 | #Constraints: 71360
3449.36/3457.81 c #Conflicts: 741000 | #Constraints: 72360
3449.36/3457.81 c #Conflicts: 742000 | #Constraints: 73360
3449.36/3457.81 c #Conflicts: 743000 | #Constraints: 74360
3449.36/3457.81 c #Conflicts: 744000 | #Constraints: 75360
3449.36/3457.81 c #Conflicts: 745000 | #Constraints: 76360
3449.36/3457.81 c #Conflicts: 746000 | #Constraints: 77360
3449.36/3457.81 c #Conflicts: 747000 | #Constraints: 78360
3449.36/3457.81 c #Conflicts: 748000 | #Constraints: 79360
3449.36/3457.81 c #Conflicts: 749000 | #Constraints: 80360
3449.36/3457.81 c #Conflicts: 750000 | #Constraints: 81360
3449.36/3457.81 c #Conflicts: 751000 | #Constraints: 82360
3449.36/3457.81 c #Conflicts: 752000 | #Constraints: 83360
3449.36/3457.81 c #Conflicts: 753000 | #Constraints: 84360
3449.36/3457.81 c #Conflicts: 754000 | #Constraints: 85360
3449.36/3457.81 c #Conflicts: 755000 | #Constraints: 86360
3449.36/3457.81 c #Conflicts: 756000 | #Constraints: 87360
3449.36/3457.81 c INPROCESSING
3449.36/3457.81 c GARBAGE COLLECT
3449.36/3457.81 c #Conflicts: 757000 | #Constraints: 71067
3449.36/3457.81 c #Conflicts: 758000 | #Constraints: 72067
3449.36/3457.81 c #Conflicts: 759000 | #Constraints: 73067
3449.36/3457.81 c #Conflicts: 760000 | #Constraints: 74067
3449.36/3457.81 c #Conflicts: 761000 | #Constraints: 75067
3449.36/3457.81 c #Conflicts: 762000 | #Constraints: 76067
3449.36/3457.81 c #Conflicts: 763000 | #Constraints: 77067
3449.36/3457.81 c #Conflicts: 764000 | #Constraints: 78067
3449.36/3457.81 c #Conflicts: 765000 | #Constraints: 79067
3449.36/3457.81 c #Conflicts: 766000 | #Constraints: 80067
3449.36/3457.81 c #Conflicts: 767000 | #Constraints: 81067
3449.36/3457.81 c #Conflicts: 768000 | #Constraints: 82067
3449.36/3457.81 c #Conflicts: 769000 | #Constraints: 83067
3449.36/3457.81 c #Conflicts: 770000 | #Constraints: 84067
3449.36/3457.81 c #Conflicts: 771000 | #Constraints: 85067
3449.36/3457.81 c #Conflicts: 772000 | #Constraints: 86067
3449.36/3457.81 c #Conflicts: 773000 | #Constraints: 87067
3449.36/3457.81 c #Conflicts: 774000 | #Constraints: 88067
3449.36/3457.81 c INPROCESSING
3449.36/3457.81 c GARBAGE COLLECT
3449.36/3457.81 c #Conflicts: 775000 | #Constraints: 71604
3449.36/3457.81 c #Conflicts: 776000 | #Constraints: 72604
3449.36/3457.81 c #Conflicts: 777000 | #Constraints: 73604
3449.36/3457.81 c #Conflicts: 778000 | #Constraints: 74604
3449.36/3457.81 c #Conflicts: 779000 | #Constraints: 75604
3449.36/3457.81 c #Conflicts: 780000 | #Constraints: 76604
3449.36/3457.81 c #Conflicts: 781000 | #Constraints: 77604
3449.36/3457.81 c #Conflicts: 782000 | #Constraints: 78604
3449.36/3457.81 c #Conflicts: 783000 | #Constraints: 79604
3449.36/3457.81 c #Conflicts: 784000 | #Constraints: 80604
3449.36/3457.81 c #Conflicts: 785000 | #Constraints: 81604
3449.36/3457.81 c #Conflicts: 786000 | #Constraints: 82604
3449.36/3457.81 c #Conflicts: 787000 | #Constraints: 83604
3449.36/3457.81 c #Conflicts: 788000 | #Constraints: 84604
3449.36/3457.81 c #Conflicts: 789000 | #Constraints: 85604
3449.36/3457.81 c #Conflicts: 790000 | #Constraints: 86604
3449.36/3457.81 c #Conflicts: 791000 | #Constraints: 87604
3449.36/3457.81 c #Conflicts: 792000 | #Constraints: 88604
3449.36/3457.81 c INPROCESSING
3449.36/3457.81 c GARBAGE COLLECT
3449.36/3457.81 c #Conflicts: 793000 | #Constraints: 71998
3449.36/3457.81 c #Conflicts: 794000 | #Constraints: 72998
3449.36/3457.81 c #Conflicts: 795000 | #Constraints: 73998
3449.36/3457.81 c #Conflicts: 796000 | #Constraints: 74998
3449.36/3457.81 c #Conflicts: 797000 | #Constraints: 75998
3449.36/3457.81 c #Conflicts: 798000 | #Constraints: 76998
3449.36/3457.81 c #Conflicts: 799000 | #Constraints: 77998
3449.36/3457.81 c #Conflicts: 800000 | #Constraints: 78998
3449.36/3457.81 c #Conflicts: 801000 | #Constraints: 79998
3449.36/3457.81 c #Conflicts: 802000 | #Constraints: 80998
3449.36/3457.81 c #Conflicts: 803000 | #Constraints: 81998
3449.36/3457.81 c #Conflicts: 804000 | #Constraints: 82998
3449.36/3457.81 c #Conflicts: 805000 | #Constraints: 83998
3449.36/3457.81 c #Conflicts: 806000 | #Constraints: 84998
3449.36/3457.81 c #Conflicts: 807000 | #Constraints: 85998
3449.36/3457.81 c #Conflicts: 808000 | #Constraints: 86998
3449.36/3457.81 c #Conflicts: 809000 | #Constraints: 87998
3449.36/3457.81 c #Conflicts: 810000 | #Constraints: 88998
3449.36/3457.81 c INPROCESSING
3449.36/3457.81 c GARBAGE COLLECT
3449.36/3457.81 c #Conflicts: 811000 | #Constraints: 72195
3449.36/3457.81 c #Conflicts: 812000 | #Constraints: 73195
3600.06/3608.90 c #Conflicts: 813000 | #Constraints: 74195
3600.06/3608.90 c #Conflicts: 814000 | #Constraints: 75195
3600.06/3608.90 c #Conflicts: 815000 | #Constraints: 76195
3600.06/3608.90 c #Conflicts: 816000 | #Constraints: 77195
3600.06/3608.90 c #Conflicts: 817000 | #Constraints: 78195
3600.06/3608.90 c #Conflicts: 818000 | #Constraints: 79195
3600.06/3608.90 c #Conflicts: 819000 | #Constraints: 80195
3600.06/3608.90 c #Conflicts: 820000 | #Constraints: 81195
3600.06/3608.90 c #Conflicts: 821000 | #Constraints: 82195
3600.06/3608.90 c #Conflicts: 822000 | #Constraints: 83195
3600.06/3608.90 c #Conflicts: 823000 | #Constraints: 84195
3600.06/3608.90 c #Conflicts: 824000 | #Constraints: 85195
3600.06/3608.90 c #Conflicts: 825000 | #Constraints: 86195
3600.06/3608.90 c #Conflicts: 826000 | #Constraints: 87195
3600.06/3608.90 c #Conflicts: 827000 | #Constraints: 88195
3600.06/3608.90 c #Conflicts: 828000 | #Constraints: 89195
3600.06/3608.90 c INPROCESSING
3600.06/3608.90 c GARBAGE COLLECT
3600.06/3608.90 c #Conflicts: 829000 | #Constraints: 72189
3600.06/3608.90 c #Conflicts: 830000 | #Constraints: 73189
3600.06/3608.90 c #Conflicts: 831000 | #Constraints: 74189
3600.06/3608.90 c #Conflicts: 832000 | #Constraints: 75189
3600.06/3608.90 c #Conflicts: 833000 | #Constraints: 76189
3600.06/3608.90 c #Conflicts: 834000 | #Constraints: 77189
3600.06/3608.90 c #Conflicts: 835000 | #Constraints: 78189
3600.06/3608.90 c #Conflicts: 836000 | #Constraints: 79189
3600.06/3608.90 c #Conflicts: 837000 | #Constraints: 80189
3600.06/3608.90 c #Conflicts: 838000 | #Constraints: 81189
3600.06/3608.90 c #Conflicts: 839000 | #Constraints: 82189
3600.06/3608.90 c #Conflicts: 840000 | #Constraints: 83189
3600.06/3608.90 c #Conflicts: 841000 | #Constraints: 84189
3600.06/3608.90 c #Conflicts: 842000 | #Constraints: 85189
3600.06/3608.90 c #Conflicts: 843000 | #Constraints: 86189
3600.06/3608.90 c #Conflicts: 844000 | #Constraints: 87189
3600.06/3608.90 c #Conflicts: 845000 | #Constraints: 88189
3600.06/3608.90 c Program interrupted by user.
3600.06/3608.90 c cpu time 3587.8 s
3600.06/3608.90 c deterministic time 530177192937 5.30e+11
3600.06/3608.90 c optimization time 98.2661 s
3600.06/3608.90 c total solve time 3189.8 s
3600.06/3608.90 c core-guided solve time 3189.8 s
3600.06/3608.90 c propagation time 1659.5 s
3600.06/3608.90 c conflict analysis time 1537.38 s
3600.06/3608.90 c propagations 832868114
3600.06/3608.90 c resolve steps 52942839
3600.06/3608.90 c decisions 9008380
3600.06/3608.90 c conflicts 845533
3600.06/3608.90 c restarts 1788
3600.06/3608.90 c inprocessing phases 82
3600.06/3608.90 c input clauses 53219
3600.06/3608.90 c input cardinalities 8
3600.06/3608.90 c input general constraints 0
3600.06/3608.90 c input average constraint length 2.68
3600.06/3608.90 c input average constraint degree 1.04
3600.06/3608.90 c learned clauses 588802
3600.06/3608.90 c learned cardinalities 6169
3600.06/3608.90 c learned general constraints 250566
3600.06/3608.90 c learned average constraint length 2423.11
3600.06/3608.90 c learned average constraint degree 814283.63
3600.06/3608.90 c watched constraints 160036
3600.06/3608.90 c counting constraints 90530
3600.06/3608.90 c gcd simplifications 1878
3600.06/3608.90 c detected cardinalities 28
3600.06/3608.90 c weakened non-implied lits 368536629
3600.06/3608.90 c weakened non-implying lits 80362
3600.06/3608.90 c original variables 14352
3600.06/3608.90 c clausal propagations 766827164
3600.06/3608.90 c cardinality propagations 11492629
3600.06/3608.90 c watched propagations 5995346
3600.06/3608.90 c counting propagations 44143493
3600.06/3608.90 c watch lookups 14763917569
3600.06/3608.90 c watch backjump lookups 12237968063
3600.06/3608.90 c watch checks 435996511721
3600.06/3608.90 c propagation checks 60656107869
3600.06/3608.90 c constraint additions 4838098480
3600.06/3608.90 c trail pops 842712740
3600.06/3608.90 c formula constraints 53219
3600.06/3608.90 c learned constraints 845537
3600.06/3608.90 c bound constraints 8
3600.06/3608.90 c core-guided constraints 0
3600.06/3608.90 c encountered formula constraints 50686791
3600.06/3608.90 c encountered learned constraints 3101539
3600.06/3608.90 c encountered bound constraints 42
3600.06/3608.90 c encountered core-guided constraints 0
3600.06/3608.90 c LP total time 0 s
3600.06/3608.90 c LP solve time 0 s
3600.06/3608.90 c LP constraints added 0
3600.06/3608.90 c LP constraints removed 0
3600.06/3608.90 c LP pivots internal 0
3600.06/3608.90 c LP pivots root 0
3600.06/3608.90 c LP calls 0
3600.06/3608.90 c LP optimalities 0
3600.06/3608.90 c LP no pivot count 0
3600.06/3608.90 c LP infeasibilities 0
3600.06/3608.90 c LP valid Farkas constraints 0
3600.06/3608.90 c LP learned Farkas constraints 0
3600.06/3608.90 c LP basis resets 0
3600.06/3608.90 c LP cycling count 0
3600.06/3608.90 c LP singular count 0
3600.06/3608.90 c LP no primal count 0
3600.06/3608.90 c LP no farkas count 0
3600.06/3608.90 c LP other issue count 0
3600.06/3608.90 c LP Gomory cuts 0
3600.06/3608.90 c LP learned cuts 0
3600.06/3608.90 c LP deleted cuts 0
3600.06/3608.90 c LP encountered Gomory constraints 0
3600.06/3608.90 c LP encountered Farkas constraints 0
3600.06/3608.90 c LP encountered learned Farkas constraints 0
3600.06/3608.90 c CG auxiliary variables introduced 0
3600.06/3608.90 c CG solutions found 0
3600.06/3608.90 c CG cores constructed 7
3600.06/3608.90 c CG core cardinality constraints returned 0
3600.06/3608.90 c CG unit cores 0
3600.06/3608.90 c CG single cores 7
3600.06/3608.90 c CG blocks removed during cardinality reduction 0
3600.06/3608.90 c CG first core best 0
3600.06/3608.90 c CG decision core best 0
3600.06/3608.90 c CG core reduction tie 0
3600.06/3608.90 c CG core degree average 1.00
3600.06/3608.90 c CG core slack average 93.86
3600.06/3608.90 c CG exhausted 0
3600.06/3608.90 c CG exhaust time 0 s
3600.06/3608.90 c CG trimmed 0
3600.06/3608.90 c CG trim time 0.002218 s
3600.06/3608.90 c CG minimized 0
3600.06/3608.90 c CG minimize time 0 s
3600.06/3608.90 c CG am1 prop time 0.002367 s
3600.06/3608.90 c CG # am1s reformulated 0
3600.06/3608.90 c CG lower bound derived from am1s 0
3600.06/3608.90 c CG # clausal cores 7
3600.06/3608.90 c CG # cardinality cores 0
3600.06/3608.90 c CG # pb cores 0
3600.06/3608.90 c CG # pb reforms 0
3600.06/3608.90 c CG # cores discarded because of pb reform 0
3600.06/3608.90 d LOWERBOUND 7
3600.06/3608.90 d NCORES 7
3600.06/3608.90 d NPBCORES 0
3600.06/3608.90 d NPBREFORM 0
3600.06/3608.90 d NTRIMMED 0
3600.06/3608.90 d NEXHAUSTED 0
3600.06/3608.90 d NAM1S 0
3600.06/3608.90 d AM1LB 0
3600.06/3608.90 c [Papilo Statistics]
3600.06/3608.90 c prepro time 0.158233s
3600.06/3608.90 c # tsx applied 25
3600.06/3608.90 c # tsx conflicts 0
3600.06/3608.90 c # bound changes 5
3600.06/3608.90 c # side changes 14
3600.06/3608.90 c # coef changes 51
3600.06/3608.90 c # rounds 2
3600.06/3608.90 c # deted vars 12
3600.06/3608.90 c # deted constrs 28
3600.06/3608.90 c # consecutive rounds of only bound changes 0
3600.06/3608.90 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 (62765 MiB free)
memory of node 1: 64510 MiB (63002 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454818-1721471683/watcher-4454818-1721471683 -o /tmp/evaluation-result-4454818-1721471683/solver-4454818-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052941 --watchdog 3760 mixed-bag HOME/instance-4454818-1721471683.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=1053001, runsolver pid=1052998
[startup+0.100343 s]*
/proc/loadavg: 1.04 1.15 1.69 8/243 1053002
/proc/meminfo: memFree=128766444/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=80720 memory=12568 CPUtime=0.1 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 2190 0 0 0 9 1 0 0 20 0 1 0 199327889 82657280 3142 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 20180 3142 1699 3002 0 4468 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80720 KiB
Current children cumulated memory: 12568 KiB
[startup+0.214001 s]*
/proc/loadavg: 1.04 1.15 1.69 9/243 1053002
/proc/meminfo: memFree=128749244/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=82768 memory=15108 CPUtime=0.21 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 2815 0 0 0 20 1 0 0 20 0 1 0 199327889 84754432 3777 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 20692 3777 1699 3002 0 4980 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82768 KiB
Current children cumulated memory: 15108 KiB
[startup+0.313559 s]*
/proc/loadavg: 1.04 1.15 1.69 7/243 1053002
/proc/meminfo: memFree=128690164/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=91080 memory=19984 CPUtime=0.31 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 3481 0 0 0 30 1 0 0 20 0 1 0 199327889 93265920 4996 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 22770 4996 1715 3002 0 7058 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 91080 KiB
Current children cumulated memory: 19984 KiB
[startup+0.700347 s]
/proc/loadavg: 1.04 1.15 1.69 7/243 1053002
/proc/meminfo: memFree=128569228/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=191928 memory=123908 CPUtime=0.68 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 26258 0 0 0 59 9 0 0 20 0 1 0 199327889 196534272 30977 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 47982 30977 3738 3002 0 31731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 191928 KiB
Current children cumulated memory: 123908 KiB
[startup+1.50037 s]
/proc/loadavg: 1.04 1.15 1.69 8/243 1053002
/proc/meminfo: memFree=128196976/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=255584 memory=184776 CPUtime=1.48 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 43780 0 0 0 136 12 0 0 20 0 1 0 199327889 261718016 46194 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 63896 46194 3850 3002 0 47645 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 255584 KiB
Current children cumulated memory: 184776 KiB
[startup+3.11331 s]
/proc/loadavg: 1.04 1.15 1.69 8/243 1053004
/proc/meminfo: memFree=127642232/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=440876 memory=348212 CPUtime=3.08 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 83570 0 0 0 290 18 0 0 20 0 1 0 199327889 451457024 87053 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 110219 87053 4065 3002 0 93968 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 440876 KiB
Current children cumulated memory: 348212 KiB
[startup+6.3003 s]
/proc/loadavg: 1.27 1.20 1.70 7/243 1053004
/proc/meminfo: memFree=127304496/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=465164 memory=373796 CPUtime=6.26 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 84457 0 0 0 607 19 0 0 20 0 1 0 199327889 476327936 93449 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 116291 93449 4081 3002 0 100040 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 465164 KiB
Current children cumulated memory: 373796 KiB
[startup+12.7003 s]
/proc/loadavg: 1.49 1.25 1.72 7/243 1053004
/proc/meminfo: memFree=126938516/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=509124 memory=397184 CPUtime=12.64 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 90327 0 0 0 1244 20 0 0 20 0 1 0 199327889 521342976 99296 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 127281 99296 4081 3002 0 111030 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 509124 KiB
Current children cumulated memory: 397184 KiB
[startup+25.5004 s]
/proc/loadavg: 2.05 1.38 1.75 8/243 1053007
/proc/meminfo: memFree=126864744/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=528816 memory=410616 CPUtime=25.41 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 93720 0 0 0 2520 21 0 0 20 0 1 0 199327889 541507584 102654 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 132204 102654 4096 3002 0 115953 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 528816 KiB
Current children cumulated memory: 410616 KiB
[startup+51.1129 s]
/proc/loadavg: 2.78 1.61 1.82 8/241 1053010
/proc/meminfo: memFree=126696136/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=609196 memory=492436 CPUtime=50.95 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 114208 0 0 0 5071 24 0 0 20 0 1 0 199327889 623816704 123109 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 152299 123109 4100 3002 0 136048 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 609196 KiB
Current children cumulated memory: 492436 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.01 1.95 7/241 1053018
/proc/meminfo: memFree=126672032/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=609196 memory=492436 CPUtime=102 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 114233 0 0 0 10175 25 0 0 20 0 1 0 199327889 623816704 123109 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 152299 123109 4100 3002 0 136048 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 609196 KiB
Current children cumulated memory: 492436 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.40 2.08 8/241 1053029
/proc/meminfo: memFree=126669856/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=609196 memory=492556 CPUtime=161.83 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 114314 0 0 0 16158 25 0 0 20 0 1 0 199327889 623816704 123139 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 152299 123139 4100 3002 0 136048 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 609196 KiB
Current children cumulated memory: 492556 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.21 8/241 1053039
/proc/meminfo: memFree=126659788/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=609196 memory=492804 CPUtime=221.66 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 114350 0 0 0 22141 25 0 0 20 0 1 0 199327889 623816704 123201 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 152299 123201 4116 3002 0 136048 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 609196 KiB
Current children cumulated memory: 492804 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.96 2.33 8/241 1053049
/proc/meminfo: memFree=126644488/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=609196 memory=492804 CPUtime=281.5 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 114391 0 0 0 28125 25 0 0 20 0 1 0 199327889 623816704 123201 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 152299 123201 4116 3002 0 136048 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 609196 KiB
Current children cumulated memory: 492804 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.18 2.45 7/244 1053064
/proc/meminfo: memFree=126453136/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=629216 memory=515336 CPUtime=341.36 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 118508 0 0 0 34081 55 0 0 20 0 1 0 199327889 644317184 128834 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 157304 128834 4228 3002 0 141053 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 629216 KiB
Current children cumulated memory: 515336 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.55 7/244 1053075
/proc/meminfo: memFree=126343828/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=679304 memory=544016 CPUtime=401.21 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 119065 0 0 0 40048 73 0 0 20 0 1 0 199327889 695607296 136004 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 169826 136004 4228 3002 0 153575 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 679304 KiB
Current children cumulated memory: 544016 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.65 8/244 1053085
/proc/meminfo: memFree=126284828/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=679304 memory=552208 CPUtime=461.08 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 119076 0 0 0 46019 89 0 0 20 0 1 0 199327889 695607296 138052 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 169826 138052 4228 3002 0 153575 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
Current children cumulated memory: 765036 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.07 7/244 1054101
/proc/meminfo: memFree=125388884/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=765036 CPUtime=2915.27 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 125702 0 0 0 290513 1014 0 0 20 0 1 0 199327889 914382848 191259 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 191259 4228 3002 0 206987 0
Current children cumulated CPU time: 2915.27 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 765036 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.06 8/244 1054112
/proc/meminfo: memFree=125384516/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=765036 CPUtime=2975.12 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 125893 0 0 0 296487 1025 0 0 20 0 1 0 199327889 914382848 191259 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 191259 4228 3002 0 206987 0
Current children cumulated CPU time: 2975.12 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 765036 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.06 7/244 1054504
/proc/meminfo: memFree=125382808/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=765036 CPUtime=3034.96 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 126096 0 0 0 302462 1034 0 0 20 0 1 0 199327889 914382848 191259 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 191259 4228 3002 0 206987 0
Current children cumulated CPU time: 3034.96 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 765036 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.13 4.08 8/242 1054516
/proc/meminfo: memFree=125336672/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=787564 CPUtime=3094.8 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 126297 0 0 0 308435 1045 0 0 20 0 1 0 199327889 914382848 196891 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 196891 4228 3002 0 206987 0
Current children cumulated CPU time: 3094.8 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 787564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.08 7/242 1054526
/proc/meminfo: memFree=125315892/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=787564 CPUtime=3154.64 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 126456 0 0 0 314410 1054 0 0 20 0 1 0 199327889 914382848 196891 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 196891 4228 3002 0 206987 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 787564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.08 7/243 1054705
/proc/meminfo: memFree=125300428/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3214.48 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 126748 0 0 0 320384 1064 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3214.48 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 8/244 1054717
/proc/meminfo: memFree=125298676/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3274.32 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 126971 0 0 0 326337 1095 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.08 8/246 1054785
/proc/meminfo: memFree=125292556/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3334.16 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 127160 0 0 0 332286 1130 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3334.16 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.08 7/246 1054795
/proc/meminfo: memFree=125292592/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3394.01 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 127371 0 0 0 338249 1152 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/246 1054806
/proc/meminfo: memFree=125292392/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3453.84 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 127556 0 0 0 344202 1182 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3453.84 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/246 1054816
/proc/meminfo: memFree=125244972/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3513.69 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 127742 0 0 0 350161 1208 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 8/243 1054827
/proc/meminfo: memFree=125244704/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3573.53 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 127968 0 0 0 356131 1222 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.14 4.12 4.09 8/243 1054833
/proc/meminfo: memFree=125244616/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3600.06 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 128135 0 0 0 358780 1226 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 1053001 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.81 s, system=12.2669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.14 4.12 4.09 8/243 1054833
/proc/meminfo: memFree=125244616/131655788 swapFree=131071996/131071996
[pid=1053001] ppid=1052998 vsize=892952 memory=801900 CPUtime=3600.06 cores=1,3
/proc/1053001/stat : 1053001 (mixed-bag) R 1052998 1053001 1052929 0 -1 4194304 128135 0 0 0 358780 1226 0 0 20 0 1 0 199327889 914382848 200475 134679101440 4194304 16488053 140735035321200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 26759168 140735035323413 140735035323490 140735035323490 140735035330507 0
/proc/1053001/statm: 223238 200475 4228 3002 0 206987 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 892952 KiB
Current children cumulated memory: 801900 KiB
Child status: 0
Real time (s): 3608.91
CPU time (s): 3600.08
CPU user time (s): 3587.81
CPU system time (s): 12.2669
CPU usage (%): 99.7553
Max. virtual memory (cumulated for all children) (KiB): 892952
Max. memory (cumulated for all children) (KiB): 801900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.81
system time used= 12.2669
maximum resident set size= 801900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128160
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= 99
involuntary context switches= 1301
# summary of solver processes directly reported to runsolver:
# pid: 1053001
# total CPU time (s): 3600.08
# total CPU user time (s): 3587.81
# total CPU system time (s): 12.2669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4084 second user time and 38.423 second system time
The end
Begin job on nodeC009 at 2024-07-20 12:34:55
IDJOB=4454818
IDBENCH=148188
IDSOLVER=3083
FILE ID=nodeC009/4454818-1721471683
RUNJOBID= nodeC009-1721471695-1052941
SLURM_JOB_ID= 7545739
Free space on /tmp= 723752 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454818-1721471683/watcher-4454818-1721471683 -o /tmp/evaluation-result-4454818-1721471683/solver-4454818-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052941 --watchdog 3760 mixed-bag HOME/instance-4454818-1721471683.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8bb64a53a6bd967b0f0fe9129c8144f
RANDOM SEED=1484410279
nodeC009.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 : 1197.317
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 : 6984.34
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.315
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.27
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.324
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 : 6984.34
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.526
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.27
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.317
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 : 6984.34
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 : 1895.750
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.27
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.324
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 : 6984.34
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.412
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128790468 kB
MemAvailable: 129893032 kB
Buffers: 606612 kB
Cached: 1339432 kB
SwapCached: 0 kB
Active: 1180760 kB
Inactive: 1128180 kB
Active(anon): 1364 kB
Inactive(anon): 407432 kB
Active(file): 1179396 kB
Inactive(file): 720748 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 73160 kB
Writeback: 8 kB
AnonPages: 363360 kB
Mapped: 109768 kB
Shmem: 45892 kB
KReclaimable: 84904 kB
Slab: 186548 kB
SReclaimable: 84904 kB
SUnreclaim: 101644 kB
KernelStack: 3664 kB
PageTables: 9696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 754180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC009 at 2024-07-20 13:35:04