0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.13 c [STEP] preprocessing with Papilo
0.08/0.19 c [STEP] solving with SCIP
299.42/300.43 c [STEP] preprocessing done, loading into solver
299.52/300.53 c [STEP] solving
299.52/300.53 c #variables 14341 #constraints 53219
299.52/300.53 c SMALL=int, LARGE=long long
299.52/300.53 d SCIPUB 21
299.52/300.53 c bounds - >= 0 @ 299.299
299.52/300.53 c stratification level: 0
561.27/562.95 c bounds - >= 1 @ 299.312
561.27/562.95 c bounds - >= 2 @ 299.314
561.27/562.95 c bounds - >= 3 @ 299.341
561.27/562.95 c bounds - >= 4 @ 299.37
561.27/562.95 c bounds - >= 5 @ 299.371
561.27/562.95 c bounds - >= 6 @ 299.373
561.27/562.95 c bounds - >= 7 @ 299.374
561.27/562.95 c #Conflicts: 1000 | #Constraints: 54230
561.27/562.95 c #Conflicts: 2000 | #Constraints: 55230
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 3000 | #Constraints: 55231
561.27/562.95 c #Conflicts: 4000 | #Constraints: 56231
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 5000 | #Constraints: 55644
561.27/562.95 c #Conflicts: 6000 | #Constraints: 56644
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 7000 | #Constraints: 55647
561.27/562.95 c #Conflicts: 8000 | #Constraints: 56647
561.27/562.95 c #Conflicts: 9000 | #Constraints: 57647
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 10000 | #Constraints: 56351
561.27/562.95 c #Conflicts: 11000 | #Constraints: 57351
561.27/562.95 c #Conflicts: 12000 | #Constraints: 58351
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 13000 | #Constraints: 56798
561.27/562.95 c #Conflicts: 14000 | #Constraints: 57798
561.27/562.95 c #Conflicts: 15000 | #Constraints: 58798
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 16000 | #Constraints: 57029
561.27/562.95 c #Conflicts: 17000 | #Constraints: 58029
561.27/562.95 c #Conflicts: 18000 | #Constraints: 59029
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 19000 | #Constraints: 57051
561.27/562.95 c #Conflicts: 20000 | #Constraints: 58051
561.27/562.95 c #Conflicts: 21000 | #Constraints: 59051
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 22000 | #Constraints: 56857
561.27/562.95 c #Conflicts: 23000 | #Constraints: 57857
561.27/562.95 c #Conflicts: 24000 | #Constraints: 58857
561.27/562.95 c #Conflicts: 25000 | #Constraints: 59857
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 26000 | #Constraints: 57470
561.27/562.95 c #Conflicts: 27000 | #Constraints: 58470
561.27/562.95 c #Conflicts: 28000 | #Constraints: 59470
561.27/562.95 c #Conflicts: 29000 | #Constraints: 60470
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 30000 | #Constraints: 57863
561.27/562.95 c #Conflicts: 31000 | #Constraints: 58863
561.27/562.95 c #Conflicts: 32000 | #Constraints: 59863
561.27/562.95 c #Conflicts: 33000 | #Constraints: 60863
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 34000 | #Constraints: 58067
561.27/562.95 c #Conflicts: 35000 | #Constraints: 59067
561.27/562.95 c #Conflicts: 36000 | #Constraints: 60067
561.27/562.95 c #Conflicts: 37000 | #Constraints: 61067
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 38000 | #Constraints: 58089
561.27/562.95 c #Conflicts: 39000 | #Constraints: 59089
561.27/562.95 c #Conflicts: 40000 | #Constraints: 60089
561.27/562.95 c #Conflicts: 41000 | #Constraints: 61089
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 42000 | #Constraints: 57889
561.27/562.95 c #Conflicts: 43000 | #Constraints: 58889
561.27/562.95 c #Conflicts: 44000 | #Constraints: 59889
561.27/562.95 c #Conflicts: 45000 | #Constraints: 60889
561.27/562.95 c #Conflicts: 46000 | #Constraints: 61889
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 47000 | #Constraints: 58476
561.27/562.95 c #Conflicts: 48000 | #Constraints: 59476
561.27/562.95 c #Conflicts: 49000 | #Constraints: 60476
561.27/562.95 c #Conflicts: 50000 | #Constraints: 61476
561.27/562.95 c #Conflicts: 51000 | #Constraints: 62476
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 52000 | #Constraints: 58870
561.27/562.95 c #Conflicts: 53000 | #Constraints: 59870
561.27/562.95 c #Conflicts: 54000 | #Constraints: 60870
561.27/562.95 c #Conflicts: 55000 | #Constraints: 61870
561.27/562.95 c #Conflicts: 56000 | #Constraints: 62870
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 57000 | #Constraints: 59078
561.27/562.95 c #Conflicts: 58000 | #Constraints: 60078
561.27/562.95 c #Conflicts: 59000 | #Constraints: 61078
561.27/562.95 c #Conflicts: 60000 | #Constraints: 62078
561.27/562.95 c #Conflicts: 61000 | #Constraints: 63078
561.27/562.95 c INPROCESSING
561.27/562.95 c GARBAGE COLLECT
561.27/562.95 c #Conflicts: 62000 | #Constraints: 59079
561.27/562.95 c #Conflicts: 63000 | #Constraints: 60079
561.27/562.95 c #Conflicts: 64000 | #Constraints: 61079
561.27/562.95 c #Conflicts: 65000 | #Constraints: 62079
886.46/889.00 c #Conflicts: 66000 | #Constraints: 63079
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 67000 | #Constraints: 58883
886.46/889.00 c #Conflicts: 68000 | #Constraints: 59883
886.46/889.00 c #Conflicts: 69000 | #Constraints: 60883
886.46/889.00 c #Conflicts: 70000 | #Constraints: 61883
886.46/889.00 c #Conflicts: 71000 | #Constraints: 62883
886.46/889.00 c #Conflicts: 72000 | #Constraints: 63883
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 73000 | #Constraints: 59495
886.46/889.00 c #Conflicts: 74000 | #Constraints: 60495
886.46/889.00 c #Conflicts: 75000 | #Constraints: 61495
886.46/889.00 c #Conflicts: 76000 | #Constraints: 62495
886.46/889.00 c #Conflicts: 77000 | #Constraints: 63495
886.46/889.00 c #Conflicts: 78000 | #Constraints: 64495
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 79000 | #Constraints: 59890
886.46/889.00 c #Conflicts: 80000 | #Constraints: 60890
886.46/889.00 c #Conflicts: 81000 | #Constraints: 61890
886.46/889.00 c #Conflicts: 82000 | #Constraints: 62890
886.46/889.00 c #Conflicts: 83000 | #Constraints: 63890
886.46/889.00 c #Conflicts: 84000 | #Constraints: 64890
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 85000 | #Constraints: 60090
886.46/889.00 c #Conflicts: 86000 | #Constraints: 61090
886.46/889.00 c #Conflicts: 87000 | #Constraints: 62090
886.46/889.00 c #Conflicts: 88000 | #Constraints: 63090
886.46/889.00 c #Conflicts: 89000 | #Constraints: 64090
886.46/889.00 c #Conflicts: 90000 | #Constraints: 65090
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 91000 | #Constraints: 60095
886.46/889.00 c #Conflicts: 92000 | #Constraints: 61095
886.46/889.00 c #Conflicts: 93000 | #Constraints: 62095
886.46/889.00 c #Conflicts: 94000 | #Constraints: 63095
886.46/889.00 c #Conflicts: 95000 | #Constraints: 64095
886.46/889.00 c #Conflicts: 96000 | #Constraints: 65095
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 97000 | #Constraints: 59928
886.46/889.00 c #Conflicts: 98000 | #Constraints: 60928
886.46/889.00 c #Conflicts: 99000 | #Constraints: 61928
886.46/889.00 c #Conflicts: 100000 | #Constraints: 62928
886.46/889.00 c #Conflicts: 101000 | #Constraints: 63928
886.46/889.00 c #Conflicts: 102000 | #Constraints: 64928
886.46/889.00 c #Conflicts: 103000 | #Constraints: 65928
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 104000 | #Constraints: 60490
886.46/889.00 c #Conflicts: 105000 | #Constraints: 61490
886.46/889.00 c #Conflicts: 106000 | #Constraints: 62490
886.46/889.00 c #Conflicts: 107000 | #Constraints: 63490
886.46/889.00 c #Conflicts: 108000 | #Constraints: 64490
886.46/889.00 c #Conflicts: 109000 | #Constraints: 65490
886.46/889.00 c #Conflicts: 110000 | #Constraints: 66490
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 111000 | #Constraints: 60893
886.46/889.00 c #Conflicts: 112000 | #Constraints: 61893
886.46/889.00 c #Conflicts: 113000 | #Constraints: 62893
886.46/889.00 c #Conflicts: 114000 | #Constraints: 63893
886.46/889.00 c #Conflicts: 115000 | #Constraints: 64893
886.46/889.00 c #Conflicts: 116000 | #Constraints: 65893
886.46/889.00 c #Conflicts: 117000 | #Constraints: 66893
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 118000 | #Constraints: 61101
886.46/889.00 c #Conflicts: 119000 | #Constraints: 62101
886.46/889.00 c #Conflicts: 120000 | #Constraints: 63101
886.46/889.00 c #Conflicts: 121000 | #Constraints: 64101
886.46/889.00 c #Conflicts: 122000 | #Constraints: 65101
886.46/889.00 c #Conflicts: 123000 | #Constraints: 66101
886.46/889.00 c #Conflicts: 124000 | #Constraints: 67101
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 125000 | #Constraints: 61091
886.46/889.00 c #Conflicts: 126000 | #Constraints: 62091
886.46/889.00 c #Conflicts: 127000 | #Constraints: 63091
886.46/889.00 c #Conflicts: 128000 | #Constraints: 64091
886.46/889.00 c #Conflicts: 129000 | #Constraints: 65091
886.46/889.00 c #Conflicts: 130000 | #Constraints: 66091
886.46/889.00 c #Conflicts: 131000 | #Constraints: 67091
886.46/889.00 c INPROCESSING
886.46/889.00 c GARBAGE COLLECT
886.46/889.00 c #Conflicts: 132000 | #Constraints: 60886
886.46/889.00 c #Conflicts: 133000 | #Constraints: 61886
886.46/889.00 c #Conflicts: 134000 | #Constraints: 62886
886.46/889.00 c #Conflicts: 135000 | #Constraints: 63886
886.46/889.00 c #Conflicts: 136000 | #Constraints: 64886
886.46/889.00 c #Conflicts: 137000 | #Constraints: 65886
1134.42/1137.52 c #Conflicts: 138000 | #Constraints: 66886
1134.42/1137.52 c #Conflicts: 139000 | #Constraints: 67886
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 140000 | #Constraints: 61502
1134.42/1137.52 c #Conflicts: 141000 | #Constraints: 62502
1134.42/1137.52 c #Conflicts: 142000 | #Constraints: 63502
1134.42/1137.52 c #Conflicts: 143000 | #Constraints: 64502
1134.42/1137.52 c #Conflicts: 144000 | #Constraints: 65502
1134.42/1137.52 c #Conflicts: 145000 | #Constraints: 66502
1134.42/1137.52 c #Conflicts: 146000 | #Constraints: 67502
1134.42/1137.52 c #Conflicts: 147000 | #Constraints: 68502
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 148000 | #Constraints: 61896
1134.42/1137.52 c #Conflicts: 149000 | #Constraints: 62896
1134.42/1137.52 c #Conflicts: 150000 | #Constraints: 63896
1134.42/1137.52 c #Conflicts: 151000 | #Constraints: 64896
1134.42/1137.52 c #Conflicts: 152000 | #Constraints: 65896
1134.42/1137.52 c #Conflicts: 153000 | #Constraints: 66896
1134.42/1137.52 c #Conflicts: 154000 | #Constraints: 67896
1134.42/1137.52 c #Conflicts: 155000 | #Constraints: 68896
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 156000 | #Constraints: 62101
1134.42/1137.52 c #Conflicts: 157000 | #Constraints: 63101
1134.42/1137.52 c #Conflicts: 158000 | #Constraints: 64101
1134.42/1137.52 c #Conflicts: 159000 | #Constraints: 65101
1134.42/1137.52 c #Conflicts: 160000 | #Constraints: 66101
1134.42/1137.52 c #Conflicts: 161000 | #Constraints: 67101
1134.42/1137.52 c #Conflicts: 162000 | #Constraints: 68101
1134.42/1137.52 c #Conflicts: 163000 | #Constraints: 69101
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 164000 | #Constraints: 62094
1134.42/1137.52 c #Conflicts: 165000 | #Constraints: 63094
1134.42/1137.52 c #Conflicts: 166000 | #Constraints: 64094
1134.42/1137.52 c #Conflicts: 167000 | #Constraints: 65094
1134.42/1137.52 c #Conflicts: 168000 | #Constraints: 66094
1134.42/1137.52 c #Conflicts: 169000 | #Constraints: 67094
1134.42/1137.52 c #Conflicts: 170000 | #Constraints: 68094
1134.42/1137.52 c #Conflicts: 171000 | #Constraints: 69094
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 172000 | #Constraints: 61906
1134.42/1137.52 c #Conflicts: 173000 | #Constraints: 62906
1134.42/1137.52 c #Conflicts: 174000 | #Constraints: 63906
1134.42/1137.52 c #Conflicts: 175000 | #Constraints: 64906
1134.42/1137.52 c #Conflicts: 176000 | #Constraints: 65906
1134.42/1137.52 c #Conflicts: 177000 | #Constraints: 66906
1134.42/1137.52 c #Conflicts: 178000 | #Constraints: 67906
1134.42/1137.52 c #Conflicts: 179000 | #Constraints: 68906
1134.42/1137.52 c #Conflicts: 180000 | #Constraints: 69906
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 181000 | #Constraints: 62494
1134.42/1137.52 c #Conflicts: 182000 | #Constraints: 63494
1134.42/1137.52 c #Conflicts: 183000 | #Constraints: 64494
1134.42/1137.52 c #Conflicts: 184000 | #Constraints: 65494
1134.42/1137.52 c #Conflicts: 185000 | #Constraints: 66494
1134.42/1137.52 c #Conflicts: 186000 | #Constraints: 67494
1134.42/1137.52 c #Conflicts: 187000 | #Constraints: 68494
1134.42/1137.52 c #Conflicts: 188000 | #Constraints: 69494
1134.42/1137.52 c #Conflicts: 189000 | #Constraints: 70494
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 190000 | #Constraints: 62893
1134.42/1137.52 c #Conflicts: 191000 | #Constraints: 63893
1134.42/1137.52 c #Conflicts: 192000 | #Constraints: 64893
1134.42/1137.52 c #Conflicts: 193000 | #Constraints: 65893
1134.42/1137.52 c #Conflicts: 194000 | #Constraints: 66893
1134.42/1137.52 c #Conflicts: 195000 | #Constraints: 67893
1134.42/1137.52 c #Conflicts: 196000 | #Constraints: 68893
1134.42/1137.52 c #Conflicts: 197000 | #Constraints: 69893
1134.42/1137.52 c #Conflicts: 198000 | #Constraints: 70893
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 199000 | #Constraints: 63111
1134.42/1137.52 c #Conflicts: 200000 | #Constraints: 64111
1134.42/1137.52 c #Conflicts: 201000 | #Constraints: 65111
1134.42/1137.52 c #Conflicts: 202000 | #Constraints: 66111
1134.42/1137.52 c #Conflicts: 203000 | #Constraints: 67111
1134.42/1137.52 c #Conflicts: 204000 | #Constraints: 68111
1134.42/1137.52 c #Conflicts: 205000 | #Constraints: 69111
1134.42/1137.52 c #Conflicts: 206000 | #Constraints: 70111
1134.42/1137.52 c #Conflicts: 207000 | #Constraints: 71111
1134.42/1137.52 c INPROCESSING
1134.42/1137.52 c GARBAGE COLLECT
1134.42/1137.52 c #Conflicts: 208000 | #Constraints: 63143
1134.42/1137.52 c #Conflicts: 209000 | #Constraints: 64143
1134.42/1137.52 c #Conflicts: 210000 | #Constraints: 65143
1365.06/1368.77 c #Conflicts: 211000 | #Constraints: 66143
1365.06/1368.77 c #Conflicts: 212000 | #Constraints: 67143
1365.06/1368.77 c #Conflicts: 213000 | #Constraints: 68143
1365.06/1368.77 c #Conflicts: 214000 | #Constraints: 69143
1365.06/1368.77 c #Conflicts: 215000 | #Constraints: 70143
1365.06/1368.77 c #Conflicts: 216000 | #Constraints: 71143
1365.06/1368.77 c INPROCESSING
1365.06/1368.77 c GARBAGE COLLECT
1365.06/1368.77 c #Conflicts: 217000 | #Constraints: 62942
1365.06/1368.77 c #Conflicts: 218000 | #Constraints: 63942
1365.06/1368.77 c #Conflicts: 219000 | #Constraints: 64942
1365.06/1368.77 c #Conflicts: 220000 | #Constraints: 65942
1365.06/1368.77 c #Conflicts: 221000 | #Constraints: 66942
1365.06/1368.77 c #Conflicts: 222000 | #Constraints: 67942
1365.06/1368.77 c #Conflicts: 223000 | #Constraints: 68942
1365.06/1368.77 c #Conflicts: 224000 | #Constraints: 69942
1365.06/1368.77 c #Conflicts: 225000 | #Constraints: 70942
1365.06/1368.77 c #Conflicts: 226000 | #Constraints: 71942
1365.06/1368.77 c INPROCESSING
1365.06/1368.77 c GARBAGE COLLECT
1365.06/1368.77 c #Conflicts: 227000 | #Constraints: 63533
1365.06/1368.77 c #Conflicts: 228000 | #Constraints: 64533
1365.06/1368.77 c #Conflicts: 229000 | #Constraints: 65533
1365.06/1368.77 c #Conflicts: 230000 | #Constraints: 66533
1365.06/1368.77 c #Conflicts: 231000 | #Constraints: 67533
1365.06/1368.77 c #Conflicts: 232000 | #Constraints: 68533
1365.06/1368.77 c #Conflicts: 233000 | #Constraints: 69533
1365.06/1368.77 c #Conflicts: 234000 | #Constraints: 70533
1365.06/1368.77 c #Conflicts: 235000 | #Constraints: 71533
1365.06/1368.77 c #Conflicts: 236000 | #Constraints: 72533
1365.06/1368.77 c INPROCESSING
1365.06/1368.77 c GARBAGE COLLECT
1365.06/1368.77 c #Conflicts: 237000 | #Constraints: 63918
1365.06/1368.77 c #Conflicts: 238000 | #Constraints: 64918
1365.06/1368.77 c #Conflicts: 239000 | #Constraints: 65918
1365.06/1368.77 c #Conflicts: 240000 | #Constraints: 66918
1365.06/1368.77 c #Conflicts: 241000 | #Constraints: 67918
1365.06/1368.77 c #Conflicts: 242000 | #Constraints: 68918
1365.06/1368.77 c #Conflicts: 243000 | #Constraints: 69918
1365.06/1368.77 c #Conflicts: 244000 | #Constraints: 70918
1365.06/1368.77 c #Conflicts: 245000 | #Constraints: 71918
1365.06/1368.77 c #Conflicts: 246000 | #Constraints: 72918
1365.06/1368.77 c INPROCESSING
1365.06/1368.77 c GARBAGE COLLECT
1365.06/1368.77 c #Conflicts: 247000 | #Constraints: 64123
1365.06/1368.77 c #Conflicts: 248000 | #Constraints: 65123
1365.06/1368.77 c #Conflicts: 249000 | #Constraints: 66123
1365.06/1368.77 c #Conflicts: 250000 | #Constraints: 67123
1365.06/1368.77 c #Conflicts: 251000 | #Constraints: 68123
1365.06/1368.77 c #Conflicts: 252000 | #Constraints: 69123
1365.06/1368.77 c #Conflicts: 253000 | #Constraints: 70123
1365.06/1368.77 c #Conflicts: 254000 | #Constraints: 71123
1365.06/1368.77 c #Conflicts: 255000 | #Constraints: 72123
1365.06/1368.77 c #Conflicts: 256000 | #Constraints: 73123
1365.06/1368.77 c INPROCESSING
1365.06/1368.77 c GARBAGE COLLECT
1365.06/1368.77 c #Conflicts: 257000 | #Constraints: 64099
1365.06/1368.77 c #Conflicts: 258000 | #Constraints: 65099
1365.06/1368.77 c #Conflicts: 259000 | #Constraints: 66099
1365.06/1368.77 c #Conflicts: 260000 | #Constraints: 67099
1365.06/1368.77 c #Conflicts: 261000 | #Constraints: 68099
1365.06/1368.77 c #Conflicts: 262000 | #Constraints: 69099
1365.06/1368.77 c #Conflicts: 263000 | #Constraints: 70099
1365.06/1368.77 c #Conflicts: 264000 | #Constraints: 71099
1365.06/1368.77 c #Conflicts: 265000 | #Constraints: 72099
1365.06/1368.77 c #Conflicts: 266000 | #Constraints: 73099
1365.06/1368.77 c INPROCESSING
1365.06/1368.77 c GARBAGE COLLECT
1365.06/1368.77 c #Conflicts: 267000 | #Constraints: 63907
1365.06/1368.77 c #Conflicts: 268000 | #Constraints: 64907
1365.06/1368.77 c #Conflicts: 269000 | #Constraints: 65907
1365.06/1368.77 c #Conflicts: 270000 | #Constraints: 66907
1365.06/1368.77 c #Conflicts: 271000 | #Constraints: 67907
1365.06/1368.77 c #Conflicts: 272000 | #Constraints: 68907
1365.06/1368.77 c #Conflicts: 273000 | #Constraints: 69907
1365.06/1368.77 c #Conflicts: 274000 | #Constraints: 70907
1365.06/1368.77 c #Conflicts: 275000 | #Constraints: 71907
1365.06/1368.77 c #Conflicts: 276000 | #Constraints: 72907
1365.06/1368.77 c #Conflicts: 277000 | #Constraints: 73907
1365.06/1368.77 c INPROCESSING
1365.06/1368.77 c GARBAGE COLLECT
1365.06/1368.77 c #Conflicts: 278000 | #Constraints: 64508
1365.06/1368.77 c #Conflicts: 279000 | #Constraints: 65508
1365.06/1368.77 c #Conflicts: 280000 | #Constraints: 66508
1365.06/1368.77 c #Conflicts: 281000 | #Constraints: 67508
1365.06/1368.77 c #Conflicts: 282000 | #Constraints: 68508
1365.06/1368.77 c #Conflicts: 283000 | #Constraints: 69508
1365.06/1368.77 c #Conflicts: 284000 | #Constraints: 70508
1596.40/1600.68 c #Conflicts: 285000 | #Constraints: 71508
1596.40/1600.68 c #Conflicts: 286000 | #Constraints: 72508
1596.40/1600.68 c #Conflicts: 287000 | #Constraints: 73508
1596.40/1600.68 c #Conflicts: 288000 | #Constraints: 74508
1596.40/1600.68 c INPROCESSING
1596.40/1600.68 c GARBAGE COLLECT
1596.40/1600.68 c #Conflicts: 289000 | #Constraints: 64930
1596.40/1600.68 c #Conflicts: 290000 | #Constraints: 65930
1596.40/1600.68 c #Conflicts: 291000 | #Constraints: 66930
1596.40/1600.68 c #Conflicts: 292000 | #Constraints: 67930
1596.40/1600.68 c #Conflicts: 293000 | #Constraints: 68930
1596.40/1600.68 c #Conflicts: 294000 | #Constraints: 69930
1596.40/1600.68 c #Conflicts: 295000 | #Constraints: 70930
1596.40/1600.68 c #Conflicts: 296000 | #Constraints: 71930
1596.40/1600.68 c #Conflicts: 297000 | #Constraints: 72930
1596.40/1600.68 c #Conflicts: 298000 | #Constraints: 73930
1596.40/1600.68 c #Conflicts: 299000 | #Constraints: 74930
1596.40/1600.68 c INPROCESSING
1596.40/1600.68 c GARBAGE COLLECT
1596.40/1600.68 c #Conflicts: 300000 | #Constraints: 65159
1596.40/1600.68 c #Conflicts: 301000 | #Constraints: 66159
1596.40/1600.68 c #Conflicts: 302000 | #Constraints: 67159
1596.40/1600.68 c #Conflicts: 303000 | #Constraints: 68159
1596.40/1600.68 c #Conflicts: 304000 | #Constraints: 69159
1596.40/1600.68 c #Conflicts: 305000 | #Constraints: 70159
1596.40/1600.68 c #Conflicts: 306000 | #Constraints: 71159
1596.40/1600.68 c #Conflicts: 307000 | #Constraints: 72159
1596.40/1600.68 c #Conflicts: 308000 | #Constraints: 73159
1596.40/1600.68 c #Conflicts: 309000 | #Constraints: 74159
1596.40/1600.68 c #Conflicts: 310000 | #Constraints: 75159
1596.40/1600.68 c INPROCESSING
1596.40/1600.68 c GARBAGE COLLECT
1596.40/1600.68 c #Conflicts: 311000 | #Constraints: 65145
1596.40/1600.68 c #Conflicts: 312000 | #Constraints: 66145
1596.40/1600.68 c #Conflicts: 313000 | #Constraints: 67145
1596.40/1600.68 c #Conflicts: 314000 | #Constraints: 68145
1596.40/1600.68 c #Conflicts: 315000 | #Constraints: 69145
1596.40/1600.68 c #Conflicts: 316000 | #Constraints: 70145
1596.40/1600.68 c #Conflicts: 317000 | #Constraints: 71145
1596.40/1600.68 c #Conflicts: 318000 | #Constraints: 72145
1596.40/1600.68 c #Conflicts: 319000 | #Constraints: 73145
1596.40/1600.68 c #Conflicts: 320000 | #Constraints: 74145
1596.40/1600.68 c #Conflicts: 321000 | #Constraints: 75145
1596.40/1600.68 c INPROCESSING
1596.40/1600.68 c GARBAGE COLLECT
1596.40/1600.68 c #Conflicts: 322000 | #Constraints: 64917
1596.40/1600.68 c #Conflicts: 323000 | #Constraints: 65917
1596.40/1600.68 c #Conflicts: 324000 | #Constraints: 66917
1596.40/1600.68 c #Conflicts: 325000 | #Constraints: 67917
1596.40/1600.68 c #Conflicts: 326000 | #Constraints: 68917
1596.40/1600.68 c #Conflicts: 327000 | #Constraints: 69917
1596.40/1600.68 c #Conflicts: 328000 | #Constraints: 70917
1596.40/1600.68 c #Conflicts: 329000 | #Constraints: 71917
1596.40/1600.68 c #Conflicts: 330000 | #Constraints: 72917
1596.40/1600.68 c #Conflicts: 331000 | #Constraints: 73917
1596.40/1600.68 c #Conflicts: 332000 | #Constraints: 74917
1596.40/1600.68 c #Conflicts: 333000 | #Constraints: 75917
1596.40/1600.68 c INPROCESSING
1596.40/1600.68 c GARBAGE COLLECT
1596.40/1600.68 c #Conflicts: 334000 | #Constraints: 65504
1596.40/1600.68 c #Conflicts: 335000 | #Constraints: 66504
1596.40/1600.68 c #Conflicts: 336000 | #Constraints: 67504
1596.40/1600.68 c #Conflicts: 337000 | #Constraints: 68504
1596.40/1600.68 c #Conflicts: 338000 | #Constraints: 69504
1596.40/1600.68 c #Conflicts: 339000 | #Constraints: 70504
1596.40/1600.68 c #Conflicts: 340000 | #Constraints: 71504
1596.40/1600.68 c #Conflicts: 341000 | #Constraints: 72504
1596.40/1600.68 c #Conflicts: 342000 | #Constraints: 73504
1596.40/1600.68 c #Conflicts: 343000 | #Constraints: 74504
1596.40/1600.68 c #Conflicts: 344000 | #Constraints: 75504
1596.40/1600.68 c #Conflicts: 345000 | #Constraints: 76504
1596.40/1600.68 c INPROCESSING
1596.40/1600.68 c GARBAGE COLLECT
1596.40/1600.68 c #Conflicts: 346000 | #Constraints: 65909
1596.40/1600.68 c #Conflicts: 347000 | #Constraints: 66909
1596.40/1600.68 c #Conflicts: 348000 | #Constraints: 67909
1596.40/1600.68 c #Conflicts: 349000 | #Constraints: 68909
1596.40/1600.68 c #Conflicts: 350000 | #Constraints: 69909
1596.40/1600.68 c #Conflicts: 351000 | #Constraints: 70909
1596.40/1600.68 c #Conflicts: 352000 | #Constraints: 71909
1596.40/1600.68 c #Conflicts: 353000 | #Constraints: 72909
1596.40/1600.68 c #Conflicts: 354000 | #Constraints: 73909
1596.40/1600.68 c #Conflicts: 355000 | #Constraints: 74909
1596.40/1600.68 c #Conflicts: 356000 | #Constraints: 75909
1596.40/1600.68 c #Conflicts: 357000 | #Constraints: 76909
1596.40/1600.68 c INPROCESSING
1596.40/1600.68 c GARBAGE COLLECT
1596.40/1600.68 c #Conflicts: 358000 | #Constraints: 66139
1852.99/1857.85 c #Conflicts: 359000 | #Constraints: 67139
1852.99/1857.85 c #Conflicts: 360000 | #Constraints: 68139
1852.99/1857.85 c #Conflicts: 361000 | #Constraints: 69139
1852.99/1857.85 c #Conflicts: 362000 | #Constraints: 70139
1852.99/1857.85 c #Conflicts: 363000 | #Constraints: 71139
1852.99/1857.85 c #Conflicts: 364000 | #Constraints: 72139
1852.99/1857.85 c #Conflicts: 365000 | #Constraints: 73139
1852.99/1857.85 c #Conflicts: 366000 | #Constraints: 74139
1852.99/1857.85 c #Conflicts: 367000 | #Constraints: 75139
1852.99/1857.85 c #Conflicts: 368000 | #Constraints: 76139
1852.99/1857.85 c #Conflicts: 369000 | #Constraints: 77139
1852.99/1857.85 c INPROCESSING
1852.99/1857.85 c GARBAGE COLLECT
1852.99/1857.85 c #Conflicts: 370000 | #Constraints: 66157
1852.99/1857.85 c #Conflicts: 371000 | #Constraints: 67157
1852.99/1857.85 c #Conflicts: 372000 | #Constraints: 68157
1852.99/1857.85 c #Conflicts: 373000 | #Constraints: 69157
1852.99/1857.85 c #Conflicts: 374000 | #Constraints: 70157
1852.99/1857.85 c #Conflicts: 375000 | #Constraints: 71157
1852.99/1857.85 c #Conflicts: 376000 | #Constraints: 72157
1852.99/1857.85 c #Conflicts: 377000 | #Constraints: 73157
1852.99/1857.85 c #Conflicts: 378000 | #Constraints: 74157
1852.99/1857.85 c #Conflicts: 379000 | #Constraints: 75157
1852.99/1857.85 c #Conflicts: 380000 | #Constraints: 76157
1852.99/1857.85 c #Conflicts: 381000 | #Constraints: 77157
1852.99/1857.85 c INPROCESSING
1852.99/1857.85 c GARBAGE COLLECT
1852.99/1857.85 c #Conflicts: 382000 | #Constraints: 65950
1852.99/1857.85 c #Conflicts: 383000 | #Constraints: 66950
1852.99/1857.85 c #Conflicts: 384000 | #Constraints: 67950
1852.99/1857.85 c #Conflicts: 385000 | #Constraints: 68950
1852.99/1857.85 c #Conflicts: 386000 | #Constraints: 69950
1852.99/1857.85 c #Conflicts: 387000 | #Constraints: 70950
1852.99/1857.85 c #Conflicts: 388000 | #Constraints: 71950
1852.99/1857.85 c #Conflicts: 389000 | #Constraints: 72950
1852.99/1857.85 c #Conflicts: 390000 | #Constraints: 73950
1852.99/1857.85 c #Conflicts: 391000 | #Constraints: 74950
1852.99/1857.85 c #Conflicts: 392000 | #Constraints: 75950
1852.99/1857.85 c #Conflicts: 393000 | #Constraints: 76950
1852.99/1857.85 c #Conflicts: 394000 | #Constraints: 77950
1852.99/1857.85 c INPROCESSING
1852.99/1857.85 c GARBAGE COLLECT
1852.99/1857.85 c #Conflicts: 395000 | #Constraints: 66564
1852.99/1857.85 c #Conflicts: 396000 | #Constraints: 67564
1852.99/1857.85 c #Conflicts: 397000 | #Constraints: 68564
1852.99/1857.85 c #Conflicts: 398000 | #Constraints: 69564
1852.99/1857.85 c #Conflicts: 399000 | #Constraints: 70564
1852.99/1857.85 c #Conflicts: 400000 | #Constraints: 71564
1852.99/1857.85 c #Conflicts: 401000 | #Constraints: 72564
1852.99/1857.85 c #Conflicts: 402000 | #Constraints: 73564
1852.99/1857.85 c #Conflicts: 403000 | #Constraints: 74564
1852.99/1857.85 c #Conflicts: 404000 | #Constraints: 75564
1852.99/1857.85 c #Conflicts: 405000 | #Constraints: 76564
1852.99/1857.85 c #Conflicts: 406000 | #Constraints: 77564
1852.99/1857.85 c #Conflicts: 407000 | #Constraints: 78564
1852.99/1857.85 c INPROCESSING
1852.99/1857.85 c GARBAGE COLLECT
1852.99/1857.85 c #Conflicts: 408000 | #Constraints: 66961
1852.99/1857.85 c #Conflicts: 409000 | #Constraints: 67961
1852.99/1857.85 c #Conflicts: 410000 | #Constraints: 68961
1852.99/1857.85 c #Conflicts: 411000 | #Constraints: 69961
1852.99/1857.85 c #Conflicts: 412000 | #Constraints: 70961
1852.99/1857.85 c #Conflicts: 413000 | #Constraints: 71961
1852.99/1857.85 c #Conflicts: 414000 | #Constraints: 72961
1852.99/1857.85 c #Conflicts: 415000 | #Constraints: 73961
1852.99/1857.85 c #Conflicts: 416000 | #Constraints: 74961
1852.99/1857.85 c #Conflicts: 417000 | #Constraints: 75961
1852.99/1857.85 c #Conflicts: 418000 | #Constraints: 76961
1852.99/1857.85 c #Conflicts: 419000 | #Constraints: 77961
1852.99/1857.85 c #Conflicts: 420000 | #Constraints: 78961
1852.99/1857.85 c INPROCESSING
1852.99/1857.85 c GARBAGE COLLECT
1852.99/1857.85 c #Conflicts: 421000 | #Constraints: 67169
1852.99/1857.85 c #Conflicts: 422000 | #Constraints: 68169
1852.99/1857.85 c #Conflicts: 423000 | #Constraints: 69169
1852.99/1857.85 c #Conflicts: 424000 | #Constraints: 70169
1852.99/1857.85 c #Conflicts: 425000 | #Constraints: 71169
1852.99/1857.85 c #Conflicts: 426000 | #Constraints: 72169
1852.99/1857.85 c #Conflicts: 427000 | #Constraints: 73169
1852.99/1857.85 c #Conflicts: 428000 | #Constraints: 74169
1852.99/1857.85 c #Conflicts: 429000 | #Constraints: 75169
1852.99/1857.85 c #Conflicts: 430000 | #Constraints: 76169
1852.99/1857.85 c #Conflicts: 431000 | #Constraints: 77169
1852.99/1857.85 c #Conflicts: 432000 | #Constraints: 78169
1852.99/1857.85 c #Conflicts: 433000 | #Constraints: 79169
1852.99/1857.85 c INPROCESSING
1852.99/1857.85 c GARBAGE COLLECT
2208.94/2214.63 c #Conflicts: 434000 | #Constraints: 67189
2208.94/2214.63 c #Conflicts: 435000 | #Constraints: 68189
2208.94/2214.63 c #Conflicts: 436000 | #Constraints: 69189
2208.94/2214.63 c #Conflicts: 437000 | #Constraints: 70189
2208.94/2214.63 c #Conflicts: 438000 | #Constraints: 71189
2208.94/2214.63 c #Conflicts: 439000 | #Constraints: 72189
2208.94/2214.63 c #Conflicts: 440000 | #Constraints: 73189
2208.94/2214.63 c #Conflicts: 441000 | #Constraints: 74189
2208.94/2214.63 c #Conflicts: 442000 | #Constraints: 75189
2208.94/2214.63 c #Conflicts: 443000 | #Constraints: 76189
2208.94/2214.63 c #Conflicts: 444000 | #Constraints: 77189
2208.94/2214.63 c #Conflicts: 445000 | #Constraints: 78189
2208.94/2214.63 c #Conflicts: 446000 | #Constraints: 79189
2208.94/2214.63 c INPROCESSING
2208.94/2214.63 c GARBAGE COLLECT
2208.94/2214.63 c #Conflicts: 447000 | #Constraints: 67020
2208.94/2214.63 c #Conflicts: 448000 | #Constraints: 68020
2208.94/2214.63 c #Conflicts: 449000 | #Constraints: 69020
2208.94/2214.63 c #Conflicts: 450000 | #Constraints: 70020
2208.94/2214.63 c #Conflicts: 451000 | #Constraints: 71020
2208.94/2214.63 c #Conflicts: 452000 | #Constraints: 72020
2208.94/2214.63 c #Conflicts: 453000 | #Constraints: 73020
2208.94/2214.63 c #Conflicts: 454000 | #Constraints: 74020
2208.94/2214.63 c #Conflicts: 455000 | #Constraints: 75020
2208.94/2214.63 c #Conflicts: 456000 | #Constraints: 76020
2208.94/2214.63 c #Conflicts: 457000 | #Constraints: 77020
2208.94/2214.63 c #Conflicts: 458000 | #Constraints: 78020
2208.94/2214.63 c #Conflicts: 459000 | #Constraints: 79020
2208.94/2214.63 c #Conflicts: 460000 | #Constraints: 80020
2208.94/2214.63 c INPROCESSING
2208.94/2214.63 c GARBAGE COLLECT
2208.94/2214.63 c #Conflicts: 461000 | #Constraints: 67555
2208.94/2214.63 c #Conflicts: 462000 | #Constraints: 68555
2208.94/2214.63 c #Conflicts: 463000 | #Constraints: 69555
2208.94/2214.63 c #Conflicts: 464000 | #Constraints: 70555
2208.94/2214.63 c #Conflicts: 465000 | #Constraints: 71555
2208.94/2214.63 c #Conflicts: 466000 | #Constraints: 72555
2208.94/2214.63 c #Conflicts: 467000 | #Constraints: 73555
2208.94/2214.63 c #Conflicts: 468000 | #Constraints: 74555
2208.94/2214.63 c #Conflicts: 469000 | #Constraints: 75555
2208.94/2214.63 c #Conflicts: 470000 | #Constraints: 76555
2208.94/2214.63 c #Conflicts: 471000 | #Constraints: 77555
2208.94/2214.63 c #Conflicts: 472000 | #Constraints: 78555
2208.94/2214.63 c #Conflicts: 473000 | #Constraints: 79555
2208.94/2214.63 c #Conflicts: 474000 | #Constraints: 80555
2208.94/2214.63 c INPROCESSING
2208.94/2214.63 c GARBAGE COLLECT
2208.94/2214.63 c #Conflicts: 475000 | #Constraints: 67946
2208.94/2214.63 c #Conflicts: 476000 | #Constraints: 68946
2208.94/2214.63 c #Conflicts: 477000 | #Constraints: 69946
2208.94/2214.63 c #Conflicts: 478000 | #Constraints: 70946
2208.94/2214.63 c #Conflicts: 479000 | #Constraints: 71946
2208.94/2214.63 c #Conflicts: 480000 | #Constraints: 72946
2208.94/2214.63 c #Conflicts: 481000 | #Constraints: 73946
2208.94/2214.63 c #Conflicts: 482000 | #Constraints: 74946
2208.94/2214.63 c #Conflicts: 483000 | #Constraints: 75946
2208.94/2214.63 c #Conflicts: 484000 | #Constraints: 76946
2208.94/2214.63 c #Conflicts: 485000 | #Constraints: 77946
2208.94/2214.63 c #Conflicts: 486000 | #Constraints: 78946
2208.94/2214.63 c #Conflicts: 487000 | #Constraints: 79946
2208.94/2214.63 c #Conflicts: 488000 | #Constraints: 80946
2208.94/2214.63 c INPROCESSING
2208.94/2214.63 c GARBAGE COLLECT
2208.94/2214.63 c #Conflicts: 489000 | #Constraints: 68168
2208.94/2214.63 c #Conflicts: 490000 | #Constraints: 69168
2208.94/2214.63 c #Conflicts: 491000 | #Constraints: 70168
2208.94/2214.63 c #Conflicts: 492000 | #Constraints: 71168
2208.94/2214.63 c #Conflicts: 493000 | #Constraints: 72168
2208.94/2214.63 c #Conflicts: 494000 | #Constraints: 73168
2208.94/2214.63 c #Conflicts: 495000 | #Constraints: 74168
2208.94/2214.63 c #Conflicts: 496000 | #Constraints: 75168
2208.94/2214.63 c #Conflicts: 497000 | #Constraints: 76168
2208.94/2214.63 c #Conflicts: 498000 | #Constraints: 77168
2208.94/2214.63 c #Conflicts: 499000 | #Constraints: 78168
2208.94/2214.63 c #Conflicts: 500000 | #Constraints: 79168
2208.94/2214.63 c #Conflicts: 501000 | #Constraints: 80168
2208.94/2214.63 c #Conflicts: 502000 | #Constraints: 81168
2208.94/2214.63 c INPROCESSING
2208.94/2214.63 c GARBAGE COLLECT
2208.94/2214.63 c #Conflicts: 503000 | #Constraints: 68240
2208.94/2214.63 c #Conflicts: 504000 | #Constraints: 69240
2208.94/2214.63 c #Conflicts: 505000 | #Constraints: 70240
2208.94/2214.63 c #Conflicts: 506000 | #Constraints: 71240
2208.94/2214.63 c #Conflicts: 507000 | #Constraints: 72240
2208.94/2214.63 c #Conflicts: 508000 | #Constraints: 73240
2208.94/2214.63 c #Conflicts: 509000 | #Constraints: 74240
2455.04/2461.39 c #Conflicts: 510000 | #Constraints: 75240
2455.04/2461.39 c #Conflicts: 511000 | #Constraints: 76240
2455.04/2461.39 c #Conflicts: 512000 | #Constraints: 77240
2455.04/2461.39 c #Conflicts: 513000 | #Constraints: 78240
2455.04/2461.39 c #Conflicts: 514000 | #Constraints: 79240
2455.04/2461.39 c #Conflicts: 515000 | #Constraints: 80240
2455.04/2461.39 c #Conflicts: 516000 | #Constraints: 81240
2455.04/2461.39 c INPROCESSING
2455.04/2461.39 c GARBAGE COLLECT
2455.04/2461.39 c #Conflicts: 517000 | #Constraints: 68004
2455.04/2461.39 c #Conflicts: 518000 | #Constraints: 69004
2455.04/2461.39 c #Conflicts: 519000 | #Constraints: 70004
2455.04/2461.39 c #Conflicts: 520000 | #Constraints: 71004
2455.04/2461.39 c #Conflicts: 521000 | #Constraints: 72004
2455.04/2461.39 c #Conflicts: 522000 | #Constraints: 73004
2455.04/2461.39 c #Conflicts: 523000 | #Constraints: 74004
2455.04/2461.39 c #Conflicts: 524000 | #Constraints: 75004
2455.04/2461.39 c #Conflicts: 525000 | #Constraints: 76004
2455.04/2461.39 c #Conflicts: 526000 | #Constraints: 77004
2455.04/2461.39 c #Conflicts: 527000 | #Constraints: 78004
2455.04/2461.39 c #Conflicts: 528000 | #Constraints: 79004
2455.04/2461.39 c #Conflicts: 529000 | #Constraints: 80004
2455.04/2461.39 c #Conflicts: 530000 | #Constraints: 81004
2455.04/2461.39 c #Conflicts: 531000 | #Constraints: 82004
2455.04/2461.39 c INPROCESSING
2455.04/2461.39 c GARBAGE COLLECT
2455.04/2461.39 c #Conflicts: 532000 | #Constraints: 68587
2455.04/2461.39 c #Conflicts: 533000 | #Constraints: 69587
2455.04/2461.39 c #Conflicts: 534000 | #Constraints: 70587
2455.04/2461.39 c #Conflicts: 535000 | #Constraints: 71587
2455.04/2461.39 c #Conflicts: 536000 | #Constraints: 72587
2455.04/2461.39 c #Conflicts: 537000 | #Constraints: 73587
2455.04/2461.39 c #Conflicts: 538000 | #Constraints: 74587
2455.04/2461.39 c #Conflicts: 539000 | #Constraints: 75587
2455.04/2461.39 c #Conflicts: 540000 | #Constraints: 76587
2455.04/2461.39 c #Conflicts: 541000 | #Constraints: 77587
2455.04/2461.39 c #Conflicts: 542000 | #Constraints: 78587
2455.04/2461.39 c #Conflicts: 543000 | #Constraints: 79587
2455.04/2461.39 c #Conflicts: 544000 | #Constraints: 80587
2455.04/2461.39 c #Conflicts: 545000 | #Constraints: 81587
2455.04/2461.39 c #Conflicts: 546000 | #Constraints: 82587
2455.04/2461.39 c INPROCESSING
2455.04/2461.39 c GARBAGE COLLECT
2455.04/2461.39 c #Conflicts: 547000 | #Constraints: 68997
2455.04/2461.39 c #Conflicts: 548000 | #Constraints: 69997
2455.04/2461.39 c #Conflicts: 549000 | #Constraints: 70997
2455.04/2461.39 c #Conflicts: 550000 | #Constraints: 71997
2455.04/2461.39 c #Conflicts: 551000 | #Constraints: 72997
2455.04/2461.39 c #Conflicts: 552000 | #Constraints: 73997
2455.04/2461.39 c #Conflicts: 553000 | #Constraints: 74997
2455.04/2461.39 c #Conflicts: 554000 | #Constraints: 75997
2455.04/2461.39 c #Conflicts: 555000 | #Constraints: 76997
2455.04/2461.39 c #Conflicts: 556000 | #Constraints: 77997
2455.04/2461.39 c #Conflicts: 557000 | #Constraints: 78997
2455.04/2461.39 c #Conflicts: 558000 | #Constraints: 79997
2455.04/2461.39 c #Conflicts: 559000 | #Constraints: 80997
2455.04/2461.39 c #Conflicts: 560000 | #Constraints: 81997
2455.04/2461.39 c #Conflicts: 561000 | #Constraints: 82997
2455.04/2461.39 c INPROCESSING
2455.04/2461.39 c GARBAGE COLLECT
2455.04/2461.39 c #Conflicts: 562000 | #Constraints: 69214
2455.04/2461.39 c #Conflicts: 563000 | #Constraints: 70214
2455.04/2461.39 c #Conflicts: 564000 | #Constraints: 71214
2455.04/2461.39 c #Conflicts: 565000 | #Constraints: 72214
2455.04/2461.39 c #Conflicts: 566000 | #Constraints: 73214
2455.04/2461.39 c #Conflicts: 567000 | #Constraints: 74214
2455.04/2461.39 c #Conflicts: 568000 | #Constraints: 75214
2455.04/2461.39 c #Conflicts: 569000 | #Constraints: 76214
2455.04/2461.39 c #Conflicts: 570000 | #Constraints: 77214
2455.04/2461.39 c #Conflicts: 571000 | #Constraints: 78214
2455.04/2461.39 c #Conflicts: 572000 | #Constraints: 79214
2455.04/2461.39 c #Conflicts: 573000 | #Constraints: 80214
2455.04/2461.39 c #Conflicts: 574000 | #Constraints: 81214
2455.04/2461.39 c #Conflicts: 575000 | #Constraints: 82214
2455.04/2461.39 c #Conflicts: 576000 | #Constraints: 83214
2455.04/2461.39 c INPROCESSING
2455.04/2461.39 c GARBAGE COLLECT
2455.04/2461.39 c #Conflicts: 577000 | #Constraints: 69160
2455.04/2461.39 c #Conflicts: 578000 | #Constraints: 70160
2455.04/2461.39 c #Conflicts: 579000 | #Constraints: 71160
2455.04/2461.39 c #Conflicts: 580000 | #Constraints: 72160
2455.04/2461.39 c #Conflicts: 581000 | #Constraints: 73160
2455.04/2461.39 c #Conflicts: 582000 | #Constraints: 74160
2455.04/2461.39 c #Conflicts: 583000 | #Constraints: 75160
2455.04/2461.39 c #Conflicts: 584000 | #Constraints: 76160
2455.04/2461.39 c #Conflicts: 585000 | #Constraints: 77160
2750.91/2757.97 c #Conflicts: 586000 | #Constraints: 78160
2750.91/2757.97 c #Conflicts: 587000 | #Constraints: 79160
2750.91/2757.97 c #Conflicts: 588000 | #Constraints: 80160
2750.91/2757.97 c #Conflicts: 589000 | #Constraints: 81160
2750.91/2757.97 c #Conflicts: 590000 | #Constraints: 82160
2750.91/2757.97 c #Conflicts: 591000 | #Constraints: 83160
2750.91/2757.97 c INPROCESSING
2750.91/2757.97 c GARBAGE COLLECT
2750.91/2757.97 c #Conflicts: 592000 | #Constraints: 68964
2750.91/2757.97 c #Conflicts: 593000 | #Constraints: 69964
2750.91/2757.97 c #Conflicts: 594000 | #Constraints: 70964
2750.91/2757.97 c #Conflicts: 595000 | #Constraints: 71964
2750.91/2757.97 c #Conflicts: 596000 | #Constraints: 72964
2750.91/2757.97 c #Conflicts: 597000 | #Constraints: 73964
2750.91/2757.97 c #Conflicts: 598000 | #Constraints: 74964
2750.91/2757.97 c #Conflicts: 599000 | #Constraints: 75964
2750.91/2757.97 c #Conflicts: 600000 | #Constraints: 76964
2750.91/2757.97 c #Conflicts: 601000 | #Constraints: 77964
2750.91/2757.97 c #Conflicts: 602000 | #Constraints: 78964
2750.91/2757.97 c #Conflicts: 603000 | #Constraints: 79964
2750.91/2757.97 c #Conflicts: 604000 | #Constraints: 80964
2750.91/2757.97 c #Conflicts: 605000 | #Constraints: 81964
2750.91/2757.97 c #Conflicts: 606000 | #Constraints: 82964
2750.91/2757.97 c #Conflicts: 607000 | #Constraints: 83964
2750.91/2757.97 c INPROCESSING
2750.91/2757.97 c GARBAGE COLLECT
2750.91/2757.97 c #Conflicts: 608000 | #Constraints: 69579
2750.91/2757.97 c #Conflicts: 609000 | #Constraints: 70579
2750.91/2757.97 c #Conflicts: 610000 | #Constraints: 71579
2750.91/2757.97 c #Conflicts: 611000 | #Constraints: 72579
2750.91/2757.97 c #Conflicts: 612000 | #Constraints: 73579
2750.91/2757.97 c #Conflicts: 613000 | #Constraints: 74579
2750.91/2757.97 c #Conflicts: 614000 | #Constraints: 75579
2750.91/2757.97 c #Conflicts: 615000 | #Constraints: 76579
2750.91/2757.97 c #Conflicts: 616000 | #Constraints: 77579
2750.91/2757.97 c #Conflicts: 617000 | #Constraints: 78579
2750.91/2757.97 c #Conflicts: 618000 | #Constraints: 79579
2750.91/2757.97 c #Conflicts: 619000 | #Constraints: 80579
2750.91/2757.97 c #Conflicts: 620000 | #Constraints: 81579
2750.91/2757.97 c #Conflicts: 621000 | #Constraints: 82579
2750.91/2757.97 c #Conflicts: 622000 | #Constraints: 83579
2750.91/2757.97 c #Conflicts: 623000 | #Constraints: 84579
2750.91/2757.97 c INPROCESSING
2750.91/2757.97 c GARBAGE COLLECT
2750.91/2757.97 c #Conflicts: 624000 | #Constraints: 69948
2750.91/2757.97 c #Conflicts: 625000 | #Constraints: 70948
2750.91/2757.97 c #Conflicts: 626000 | #Constraints: 71948
2750.91/2757.97 c #Conflicts: 627000 | #Constraints: 72948
2750.91/2757.97 c #Conflicts: 628000 | #Constraints: 73948
2750.91/2757.97 c #Conflicts: 629000 | #Constraints: 74948
2750.91/2757.97 c #Conflicts: 630000 | #Constraints: 75948
2750.91/2757.97 c #Conflicts: 631000 | #Constraints: 76948
2750.91/2757.97 c #Conflicts: 632000 | #Constraints: 77948
2750.91/2757.97 c #Conflicts: 633000 | #Constraints: 78948
2750.91/2757.97 c #Conflicts: 634000 | #Constraints: 79948
2750.91/2757.97 c #Conflicts: 635000 | #Constraints: 80948
2750.91/2757.97 c #Conflicts: 636000 | #Constraints: 81948
2750.91/2757.97 c #Conflicts: 637000 | #Constraints: 82948
2750.91/2757.97 c #Conflicts: 638000 | #Constraints: 83948
2750.91/2757.97 c #Conflicts: 639000 | #Constraints: 84948
2750.91/2757.97 c INPROCESSING
2750.91/2757.97 c GARBAGE COLLECT
2750.91/2757.97 c #Conflicts: 640000 | #Constraints: 70185
2750.91/2757.97 c #Conflicts: 641000 | #Constraints: 71185
2750.91/2757.97 c #Conflicts: 642000 | #Constraints: 72185
2750.91/2757.97 c #Conflicts: 643000 | #Constraints: 73185
2750.91/2757.97 c #Conflicts: 644000 | #Constraints: 74185
2750.91/2757.97 c #Conflicts: 645000 | #Constraints: 75185
2750.91/2757.97 c #Conflicts: 646000 | #Constraints: 76185
2750.91/2757.97 c #Conflicts: 647000 | #Constraints: 77185
2750.91/2757.97 c #Conflicts: 648000 | #Constraints: 78185
2750.91/2757.97 c #Conflicts: 649000 | #Constraints: 79185
2750.91/2757.97 c #Conflicts: 650000 | #Constraints: 80185
2750.91/2757.97 c #Conflicts: 651000 | #Constraints: 81185
2750.91/2757.97 c #Conflicts: 652000 | #Constraints: 82185
2750.91/2757.97 c #Conflicts: 653000 | #Constraints: 83185
2750.91/2757.97 c #Conflicts: 654000 | #Constraints: 84185
2750.91/2757.97 c #Conflicts: 655000 | #Constraints: 85185
2750.91/2757.97 c INPROCESSING
2750.91/2757.97 c GARBAGE COLLECT
2750.91/2757.97 c #Conflicts: 656000 | #Constraints: 70199
2750.91/2757.97 c #Conflicts: 657000 | #Constraints: 71199
2750.91/2757.97 c #Conflicts: 658000 | #Constraints: 72199
2750.91/2757.97 c #Conflicts: 659000 | #Constraints: 73199
2750.91/2757.97 c #Conflicts: 660000 | #Constraints: 74199
3128.62/3136.57 c #Conflicts: 661000 | #Constraints: 75199
3128.62/3136.57 c #Conflicts: 662000 | #Constraints: 76199
3128.62/3136.57 c #Conflicts: 663000 | #Constraints: 77199
3128.62/3136.57 c #Conflicts: 664000 | #Constraints: 78199
3128.62/3136.57 c #Conflicts: 665000 | #Constraints: 79199
3128.62/3136.57 c #Conflicts: 666000 | #Constraints: 80199
3128.62/3136.57 c #Conflicts: 667000 | #Constraints: 81199
3128.62/3136.57 c #Conflicts: 668000 | #Constraints: 82199
3128.62/3136.57 c #Conflicts: 669000 | #Constraints: 83199
3128.62/3136.57 c #Conflicts: 670000 | #Constraints: 84199
3128.62/3136.57 c #Conflicts: 671000 | #Constraints: 85199
3128.62/3136.57 c INPROCESSING
3128.62/3136.57 c GARBAGE COLLECT
3128.62/3136.57 c #Conflicts: 672000 | #Constraints: 69985
3128.62/3136.57 c #Conflicts: 673000 | #Constraints: 70985
3128.62/3136.57 c #Conflicts: 674000 | #Constraints: 71985
3128.62/3136.57 c #Conflicts: 675000 | #Constraints: 72985
3128.62/3136.57 c #Conflicts: 676000 | #Constraints: 73985
3128.62/3136.57 c #Conflicts: 677000 | #Constraints: 74985
3128.62/3136.57 c #Conflicts: 678000 | #Constraints: 75985
3128.62/3136.57 c #Conflicts: 679000 | #Constraints: 76985
3128.62/3136.57 c #Conflicts: 680000 | #Constraints: 77985
3128.62/3136.57 c #Conflicts: 681000 | #Constraints: 78985
3128.62/3136.57 c #Conflicts: 682000 | #Constraints: 79985
3128.62/3136.57 c #Conflicts: 683000 | #Constraints: 80985
3128.62/3136.57 c #Conflicts: 684000 | #Constraints: 81985
3128.62/3136.57 c #Conflicts: 685000 | #Constraints: 82985
3128.62/3136.57 c #Conflicts: 686000 | #Constraints: 83985
3128.62/3136.57 c #Conflicts: 687000 | #Constraints: 84985
3128.62/3136.57 c #Conflicts: 688000 | #Constraints: 85985
3128.62/3136.57 c INPROCESSING
3128.62/3136.57 c GARBAGE COLLECT
3128.62/3136.57 c #Conflicts: 689000 | #Constraints: 70586
3128.62/3136.57 c #Conflicts: 690000 | #Constraints: 71586
3128.62/3136.57 c #Conflicts: 691000 | #Constraints: 72586
3128.62/3136.57 c #Conflicts: 692000 | #Constraints: 73586
3128.62/3136.57 c #Conflicts: 693000 | #Constraints: 74586
3128.62/3136.57 c #Conflicts: 694000 | #Constraints: 75586
3128.62/3136.57 c #Conflicts: 695000 | #Constraints: 76586
3128.62/3136.57 c #Conflicts: 696000 | #Constraints: 77586
3128.62/3136.57 c #Conflicts: 697000 | #Constraints: 78586
3128.62/3136.57 c #Conflicts: 698000 | #Constraints: 79586
3128.62/3136.57 c #Conflicts: 699000 | #Constraints: 80586
3128.62/3136.57 c #Conflicts: 700000 | #Constraints: 81586
3128.62/3136.57 c #Conflicts: 701000 | #Constraints: 82586
3128.62/3136.57 c #Conflicts: 702000 | #Constraints: 83586
3128.62/3136.57 c #Conflicts: 703000 | #Constraints: 84586
3128.62/3136.57 c #Conflicts: 704000 | #Constraints: 85586
3128.62/3136.57 c #Conflicts: 705000 | #Constraints: 86586
3128.62/3136.57 c INPROCESSING
3128.62/3136.57 c GARBAGE COLLECT
3128.62/3136.57 c #Conflicts: 706000 | #Constraints: 71004
3128.62/3136.57 c #Conflicts: 707000 | #Constraints: 72004
3128.62/3136.57 c #Conflicts: 708000 | #Constraints: 73004
3128.62/3136.57 c #Conflicts: 709000 | #Constraints: 74004
3128.62/3136.57 c #Conflicts: 710000 | #Constraints: 75004
3128.62/3136.57 c #Conflicts: 711000 | #Constraints: 76004
3128.62/3136.57 c #Conflicts: 712000 | #Constraints: 77004
3128.62/3136.57 c #Conflicts: 713000 | #Constraints: 78004
3128.62/3136.57 c #Conflicts: 714000 | #Constraints: 79004
3128.62/3136.57 c #Conflicts: 715000 | #Constraints: 80004
3128.62/3136.57 c #Conflicts: 716000 | #Constraints: 81004
3128.62/3136.57 c #Conflicts: 717000 | #Constraints: 82004
3128.62/3136.57 c #Conflicts: 718000 | #Constraints: 83004
3128.62/3136.57 c #Conflicts: 719000 | #Constraints: 84004
3128.62/3136.57 c #Conflicts: 720000 | #Constraints: 85004
3128.62/3136.57 c #Conflicts: 721000 | #Constraints: 86004
3128.62/3136.57 c #Conflicts: 722000 | #Constraints: 87004
3128.62/3136.57 c INPROCESSING
3128.62/3136.57 c GARBAGE COLLECT
3128.62/3136.57 c #Conflicts: 723000 | #Constraints: 71197
3128.62/3136.57 c #Conflicts: 724000 | #Constraints: 72197
3128.62/3136.57 c #Conflicts: 725000 | #Constraints: 73197
3128.62/3136.57 c #Conflicts: 726000 | #Constraints: 74197
3128.62/3136.57 c #Conflicts: 727000 | #Constraints: 75197
3128.62/3136.57 c #Conflicts: 728000 | #Constraints: 76197
3128.62/3136.57 c #Conflicts: 729000 | #Constraints: 77197
3128.62/3136.57 c #Conflicts: 730000 | #Constraints: 78197
3128.62/3136.57 c #Conflicts: 731000 | #Constraints: 79197
3128.62/3136.57 c #Conflicts: 732000 | #Constraints: 80197
3128.62/3136.57 c #Conflicts: 733000 | #Constraints: 81197
3128.62/3136.57 c #Conflicts: 734000 | #Constraints: 82197
3128.62/3136.57 c #Conflicts: 735000 | #Constraints: 83197
3128.62/3136.57 c #Conflicts: 736000 | #Constraints: 84197
3420.22/3428.84 c #Conflicts: 737000 | #Constraints: 85197
3420.22/3428.84 c #Conflicts: 738000 | #Constraints: 86197
3420.22/3428.84 c #Conflicts: 739000 | #Constraints: 87197
3420.22/3428.84 c INPROCESSING
3420.22/3428.84 c GARBAGE COLLECT
3420.22/3428.84 c #Conflicts: 740000 | #Constraints: 71360
3420.22/3428.84 c #Conflicts: 741000 | #Constraints: 72360
3420.22/3428.84 c #Conflicts: 742000 | #Constraints: 73360
3420.22/3428.84 c #Conflicts: 743000 | #Constraints: 74360
3420.22/3428.84 c #Conflicts: 744000 | #Constraints: 75360
3420.22/3428.84 c #Conflicts: 745000 | #Constraints: 76360
3420.22/3428.84 c #Conflicts: 746000 | #Constraints: 77360
3420.22/3428.84 c #Conflicts: 747000 | #Constraints: 78360
3420.22/3428.84 c #Conflicts: 748000 | #Constraints: 79360
3420.22/3428.84 c #Conflicts: 749000 | #Constraints: 80360
3420.22/3428.84 c #Conflicts: 750000 | #Constraints: 81360
3420.22/3428.84 c #Conflicts: 751000 | #Constraints: 82360
3420.22/3428.84 c #Conflicts: 752000 | #Constraints: 83360
3420.22/3428.84 c #Conflicts: 753000 | #Constraints: 84360
3420.22/3428.84 c #Conflicts: 754000 | #Constraints: 85360
3420.22/3428.84 c #Conflicts: 755000 | #Constraints: 86360
3420.22/3428.84 c #Conflicts: 756000 | #Constraints: 87360
3420.22/3428.84 c INPROCESSING
3420.22/3428.84 c GARBAGE COLLECT
3420.22/3428.84 c #Conflicts: 757000 | #Constraints: 71067
3420.22/3428.84 c #Conflicts: 758000 | #Constraints: 72067
3420.22/3428.84 c #Conflicts: 759000 | #Constraints: 73067
3420.22/3428.84 c #Conflicts: 760000 | #Constraints: 74067
3420.22/3428.84 c #Conflicts: 761000 | #Constraints: 75067
3420.22/3428.84 c #Conflicts: 762000 | #Constraints: 76067
3420.22/3428.84 c #Conflicts: 763000 | #Constraints: 77067
3420.22/3428.84 c #Conflicts: 764000 | #Constraints: 78067
3420.22/3428.84 c #Conflicts: 765000 | #Constraints: 79067
3420.22/3428.84 c #Conflicts: 766000 | #Constraints: 80067
3420.22/3428.84 c #Conflicts: 767000 | #Constraints: 81067
3420.22/3428.84 c #Conflicts: 768000 | #Constraints: 82067
3420.22/3428.84 c #Conflicts: 769000 | #Constraints: 83067
3420.22/3428.84 c #Conflicts: 770000 | #Constraints: 84067
3420.22/3428.84 c #Conflicts: 771000 | #Constraints: 85067
3420.22/3428.84 c #Conflicts: 772000 | #Constraints: 86067
3420.22/3428.84 c #Conflicts: 773000 | #Constraints: 87067
3420.22/3428.84 c #Conflicts: 774000 | #Constraints: 88067
3420.22/3428.84 c INPROCESSING
3420.22/3428.84 c GARBAGE COLLECT
3420.22/3428.84 c #Conflicts: 775000 | #Constraints: 71604
3420.22/3428.84 c #Conflicts: 776000 | #Constraints: 72604
3420.22/3428.84 c #Conflicts: 777000 | #Constraints: 73604
3420.22/3428.84 c #Conflicts: 778000 | #Constraints: 74604
3420.22/3428.84 c #Conflicts: 779000 | #Constraints: 75604
3420.22/3428.84 c #Conflicts: 780000 | #Constraints: 76604
3420.22/3428.84 c #Conflicts: 781000 | #Constraints: 77604
3420.22/3428.84 c #Conflicts: 782000 | #Constraints: 78604
3420.22/3428.84 c #Conflicts: 783000 | #Constraints: 79604
3420.22/3428.84 c #Conflicts: 784000 | #Constraints: 80604
3420.22/3428.84 c #Conflicts: 785000 | #Constraints: 81604
3420.22/3428.84 c #Conflicts: 786000 | #Constraints: 82604
3420.22/3428.84 c #Conflicts: 787000 | #Constraints: 83604
3420.22/3428.84 c #Conflicts: 788000 | #Constraints: 84604
3420.22/3428.84 c #Conflicts: 789000 | #Constraints: 85604
3420.22/3428.84 c #Conflicts: 790000 | #Constraints: 86604
3420.22/3428.84 c #Conflicts: 791000 | #Constraints: 87604
3420.22/3428.84 c #Conflicts: 792000 | #Constraints: 88604
3420.22/3428.84 c INPROCESSING
3420.22/3428.84 c GARBAGE COLLECT
3420.22/3428.84 c #Conflicts: 793000 | #Constraints: 71998
3420.22/3428.84 c #Conflicts: 794000 | #Constraints: 72998
3420.22/3428.84 c #Conflicts: 795000 | #Constraints: 73998
3420.22/3428.84 c #Conflicts: 796000 | #Constraints: 74998
3420.22/3428.84 c #Conflicts: 797000 | #Constraints: 75998
3420.22/3428.84 c #Conflicts: 798000 | #Constraints: 76998
3420.22/3428.84 c #Conflicts: 799000 | #Constraints: 77998
3420.22/3428.84 c #Conflicts: 800000 | #Constraints: 78998
3420.22/3428.84 c #Conflicts: 801000 | #Constraints: 79998
3420.22/3428.84 c #Conflicts: 802000 | #Constraints: 80998
3420.22/3428.84 c #Conflicts: 803000 | #Constraints: 81998
3420.22/3428.84 c #Conflicts: 804000 | #Constraints: 82998
3420.22/3428.84 c #Conflicts: 805000 | #Constraints: 83998
3420.22/3428.84 c #Conflicts: 806000 | #Constraints: 84998
3420.22/3428.84 c #Conflicts: 807000 | #Constraints: 85998
3420.22/3428.84 c #Conflicts: 808000 | #Constraints: 86998
3420.22/3428.84 c #Conflicts: 809000 | #Constraints: 87998
3420.22/3428.84 c #Conflicts: 810000 | #Constraints: 88998
3420.22/3428.84 c INPROCESSING
3420.22/3428.84 c GARBAGE COLLECT
3420.22/3428.84 c #Conflicts: 811000 | #Constraints: 72195
3420.22/3428.84 c #Conflicts: 812000 | #Constraints: 73195
3600.01/3609.00 c #Conflicts: 813000 | #Constraints: 74195
3600.01/3609.00 c #Conflicts: 814000 | #Constraints: 75195
3600.01/3609.00 c #Conflicts: 815000 | #Constraints: 76195
3600.01/3609.00 c #Conflicts: 816000 | #Constraints: 77195
3600.01/3609.00 c #Conflicts: 817000 | #Constraints: 78195
3600.01/3609.00 c #Conflicts: 818000 | #Constraints: 79195
3600.01/3609.00 c #Conflicts: 819000 | #Constraints: 80195
3600.01/3609.00 c #Conflicts: 820000 | #Constraints: 81195
3600.01/3609.00 c #Conflicts: 821000 | #Constraints: 82195
3600.01/3609.00 c #Conflicts: 822000 | #Constraints: 83195
3600.01/3609.00 c #Conflicts: 823000 | #Constraints: 84195
3600.01/3609.00 c #Conflicts: 824000 | #Constraints: 85195
3600.01/3609.00 c #Conflicts: 825000 | #Constraints: 86195
3600.01/3609.00 c #Conflicts: 826000 | #Constraints: 87195
3600.01/3609.00 c #Conflicts: 827000 | #Constraints: 88195
3600.01/3609.00 c #Conflicts: 828000 | #Constraints: 89195
3600.01/3609.00 c INPROCESSING
3600.01/3609.00 c GARBAGE COLLECT
3600.01/3609.00 c #Conflicts: 829000 | #Constraints: 72189
3600.01/3609.00 c #Conflicts: 830000 | #Constraints: 73189
3600.01/3609.00 c #Conflicts: 831000 | #Constraints: 74189
3600.01/3609.00 c #Conflicts: 832000 | #Constraints: 75189
3600.01/3609.00 c #Conflicts: 833000 | #Constraints: 76189
3600.01/3609.00 c #Conflicts: 834000 | #Constraints: 77189
3600.01/3609.00 c #Conflicts: 835000 | #Constraints: 78189
3600.01/3609.00 c #Conflicts: 836000 | #Constraints: 79189
3600.01/3609.00 c #Conflicts: 837000 | #Constraints: 80189
3600.01/3609.00 c #Conflicts: 838000 | #Constraints: 81189
3600.01/3609.00 c #Conflicts: 839000 | #Constraints: 82189
3600.01/3609.00 c #Conflicts: 840000 | #Constraints: 83189
3600.01/3609.00 c #Conflicts: 841000 | #Constraints: 84189
3600.01/3609.00 c #Conflicts: 842000 | #Constraints: 85189
3600.01/3609.00 c #Conflicts: 843000 | #Constraints: 86189
3600.01/3609.00 c #Conflicts: 844000 | #Constraints: 87189
3600.01/3609.00 c #Conflicts: 845000 | #Constraints: 88189
3600.01/3609.00 c #Conflicts: 846000 | #Constraints: 89189
3600.01/3609.00 c INPROCESSING
3600.01/3609.00 c GARBAGE COLLECT
3600.01/3609.00 c #Conflicts: 847000 | #Constraints: 72035
3600.01/3609.00 c #Conflicts: 848000 | #Constraints: 73035
3600.01/3609.00 c #Conflicts: 849000 | #Constraints: 74035
3600.01/3609.00 c #Conflicts: 850000 | #Constraints: 75035
3600.01/3609.00 c #Conflicts: 851000 | #Constraints: 76035
3600.01/3609.00 c #Conflicts: 852000 | #Constraints: 77035
3600.01/3609.00 c #Conflicts: 853000 | #Constraints: 78035
3600.01/3609.00 c #Conflicts: 854000 | #Constraints: 79035
3600.01/3609.00 c Program interrupted by user.
3600.01/3609.00 c cpu time 3589.54 s
3600.01/3609.00 c deterministic time 535493007995 5.35e+11
3600.01/3609.00 c optimization time 19.4582 s
3600.01/3609.00 c total solve time 3270.78 s
3600.01/3609.00 c core-guided solve time 3270.78 s
3600.01/3609.00 c propagation time 1575.61 s
3600.01/3609.00 c conflict analysis time 1622.87 s
3600.01/3609.00 c propagations 844125787
3600.01/3609.00 c resolve steps 53471252
3600.01/3609.00 c decisions 9152415
3600.01/3609.00 c conflicts 854652
3600.01/3609.00 c restarts 1819
3600.01/3609.00 c inprocessing phases 83
3600.01/3609.00 c input clauses 53219
3600.01/3609.00 c input cardinalities 8
3600.01/3609.00 c input general constraints 0
3600.01/3609.00 c input average constraint length 2.68
3600.01/3609.00 c input average constraint degree 1.04
3600.01/3609.00 c learned clauses 595103
3600.01/3609.00 c learned cardinalities 6204
3600.01/3609.00 c learned general constraints 253348
3600.01/3609.00 c learned average constraint length 2415.75
3600.01/3609.00 c learned average constraint degree 806932.45
3600.01/3609.00 c watched constraints 161568
3600.01/3609.00 c counting constraints 91780
3600.01/3609.00 c gcd simplifications 1900
3600.01/3609.00 c detected cardinalities 28
3600.01/3609.00 c weakened non-implied lits 372473878
3600.01/3609.00 c weakened non-implying lits 80562
3600.01/3609.00 c original variables 14352
3600.01/3609.00 c clausal propagations 777270587
3600.01/3609.00 c cardinality propagations 11616171
3600.01/3609.00 c watched propagations 6020289
3600.01/3609.00 c counting propagations 44766523
3600.01/3609.00 c watch lookups 14962283238
3600.01/3609.00 c watch backjump lookups 12408199976
3600.01/3609.00 c watch checks 440142740435
3600.01/3609.00 c propagation checks 61394238970
3600.01/3609.00 c constraint additions 4878143455
3600.01/3609.00 c trail pops 854123718
3600.01/3609.00 c formula constraints 53219
3600.01/3609.00 c learned constraints 854655
3600.01/3609.00 c bound constraints 8
3600.01/3609.00 c core-guided constraints 0
3600.01/3609.00 c encountered formula constraints 51188638
3600.01/3609.00 c encountered learned constraints 3137224
3600.01/3609.00 c encountered bound constraints 42
3600.01/3609.00 c encountered core-guided constraints 0
3600.01/3609.00 c LP total time 0 s
3600.01/3609.00 c LP solve time 0 s
3600.01/3609.00 c LP constraints added 0
3600.01/3609.00 c LP constraints removed 0
3600.01/3609.00 c LP pivots internal 0
3600.01/3609.00 c LP pivots root 0
3600.01/3609.00 c LP calls 0
3600.01/3609.00 c LP optimalities 0
3600.01/3609.00 c LP no pivot count 0
3600.01/3609.00 c LP infeasibilities 0
3600.01/3609.00 c LP valid Farkas constraints 0
3600.01/3609.00 c LP learned Farkas constraints 0
3600.01/3609.00 c LP basis resets 0
3600.01/3609.00 c LP cycling count 0
3600.01/3609.00 c LP singular count 0
3600.01/3609.00 c LP no primal count 0
3600.01/3609.00 c LP no farkas count 0
3600.01/3609.00 c LP other issue count 0
3600.01/3609.00 c LP Gomory cuts 0
3600.01/3609.00 c LP learned cuts 0
3600.01/3609.00 c LP deleted cuts 0
3600.01/3609.00 c LP encountered Gomory constraints 0
3600.01/3609.00 c LP encountered Farkas constraints 0
3600.01/3609.00 c LP encountered learned Farkas constraints 0
3600.01/3609.00 c CG auxiliary variables introduced 0
3600.01/3609.00 c CG solutions found 0
3600.01/3609.00 c CG cores constructed 7
3600.01/3609.00 c CG core cardinality constraints returned 0
3600.01/3609.00 c CG unit cores 0
3600.01/3609.00 c CG single cores 7
3600.01/3609.00 c CG blocks removed during cardinality reduction 0
3600.01/3609.00 c CG first core best 0
3600.01/3609.00 c CG decision core best 0
3600.01/3609.00 c CG core reduction tie 0
3600.01/3609.00 c CG core degree average 1.00
3600.01/3609.00 c CG core slack average 93.86
3600.01/3609.00 c CG exhausted 0
3600.01/3609.00 c CG exhaust time 0 s
3600.01/3609.00 c CG trimmed 0
3600.01/3609.00 c CG trim time 0.002769 s
3600.01/3609.00 c CG minimized 0
3600.01/3609.00 c CG minimize time 0 s
3600.01/3609.00 c CG am1 prop time 0.002685 s
3600.01/3609.00 c CG # am1s reformulated 0
3600.01/3609.00 c CG lower bound derived from am1s 0
3600.01/3609.00 c CG # clausal cores 7
3600.01/3609.00 c CG # cardinality cores 0
3600.01/3609.00 c CG # pb cores 0
3600.01/3609.00 c CG # pb reforms 0
3600.01/3609.00 c CG # cores discarded because of pb reform 0
3600.01/3609.00 d LOWERBOUND 7
3600.01/3609.00 d NCORES 7
3600.01/3609.00 d NPBCORES 0
3600.01/3609.00 d NPBREFORM 0
3600.01/3609.00 d NTRIMMED 0
3600.01/3609.00 d NEXHAUSTED 0
3600.01/3609.00 d NAM1S 0
3600.01/3609.00 d AM1LB 0
3600.01/3609.00 c [Papilo Statistics]
3600.01/3609.00 c prepro time 0.0606328s
3600.01/3609.00 c # tsx applied 25
3600.01/3609.00 c # tsx conflicts 0
3600.01/3609.00 c # bound changes 5
3600.01/3609.00 c # side changes 14
3600.01/3609.00 c # coef changes 51
3600.01/3609.00 c # rounds 2
3600.01/3609.00 c # deted vars 12
3600.01/3609.00 c # deted constrs 28
3600.01/3609.00 c # consecutive rounds of only bound changes 0
3600.01/3609.00 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: 63708 MiB (51132 MiB free)
memory of node 1: 64465 MiB (56173 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497551-1751397381/watcher-4497551-1751397381 -o /tmp/evaluation-result-4497551-1751397381/solver-4497551-1751397381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55037 --watchdog 3760 mixed-bag HOME/instance-4497551-1751397381.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55086, runsolver pid=55079
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 2.49 3.77 3.99 4/267 55096
/proc/meminfo: memFree=109842336/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=91036 memory=18484 CPUtime=0.08 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 3191 0 0 0 8 0 0 0 20 0 1 0 55416659 93220864 4621 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 22759 4621 2176 2842 0 4992 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 18484 KiB
[startup+0.205542 s]*
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109736912/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=139876 memory=63708 CPUtime=0.19 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 10737 0 0 0 17 2 0 0 20 0 1 0 55416659 143233024 15927 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 34969 15927 3712 2842 0 16663 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139876 KiB
Current children cumulated memory: 63708 KiB
[startup+0.305555 s]*
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109616804/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=214424 memory=137436 CPUtime=0.29 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 28847 0 0 0 24 5 0 0 20 0 1 0 55416659 219570176 34359 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 53606 34359 4064 2842 0 35300 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 214424 KiB
Current children cumulated memory: 137436 KiB
[startup+0.700134 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109438384/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=254304 memory=176152 CPUtime=0.68 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 40403 0 0 0 61 7 0 0 20 0 1 0 55416659 260407296 44038 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 63576 44038 4096 2842 0 45270 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 254304 KiB
Current children cumulated memory: 176152 KiB
[startup+1.50017 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109182132/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=343544 memory=247924 CPUtime=1.48 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 57277 0 0 0 138 10 0 0 20 0 1 0 55416659 351789056 61981 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 85886 61981 4192 2842 0 67580 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 343544 KiB
Current children cumulated memory: 247924 KiB
[startup+3.10549 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=108142040/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=473444 memory=374212 CPUtime=3.08 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 83237 0 0 0 293 15 0 0 20 0 1 0 55416659 484806656 93553 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 118361 93553 4320 2842 0 100055 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 473444 KiB
Current children cumulated memory: 374212 KiB
[startup+6.30013 s]
/proc/loadavg: 2.61 3.77 3.99 5/267 55096
/proc/meminfo: memFree=107627104/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=473444 memory=375364 CPUtime=6.26 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 83545 0 0 0 611 15 0 0 20 0 1 0 55416659 484806656 93841 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 118361 93841 4320 2842 0 100055 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 473444 KiB
Current children cumulated memory: 375364 KiB
[startup+12.7002 s]
/proc/loadavg: 2.80 3.79 3.99 5/266 55096
/proc/meminfo: memFree=107275768/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=526632 memory=400452 CPUtime=12.64 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 89832 0 0 0 1248 16 0 0 20 0 1 0 55416659 539271168 100113 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 131658 100113 4320 2842 0 113352 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 526632 KiB
Current children cumulated memory: 400452 KiB
[startup+25.5002 s]
/proc/loadavg: 3.07 3.80 4.00 5/266 55096
/proc/meminfo: memFree=107208192/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=534428 memory=407236 CPUtime=25.39 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 91552 0 0 0 2522 17 0 0 20 0 1 0 55416659 547254272 101809 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 133607 101809 4320 2842 0 115301 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 534428 KiB
Current children cumulated memory: 407236 KiB
[startup+51.1055 s]
/proc/loadavg: 3.39 3.82 4.00 5/266 55097
/proc/meminfo: memFree=106392752/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=617476 memory=491204 CPUtime=50.9 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 112543 0 0 0 5069 21 0 0 20 0 1 0 55416659 632295424 122801 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 154369 122801 4320 2842 0 136063 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 617476 KiB
Current children cumulated memory: 491204 KiB
[startup+102.3 s]
/proc/loadavg: 3.80 3.86 4.00 5/266 55098
/proc/meminfo: memFree=106364744/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=617476 memory=491332 CPUtime=101.93 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 112570 0 0 0 10172 21 0 0 20 0 1 0 55416659 632295424 122833 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 154369 122833 4320 2842 0 136063 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 617476 KiB
Current children cumulated memory: 491332 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 3.91 4.00 5/267 55101
/proc/meminfo: memFree=106319888/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=617476 memory=491460 CPUtime=161.74 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 112629 0 0 0 16153 21 0 0 20 0 1 0 55416659 632295424 122865 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 154369 122865 4320 2842 0 136063 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 617476 KiB
Current children cumulated memory: 491460 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.94 4.00 5/267 55103
/proc/meminfo: memFree=106273536/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=617476 memory=491460 CPUtime=221.55 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 112653 0 0 0 22134 21 0 0 20 0 1 0 55416659 632295424 122865 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 154369 122865 4320 2842 0 136063 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 617476 KiB
Current children cumulated memory: 491460 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.97 4.00 5/266 55105
/proc/meminfo: memFree=106219140/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=617476 memory=491588 CPUtime=281.37 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 112683 0 0 0 28116 21 0 0 20 0 1 0 55416659 632295424 122897 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 154369 122897 4320 2842 0 136063 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 617476 KiB
Current children cumulated memory: 491588 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.99 4.00 5/264 55107
/proc/meminfo: memFree=106145384/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=637496 memory=508300 CPUtime=341.22 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 115462 0 0 0 34073 49 0 0 20 0 1 0 55416659 652795904 127075 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 159374 127075 4480 2842 0 141068 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 637496 KiB
Current children cumulated memory: 508300 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.02 4.01 5/264 55109
/proc/meminfo: memFree=105965888/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=687584 memory=543172 CPUtime=401.06 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 116004 0 0 0 40043 63 0 0 20 0 1 0 55416659 704086016 135793 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 171896 135793 4480 2842 0 153590 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 687584 KiB
Current children cumulated memory: 543172 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.03 4.01 5/262 55111
/proc/meminfo: memFree=105906780/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=687584 memory=551380 CPUtime=460.92 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 116015 0 0 0 46014 78 0 0 20 0 1 0 55416659 704086016 137845 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 171896 137845 4480 2842 0 153590 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 765964 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/262 55229
/proc/meminfo: memFree=104577556/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=765964 CPUtime=2855.07 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 117899 0 0 0 284671 836 0 0 20 0 1 0 55416659 922861568 191491 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 191491 4480 2842 0 207002 0
Current children cumulated CPU time: 2855.07 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 765964 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.07 5/262 55231
/proc/meminfo: memFree=104588756/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=765964 CPUtime=2914.92 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 117899 0 0 0 290644 848 0 0 20 0 1 0 55416659 922861568 191491 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 191491 4480 2842 0 207002 0
Current children cumulated CPU time: 2914.92 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 765964 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/262 55233
/proc/meminfo: memFree=104583768/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=765964 CPUtime=2974.77 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118030 0 0 0 296617 860 0 0 20 0 1 0 55416659 922861568 191491 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 191491 4480 2842 0 207002 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 765964 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/263 55242
/proc/meminfo: memFree=104559628/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=788492 CPUtime=3034.64 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118150 0 0 0 302594 870 0 0 20 0 1 0 55416659 922861568 197123 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 197123 4480 2842 0 207002 0
Current children cumulated CPU time: 3034.64 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 788492 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/263 55244
/proc/meminfo: memFree=104559548/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=788492 CPUtime=3094.5 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118150 0 0 0 308569 881 0 0 20 0 1 0 55416659 922861568 197123 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 197123 4480 2842 0 207002 0
Current children cumulated CPU time: 3094.5 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 788492 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.07 5/263 55246
/proc/meminfo: memFree=104543332/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=788492 CPUtime=3154.35 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118150 0 0 0 314547 888 0 0 20 0 1 0 55416659 922861568 197123 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 197123 4480 2842 0 207002 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 788492 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/264 55249
/proc/meminfo: memFree=104485644/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3214.21 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118158 0 0 0 320517 904 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3214.21 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/264 55251
/proc/meminfo: memFree=104483504/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3274.07 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118158 0 0 0 326473 934 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/264 55253
/proc/meminfo: memFree=104483712/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3333.93 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118158 0 0 0 332437 956 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/264 55255
/proc/meminfo: memFree=104459040/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3393.79 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118159 0 0 0 338392 987 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.18 4.11 5/264 55257
/proc/meminfo: memFree=104459200/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3453.65 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118160 0 0 0 344351 1014 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.24 4.14 5/263 55259
/proc/meminfo: memFree=104459716/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3513.5 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118160 0 0 0 350325 1025 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.49 4.29 4.16 5/263 55261
/proc/meminfo: memFree=104454772/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3573.37 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118160 0 0 0 356302 1035 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.32 4.26 4.15 5/263 55269
/proc/meminfo: memFree=104454660/131249988 swapFree=33010416/33010684
[pid=55086] ppid=55079 vsize=901232 memory=802828 CPUtime=3600.01 cores=1,3
/proc/55086/stat : 55086 (mixed-bag) R 55079 55086 55025 0 -1 4194304 118160 0 0 0 358954 1047 0 0 20 0 1 0 55416659 922861568 200707 18446744073709551615 4235264 15874749 140722154422592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 37335040 140722154428828 140722154428905 140722154428905 140722154434507 0
/proc/55086/statm: 225308 200707 4480 2842 0 207002 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 901232 KiB
Current children cumulated memory: 802828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 55086 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.54 s, system=10.4824 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.03
CPU user time (s): 3589.54
CPU system time (s): 10.4824
CPU usage (%): 99.751
Max. virtual memory (cumulated for all children) (KiB): 901232
Max. memory (cumulated for all children) (KiB): 802828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.54
system time used= 10.4824
maximum resident set size= 803468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118190
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= 197
involuntary context switches= 1256
# summary of solver processes directly reported to runsolver:
# pid: 55086
# total CPU time (s): 3600.03
# total CPU user time (s): 3589.54
# total CPU system time (s): 10.4824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07827 second user time and 14.9361 second system time
The end
Begin job on nodeC031 at 2025-07-01 21:16:21
IDJOB=4497551
IDBENCH=148188
IDSOLVER=3340
FILE ID=nodeC031/4497551-1751397381
RUNJOBID= nodeC031-1751397381-55037
SLURM_JOB_ID= 9598276
Free space on /tmp= 432904 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4497551-1751397381/watcher-4497551-1751397381 -o /tmp/evaluation-result-4497551-1751397381/solver-4497551-1751397381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55037 --watchdog 3760 mixed-bag HOME/instance-4497551-1751397381.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8bb64a53a6bd967b0f0fe9129c8144f
RANDOM SEED=1530373866
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.929
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.882
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.931
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.480
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.940
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.362
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.941
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.900
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 109890444 kB
MemAvailable: 129629720 kB
Buffers: 2128 kB
Cached: 20425716 kB
SwapCached: 12 kB
Active: 495744 kB
Inactive: 20019904 kB
Active(anon): 95384 kB
Inactive(anon): 10472 kB
Active(file): 400360 kB
Inactive(file): 20009432 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 60588 kB
Writeback: 0 kB
AnonPages: 90872 kB
Mapped: 103476 kB
Shmem: 18052 kB
KReclaimable: 337444 kB
Slab: 428332 kB
SReclaimable: 337444 kB
SUnreclaim: 90888 kB
KernelStack: 4040 kB
PageTables: 2408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 359592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432836 MiB
End job on nodeC031 at 2025-07-01 22:16:30