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.10/0.12 c [STEP] preprocessing with Papilo
0.10/0.18 c [STEP] solving with SCIP
299.59/300.44 c [STEP] preprocessing done, loading into solver
299.69/300.53 c [STEP] solving
299.69/300.53 c #variables 14341 #constraints 53219
299.69/300.53 c SMALL=int, LARGE=long long
299.69/300.53 c bounds - >= 0 @ 299.519
299.69/300.53 c stratification level: 0
539.72/541.14 c bounds - >= 1 @ 299.535
539.72/541.14 c bounds - >= 2 @ 299.536
539.72/541.14 c bounds - >= 3 @ 299.561
539.72/541.14 c bounds - >= 4 @ 299.588
539.72/541.14 c bounds - >= 5 @ 299.589
539.72/541.14 c bounds - >= 6 @ 299.589
539.72/541.14 c bounds - >= 7 @ 299.59
539.72/541.14 c #Conflicts: 1000 | #Constraints: 54230
539.72/541.14 c #Conflicts: 2000 | #Constraints: 55230
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 3000 | #Constraints: 55231
539.72/541.14 c #Conflicts: 4000 | #Constraints: 56231
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 5000 | #Constraints: 55644
539.72/541.14 c #Conflicts: 6000 | #Constraints: 56644
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 7000 | #Constraints: 55647
539.72/541.14 c #Conflicts: 8000 | #Constraints: 56647
539.72/541.14 c #Conflicts: 9000 | #Constraints: 57647
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 10000 | #Constraints: 56351
539.72/541.14 c #Conflicts: 11000 | #Constraints: 57351
539.72/541.14 c #Conflicts: 12000 | #Constraints: 58351
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 13000 | #Constraints: 56798
539.72/541.14 c #Conflicts: 14000 | #Constraints: 57798
539.72/541.14 c #Conflicts: 15000 | #Constraints: 58798
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 16000 | #Constraints: 57029
539.72/541.14 c #Conflicts: 17000 | #Constraints: 58029
539.72/541.14 c #Conflicts: 18000 | #Constraints: 59029
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 19000 | #Constraints: 57051
539.72/541.14 c #Conflicts: 20000 | #Constraints: 58051
539.72/541.14 c #Conflicts: 21000 | #Constraints: 59051
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 22000 | #Constraints: 56857
539.72/541.14 c #Conflicts: 23000 | #Constraints: 57857
539.72/541.14 c #Conflicts: 24000 | #Constraints: 58857
539.72/541.14 c #Conflicts: 25000 | #Constraints: 59857
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 26000 | #Constraints: 57470
539.72/541.14 c #Conflicts: 27000 | #Constraints: 58470
539.72/541.14 c #Conflicts: 28000 | #Constraints: 59470
539.72/541.14 c #Conflicts: 29000 | #Constraints: 60470
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 30000 | #Constraints: 57863
539.72/541.14 c #Conflicts: 31000 | #Constraints: 58863
539.72/541.14 c #Conflicts: 32000 | #Constraints: 59863
539.72/541.14 c #Conflicts: 33000 | #Constraints: 60863
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 34000 | #Constraints: 58067
539.72/541.14 c #Conflicts: 35000 | #Constraints: 59067
539.72/541.14 c #Conflicts: 36000 | #Constraints: 60067
539.72/541.14 c #Conflicts: 37000 | #Constraints: 61067
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 38000 | #Constraints: 58089
539.72/541.14 c #Conflicts: 39000 | #Constraints: 59089
539.72/541.14 c #Conflicts: 40000 | #Constraints: 60089
539.72/541.14 c #Conflicts: 41000 | #Constraints: 61089
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 42000 | #Constraints: 57889
539.72/541.14 c #Conflicts: 43000 | #Constraints: 58889
539.72/541.14 c #Conflicts: 44000 | #Constraints: 59889
539.72/541.14 c #Conflicts: 45000 | #Constraints: 60889
539.72/541.14 c #Conflicts: 46000 | #Constraints: 61889
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 47000 | #Constraints: 58476
539.72/541.14 c #Conflicts: 48000 | #Constraints: 59476
539.72/541.14 c #Conflicts: 49000 | #Constraints: 60476
539.72/541.14 c #Conflicts: 50000 | #Constraints: 61476
539.72/541.14 c #Conflicts: 51000 | #Constraints: 62476
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 52000 | #Constraints: 58870
539.72/541.14 c #Conflicts: 53000 | #Constraints: 59870
539.72/541.14 c #Conflicts: 54000 | #Constraints: 60870
539.72/541.14 c #Conflicts: 55000 | #Constraints: 61870
539.72/541.14 c #Conflicts: 56000 | #Constraints: 62870
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 57000 | #Constraints: 59078
539.72/541.14 c #Conflicts: 58000 | #Constraints: 60078
539.72/541.14 c #Conflicts: 59000 | #Constraints: 61078
539.72/541.14 c #Conflicts: 60000 | #Constraints: 62078
539.72/541.14 c #Conflicts: 61000 | #Constraints: 63078
539.72/541.14 c INPROCESSING
539.72/541.14 c GARBAGE COLLECT
539.72/541.14 c #Conflicts: 62000 | #Constraints: 59079
539.72/541.14 c #Conflicts: 63000 | #Constraints: 60079
539.72/541.14 c #Conflicts: 64000 | #Constraints: 61079
539.72/541.14 c #Conflicts: 65000 | #Constraints: 62079
848.34/850.57 c #Conflicts: 66000 | #Constraints: 63079
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 67000 | #Constraints: 58883
848.34/850.57 c #Conflicts: 68000 | #Constraints: 59883
848.34/850.57 c #Conflicts: 69000 | #Constraints: 60883
848.34/850.57 c #Conflicts: 70000 | #Constraints: 61883
848.34/850.57 c #Conflicts: 71000 | #Constraints: 62883
848.34/850.57 c #Conflicts: 72000 | #Constraints: 63883
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 73000 | #Constraints: 59495
848.34/850.57 c #Conflicts: 74000 | #Constraints: 60495
848.34/850.57 c #Conflicts: 75000 | #Constraints: 61495
848.34/850.57 c #Conflicts: 76000 | #Constraints: 62495
848.34/850.57 c #Conflicts: 77000 | #Constraints: 63495
848.34/850.57 c #Conflicts: 78000 | #Constraints: 64495
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 79000 | #Constraints: 59890
848.34/850.57 c #Conflicts: 80000 | #Constraints: 60890
848.34/850.57 c #Conflicts: 81000 | #Constraints: 61890
848.34/850.57 c #Conflicts: 82000 | #Constraints: 62890
848.34/850.57 c #Conflicts: 83000 | #Constraints: 63890
848.34/850.57 c #Conflicts: 84000 | #Constraints: 64890
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 85000 | #Constraints: 60090
848.34/850.57 c #Conflicts: 86000 | #Constraints: 61090
848.34/850.57 c #Conflicts: 87000 | #Constraints: 62090
848.34/850.57 c #Conflicts: 88000 | #Constraints: 63090
848.34/850.57 c #Conflicts: 89000 | #Constraints: 64090
848.34/850.57 c #Conflicts: 90000 | #Constraints: 65090
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 91000 | #Constraints: 60095
848.34/850.57 c #Conflicts: 92000 | #Constraints: 61095
848.34/850.57 c #Conflicts: 93000 | #Constraints: 62095
848.34/850.57 c #Conflicts: 94000 | #Constraints: 63095
848.34/850.57 c #Conflicts: 95000 | #Constraints: 64095
848.34/850.57 c #Conflicts: 96000 | #Constraints: 65095
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 97000 | #Constraints: 59928
848.34/850.57 c #Conflicts: 98000 | #Constraints: 60928
848.34/850.57 c #Conflicts: 99000 | #Constraints: 61928
848.34/850.57 c #Conflicts: 100000 | #Constraints: 62928
848.34/850.57 c #Conflicts: 101000 | #Constraints: 63928
848.34/850.57 c #Conflicts: 102000 | #Constraints: 64928
848.34/850.57 c #Conflicts: 103000 | #Constraints: 65928
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 104000 | #Constraints: 60490
848.34/850.57 c #Conflicts: 105000 | #Constraints: 61490
848.34/850.57 c #Conflicts: 106000 | #Constraints: 62490
848.34/850.57 c #Conflicts: 107000 | #Constraints: 63490
848.34/850.57 c #Conflicts: 108000 | #Constraints: 64490
848.34/850.57 c #Conflicts: 109000 | #Constraints: 65490
848.34/850.57 c #Conflicts: 110000 | #Constraints: 66490
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 111000 | #Constraints: 60893
848.34/850.57 c #Conflicts: 112000 | #Constraints: 61893
848.34/850.57 c #Conflicts: 113000 | #Constraints: 62893
848.34/850.57 c #Conflicts: 114000 | #Constraints: 63893
848.34/850.57 c #Conflicts: 115000 | #Constraints: 64893
848.34/850.57 c #Conflicts: 116000 | #Constraints: 65893
848.34/850.57 c #Conflicts: 117000 | #Constraints: 66893
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 118000 | #Constraints: 61101
848.34/850.57 c #Conflicts: 119000 | #Constraints: 62101
848.34/850.57 c #Conflicts: 120000 | #Constraints: 63101
848.34/850.57 c #Conflicts: 121000 | #Constraints: 64101
848.34/850.57 c #Conflicts: 122000 | #Constraints: 65101
848.34/850.57 c #Conflicts: 123000 | #Constraints: 66101
848.34/850.57 c #Conflicts: 124000 | #Constraints: 67101
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 125000 | #Constraints: 61091
848.34/850.57 c #Conflicts: 126000 | #Constraints: 62091
848.34/850.57 c #Conflicts: 127000 | #Constraints: 63091
848.34/850.57 c #Conflicts: 128000 | #Constraints: 64091
848.34/850.57 c #Conflicts: 129000 | #Constraints: 65091
848.34/850.57 c #Conflicts: 130000 | #Constraints: 66091
848.34/850.57 c #Conflicts: 131000 | #Constraints: 67091
848.34/850.57 c INPROCESSING
848.34/850.57 c GARBAGE COLLECT
848.34/850.57 c #Conflicts: 132000 | #Constraints: 60886
848.34/850.57 c #Conflicts: 133000 | #Constraints: 61886
848.34/850.57 c #Conflicts: 134000 | #Constraints: 62886
848.34/850.57 c #Conflicts: 135000 | #Constraints: 63886
848.34/850.57 c #Conflicts: 136000 | #Constraints: 64886
848.34/850.57 c #Conflicts: 137000 | #Constraints: 65886
1103.01/1105.82 c #Conflicts: 138000 | #Constraints: 66886
1103.01/1105.82 c #Conflicts: 139000 | #Constraints: 67886
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 140000 | #Constraints: 61502
1103.01/1105.82 c #Conflicts: 141000 | #Constraints: 62502
1103.01/1105.82 c #Conflicts: 142000 | #Constraints: 63502
1103.01/1105.82 c #Conflicts: 143000 | #Constraints: 64502
1103.01/1105.82 c #Conflicts: 144000 | #Constraints: 65502
1103.01/1105.82 c #Conflicts: 145000 | #Constraints: 66502
1103.01/1105.82 c #Conflicts: 146000 | #Constraints: 67502
1103.01/1105.82 c #Conflicts: 147000 | #Constraints: 68502
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 148000 | #Constraints: 61896
1103.01/1105.82 c #Conflicts: 149000 | #Constraints: 62896
1103.01/1105.82 c #Conflicts: 150000 | #Constraints: 63896
1103.01/1105.82 c #Conflicts: 151000 | #Constraints: 64896
1103.01/1105.82 c #Conflicts: 152000 | #Constraints: 65896
1103.01/1105.82 c #Conflicts: 153000 | #Constraints: 66896
1103.01/1105.82 c #Conflicts: 154000 | #Constraints: 67896
1103.01/1105.82 c #Conflicts: 155000 | #Constraints: 68896
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 156000 | #Constraints: 62101
1103.01/1105.82 c #Conflicts: 157000 | #Constraints: 63101
1103.01/1105.82 c #Conflicts: 158000 | #Constraints: 64101
1103.01/1105.82 c #Conflicts: 159000 | #Constraints: 65101
1103.01/1105.82 c #Conflicts: 160000 | #Constraints: 66101
1103.01/1105.82 c #Conflicts: 161000 | #Constraints: 67101
1103.01/1105.82 c #Conflicts: 162000 | #Constraints: 68101
1103.01/1105.82 c #Conflicts: 163000 | #Constraints: 69101
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 164000 | #Constraints: 62094
1103.01/1105.82 c #Conflicts: 165000 | #Constraints: 63094
1103.01/1105.82 c #Conflicts: 166000 | #Constraints: 64094
1103.01/1105.82 c #Conflicts: 167000 | #Constraints: 65094
1103.01/1105.82 c #Conflicts: 168000 | #Constraints: 66094
1103.01/1105.82 c #Conflicts: 169000 | #Constraints: 67094
1103.01/1105.82 c #Conflicts: 170000 | #Constraints: 68094
1103.01/1105.82 c #Conflicts: 171000 | #Constraints: 69094
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 172000 | #Constraints: 61906
1103.01/1105.82 c #Conflicts: 173000 | #Constraints: 62906
1103.01/1105.82 c #Conflicts: 174000 | #Constraints: 63906
1103.01/1105.82 c #Conflicts: 175000 | #Constraints: 64906
1103.01/1105.82 c #Conflicts: 176000 | #Constraints: 65906
1103.01/1105.82 c #Conflicts: 177000 | #Constraints: 66906
1103.01/1105.82 c #Conflicts: 178000 | #Constraints: 67906
1103.01/1105.82 c #Conflicts: 179000 | #Constraints: 68906
1103.01/1105.82 c #Conflicts: 180000 | #Constraints: 69906
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 181000 | #Constraints: 62494
1103.01/1105.82 c #Conflicts: 182000 | #Constraints: 63494
1103.01/1105.82 c #Conflicts: 183000 | #Constraints: 64494
1103.01/1105.82 c #Conflicts: 184000 | #Constraints: 65494
1103.01/1105.82 c #Conflicts: 185000 | #Constraints: 66494
1103.01/1105.82 c #Conflicts: 186000 | #Constraints: 67494
1103.01/1105.82 c #Conflicts: 187000 | #Constraints: 68494
1103.01/1105.82 c #Conflicts: 188000 | #Constraints: 69494
1103.01/1105.82 c #Conflicts: 189000 | #Constraints: 70494
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 190000 | #Constraints: 62893
1103.01/1105.82 c #Conflicts: 191000 | #Constraints: 63893
1103.01/1105.82 c #Conflicts: 192000 | #Constraints: 64893
1103.01/1105.82 c #Conflicts: 193000 | #Constraints: 65893
1103.01/1105.82 c #Conflicts: 194000 | #Constraints: 66893
1103.01/1105.82 c #Conflicts: 195000 | #Constraints: 67893
1103.01/1105.82 c #Conflicts: 196000 | #Constraints: 68893
1103.01/1105.82 c #Conflicts: 197000 | #Constraints: 69893
1103.01/1105.82 c #Conflicts: 198000 | #Constraints: 70893
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 199000 | #Constraints: 63111
1103.01/1105.82 c #Conflicts: 200000 | #Constraints: 64111
1103.01/1105.82 c #Conflicts: 201000 | #Constraints: 65111
1103.01/1105.82 c #Conflicts: 202000 | #Constraints: 66111
1103.01/1105.82 c #Conflicts: 203000 | #Constraints: 67111
1103.01/1105.82 c #Conflicts: 204000 | #Constraints: 68111
1103.01/1105.82 c #Conflicts: 205000 | #Constraints: 69111
1103.01/1105.82 c #Conflicts: 206000 | #Constraints: 70111
1103.01/1105.82 c #Conflicts: 207000 | #Constraints: 71111
1103.01/1105.82 c INPROCESSING
1103.01/1105.82 c GARBAGE COLLECT
1103.01/1105.82 c #Conflicts: 208000 | #Constraints: 63143
1103.01/1105.82 c #Conflicts: 209000 | #Constraints: 64143
1103.01/1105.82 c #Conflicts: 210000 | #Constraints: 65143
1350.99/1354.49 c #Conflicts: 211000 | #Constraints: 66143
1350.99/1354.49 c #Conflicts: 212000 | #Constraints: 67143
1350.99/1354.49 c #Conflicts: 213000 | #Constraints: 68143
1350.99/1354.49 c #Conflicts: 214000 | #Constraints: 69143
1350.99/1354.49 c #Conflicts: 215000 | #Constraints: 70143
1350.99/1354.49 c #Conflicts: 216000 | #Constraints: 71143
1350.99/1354.49 c INPROCESSING
1350.99/1354.49 c GARBAGE COLLECT
1350.99/1354.49 c #Conflicts: 217000 | #Constraints: 62942
1350.99/1354.49 c #Conflicts: 218000 | #Constraints: 63942
1350.99/1354.49 c #Conflicts: 219000 | #Constraints: 64942
1350.99/1354.49 c #Conflicts: 220000 | #Constraints: 65942
1350.99/1354.49 c #Conflicts: 221000 | #Constraints: 66942
1350.99/1354.49 c #Conflicts: 222000 | #Constraints: 67942
1350.99/1354.49 c #Conflicts: 223000 | #Constraints: 68942
1350.99/1354.49 c #Conflicts: 224000 | #Constraints: 69942
1350.99/1354.49 c #Conflicts: 225000 | #Constraints: 70942
1350.99/1354.49 c #Conflicts: 226000 | #Constraints: 71942
1350.99/1354.49 c INPROCESSING
1350.99/1354.49 c GARBAGE COLLECT
1350.99/1354.49 c #Conflicts: 227000 | #Constraints: 63533
1350.99/1354.49 c #Conflicts: 228000 | #Constraints: 64533
1350.99/1354.49 c #Conflicts: 229000 | #Constraints: 65533
1350.99/1354.49 c #Conflicts: 230000 | #Constraints: 66533
1350.99/1354.49 c #Conflicts: 231000 | #Constraints: 67533
1350.99/1354.49 c #Conflicts: 232000 | #Constraints: 68533
1350.99/1354.49 c #Conflicts: 233000 | #Constraints: 69533
1350.99/1354.49 c #Conflicts: 234000 | #Constraints: 70533
1350.99/1354.49 c #Conflicts: 235000 | #Constraints: 71533
1350.99/1354.49 c #Conflicts: 236000 | #Constraints: 72533
1350.99/1354.49 c INPROCESSING
1350.99/1354.49 c GARBAGE COLLECT
1350.99/1354.49 c #Conflicts: 237000 | #Constraints: 63918
1350.99/1354.49 c #Conflicts: 238000 | #Constraints: 64918
1350.99/1354.49 c #Conflicts: 239000 | #Constraints: 65918
1350.99/1354.49 c #Conflicts: 240000 | #Constraints: 66918
1350.99/1354.49 c #Conflicts: 241000 | #Constraints: 67918
1350.99/1354.49 c #Conflicts: 242000 | #Constraints: 68918
1350.99/1354.49 c #Conflicts: 243000 | #Constraints: 69918
1350.99/1354.49 c #Conflicts: 244000 | #Constraints: 70918
1350.99/1354.49 c #Conflicts: 245000 | #Constraints: 71918
1350.99/1354.49 c #Conflicts: 246000 | #Constraints: 72918
1350.99/1354.49 c INPROCESSING
1350.99/1354.49 c GARBAGE COLLECT
1350.99/1354.49 c #Conflicts: 247000 | #Constraints: 64123
1350.99/1354.49 c #Conflicts: 248000 | #Constraints: 65123
1350.99/1354.49 c #Conflicts: 249000 | #Constraints: 66123
1350.99/1354.49 c #Conflicts: 250000 | #Constraints: 67123
1350.99/1354.49 c #Conflicts: 251000 | #Constraints: 68123
1350.99/1354.49 c #Conflicts: 252000 | #Constraints: 69123
1350.99/1354.49 c #Conflicts: 253000 | #Constraints: 70123
1350.99/1354.49 c #Conflicts: 254000 | #Constraints: 71123
1350.99/1354.49 c #Conflicts: 255000 | #Constraints: 72123
1350.99/1354.49 c #Conflicts: 256000 | #Constraints: 73123
1350.99/1354.49 c INPROCESSING
1350.99/1354.49 c GARBAGE COLLECT
1350.99/1354.49 c #Conflicts: 257000 | #Constraints: 64099
1350.99/1354.49 c #Conflicts: 258000 | #Constraints: 65099
1350.99/1354.49 c #Conflicts: 259000 | #Constraints: 66099
1350.99/1354.49 c #Conflicts: 260000 | #Constraints: 67099
1350.99/1354.49 c #Conflicts: 261000 | #Constraints: 68099
1350.99/1354.49 c #Conflicts: 262000 | #Constraints: 69099
1350.99/1354.49 c #Conflicts: 263000 | #Constraints: 70099
1350.99/1354.49 c #Conflicts: 264000 | #Constraints: 71099
1350.99/1354.49 c #Conflicts: 265000 | #Constraints: 72099
1350.99/1354.49 c #Conflicts: 266000 | #Constraints: 73099
1350.99/1354.49 c INPROCESSING
1350.99/1354.49 c GARBAGE COLLECT
1350.99/1354.49 c #Conflicts: 267000 | #Constraints: 63907
1350.99/1354.49 c #Conflicts: 268000 | #Constraints: 64907
1350.99/1354.49 c #Conflicts: 269000 | #Constraints: 65907
1350.99/1354.49 c #Conflicts: 270000 | #Constraints: 66907
1350.99/1354.49 c #Conflicts: 271000 | #Constraints: 67907
1350.99/1354.49 c #Conflicts: 272000 | #Constraints: 68907
1350.99/1354.49 c #Conflicts: 273000 | #Constraints: 69907
1350.99/1354.49 c #Conflicts: 274000 | #Constraints: 70907
1350.99/1354.49 c #Conflicts: 275000 | #Constraints: 71907
1350.99/1354.49 c #Conflicts: 276000 | #Constraints: 72907
1350.99/1354.49 c #Conflicts: 277000 | #Constraints: 73907
1350.99/1354.49 c INPROCESSING
1350.99/1354.49 c GARBAGE COLLECT
1350.99/1354.49 c #Conflicts: 278000 | #Constraints: 64508
1350.99/1354.49 c #Conflicts: 279000 | #Constraints: 65508
1350.99/1354.49 c #Conflicts: 280000 | #Constraints: 66508
1350.99/1354.49 c #Conflicts: 281000 | #Constraints: 67508
1350.99/1354.49 c #Conflicts: 282000 | #Constraints: 68508
1350.99/1354.49 c #Conflicts: 283000 | #Constraints: 69508
1350.99/1354.49 c #Conflicts: 284000 | #Constraints: 70508
1602.85/1606.97 c #Conflicts: 285000 | #Constraints: 71508
1602.85/1606.97 c #Conflicts: 286000 | #Constraints: 72508
1602.85/1606.97 c #Conflicts: 287000 | #Constraints: 73508
1602.85/1606.97 c #Conflicts: 288000 | #Constraints: 74508
1602.85/1606.97 c INPROCESSING
1602.85/1606.97 c GARBAGE COLLECT
1602.85/1606.97 c #Conflicts: 289000 | #Constraints: 64930
1602.85/1606.97 c #Conflicts: 290000 | #Constraints: 65930
1602.85/1606.97 c #Conflicts: 291000 | #Constraints: 66930
1602.85/1606.97 c #Conflicts: 292000 | #Constraints: 67930
1602.85/1606.97 c #Conflicts: 293000 | #Constraints: 68930
1602.85/1606.97 c #Conflicts: 294000 | #Constraints: 69930
1602.85/1606.97 c #Conflicts: 295000 | #Constraints: 70930
1602.85/1606.97 c #Conflicts: 296000 | #Constraints: 71930
1602.85/1606.97 c #Conflicts: 297000 | #Constraints: 72930
1602.85/1606.97 c #Conflicts: 298000 | #Constraints: 73930
1602.85/1606.97 c #Conflicts: 299000 | #Constraints: 74930
1602.85/1606.97 c INPROCESSING
1602.85/1606.97 c GARBAGE COLLECT
1602.85/1606.97 c #Conflicts: 300000 | #Constraints: 65159
1602.85/1606.97 c #Conflicts: 301000 | #Constraints: 66159
1602.85/1606.97 c #Conflicts: 302000 | #Constraints: 67159
1602.85/1606.97 c #Conflicts: 303000 | #Constraints: 68159
1602.85/1606.97 c #Conflicts: 304000 | #Constraints: 69159
1602.85/1606.97 c #Conflicts: 305000 | #Constraints: 70159
1602.85/1606.97 c #Conflicts: 306000 | #Constraints: 71159
1602.85/1606.97 c #Conflicts: 307000 | #Constraints: 72159
1602.85/1606.97 c #Conflicts: 308000 | #Constraints: 73159
1602.85/1606.97 c #Conflicts: 309000 | #Constraints: 74159
1602.85/1606.97 c #Conflicts: 310000 | #Constraints: 75159
1602.85/1606.97 c INPROCESSING
1602.85/1606.97 c GARBAGE COLLECT
1602.85/1606.97 c #Conflicts: 311000 | #Constraints: 65145
1602.85/1606.97 c #Conflicts: 312000 | #Constraints: 66145
1602.85/1606.97 c #Conflicts: 313000 | #Constraints: 67145
1602.85/1606.97 c #Conflicts: 314000 | #Constraints: 68145
1602.85/1606.97 c #Conflicts: 315000 | #Constraints: 69145
1602.85/1606.97 c #Conflicts: 316000 | #Constraints: 70145
1602.85/1606.97 c #Conflicts: 317000 | #Constraints: 71145
1602.85/1606.97 c #Conflicts: 318000 | #Constraints: 72145
1602.85/1606.97 c #Conflicts: 319000 | #Constraints: 73145
1602.85/1606.97 c #Conflicts: 320000 | #Constraints: 74145
1602.85/1606.97 c #Conflicts: 321000 | #Constraints: 75145
1602.85/1606.97 c INPROCESSING
1602.85/1606.97 c GARBAGE COLLECT
1602.85/1606.97 c #Conflicts: 322000 | #Constraints: 64917
1602.85/1606.97 c #Conflicts: 323000 | #Constraints: 65917
1602.85/1606.97 c #Conflicts: 324000 | #Constraints: 66917
1602.85/1606.97 c #Conflicts: 325000 | #Constraints: 67917
1602.85/1606.97 c #Conflicts: 326000 | #Constraints: 68917
1602.85/1606.97 c #Conflicts: 327000 | #Constraints: 69917
1602.85/1606.97 c #Conflicts: 328000 | #Constraints: 70917
1602.85/1606.97 c #Conflicts: 329000 | #Constraints: 71917
1602.85/1606.97 c #Conflicts: 330000 | #Constraints: 72917
1602.85/1606.97 c #Conflicts: 331000 | #Constraints: 73917
1602.85/1606.97 c #Conflicts: 332000 | #Constraints: 74917
1602.85/1606.97 c #Conflicts: 333000 | #Constraints: 75917
1602.85/1606.97 c INPROCESSING
1602.85/1606.97 c GARBAGE COLLECT
1602.85/1606.97 c #Conflicts: 334000 | #Constraints: 65504
1602.85/1606.97 c #Conflicts: 335000 | #Constraints: 66504
1602.85/1606.97 c #Conflicts: 336000 | #Constraints: 67504
1602.85/1606.97 c #Conflicts: 337000 | #Constraints: 68504
1602.85/1606.97 c #Conflicts: 338000 | #Constraints: 69504
1602.85/1606.97 c #Conflicts: 339000 | #Constraints: 70504
1602.85/1606.97 c #Conflicts: 340000 | #Constraints: 71504
1602.85/1606.97 c #Conflicts: 341000 | #Constraints: 72504
1602.85/1606.97 c #Conflicts: 342000 | #Constraints: 73504
1602.85/1606.97 c #Conflicts: 343000 | #Constraints: 74504
1602.85/1606.97 c #Conflicts: 344000 | #Constraints: 75504
1602.85/1606.97 c #Conflicts: 345000 | #Constraints: 76504
1602.85/1606.97 c INPROCESSING
1602.85/1606.97 c GARBAGE COLLECT
1602.85/1606.97 c #Conflicts: 346000 | #Constraints: 65909
1602.85/1606.97 c #Conflicts: 347000 | #Constraints: 66909
1602.85/1606.97 c #Conflicts: 348000 | #Constraints: 67909
1602.85/1606.97 c #Conflicts: 349000 | #Constraints: 68909
1602.85/1606.97 c #Conflicts: 350000 | #Constraints: 69909
1602.85/1606.97 c #Conflicts: 351000 | #Constraints: 70909
1602.85/1606.97 c #Conflicts: 352000 | #Constraints: 71909
1602.85/1606.97 c #Conflicts: 353000 | #Constraints: 72909
1602.85/1606.97 c #Conflicts: 354000 | #Constraints: 73909
1602.85/1606.97 c #Conflicts: 355000 | #Constraints: 74909
1602.85/1606.97 c #Conflicts: 356000 | #Constraints: 75909
1602.85/1606.97 c #Conflicts: 357000 | #Constraints: 76909
1602.85/1606.97 c INPROCESSING
1602.85/1606.97 c GARBAGE COLLECT
1602.85/1606.97 c #Conflicts: 358000 | #Constraints: 66139
1876.15/1880.92 c #Conflicts: 359000 | #Constraints: 67139
1876.15/1880.92 c #Conflicts: 360000 | #Constraints: 68139
1876.15/1880.92 c #Conflicts: 361000 | #Constraints: 69139
1876.15/1880.92 c #Conflicts: 362000 | #Constraints: 70139
1876.15/1880.92 c #Conflicts: 363000 | #Constraints: 71139
1876.15/1880.92 c #Conflicts: 364000 | #Constraints: 72139
1876.15/1880.92 c #Conflicts: 365000 | #Constraints: 73139
1876.15/1880.92 c #Conflicts: 366000 | #Constraints: 74139
1876.15/1880.92 c #Conflicts: 367000 | #Constraints: 75139
1876.15/1880.92 c #Conflicts: 368000 | #Constraints: 76139
1876.15/1880.92 c #Conflicts: 369000 | #Constraints: 77139
1876.15/1880.92 c INPROCESSING
1876.15/1880.92 c GARBAGE COLLECT
1876.15/1880.92 c #Conflicts: 370000 | #Constraints: 66157
1876.15/1880.92 c #Conflicts: 371000 | #Constraints: 67157
1876.15/1880.92 c #Conflicts: 372000 | #Constraints: 68157
1876.15/1880.92 c #Conflicts: 373000 | #Constraints: 69157
1876.15/1880.92 c #Conflicts: 374000 | #Constraints: 70157
1876.15/1880.92 c #Conflicts: 375000 | #Constraints: 71157
1876.15/1880.92 c #Conflicts: 376000 | #Constraints: 72157
1876.15/1880.92 c #Conflicts: 377000 | #Constraints: 73157
1876.15/1880.92 c #Conflicts: 378000 | #Constraints: 74157
1876.15/1880.92 c #Conflicts: 379000 | #Constraints: 75157
1876.15/1880.92 c #Conflicts: 380000 | #Constraints: 76157
1876.15/1880.92 c #Conflicts: 381000 | #Constraints: 77157
1876.15/1880.92 c INPROCESSING
1876.15/1880.92 c GARBAGE COLLECT
1876.15/1880.92 c #Conflicts: 382000 | #Constraints: 65950
1876.15/1880.92 c #Conflicts: 383000 | #Constraints: 66950
1876.15/1880.92 c #Conflicts: 384000 | #Constraints: 67950
1876.15/1880.92 c #Conflicts: 385000 | #Constraints: 68950
1876.15/1880.92 c #Conflicts: 386000 | #Constraints: 69950
1876.15/1880.92 c #Conflicts: 387000 | #Constraints: 70950
1876.15/1880.92 c #Conflicts: 388000 | #Constraints: 71950
1876.15/1880.92 c #Conflicts: 389000 | #Constraints: 72950
1876.15/1880.92 c #Conflicts: 390000 | #Constraints: 73950
1876.15/1880.92 c #Conflicts: 391000 | #Constraints: 74950
1876.15/1880.92 c #Conflicts: 392000 | #Constraints: 75950
1876.15/1880.92 c #Conflicts: 393000 | #Constraints: 76950
1876.15/1880.92 c #Conflicts: 394000 | #Constraints: 77950
1876.15/1880.92 c INPROCESSING
1876.15/1880.92 c GARBAGE COLLECT
1876.15/1880.92 c #Conflicts: 395000 | #Constraints: 66564
1876.15/1880.92 c #Conflicts: 396000 | #Constraints: 67564
1876.15/1880.92 c #Conflicts: 397000 | #Constraints: 68564
1876.15/1880.92 c #Conflicts: 398000 | #Constraints: 69564
1876.15/1880.92 c #Conflicts: 399000 | #Constraints: 70564
1876.15/1880.92 c #Conflicts: 400000 | #Constraints: 71564
1876.15/1880.92 c #Conflicts: 401000 | #Constraints: 72564
1876.15/1880.92 c #Conflicts: 402000 | #Constraints: 73564
1876.15/1880.92 c #Conflicts: 403000 | #Constraints: 74564
1876.15/1880.92 c #Conflicts: 404000 | #Constraints: 75564
1876.15/1880.92 c #Conflicts: 405000 | #Constraints: 76564
1876.15/1880.92 c #Conflicts: 406000 | #Constraints: 77564
1876.15/1880.92 c #Conflicts: 407000 | #Constraints: 78564
1876.15/1880.92 c INPROCESSING
1876.15/1880.92 c GARBAGE COLLECT
1876.15/1880.92 c #Conflicts: 408000 | #Constraints: 66961
1876.15/1880.92 c #Conflicts: 409000 | #Constraints: 67961
1876.15/1880.92 c #Conflicts: 410000 | #Constraints: 68961
1876.15/1880.92 c #Conflicts: 411000 | #Constraints: 69961
1876.15/1880.92 c #Conflicts: 412000 | #Constraints: 70961
1876.15/1880.92 c #Conflicts: 413000 | #Constraints: 71961
1876.15/1880.92 c #Conflicts: 414000 | #Constraints: 72961
1876.15/1880.92 c #Conflicts: 415000 | #Constraints: 73961
1876.15/1880.92 c #Conflicts: 416000 | #Constraints: 74961
1876.15/1880.92 c #Conflicts: 417000 | #Constraints: 75961
1876.15/1880.92 c #Conflicts: 418000 | #Constraints: 76961
1876.15/1880.92 c #Conflicts: 419000 | #Constraints: 77961
1876.15/1880.92 c #Conflicts: 420000 | #Constraints: 78961
1876.15/1880.92 c INPROCESSING
1876.15/1880.92 c GARBAGE COLLECT
1876.15/1880.92 c #Conflicts: 421000 | #Constraints: 67169
1876.15/1880.92 c #Conflicts: 422000 | #Constraints: 68169
1876.15/1880.92 c #Conflicts: 423000 | #Constraints: 69169
1876.15/1880.92 c #Conflicts: 424000 | #Constraints: 70169
1876.15/1880.92 c #Conflicts: 425000 | #Constraints: 71169
1876.15/1880.92 c #Conflicts: 426000 | #Constraints: 72169
1876.15/1880.92 c #Conflicts: 427000 | #Constraints: 73169
1876.15/1880.92 c #Conflicts: 428000 | #Constraints: 74169
1876.15/1880.92 c #Conflicts: 429000 | #Constraints: 75169
1876.15/1880.92 c #Conflicts: 430000 | #Constraints: 76169
1876.15/1880.92 c #Conflicts: 431000 | #Constraints: 77169
1876.15/1880.92 c #Conflicts: 432000 | #Constraints: 78169
1876.15/1880.92 c #Conflicts: 433000 | #Constraints: 79169
1876.15/1880.92 c INPROCESSING
1876.15/1880.92 c GARBAGE COLLECT
2231.75/2237.35 c #Conflicts: 434000 | #Constraints: 67189
2231.75/2237.35 c #Conflicts: 435000 | #Constraints: 68189
2231.75/2237.35 c #Conflicts: 436000 | #Constraints: 69189
2231.75/2237.35 c #Conflicts: 437000 | #Constraints: 70189
2231.75/2237.35 c #Conflicts: 438000 | #Constraints: 71189
2231.75/2237.35 c #Conflicts: 439000 | #Constraints: 72189
2231.75/2237.35 c #Conflicts: 440000 | #Constraints: 73189
2231.75/2237.35 c #Conflicts: 441000 | #Constraints: 74189
2231.75/2237.35 c #Conflicts: 442000 | #Constraints: 75189
2231.75/2237.35 c #Conflicts: 443000 | #Constraints: 76189
2231.75/2237.35 c #Conflicts: 444000 | #Constraints: 77189
2231.75/2237.35 c #Conflicts: 445000 | #Constraints: 78189
2231.75/2237.35 c #Conflicts: 446000 | #Constraints: 79189
2231.75/2237.35 c INPROCESSING
2231.75/2237.35 c GARBAGE COLLECT
2231.75/2237.35 c #Conflicts: 447000 | #Constraints: 67020
2231.75/2237.35 c #Conflicts: 448000 | #Constraints: 68020
2231.75/2237.35 c #Conflicts: 449000 | #Constraints: 69020
2231.75/2237.35 c #Conflicts: 450000 | #Constraints: 70020
2231.75/2237.35 c #Conflicts: 451000 | #Constraints: 71020
2231.75/2237.35 c #Conflicts: 452000 | #Constraints: 72020
2231.75/2237.35 c #Conflicts: 453000 | #Constraints: 73020
2231.75/2237.35 c #Conflicts: 454000 | #Constraints: 74020
2231.75/2237.35 c #Conflicts: 455000 | #Constraints: 75020
2231.75/2237.35 c #Conflicts: 456000 | #Constraints: 76020
2231.75/2237.35 c #Conflicts: 457000 | #Constraints: 77020
2231.75/2237.35 c #Conflicts: 458000 | #Constraints: 78020
2231.75/2237.35 c #Conflicts: 459000 | #Constraints: 79020
2231.75/2237.35 c #Conflicts: 460000 | #Constraints: 80020
2231.75/2237.35 c INPROCESSING
2231.75/2237.35 c GARBAGE COLLECT
2231.75/2237.35 c #Conflicts: 461000 | #Constraints: 67555
2231.75/2237.35 c #Conflicts: 462000 | #Constraints: 68555
2231.75/2237.35 c #Conflicts: 463000 | #Constraints: 69555
2231.75/2237.35 c #Conflicts: 464000 | #Constraints: 70555
2231.75/2237.35 c #Conflicts: 465000 | #Constraints: 71555
2231.75/2237.35 c #Conflicts: 466000 | #Constraints: 72555
2231.75/2237.35 c #Conflicts: 467000 | #Constraints: 73555
2231.75/2237.35 c #Conflicts: 468000 | #Constraints: 74555
2231.75/2237.35 c #Conflicts: 469000 | #Constraints: 75555
2231.75/2237.35 c #Conflicts: 470000 | #Constraints: 76555
2231.75/2237.35 c #Conflicts: 471000 | #Constraints: 77555
2231.75/2237.35 c #Conflicts: 472000 | #Constraints: 78555
2231.75/2237.35 c #Conflicts: 473000 | #Constraints: 79555
2231.75/2237.35 c #Conflicts: 474000 | #Constraints: 80555
2231.75/2237.35 c INPROCESSING
2231.75/2237.35 c GARBAGE COLLECT
2231.75/2237.35 c #Conflicts: 475000 | #Constraints: 67946
2231.75/2237.35 c #Conflicts: 476000 | #Constraints: 68946
2231.75/2237.35 c #Conflicts: 477000 | #Constraints: 69946
2231.75/2237.35 c #Conflicts: 478000 | #Constraints: 70946
2231.75/2237.35 c #Conflicts: 479000 | #Constraints: 71946
2231.75/2237.35 c #Conflicts: 480000 | #Constraints: 72946
2231.75/2237.35 c #Conflicts: 481000 | #Constraints: 73946
2231.75/2237.35 c #Conflicts: 482000 | #Constraints: 74946
2231.75/2237.35 c #Conflicts: 483000 | #Constraints: 75946
2231.75/2237.35 c #Conflicts: 484000 | #Constraints: 76946
2231.75/2237.35 c #Conflicts: 485000 | #Constraints: 77946
2231.75/2237.35 c #Conflicts: 486000 | #Constraints: 78946
2231.75/2237.35 c #Conflicts: 487000 | #Constraints: 79946
2231.75/2237.35 c #Conflicts: 488000 | #Constraints: 80946
2231.75/2237.35 c INPROCESSING
2231.75/2237.35 c GARBAGE COLLECT
2231.75/2237.35 c #Conflicts: 489000 | #Constraints: 68168
2231.75/2237.35 c #Conflicts: 490000 | #Constraints: 69168
2231.75/2237.35 c #Conflicts: 491000 | #Constraints: 70168
2231.75/2237.35 c #Conflicts: 492000 | #Constraints: 71168
2231.75/2237.35 c #Conflicts: 493000 | #Constraints: 72168
2231.75/2237.35 c #Conflicts: 494000 | #Constraints: 73168
2231.75/2237.35 c #Conflicts: 495000 | #Constraints: 74168
2231.75/2237.35 c #Conflicts: 496000 | #Constraints: 75168
2231.75/2237.35 c #Conflicts: 497000 | #Constraints: 76168
2231.75/2237.35 c #Conflicts: 498000 | #Constraints: 77168
2231.75/2237.35 c #Conflicts: 499000 | #Constraints: 78168
2231.75/2237.35 c #Conflicts: 500000 | #Constraints: 79168
2231.75/2237.35 c #Conflicts: 501000 | #Constraints: 80168
2231.75/2237.35 c #Conflicts: 502000 | #Constraints: 81168
2231.75/2237.35 c INPROCESSING
2231.75/2237.35 c GARBAGE COLLECT
2231.75/2237.35 c #Conflicts: 503000 | #Constraints: 68240
2231.75/2237.35 c #Conflicts: 504000 | #Constraints: 69240
2231.75/2237.35 c #Conflicts: 505000 | #Constraints: 70240
2231.75/2237.35 c #Conflicts: 506000 | #Constraints: 71240
2231.75/2237.35 c #Conflicts: 507000 | #Constraints: 72240
2231.75/2237.35 c #Conflicts: 508000 | #Constraints: 73240
2231.75/2237.35 c #Conflicts: 509000 | #Constraints: 74240
2482.59/2488.73 c #Conflicts: 510000 | #Constraints: 75240
2482.59/2488.73 c #Conflicts: 511000 | #Constraints: 76240
2482.59/2488.73 c #Conflicts: 512000 | #Constraints: 77240
2482.59/2488.73 c #Conflicts: 513000 | #Constraints: 78240
2482.59/2488.73 c #Conflicts: 514000 | #Constraints: 79240
2482.59/2488.73 c #Conflicts: 515000 | #Constraints: 80240
2482.59/2488.73 c #Conflicts: 516000 | #Constraints: 81240
2482.59/2488.73 c INPROCESSING
2482.59/2488.73 c GARBAGE COLLECT
2482.59/2488.73 c #Conflicts: 517000 | #Constraints: 68004
2482.59/2488.73 c #Conflicts: 518000 | #Constraints: 69004
2482.59/2488.73 c #Conflicts: 519000 | #Constraints: 70004
2482.59/2488.73 c #Conflicts: 520000 | #Constraints: 71004
2482.59/2488.73 c #Conflicts: 521000 | #Constraints: 72004
2482.59/2488.73 c #Conflicts: 522000 | #Constraints: 73004
2482.59/2488.73 c #Conflicts: 523000 | #Constraints: 74004
2482.59/2488.73 c #Conflicts: 524000 | #Constraints: 75004
2482.59/2488.73 c #Conflicts: 525000 | #Constraints: 76004
2482.59/2488.73 c #Conflicts: 526000 | #Constraints: 77004
2482.59/2488.73 c #Conflicts: 527000 | #Constraints: 78004
2482.59/2488.73 c #Conflicts: 528000 | #Constraints: 79004
2482.59/2488.73 c #Conflicts: 529000 | #Constraints: 80004
2482.59/2488.73 c #Conflicts: 530000 | #Constraints: 81004
2482.59/2488.73 c #Conflicts: 531000 | #Constraints: 82004
2482.59/2488.73 c INPROCESSING
2482.59/2488.73 c GARBAGE COLLECT
2482.59/2488.73 c #Conflicts: 532000 | #Constraints: 68587
2482.59/2488.73 c #Conflicts: 533000 | #Constraints: 69587
2482.59/2488.73 c #Conflicts: 534000 | #Constraints: 70587
2482.59/2488.73 c #Conflicts: 535000 | #Constraints: 71587
2482.59/2488.73 c #Conflicts: 536000 | #Constraints: 72587
2482.59/2488.73 c #Conflicts: 537000 | #Constraints: 73587
2482.59/2488.73 c #Conflicts: 538000 | #Constraints: 74587
2482.59/2488.73 c #Conflicts: 539000 | #Constraints: 75587
2482.59/2488.73 c #Conflicts: 540000 | #Constraints: 76587
2482.59/2488.73 c #Conflicts: 541000 | #Constraints: 77587
2482.59/2488.73 c #Conflicts: 542000 | #Constraints: 78587
2482.59/2488.73 c #Conflicts: 543000 | #Constraints: 79587
2482.59/2488.73 c #Conflicts: 544000 | #Constraints: 80587
2482.59/2488.73 c #Conflicts: 545000 | #Constraints: 81587
2482.59/2488.73 c #Conflicts: 546000 | #Constraints: 82587
2482.59/2488.73 c INPROCESSING
2482.59/2488.73 c GARBAGE COLLECT
2482.59/2488.73 c #Conflicts: 547000 | #Constraints: 68997
2482.59/2488.73 c #Conflicts: 548000 | #Constraints: 69997
2482.59/2488.73 c #Conflicts: 549000 | #Constraints: 70997
2482.59/2488.73 c #Conflicts: 550000 | #Constraints: 71997
2482.59/2488.73 c #Conflicts: 551000 | #Constraints: 72997
2482.59/2488.73 c #Conflicts: 552000 | #Constraints: 73997
2482.59/2488.73 c #Conflicts: 553000 | #Constraints: 74997
2482.59/2488.73 c #Conflicts: 554000 | #Constraints: 75997
2482.59/2488.73 c #Conflicts: 555000 | #Constraints: 76997
2482.59/2488.73 c #Conflicts: 556000 | #Constraints: 77997
2482.59/2488.73 c #Conflicts: 557000 | #Constraints: 78997
2482.59/2488.73 c #Conflicts: 558000 | #Constraints: 79997
2482.59/2488.73 c #Conflicts: 559000 | #Constraints: 80997
2482.59/2488.73 c #Conflicts: 560000 | #Constraints: 81997
2482.59/2488.73 c #Conflicts: 561000 | #Constraints: 82997
2482.59/2488.73 c INPROCESSING
2482.59/2488.73 c GARBAGE COLLECT
2482.59/2488.73 c #Conflicts: 562000 | #Constraints: 69214
2482.59/2488.73 c #Conflicts: 563000 | #Constraints: 70214
2482.59/2488.73 c #Conflicts: 564000 | #Constraints: 71214
2482.59/2488.73 c #Conflicts: 565000 | #Constraints: 72214
2482.59/2488.73 c #Conflicts: 566000 | #Constraints: 73214
2482.59/2488.73 c #Conflicts: 567000 | #Constraints: 74214
2482.59/2488.73 c #Conflicts: 568000 | #Constraints: 75214
2482.59/2488.73 c #Conflicts: 569000 | #Constraints: 76214
2482.59/2488.73 c #Conflicts: 570000 | #Constraints: 77214
2482.59/2488.73 c #Conflicts: 571000 | #Constraints: 78214
2482.59/2488.73 c #Conflicts: 572000 | #Constraints: 79214
2482.59/2488.73 c #Conflicts: 573000 | #Constraints: 80214
2482.59/2488.73 c #Conflicts: 574000 | #Constraints: 81214
2482.59/2488.73 c #Conflicts: 575000 | #Constraints: 82214
2482.59/2488.73 c #Conflicts: 576000 | #Constraints: 83214
2482.59/2488.73 c INPROCESSING
2482.59/2488.73 c GARBAGE COLLECT
2482.59/2488.73 c #Conflicts: 577000 | #Constraints: 69160
2482.59/2488.73 c #Conflicts: 578000 | #Constraints: 70160
2482.59/2488.73 c #Conflicts: 579000 | #Constraints: 71160
2482.59/2488.73 c #Conflicts: 580000 | #Constraints: 72160
2482.59/2488.73 c #Conflicts: 581000 | #Constraints: 73160
2482.59/2488.73 c #Conflicts: 582000 | #Constraints: 74160
2482.59/2488.73 c #Conflicts: 583000 | #Constraints: 75160
2482.59/2488.73 c #Conflicts: 584000 | #Constraints: 76160
2482.59/2488.73 c #Conflicts: 585000 | #Constraints: 77160
2781.09/2787.96 c #Conflicts: 586000 | #Constraints: 78160
2781.09/2787.96 c #Conflicts: 587000 | #Constraints: 79160
2781.09/2787.96 c #Conflicts: 588000 | #Constraints: 80160
2781.09/2787.96 c #Conflicts: 589000 | #Constraints: 81160
2781.09/2787.96 c #Conflicts: 590000 | #Constraints: 82160
2781.09/2787.96 c #Conflicts: 591000 | #Constraints: 83160
2781.09/2787.96 c INPROCESSING
2781.09/2787.96 c GARBAGE COLLECT
2781.09/2787.96 c #Conflicts: 592000 | #Constraints: 68964
2781.09/2787.96 c #Conflicts: 593000 | #Constraints: 69964
2781.09/2787.96 c #Conflicts: 594000 | #Constraints: 70964
2781.09/2787.96 c #Conflicts: 595000 | #Constraints: 71964
2781.09/2787.96 c #Conflicts: 596000 | #Constraints: 72964
2781.09/2787.96 c #Conflicts: 597000 | #Constraints: 73964
2781.09/2787.96 c #Conflicts: 598000 | #Constraints: 74964
2781.09/2787.96 c #Conflicts: 599000 | #Constraints: 75964
2781.09/2787.96 c #Conflicts: 600000 | #Constraints: 76964
2781.09/2787.96 c #Conflicts: 601000 | #Constraints: 77964
2781.09/2787.96 c #Conflicts: 602000 | #Constraints: 78964
2781.09/2787.96 c #Conflicts: 603000 | #Constraints: 79964
2781.09/2787.96 c #Conflicts: 604000 | #Constraints: 80964
2781.09/2787.96 c #Conflicts: 605000 | #Constraints: 81964
2781.09/2787.96 c #Conflicts: 606000 | #Constraints: 82964
2781.09/2787.96 c #Conflicts: 607000 | #Constraints: 83964
2781.09/2787.96 c INPROCESSING
2781.09/2787.96 c GARBAGE COLLECT
2781.09/2787.96 c #Conflicts: 608000 | #Constraints: 69579
2781.09/2787.96 c #Conflicts: 609000 | #Constraints: 70579
2781.09/2787.96 c #Conflicts: 610000 | #Constraints: 71579
2781.09/2787.96 c #Conflicts: 611000 | #Constraints: 72579
2781.09/2787.96 c #Conflicts: 612000 | #Constraints: 73579
2781.09/2787.96 c #Conflicts: 613000 | #Constraints: 74579
2781.09/2787.96 c #Conflicts: 614000 | #Constraints: 75579
2781.09/2787.96 c #Conflicts: 615000 | #Constraints: 76579
2781.09/2787.96 c #Conflicts: 616000 | #Constraints: 77579
2781.09/2787.96 c #Conflicts: 617000 | #Constraints: 78579
2781.09/2787.96 c #Conflicts: 618000 | #Constraints: 79579
2781.09/2787.96 c #Conflicts: 619000 | #Constraints: 80579
2781.09/2787.96 c #Conflicts: 620000 | #Constraints: 81579
2781.09/2787.96 c #Conflicts: 621000 | #Constraints: 82579
2781.09/2787.96 c #Conflicts: 622000 | #Constraints: 83579
2781.09/2787.96 c #Conflicts: 623000 | #Constraints: 84579
2781.09/2787.96 c INPROCESSING
2781.09/2787.96 c GARBAGE COLLECT
2781.09/2787.96 c #Conflicts: 624000 | #Constraints: 69948
2781.09/2787.96 c #Conflicts: 625000 | #Constraints: 70948
2781.09/2787.96 c #Conflicts: 626000 | #Constraints: 71948
2781.09/2787.96 c #Conflicts: 627000 | #Constraints: 72948
2781.09/2787.96 c #Conflicts: 628000 | #Constraints: 73948
2781.09/2787.96 c #Conflicts: 629000 | #Constraints: 74948
2781.09/2787.96 c #Conflicts: 630000 | #Constraints: 75948
2781.09/2787.96 c #Conflicts: 631000 | #Constraints: 76948
2781.09/2787.96 c #Conflicts: 632000 | #Constraints: 77948
2781.09/2787.96 c #Conflicts: 633000 | #Constraints: 78948
2781.09/2787.96 c #Conflicts: 634000 | #Constraints: 79948
2781.09/2787.96 c #Conflicts: 635000 | #Constraints: 80948
2781.09/2787.96 c #Conflicts: 636000 | #Constraints: 81948
2781.09/2787.96 c #Conflicts: 637000 | #Constraints: 82948
2781.09/2787.96 c #Conflicts: 638000 | #Constraints: 83948
2781.09/2787.96 c #Conflicts: 639000 | #Constraints: 84948
2781.09/2787.96 c INPROCESSING
2781.09/2787.96 c GARBAGE COLLECT
2781.09/2787.96 c #Conflicts: 640000 | #Constraints: 70185
2781.09/2787.96 c #Conflicts: 641000 | #Constraints: 71185
2781.09/2787.96 c #Conflicts: 642000 | #Constraints: 72185
2781.09/2787.96 c #Conflicts: 643000 | #Constraints: 73185
2781.09/2787.96 c #Conflicts: 644000 | #Constraints: 74185
2781.09/2787.96 c #Conflicts: 645000 | #Constraints: 75185
2781.09/2787.96 c #Conflicts: 646000 | #Constraints: 76185
2781.09/2787.96 c #Conflicts: 647000 | #Constraints: 77185
2781.09/2787.96 c #Conflicts: 648000 | #Constraints: 78185
2781.09/2787.96 c #Conflicts: 649000 | #Constraints: 79185
2781.09/2787.96 c #Conflicts: 650000 | #Constraints: 80185
2781.09/2787.96 c #Conflicts: 651000 | #Constraints: 81185
2781.09/2787.96 c #Conflicts: 652000 | #Constraints: 82185
2781.09/2787.96 c #Conflicts: 653000 | #Constraints: 83185
2781.09/2787.96 c #Conflicts: 654000 | #Constraints: 84185
2781.09/2787.96 c #Conflicts: 655000 | #Constraints: 85185
2781.09/2787.96 c INPROCESSING
2781.09/2787.96 c GARBAGE COLLECT
2781.09/2787.96 c #Conflicts: 656000 | #Constraints: 70199
2781.09/2787.96 c #Conflicts: 657000 | #Constraints: 71199
2781.09/2787.96 c #Conflicts: 658000 | #Constraints: 72199
2781.09/2787.96 c #Conflicts: 659000 | #Constraints: 73199
2781.09/2787.96 c #Conflicts: 660000 | #Constraints: 74199
3165.75/3173.56 c #Conflicts: 661000 | #Constraints: 75199
3165.75/3173.56 c #Conflicts: 662000 | #Constraints: 76199
3165.75/3173.56 c #Conflicts: 663000 | #Constraints: 77199
3165.75/3173.56 c #Conflicts: 664000 | #Constraints: 78199
3165.75/3173.56 c #Conflicts: 665000 | #Constraints: 79199
3165.75/3173.56 c #Conflicts: 666000 | #Constraints: 80199
3165.75/3173.56 c #Conflicts: 667000 | #Constraints: 81199
3165.75/3173.56 c #Conflicts: 668000 | #Constraints: 82199
3165.75/3173.56 c #Conflicts: 669000 | #Constraints: 83199
3165.75/3173.56 c #Conflicts: 670000 | #Constraints: 84199
3165.75/3173.56 c #Conflicts: 671000 | #Constraints: 85199
3165.75/3173.56 c INPROCESSING
3165.75/3173.56 c GARBAGE COLLECT
3165.75/3173.56 c #Conflicts: 672000 | #Constraints: 69985
3165.75/3173.56 c #Conflicts: 673000 | #Constraints: 70985
3165.75/3173.56 c #Conflicts: 674000 | #Constraints: 71985
3165.75/3173.56 c #Conflicts: 675000 | #Constraints: 72985
3165.75/3173.56 c #Conflicts: 676000 | #Constraints: 73985
3165.75/3173.56 c #Conflicts: 677000 | #Constraints: 74985
3165.75/3173.56 c #Conflicts: 678000 | #Constraints: 75985
3165.75/3173.56 c #Conflicts: 679000 | #Constraints: 76985
3165.75/3173.56 c #Conflicts: 680000 | #Constraints: 77985
3165.75/3173.56 c #Conflicts: 681000 | #Constraints: 78985
3165.75/3173.56 c #Conflicts: 682000 | #Constraints: 79985
3165.75/3173.56 c #Conflicts: 683000 | #Constraints: 80985
3165.75/3173.56 c #Conflicts: 684000 | #Constraints: 81985
3165.75/3173.56 c #Conflicts: 685000 | #Constraints: 82985
3165.75/3173.56 c #Conflicts: 686000 | #Constraints: 83985
3165.75/3173.56 c #Conflicts: 687000 | #Constraints: 84985
3165.75/3173.56 c #Conflicts: 688000 | #Constraints: 85985
3165.75/3173.56 c INPROCESSING
3165.75/3173.56 c GARBAGE COLLECT
3165.75/3173.56 c #Conflicts: 689000 | #Constraints: 70586
3165.75/3173.56 c #Conflicts: 690000 | #Constraints: 71586
3165.75/3173.56 c #Conflicts: 691000 | #Constraints: 72586
3165.75/3173.56 c #Conflicts: 692000 | #Constraints: 73586
3165.75/3173.56 c #Conflicts: 693000 | #Constraints: 74586
3165.75/3173.56 c #Conflicts: 694000 | #Constraints: 75586
3165.75/3173.56 c #Conflicts: 695000 | #Constraints: 76586
3165.75/3173.56 c #Conflicts: 696000 | #Constraints: 77586
3165.75/3173.56 c #Conflicts: 697000 | #Constraints: 78586
3165.75/3173.56 c #Conflicts: 698000 | #Constraints: 79586
3165.75/3173.56 c #Conflicts: 699000 | #Constraints: 80586
3165.75/3173.56 c #Conflicts: 700000 | #Constraints: 81586
3165.75/3173.56 c #Conflicts: 701000 | #Constraints: 82586
3165.75/3173.56 c #Conflicts: 702000 | #Constraints: 83586
3165.75/3173.56 c #Conflicts: 703000 | #Constraints: 84586
3165.75/3173.56 c #Conflicts: 704000 | #Constraints: 85586
3165.75/3173.56 c #Conflicts: 705000 | #Constraints: 86586
3165.75/3173.56 c INPROCESSING
3165.75/3173.56 c GARBAGE COLLECT
3165.75/3173.56 c #Conflicts: 706000 | #Constraints: 71004
3165.75/3173.56 c #Conflicts: 707000 | #Constraints: 72004
3165.75/3173.56 c #Conflicts: 708000 | #Constraints: 73004
3165.75/3173.56 c #Conflicts: 709000 | #Constraints: 74004
3165.75/3173.56 c #Conflicts: 710000 | #Constraints: 75004
3165.75/3173.56 c #Conflicts: 711000 | #Constraints: 76004
3165.75/3173.56 c #Conflicts: 712000 | #Constraints: 77004
3165.75/3173.56 c #Conflicts: 713000 | #Constraints: 78004
3165.75/3173.56 c #Conflicts: 714000 | #Constraints: 79004
3165.75/3173.56 c #Conflicts: 715000 | #Constraints: 80004
3165.75/3173.56 c #Conflicts: 716000 | #Constraints: 81004
3165.75/3173.56 c #Conflicts: 717000 | #Constraints: 82004
3165.75/3173.56 c #Conflicts: 718000 | #Constraints: 83004
3165.75/3173.56 c #Conflicts: 719000 | #Constraints: 84004
3165.75/3173.56 c #Conflicts: 720000 | #Constraints: 85004
3165.75/3173.56 c #Conflicts: 721000 | #Constraints: 86004
3165.75/3173.56 c #Conflicts: 722000 | #Constraints: 87004
3165.75/3173.56 c INPROCESSING
3165.75/3173.56 c GARBAGE COLLECT
3165.75/3173.56 c #Conflicts: 723000 | #Constraints: 71197
3165.75/3173.56 c #Conflicts: 724000 | #Constraints: 72197
3165.75/3173.56 c #Conflicts: 725000 | #Constraints: 73197
3165.75/3173.56 c #Conflicts: 726000 | #Constraints: 74197
3165.75/3173.56 c #Conflicts: 727000 | #Constraints: 75197
3165.75/3173.56 c #Conflicts: 728000 | #Constraints: 76197
3165.75/3173.56 c #Conflicts: 729000 | #Constraints: 77197
3165.75/3173.56 c #Conflicts: 730000 | #Constraints: 78197
3165.75/3173.56 c #Conflicts: 731000 | #Constraints: 79197
3165.75/3173.56 c #Conflicts: 732000 | #Constraints: 80197
3165.75/3173.56 c #Conflicts: 733000 | #Constraints: 81197
3165.75/3173.56 c #Conflicts: 734000 | #Constraints: 82197
3165.75/3173.56 c #Conflicts: 735000 | #Constraints: 83197
3165.75/3173.56 c #Conflicts: 736000 | #Constraints: 84197
3461.41/3470.04 c #Conflicts: 737000 | #Constraints: 85197
3461.41/3470.04 c #Conflicts: 738000 | #Constraints: 86197
3461.41/3470.04 c #Conflicts: 739000 | #Constraints: 87197
3461.41/3470.04 c INPROCESSING
3461.41/3470.04 c GARBAGE COLLECT
3461.41/3470.04 c #Conflicts: 740000 | #Constraints: 71360
3461.41/3470.04 c #Conflicts: 741000 | #Constraints: 72360
3461.41/3470.04 c #Conflicts: 742000 | #Constraints: 73360
3461.41/3470.04 c #Conflicts: 743000 | #Constraints: 74360
3461.41/3470.04 c #Conflicts: 744000 | #Constraints: 75360
3461.41/3470.04 c #Conflicts: 745000 | #Constraints: 76360
3461.41/3470.04 c #Conflicts: 746000 | #Constraints: 77360
3461.41/3470.04 c #Conflicts: 747000 | #Constraints: 78360
3461.41/3470.04 c #Conflicts: 748000 | #Constraints: 79360
3461.41/3470.04 c #Conflicts: 749000 | #Constraints: 80360
3461.41/3470.04 c #Conflicts: 750000 | #Constraints: 81360
3461.41/3470.04 c #Conflicts: 751000 | #Constraints: 82360
3461.41/3470.04 c #Conflicts: 752000 | #Constraints: 83360
3461.41/3470.04 c #Conflicts: 753000 | #Constraints: 84360
3461.41/3470.04 c #Conflicts: 754000 | #Constraints: 85360
3461.41/3470.04 c #Conflicts: 755000 | #Constraints: 86360
3461.41/3470.04 c #Conflicts: 756000 | #Constraints: 87360
3461.41/3470.04 c INPROCESSING
3461.41/3470.04 c GARBAGE COLLECT
3461.41/3470.04 c #Conflicts: 757000 | #Constraints: 71067
3461.41/3470.04 c #Conflicts: 758000 | #Constraints: 72067
3461.41/3470.04 c #Conflicts: 759000 | #Constraints: 73067
3461.41/3470.04 c #Conflicts: 760000 | #Constraints: 74067
3461.41/3470.04 c #Conflicts: 761000 | #Constraints: 75067
3461.41/3470.04 c #Conflicts: 762000 | #Constraints: 76067
3461.41/3470.04 c #Conflicts: 763000 | #Constraints: 77067
3461.41/3470.04 c #Conflicts: 764000 | #Constraints: 78067
3461.41/3470.04 c #Conflicts: 765000 | #Constraints: 79067
3461.41/3470.04 c #Conflicts: 766000 | #Constraints: 80067
3461.41/3470.04 c #Conflicts: 767000 | #Constraints: 81067
3461.41/3470.04 c #Conflicts: 768000 | #Constraints: 82067
3461.41/3470.04 c #Conflicts: 769000 | #Constraints: 83067
3461.41/3470.04 c #Conflicts: 770000 | #Constraints: 84067
3461.41/3470.04 c #Conflicts: 771000 | #Constraints: 85067
3461.41/3470.04 c #Conflicts: 772000 | #Constraints: 86067
3461.41/3470.04 c #Conflicts: 773000 | #Constraints: 87067
3461.41/3470.04 c #Conflicts: 774000 | #Constraints: 88067
3461.41/3470.04 c INPROCESSING
3461.41/3470.04 c GARBAGE COLLECT
3461.41/3470.04 c #Conflicts: 775000 | #Constraints: 71604
3461.41/3470.04 c #Conflicts: 776000 | #Constraints: 72604
3461.41/3470.04 c #Conflicts: 777000 | #Constraints: 73604
3461.41/3470.04 c #Conflicts: 778000 | #Constraints: 74604
3461.41/3470.04 c #Conflicts: 779000 | #Constraints: 75604
3461.41/3470.04 c #Conflicts: 780000 | #Constraints: 76604
3461.41/3470.04 c #Conflicts: 781000 | #Constraints: 77604
3461.41/3470.04 c #Conflicts: 782000 | #Constraints: 78604
3461.41/3470.04 c #Conflicts: 783000 | #Constraints: 79604
3461.41/3470.04 c #Conflicts: 784000 | #Constraints: 80604
3461.41/3470.04 c #Conflicts: 785000 | #Constraints: 81604
3461.41/3470.04 c #Conflicts: 786000 | #Constraints: 82604
3461.41/3470.04 c #Conflicts: 787000 | #Constraints: 83604
3461.41/3470.04 c #Conflicts: 788000 | #Constraints: 84604
3461.41/3470.04 c #Conflicts: 789000 | #Constraints: 85604
3461.41/3470.04 c #Conflicts: 790000 | #Constraints: 86604
3461.41/3470.04 c #Conflicts: 791000 | #Constraints: 87604
3461.41/3470.04 c #Conflicts: 792000 | #Constraints: 88604
3461.41/3470.04 c INPROCESSING
3461.41/3470.04 c GARBAGE COLLECT
3461.41/3470.04 c #Conflicts: 793000 | #Constraints: 71998
3461.41/3470.04 c #Conflicts: 794000 | #Constraints: 72998
3461.41/3470.04 c #Conflicts: 795000 | #Constraints: 73998
3461.41/3470.04 c #Conflicts: 796000 | #Constraints: 74998
3461.41/3470.04 c #Conflicts: 797000 | #Constraints: 75998
3461.41/3470.04 c #Conflicts: 798000 | #Constraints: 76998
3461.41/3470.04 c #Conflicts: 799000 | #Constraints: 77998
3461.41/3470.04 c #Conflicts: 800000 | #Constraints: 78998
3461.41/3470.04 c #Conflicts: 801000 | #Constraints: 79998
3461.41/3470.04 c #Conflicts: 802000 | #Constraints: 80998
3461.41/3470.04 c #Conflicts: 803000 | #Constraints: 81998
3461.41/3470.04 c #Conflicts: 804000 | #Constraints: 82998
3461.41/3470.04 c #Conflicts: 805000 | #Constraints: 83998
3461.41/3470.04 c #Conflicts: 806000 | #Constraints: 84998
3461.41/3470.04 c #Conflicts: 807000 | #Constraints: 85998
3461.41/3470.04 c #Conflicts: 808000 | #Constraints: 86998
3461.41/3470.04 c #Conflicts: 809000 | #Constraints: 87998
3461.41/3470.04 c #Conflicts: 810000 | #Constraints: 88998
3461.41/3470.04 c INPROCESSING
3461.41/3470.04 c GARBAGE COLLECT
3461.41/3470.04 c #Conflicts: 811000 | #Constraints: 72195
3461.41/3470.04 c #Conflicts: 812000 | #Constraints: 73195
3600.04/3609.01 c #Conflicts: 813000 | #Constraints: 74195
3600.04/3609.01 c #Conflicts: 814000 | #Constraints: 75195
3600.04/3609.01 c #Conflicts: 815000 | #Constraints: 76195
3600.04/3609.01 c #Conflicts: 816000 | #Constraints: 77195
3600.04/3609.01 c #Conflicts: 817000 | #Constraints: 78195
3600.04/3609.01 c #Conflicts: 818000 | #Constraints: 79195
3600.04/3609.01 c #Conflicts: 819000 | #Constraints: 80195
3600.04/3609.01 c #Conflicts: 820000 | #Constraints: 81195
3600.04/3609.01 c #Conflicts: 821000 | #Constraints: 82195
3600.04/3609.01 c #Conflicts: 822000 | #Constraints: 83195
3600.04/3609.01 c #Conflicts: 823000 | #Constraints: 84195
3600.04/3609.01 c #Conflicts: 824000 | #Constraints: 85195
3600.04/3609.01 c #Conflicts: 825000 | #Constraints: 86195
3600.04/3609.01 c #Conflicts: 826000 | #Constraints: 87195
3600.04/3609.01 c #Conflicts: 827000 | #Constraints: 88195
3600.04/3609.01 c #Conflicts: 828000 | #Constraints: 89195
3600.04/3609.01 c INPROCESSING
3600.04/3609.01 c GARBAGE COLLECT
3600.04/3609.01 c #Conflicts: 829000 | #Constraints: 72189
3600.04/3609.01 c #Conflicts: 830000 | #Constraints: 73189
3600.04/3609.01 c #Conflicts: 831000 | #Constraints: 74189
3600.04/3609.01 c #Conflicts: 832000 | #Constraints: 75189
3600.04/3609.01 c #Conflicts: 833000 | #Constraints: 76189
3600.04/3609.01 c #Conflicts: 834000 | #Constraints: 77189
3600.04/3609.01 c #Conflicts: 835000 | #Constraints: 78189
3600.04/3609.01 c #Conflicts: 836000 | #Constraints: 79189
3600.04/3609.01 c #Conflicts: 837000 | #Constraints: 80189
3600.04/3609.01 c #Conflicts: 838000 | #Constraints: 81189
3600.04/3609.01 c #Conflicts: 839000 | #Constraints: 82189
3600.04/3609.01 c #Conflicts: 840000 | #Constraints: 83189
3600.04/3609.01 c #Conflicts: 841000 | #Constraints: 84189
3600.04/3609.01 c #Conflicts: 842000 | #Constraints: 85189
3600.04/3609.01 c #Conflicts: 843000 | #Constraints: 86189
3600.04/3609.01 c Program interrupted by user.
3600.04/3609.01 c cpu time 3588.38 s
3600.04/3609.01 c deterministic time 527438648309 5.27e+11
3600.04/3609.01 c optimization time 85.8493 s
3600.04/3609.01 c total solve time 3203.02 s
3600.04/3609.01 c core-guided solve time 3203.02 s
3600.04/3609.01 c propagation time 1669.17 s
3600.04/3609.01 c conflict analysis time 1528.97 s
3600.04/3609.01 c propagations 831433697
3600.04/3609.01 c resolve steps 52826552
3600.04/3609.01 c decisions 8993776
3600.04/3609.01 c conflicts 843958
3600.04/3609.01 c restarts 1788
3600.04/3609.01 c inprocessing phases 82
3600.04/3609.01 c input clauses 53219
3600.04/3609.01 c input cardinalities 8
3600.04/3609.01 c input general constraints 0
3600.04/3609.01 c input average constraint length 2.68
3600.04/3609.01 c input average constraint degree 1.04
3600.04/3609.01 c learned clauses 587545
3600.04/3609.01 c learned cardinalities 6167
3600.04/3609.01 c learned general constraints 250249
3600.04/3609.01 c learned average constraint length 2422.12
3600.04/3609.01 c learned average constraint degree 815799.23
3600.04/3609.01 c watched constraints 159806
3600.04/3609.01 c counting constraints 90443
3600.04/3609.01 c gcd simplifications 1874
3600.04/3609.01 c detected cardinalities 28
3600.04/3609.01 c weakened non-implied lits 367740926
3600.04/3609.01 c weakened non-implying lits 80340
3600.04/3609.01 c original variables 14352
3600.04/3609.01 c clausal propagations 765514039
3600.04/3609.01 c cardinality propagations 11474412
3600.04/3609.01 c watched propagations 5992327
3600.04/3609.01 c counting propagations 44048324
3600.04/3609.01 c watch lookups 14729399186
3600.04/3609.01 c watch backjump lookups 12212335367
3600.04/3609.01 c watch checks 433499390380
3600.04/3609.01 c propagation checks 60487560254
3600.04/3609.01 c constraint additions 4828275307
3600.04/3609.01 c trail pops 841260341
3600.04/3609.01 c formula constraints 53219
3600.04/3609.01 c learned constraints 843961
3600.04/3609.01 c bound constraints 8
3600.04/3609.01 c core-guided constraints 0
3600.04/3609.01 c encountered formula constraints 50575295
3600.04/3609.01 c encountered learned constraints 3095173
3600.04/3609.01 c encountered bound constraints 42
3600.04/3609.01 c encountered core-guided constraints 0
3600.04/3609.01 c LP total time 0 s
3600.04/3609.01 c LP solve time 0 s
3600.04/3609.01 c LP constraints added 0
3600.04/3609.01 c LP constraints removed 0
3600.04/3609.01 c LP pivots internal 0
3600.04/3609.01 c LP pivots root 0
3600.04/3609.01 c LP calls 0
3600.04/3609.01 c LP optimalities 0
3600.04/3609.01 c LP no pivot count 0
3600.04/3609.01 c LP infeasibilities 0
3600.04/3609.01 c LP valid Farkas constraints 0
3600.04/3609.01 c LP learned Farkas constraints 0
3600.04/3609.01 c LP basis resets 0
3600.04/3609.01 c LP cycling count 0
3600.04/3609.01 c LP singular count 0
3600.04/3609.01 c LP no primal count 0
3600.04/3609.01 c LP no farkas count 0
3600.04/3609.01 c LP other issue count 0
3600.04/3609.01 c LP Gomory cuts 0
3600.04/3609.01 c LP learned cuts 0
3600.04/3609.01 c LP deleted cuts 0
3600.04/3609.01 c LP encountered Gomory constraints 0
3600.04/3609.01 c LP encountered Farkas constraints 0
3600.04/3609.01 c LP encountered learned Farkas constraints 0
3600.04/3609.01 c CG auxiliary variables introduced 0
3600.04/3609.01 c CG solutions found 0
3600.04/3609.01 c CG cores constructed 7
3600.04/3609.01 c CG core cardinality constraints returned 0
3600.04/3609.01 c CG unit cores 0
3600.04/3609.01 c CG single cores 7
3600.04/3609.01 c CG blocks removed during cardinality reduction 0
3600.04/3609.01 c CG first core best 0
3600.04/3609.01 c CG decision core best 0
3600.04/3609.01 c CG core reduction tie 0
3600.04/3609.01 c CG core degree average 1.00
3600.04/3609.01 c CG core slack average 93.86
3600.04/3609.01 c CG exhausted 0
3600.04/3609.01 c CG exhaust time 0 s
3600.04/3609.01 c CG trimmed 0
3600.04/3609.01 c CG trim time 0.00274 s
3600.04/3609.01 c CG minimized 0
3600.04/3609.01 c CG minimize time 0 s
3600.04/3609.01 c CG am1 prop time 0.003787 s
3600.04/3609.01 c CG # am1s reformulated 0
3600.04/3609.01 c CG lower bound derived from am1s 0
3600.04/3609.01 c CG # clausal cores 7
3600.04/3609.01 c CG # cardinality cores 0
3600.04/3609.01 c CG # pb cores 0
3600.04/3609.01 c CG # pb reforms 0
3600.04/3609.01 c CG # cores discarded because of pb reform 0
3600.04/3609.01 d LOWERBOUND 7
3600.04/3609.01 d NCORES 7
3600.04/3609.01 d NPBCORES 0
3600.04/3609.01 d NPBREFORM 0
3600.04/3609.01 d NTRIMMED 0
3600.04/3609.01 d NEXHAUSTED 0
3600.04/3609.01 d NAM1S 0
3600.04/3609.01 d AM1LB 0
3600.04/3609.01 c [Papilo Statistics]
3600.04/3609.01 c prepro time 0.0648698s
3600.04/3609.01 c # tsx applied 25
3600.04/3609.01 c # tsx conflicts 0
3600.04/3609.01 c # bound changes 5
3600.04/3609.01 c # side changes 14
3600.04/3609.01 c # coef changes 51
3600.04/3609.01 c # rounds 2
3600.04/3609.01 c # deted vars 12
3600.04/3609.01 c # deted constrs 28
3600.04/3609.01 c # consecutive rounds of only bound changes 0
3600.04/3609.01 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 (62785 MiB free)
memory of node 1: 64510 MiB (62164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435560-1721105475/watcher-4435560-1721105475 -o /tmp/evaluation-result-4435560-1721105475/solver-4435560-1721105475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830109 --watchdog 3760 mixed-bag HOME/instance-4435560-1721105475.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834259, runsolver pid=834256
[startup+0.100108 s]*
/proc/loadavg: 4.84 4.33 4.18 5/243 834260
/proc/meminfo: memFree=127938392/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=92956 memory=25224 CPUtime=0.1 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 4791 0 0 0 10 0 0 0 20 0 1 0 162706773 95186944 6306 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 23239 6306 1702 3002 0 7529 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 92956 KiB
Current children cumulated memory: 25224 KiB
[startup+0.212834 s]*
/proc/loadavg: 4.84 4.33 4.18 5/243 834260
/proc/meminfo: memFree=127889428/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=154384 memory=85780 CPUtime=0.22 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 16716 0 0 0 19 3 0 0 20 0 1 0 162706773 158089216 21445 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 38596 21445 3757 3002 0 22347 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 154384 KiB
Current children cumulated memory: 85780 KiB
[startup+0.312782 s]*
/proc/loadavg: 4.84 4.33 4.18 5/243 834260
/proc/meminfo: memFree=127826120/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=209280 memory=139000 CPUtime=0.32 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 29926 0 0 0 27 5 0 0 20 0 1 0 162706773 214302720 34750 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 52320 34750 3869 3002 0 36071 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 139000 KiB
[startup+0.700325 s]
/proc/loadavg: 4.84 4.33 4.18 5/243 834260
/proc/meminfo: memFree=127801840/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=245336 memory=174376 CPUtime=0.68 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 41155 0 0 0 62 6 0 0 20 0 1 0 162706773 251224064 43594 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 61334 43594 3869 3002 0 45085 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 245336 KiB
Current children cumulated memory: 174376 KiB
[startup+1.50036 s]
/proc/loadavg: 4.84 4.33 4.18 5/243 834260
/proc/meminfo: memFree=127768600/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=335268 memory=244964 CPUtime=1.48 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 58249 0 0 0 140 8 0 0 20 0 1 0 162706773 343314432 61241 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 83817 61241 3989 3002 0 67568 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 335268 KiB
Current children cumulated memory: 244964 KiB
[startup+3.11266 s]
/proc/loadavg: 4.78 4.32 4.18 5/243 834260
/proc/meminfo: memFree=127592516/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=465156 memory=371204 CPUtime=3.09 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 84224 0 0 0 297 12 0 0 20 0 1 0 162706773 476319744 92801 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 116289 92801 4117 3002 0 100040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 465156 KiB
Current children cumulated memory: 371204 KiB
[startup+6.30026 s]
/proc/loadavg: 4.78 4.32 4.18 5/243 834261
/proc/meminfo: memFree=127590180/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=465156 memory=371972 CPUtime=6.27 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 84388 0 0 0 615 12 0 0 20 0 1 0 162706773 476319744 92993 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 116289 92993 4117 3002 0 100040 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 465156 KiB
Current children cumulated memory: 371972 KiB
[startup+12.7003 s]
/proc/loadavg: 4.71 4.32 4.18 5/243 834261
/proc/meminfo: memFree=127557576/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=519892 memory=400372 CPUtime=12.65 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 91553 0 0 0 1252 13 0 0 20 0 1 0 162706773 532369408 100093 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 129973 100093 4117 3002 0 113724 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 519892 KiB
Current children cumulated memory: 400372 KiB
[startup+25.5003 s]
/proc/loadavg: 4.56 4.30 4.17 5/243 834264
/proc/meminfo: memFree=127530636/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=528808 memory=408784 CPUtime=25.41 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 93656 0 0 0 2528 13 0 0 20 0 1 0 162706773 541499392 102196 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 132202 102196 4132 3002 0 115953 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 528808 KiB
Current children cumulated memory: 408784 KiB
[startup+51.1126 s]
/proc/loadavg: 4.36 4.28 4.17 5/243 834267
/proc/meminfo: memFree=127433200/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=609188 memory=490336 CPUtime=50.97 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 114073 0 0 0 5080 17 0 0 20 0 1 0 162706773 623808512 122584 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 152297 122584 4149 3002 0 136048 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 609188 KiB
Current children cumulated memory: 490336 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.25 4.16 5/243 834277
/proc/meminfo: memFree=127430316/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=609188 memory=490552 CPUtime=102.01 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 114101 0 0 0 10184 17 0 0 20 0 1 0 162706773 623808512 122638 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 152297 122638 4149 3002 0 136048 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 609188 KiB
Current children cumulated memory: 490552 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.23 4.16 5/243 834287
/proc/meminfo: memFree=127402452/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=609188 memory=490656 CPUtime=161.85 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 114183 0 0 0 16168 17 0 0 20 0 1 0 162706773 623808512 122664 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 152297 122664 4149 3002 0 136048 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 609188 KiB
Current children cumulated memory: 490656 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.22 4.16 5/243 834298
/proc/meminfo: memFree=127392440/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=609188 memory=490932 CPUtime=221.69 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 114220 0 0 0 22152 17 0 0 20 0 1 0 162706773 623808512 122733 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 152297 122733 4165 3002 0 136048 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 609188 KiB
Current children cumulated memory: 490932 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.19 4.16 5/243 834692
/proc/meminfo: memFree=127292516/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=609188 memory=490932 CPUtime=281.54 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 114262 0 0 0 28137 17 0 0 20 0 1 0 162706773 623808512 122733 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 152297 122733 4165 3002 0 136048 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 609188 KiB
Current children cumulated memory: 490932 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/243 834702
/proc/meminfo: memFree=127134232/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=629208 memory=515272 CPUtime=341.39 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 117510 0 0 0 34093 46 0 0 20 0 1 0 162706773 644308992 128818 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 157302 128818 4277 3002 0 141053 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 629208 KiB
Current children cumulated memory: 515272 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/243 834712
/proc/meminfo: memFree=127041288/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=679296 memory=544156 CPUtime=401.24 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 118068 0 0 0 40060 64 0 0 20 0 1 0 162706773 695599104 136039 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 169824 136039 4277 3002 0 153575 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 679296 KiB
Current children cumulated memory: 544156 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/245 834893
/proc/meminfo: memFree=126977164/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=679296 memory=552348 CPUtime=461.1 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 118096 0 0 0 46032 78 0 0 20 0 1 0 162706773 695599104 138087 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
################
# More data... #
################
Current children cumulated memory: 765044 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 835949
/proc/meminfo: memFree=126235608/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=765044 CPUtime=2855.32 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 124751 0 0 0 284592 940 0 0 20 0 1 0 162706773 914374656 191261 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 191261 4277 3002 0 206987 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 765044 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/241 835959
/proc/meminfo: memFree=126233328/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=765044 CPUtime=2915.19 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 124864 0 0 0 290550 969 0 0 20 0 1 0 162706773 914374656 191261 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 191261 4277 3002 0 206987 0
Current children cumulated CPU time: 2915.19 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 765044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 835974
/proc/meminfo: memFree=126231216/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=765044 CPUtime=2975.05 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 125013 0 0 0 296525 980 0 0 20 0 1 0 162706773 914374656 191261 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 191261 4277 3002 0 206987 0
Current children cumulated CPU time: 2975.05 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 765044 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 835984
/proc/meminfo: memFree=126198096/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=765044 CPUtime=3034.92 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 125241 0 0 0 302502 990 0 0 20 0 1 0 162706773 914374656 191261 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 191261 4277 3002 0 206987 0
Current children cumulated CPU time: 3034.92 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 765044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 835995
/proc/meminfo: memFree=126162980/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=787572 CPUtime=3094.75 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 125413 0 0 0 308473 1002 0 0 20 0 1 0 162706773 914374656 196893 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 196893 4277 3002 0 206987 0
Current children cumulated CPU time: 3094.75 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 787572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.14 4.15 5/244 836005
/proc/meminfo: memFree=126162604/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=787572 CPUtime=3154.58 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 125569 0 0 0 314448 1010 0 0 20 0 1 0 162706773 914374656 196893 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 196893 4277 3002 0 206987 0
Current children cumulated CPU time: 3154.58 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 787572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/245 836017
/proc/meminfo: memFree=126145660/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3214.41 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 125860 0 0 0 320424 1017 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/242 836028
/proc/meminfo: memFree=126139180/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3274.24 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 126086 0 0 0 326385 1039 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/242 836038
/proc/meminfo: memFree=126138956/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3334.07 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 126281 0 0 0 332339 1068 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/242 836048
/proc/meminfo: memFree=126126960/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3393.9 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 126490 0 0 0 338304 1086 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/242 836059
/proc/meminfo: memFree=126096096/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3453.72 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 126604 0 0 0 344254 1118 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/242 836069
/proc/meminfo: memFree=126095736/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3513.55 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 126795 0 0 0 350207 1148 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
[startup+3582.3 s]
/proc/loadavg: 3.89 4.07 4.12 2/222 836176
/proc/meminfo: memFree=128913140/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3573.38 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 127002 0 0 0 356176 1162 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 2.83 3.79 4.02 2/222 836180
/proc/meminfo: memFree=128913164/131655788 swapFree=131071996/131071996
[pid=834259] ppid=834256 vsize=892944 memory=801908 CPUtime=3600.04 cores=4,6
/proc/834259/stat : 834259 (mixed-bag) R 834256 834259 830098 0 -1 4194304 127177 0 0 0 358838 1166 0 0 20 0 1 0 162706773 914374656 200477 134679101440 4194304 16487941 140725690108944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 56266752 140725690110999 140725690111076 140725690111076 140725690118091 0
/proc/834259/statm: 223236 200477 4277 3002 0 206987 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 892944 KiB
Current children cumulated memory: 801908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 834259 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.39 s, system=11.6709 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.02
CPU time (s): 3600.06
CPU user time (s): 3588.39
CPU system time (s): 11.6709
CPU usage (%): 99.7517
Max. virtual memory (cumulated for all children) (KiB): 892944
Max. memory (cumulated for all children) (KiB): 801908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.39
system time used= 11.6709
maximum resident set size= 802184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127199
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= 100
involuntary context switches= 1544
# summary of solver processes directly reported to runsolver:
# pid: 834259
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.39
# total CPU system time (s): 11.6709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7184 second user time and 34.624 second system time
The end
Begin job on nodeC010 at 2024-07-16 06:51:27
IDJOB=4435560
IDBENCH=148188
IDSOLVER=3066
FILE ID=nodeC010/4435560-1721105475
RUNJOBID= nodeC010-1721098226-830109
SLURM_JOB_ID= 7505613
Free space on /tmp= 723728 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435560-1721105475/watcher-4435560-1721105475 -o /tmp/evaluation-result-4435560-1721105475/solver-4435560-1721105475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830109 --watchdog 3760 mixed-bag HOME/instance-4435560-1721105475.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8bb64a53a6bd967b0f0fe9129c8144f
RANDOM SEED=645076733
nodeC010.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 : 3661.471
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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 : 3643.255
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.31
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.368
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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.332
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.31
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 : 3538.417
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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 : 3666.257
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.31
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.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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.286
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127949496 kB
MemAvailable: 128351008 kB
Buffers: 397376 kB
Cached: 847792 kB
SwapCached: 0 kB
Active: 739952 kB
Inactive: 2442000 kB
Active(anon): 1464 kB
Inactive(anon): 1973348 kB
Active(file): 738488 kB
Inactive(file): 468652 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17604 kB
Writeback: 0 kB
AnonPages: 1936660 kB
Mapped: 137164 kB
Shmem: 37704 kB
KReclaimable: 68808 kB
Slab: 161796 kB
SReclaimable: 68808 kB
SUnreclaim: 92988 kB
KernelStack: 3916 kB
PageTables: 13640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2433740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 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: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC010 at 2024-07-16 07:51:36