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.41/300.38 c [STEP] preprocessing done, loading into solver
299.52/300.47 c [STEP] solving
299.52/300.47 c #variables 14341 #constraints 53219
299.52/300.47 c SMALL=int, LARGE=long long
299.52/300.47 d SCIPUB 21
299.52/300.47 c bounds - >= 0 @ 299.366
299.52/300.47 c stratification level: 0
539.22/540.84 c bounds - >= 1 @ 299.382
539.22/540.84 c bounds - >= 2 @ 299.383
539.22/540.84 c bounds - >= 3 @ 299.408
539.22/540.84 c bounds - >= 4 @ 299.437
539.22/540.84 c bounds - >= 5 @ 299.437
539.22/540.84 c bounds - >= 6 @ 299.438
539.22/540.84 c bounds - >= 7 @ 299.44
539.22/540.84 c #Conflicts: 1000 | #Constraints: 54230
539.22/540.84 c #Conflicts: 2000 | #Constraints: 55230
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 3000 | #Constraints: 55231
539.22/540.84 c #Conflicts: 4000 | #Constraints: 56231
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 5000 | #Constraints: 55644
539.22/540.84 c #Conflicts: 6000 | #Constraints: 56644
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 7000 | #Constraints: 55647
539.22/540.84 c #Conflicts: 8000 | #Constraints: 56647
539.22/540.84 c #Conflicts: 9000 | #Constraints: 57647
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 10000 | #Constraints: 56351
539.22/540.84 c #Conflicts: 11000 | #Constraints: 57351
539.22/540.84 c #Conflicts: 12000 | #Constraints: 58351
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 13000 | #Constraints: 56798
539.22/540.84 c #Conflicts: 14000 | #Constraints: 57798
539.22/540.84 c #Conflicts: 15000 | #Constraints: 58798
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 16000 | #Constraints: 57029
539.22/540.84 c #Conflicts: 17000 | #Constraints: 58029
539.22/540.84 c #Conflicts: 18000 | #Constraints: 59029
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 19000 | #Constraints: 57051
539.22/540.84 c #Conflicts: 20000 | #Constraints: 58051
539.22/540.84 c #Conflicts: 21000 | #Constraints: 59051
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 22000 | #Constraints: 56857
539.22/540.84 c #Conflicts: 23000 | #Constraints: 57857
539.22/540.84 c #Conflicts: 24000 | #Constraints: 58857
539.22/540.84 c #Conflicts: 25000 | #Constraints: 59857
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 26000 | #Constraints: 57470
539.22/540.84 c #Conflicts: 27000 | #Constraints: 58470
539.22/540.84 c #Conflicts: 28000 | #Constraints: 59470
539.22/540.84 c #Conflicts: 29000 | #Constraints: 60470
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 30000 | #Constraints: 57863
539.22/540.84 c #Conflicts: 31000 | #Constraints: 58863
539.22/540.84 c #Conflicts: 32000 | #Constraints: 59863
539.22/540.84 c #Conflicts: 33000 | #Constraints: 60863
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 34000 | #Constraints: 58067
539.22/540.84 c #Conflicts: 35000 | #Constraints: 59067
539.22/540.84 c #Conflicts: 36000 | #Constraints: 60067
539.22/540.84 c #Conflicts: 37000 | #Constraints: 61067
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 38000 | #Constraints: 58089
539.22/540.84 c #Conflicts: 39000 | #Constraints: 59089
539.22/540.84 c #Conflicts: 40000 | #Constraints: 60089
539.22/540.84 c #Conflicts: 41000 | #Constraints: 61089
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 42000 | #Constraints: 57889
539.22/540.84 c #Conflicts: 43000 | #Constraints: 58889
539.22/540.84 c #Conflicts: 44000 | #Constraints: 59889
539.22/540.84 c #Conflicts: 45000 | #Constraints: 60889
539.22/540.84 c #Conflicts: 46000 | #Constraints: 61889
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 47000 | #Constraints: 58476
539.22/540.84 c #Conflicts: 48000 | #Constraints: 59476
539.22/540.84 c #Conflicts: 49000 | #Constraints: 60476
539.22/540.84 c #Conflicts: 50000 | #Constraints: 61476
539.22/540.84 c #Conflicts: 51000 | #Constraints: 62476
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 52000 | #Constraints: 58870
539.22/540.84 c #Conflicts: 53000 | #Constraints: 59870
539.22/540.84 c #Conflicts: 54000 | #Constraints: 60870
539.22/540.84 c #Conflicts: 55000 | #Constraints: 61870
539.22/540.84 c #Conflicts: 56000 | #Constraints: 62870
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 57000 | #Constraints: 59078
539.22/540.84 c #Conflicts: 58000 | #Constraints: 60078
539.22/540.84 c #Conflicts: 59000 | #Constraints: 61078
539.22/540.84 c #Conflicts: 60000 | #Constraints: 62078
539.22/540.84 c #Conflicts: 61000 | #Constraints: 63078
539.22/540.84 c INPROCESSING
539.22/540.84 c GARBAGE COLLECT
539.22/540.84 c #Conflicts: 62000 | #Constraints: 59079
539.22/540.84 c #Conflicts: 63000 | #Constraints: 60079
539.22/540.84 c #Conflicts: 64000 | #Constraints: 61079
539.22/540.84 c #Conflicts: 65000 | #Constraints: 62079
845.19/847.76 c #Conflicts: 66000 | #Constraints: 63079
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 67000 | #Constraints: 58883
845.19/847.76 c #Conflicts: 68000 | #Constraints: 59883
845.19/847.76 c #Conflicts: 69000 | #Constraints: 60883
845.19/847.76 c #Conflicts: 70000 | #Constraints: 61883
845.19/847.76 c #Conflicts: 71000 | #Constraints: 62883
845.19/847.76 c #Conflicts: 72000 | #Constraints: 63883
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 73000 | #Constraints: 59495
845.19/847.76 c #Conflicts: 74000 | #Constraints: 60495
845.19/847.76 c #Conflicts: 75000 | #Constraints: 61495
845.19/847.76 c #Conflicts: 76000 | #Constraints: 62495
845.19/847.76 c #Conflicts: 77000 | #Constraints: 63495
845.19/847.76 c #Conflicts: 78000 | #Constraints: 64495
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 79000 | #Constraints: 59890
845.19/847.76 c #Conflicts: 80000 | #Constraints: 60890
845.19/847.76 c #Conflicts: 81000 | #Constraints: 61890
845.19/847.76 c #Conflicts: 82000 | #Constraints: 62890
845.19/847.76 c #Conflicts: 83000 | #Constraints: 63890
845.19/847.76 c #Conflicts: 84000 | #Constraints: 64890
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 85000 | #Constraints: 60090
845.19/847.76 c #Conflicts: 86000 | #Constraints: 61090
845.19/847.76 c #Conflicts: 87000 | #Constraints: 62090
845.19/847.76 c #Conflicts: 88000 | #Constraints: 63090
845.19/847.76 c #Conflicts: 89000 | #Constraints: 64090
845.19/847.76 c #Conflicts: 90000 | #Constraints: 65090
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 91000 | #Constraints: 60095
845.19/847.76 c #Conflicts: 92000 | #Constraints: 61095
845.19/847.76 c #Conflicts: 93000 | #Constraints: 62095
845.19/847.76 c #Conflicts: 94000 | #Constraints: 63095
845.19/847.76 c #Conflicts: 95000 | #Constraints: 64095
845.19/847.76 c #Conflicts: 96000 | #Constraints: 65095
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 97000 | #Constraints: 59928
845.19/847.76 c #Conflicts: 98000 | #Constraints: 60928
845.19/847.76 c #Conflicts: 99000 | #Constraints: 61928
845.19/847.76 c #Conflicts: 100000 | #Constraints: 62928
845.19/847.76 c #Conflicts: 101000 | #Constraints: 63928
845.19/847.76 c #Conflicts: 102000 | #Constraints: 64928
845.19/847.76 c #Conflicts: 103000 | #Constraints: 65928
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 104000 | #Constraints: 60490
845.19/847.76 c #Conflicts: 105000 | #Constraints: 61490
845.19/847.76 c #Conflicts: 106000 | #Constraints: 62490
845.19/847.76 c #Conflicts: 107000 | #Constraints: 63490
845.19/847.76 c #Conflicts: 108000 | #Constraints: 64490
845.19/847.76 c #Conflicts: 109000 | #Constraints: 65490
845.19/847.76 c #Conflicts: 110000 | #Constraints: 66490
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 111000 | #Constraints: 60893
845.19/847.76 c #Conflicts: 112000 | #Constraints: 61893
845.19/847.76 c #Conflicts: 113000 | #Constraints: 62893
845.19/847.76 c #Conflicts: 114000 | #Constraints: 63893
845.19/847.76 c #Conflicts: 115000 | #Constraints: 64893
845.19/847.76 c #Conflicts: 116000 | #Constraints: 65893
845.19/847.76 c #Conflicts: 117000 | #Constraints: 66893
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 118000 | #Constraints: 61101
845.19/847.76 c #Conflicts: 119000 | #Constraints: 62101
845.19/847.76 c #Conflicts: 120000 | #Constraints: 63101
845.19/847.76 c #Conflicts: 121000 | #Constraints: 64101
845.19/847.76 c #Conflicts: 122000 | #Constraints: 65101
845.19/847.76 c #Conflicts: 123000 | #Constraints: 66101
845.19/847.76 c #Conflicts: 124000 | #Constraints: 67101
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 125000 | #Constraints: 61091
845.19/847.76 c #Conflicts: 126000 | #Constraints: 62091
845.19/847.76 c #Conflicts: 127000 | #Constraints: 63091
845.19/847.76 c #Conflicts: 128000 | #Constraints: 64091
845.19/847.76 c #Conflicts: 129000 | #Constraints: 65091
845.19/847.76 c #Conflicts: 130000 | #Constraints: 66091
845.19/847.76 c #Conflicts: 131000 | #Constraints: 67091
845.19/847.76 c INPROCESSING
845.19/847.76 c GARBAGE COLLECT
845.19/847.76 c #Conflicts: 132000 | #Constraints: 60886
845.19/847.76 c #Conflicts: 133000 | #Constraints: 61886
845.19/847.76 c #Conflicts: 134000 | #Constraints: 62886
845.19/847.76 c #Conflicts: 135000 | #Constraints: 63886
845.19/847.76 c #Conflicts: 136000 | #Constraints: 64886
845.19/847.76 c #Conflicts: 137000 | #Constraints: 65886
1095.02/1098.34 c #Conflicts: 138000 | #Constraints: 66886
1095.02/1098.34 c #Conflicts: 139000 | #Constraints: 67886
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 140000 | #Constraints: 61502
1095.02/1098.34 c #Conflicts: 141000 | #Constraints: 62502
1095.02/1098.34 c #Conflicts: 142000 | #Constraints: 63502
1095.02/1098.34 c #Conflicts: 143000 | #Constraints: 64502
1095.02/1098.34 c #Conflicts: 144000 | #Constraints: 65502
1095.02/1098.34 c #Conflicts: 145000 | #Constraints: 66502
1095.02/1098.34 c #Conflicts: 146000 | #Constraints: 67502
1095.02/1098.34 c #Conflicts: 147000 | #Constraints: 68502
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 148000 | #Constraints: 61896
1095.02/1098.34 c #Conflicts: 149000 | #Constraints: 62896
1095.02/1098.34 c #Conflicts: 150000 | #Constraints: 63896
1095.02/1098.34 c #Conflicts: 151000 | #Constraints: 64896
1095.02/1098.34 c #Conflicts: 152000 | #Constraints: 65896
1095.02/1098.34 c #Conflicts: 153000 | #Constraints: 66896
1095.02/1098.34 c #Conflicts: 154000 | #Constraints: 67896
1095.02/1098.34 c #Conflicts: 155000 | #Constraints: 68896
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 156000 | #Constraints: 62101
1095.02/1098.34 c #Conflicts: 157000 | #Constraints: 63101
1095.02/1098.34 c #Conflicts: 158000 | #Constraints: 64101
1095.02/1098.34 c #Conflicts: 159000 | #Constraints: 65101
1095.02/1098.34 c #Conflicts: 160000 | #Constraints: 66101
1095.02/1098.34 c #Conflicts: 161000 | #Constraints: 67101
1095.02/1098.34 c #Conflicts: 162000 | #Constraints: 68101
1095.02/1098.34 c #Conflicts: 163000 | #Constraints: 69101
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 164000 | #Constraints: 62094
1095.02/1098.34 c #Conflicts: 165000 | #Constraints: 63094
1095.02/1098.34 c #Conflicts: 166000 | #Constraints: 64094
1095.02/1098.34 c #Conflicts: 167000 | #Constraints: 65094
1095.02/1098.34 c #Conflicts: 168000 | #Constraints: 66094
1095.02/1098.34 c #Conflicts: 169000 | #Constraints: 67094
1095.02/1098.34 c #Conflicts: 170000 | #Constraints: 68094
1095.02/1098.34 c #Conflicts: 171000 | #Constraints: 69094
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 172000 | #Constraints: 61906
1095.02/1098.34 c #Conflicts: 173000 | #Constraints: 62906
1095.02/1098.34 c #Conflicts: 174000 | #Constraints: 63906
1095.02/1098.34 c #Conflicts: 175000 | #Constraints: 64906
1095.02/1098.34 c #Conflicts: 176000 | #Constraints: 65906
1095.02/1098.34 c #Conflicts: 177000 | #Constraints: 66906
1095.02/1098.34 c #Conflicts: 178000 | #Constraints: 67906
1095.02/1098.34 c #Conflicts: 179000 | #Constraints: 68906
1095.02/1098.34 c #Conflicts: 180000 | #Constraints: 69906
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 181000 | #Constraints: 62494
1095.02/1098.34 c #Conflicts: 182000 | #Constraints: 63494
1095.02/1098.34 c #Conflicts: 183000 | #Constraints: 64494
1095.02/1098.34 c #Conflicts: 184000 | #Constraints: 65494
1095.02/1098.34 c #Conflicts: 185000 | #Constraints: 66494
1095.02/1098.34 c #Conflicts: 186000 | #Constraints: 67494
1095.02/1098.34 c #Conflicts: 187000 | #Constraints: 68494
1095.02/1098.34 c #Conflicts: 188000 | #Constraints: 69494
1095.02/1098.34 c #Conflicts: 189000 | #Constraints: 70494
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 190000 | #Constraints: 62893
1095.02/1098.34 c #Conflicts: 191000 | #Constraints: 63893
1095.02/1098.34 c #Conflicts: 192000 | #Constraints: 64893
1095.02/1098.34 c #Conflicts: 193000 | #Constraints: 65893
1095.02/1098.34 c #Conflicts: 194000 | #Constraints: 66893
1095.02/1098.34 c #Conflicts: 195000 | #Constraints: 67893
1095.02/1098.34 c #Conflicts: 196000 | #Constraints: 68893
1095.02/1098.34 c #Conflicts: 197000 | #Constraints: 69893
1095.02/1098.34 c #Conflicts: 198000 | #Constraints: 70893
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 199000 | #Constraints: 63111
1095.02/1098.34 c #Conflicts: 200000 | #Constraints: 64111
1095.02/1098.34 c #Conflicts: 201000 | #Constraints: 65111
1095.02/1098.34 c #Conflicts: 202000 | #Constraints: 66111
1095.02/1098.34 c #Conflicts: 203000 | #Constraints: 67111
1095.02/1098.34 c #Conflicts: 204000 | #Constraints: 68111
1095.02/1098.34 c #Conflicts: 205000 | #Constraints: 69111
1095.02/1098.34 c #Conflicts: 206000 | #Constraints: 70111
1095.02/1098.34 c #Conflicts: 207000 | #Constraints: 71111
1095.02/1098.34 c INPROCESSING
1095.02/1098.34 c GARBAGE COLLECT
1095.02/1098.34 c #Conflicts: 208000 | #Constraints: 63143
1095.02/1098.34 c #Conflicts: 209000 | #Constraints: 64143
1095.02/1098.34 c #Conflicts: 210000 | #Constraints: 65143
1339.37/1343.44 c #Conflicts: 211000 | #Constraints: 66143
1339.37/1343.44 c #Conflicts: 212000 | #Constraints: 67143
1339.37/1343.44 c #Conflicts: 213000 | #Constraints: 68143
1339.37/1343.44 c #Conflicts: 214000 | #Constraints: 69143
1339.37/1343.44 c #Conflicts: 215000 | #Constraints: 70143
1339.37/1343.44 c #Conflicts: 216000 | #Constraints: 71143
1339.37/1343.44 c INPROCESSING
1339.37/1343.44 c GARBAGE COLLECT
1339.37/1343.44 c #Conflicts: 217000 | #Constraints: 62942
1339.37/1343.44 c #Conflicts: 218000 | #Constraints: 63942
1339.37/1343.44 c #Conflicts: 219000 | #Constraints: 64942
1339.37/1343.44 c #Conflicts: 220000 | #Constraints: 65942
1339.37/1343.44 c #Conflicts: 221000 | #Constraints: 66942
1339.37/1343.44 c #Conflicts: 222000 | #Constraints: 67942
1339.37/1343.44 c #Conflicts: 223000 | #Constraints: 68942
1339.37/1343.44 c #Conflicts: 224000 | #Constraints: 69942
1339.37/1343.44 c #Conflicts: 225000 | #Constraints: 70942
1339.37/1343.44 c #Conflicts: 226000 | #Constraints: 71942
1339.37/1343.44 c INPROCESSING
1339.37/1343.44 c GARBAGE COLLECT
1339.37/1343.44 c #Conflicts: 227000 | #Constraints: 63533
1339.37/1343.44 c #Conflicts: 228000 | #Constraints: 64533
1339.37/1343.44 c #Conflicts: 229000 | #Constraints: 65533
1339.37/1343.44 c #Conflicts: 230000 | #Constraints: 66533
1339.37/1343.44 c #Conflicts: 231000 | #Constraints: 67533
1339.37/1343.44 c #Conflicts: 232000 | #Constraints: 68533
1339.37/1343.44 c #Conflicts: 233000 | #Constraints: 69533
1339.37/1343.44 c #Conflicts: 234000 | #Constraints: 70533
1339.37/1343.44 c #Conflicts: 235000 | #Constraints: 71533
1339.37/1343.44 c #Conflicts: 236000 | #Constraints: 72533
1339.37/1343.44 c INPROCESSING
1339.37/1343.44 c GARBAGE COLLECT
1339.37/1343.44 c #Conflicts: 237000 | #Constraints: 63918
1339.37/1343.44 c #Conflicts: 238000 | #Constraints: 64918
1339.37/1343.44 c #Conflicts: 239000 | #Constraints: 65918
1339.37/1343.44 c #Conflicts: 240000 | #Constraints: 66918
1339.37/1343.44 c #Conflicts: 241000 | #Constraints: 67918
1339.37/1343.44 c #Conflicts: 242000 | #Constraints: 68918
1339.37/1343.44 c #Conflicts: 243000 | #Constraints: 69918
1339.37/1343.44 c #Conflicts: 244000 | #Constraints: 70918
1339.37/1343.44 c #Conflicts: 245000 | #Constraints: 71918
1339.37/1343.44 c #Conflicts: 246000 | #Constraints: 72918
1339.37/1343.44 c INPROCESSING
1339.37/1343.44 c GARBAGE COLLECT
1339.37/1343.44 c #Conflicts: 247000 | #Constraints: 64123
1339.37/1343.44 c #Conflicts: 248000 | #Constraints: 65123
1339.37/1343.44 c #Conflicts: 249000 | #Constraints: 66123
1339.37/1343.44 c #Conflicts: 250000 | #Constraints: 67123
1339.37/1343.44 c #Conflicts: 251000 | #Constraints: 68123
1339.37/1343.44 c #Conflicts: 252000 | #Constraints: 69123
1339.37/1343.44 c #Conflicts: 253000 | #Constraints: 70123
1339.37/1343.44 c #Conflicts: 254000 | #Constraints: 71123
1339.37/1343.44 c #Conflicts: 255000 | #Constraints: 72123
1339.37/1343.44 c #Conflicts: 256000 | #Constraints: 73123
1339.37/1343.44 c INPROCESSING
1339.37/1343.44 c GARBAGE COLLECT
1339.37/1343.44 c #Conflicts: 257000 | #Constraints: 64099
1339.37/1343.44 c #Conflicts: 258000 | #Constraints: 65099
1339.37/1343.44 c #Conflicts: 259000 | #Constraints: 66099
1339.37/1343.44 c #Conflicts: 260000 | #Constraints: 67099
1339.37/1343.44 c #Conflicts: 261000 | #Constraints: 68099
1339.37/1343.44 c #Conflicts: 262000 | #Constraints: 69099
1339.37/1343.44 c #Conflicts: 263000 | #Constraints: 70099
1339.37/1343.44 c #Conflicts: 264000 | #Constraints: 71099
1339.37/1343.44 c #Conflicts: 265000 | #Constraints: 72099
1339.37/1343.44 c #Conflicts: 266000 | #Constraints: 73099
1339.37/1343.44 c INPROCESSING
1339.37/1343.44 c GARBAGE COLLECT
1339.37/1343.44 c #Conflicts: 267000 | #Constraints: 63907
1339.37/1343.44 c #Conflicts: 268000 | #Constraints: 64907
1339.37/1343.44 c #Conflicts: 269000 | #Constraints: 65907
1339.37/1343.44 c #Conflicts: 270000 | #Constraints: 66907
1339.37/1343.44 c #Conflicts: 271000 | #Constraints: 67907
1339.37/1343.44 c #Conflicts: 272000 | #Constraints: 68907
1339.37/1343.44 c #Conflicts: 273000 | #Constraints: 69907
1339.37/1343.44 c #Conflicts: 274000 | #Constraints: 70907
1339.37/1343.44 c #Conflicts: 275000 | #Constraints: 71907
1339.37/1343.44 c #Conflicts: 276000 | #Constraints: 72907
1339.37/1343.44 c #Conflicts: 277000 | #Constraints: 73907
1339.37/1343.44 c INPROCESSING
1339.37/1343.44 c GARBAGE COLLECT
1339.37/1343.44 c #Conflicts: 278000 | #Constraints: 64508
1339.37/1343.44 c #Conflicts: 279000 | #Constraints: 65508
1339.37/1343.44 c #Conflicts: 280000 | #Constraints: 66508
1339.37/1343.44 c #Conflicts: 281000 | #Constraints: 67508
1339.37/1343.44 c #Conflicts: 282000 | #Constraints: 68508
1339.37/1343.44 c #Conflicts: 283000 | #Constraints: 69508
1339.37/1343.44 c #Conflicts: 284000 | #Constraints: 70508
1586.90/1591.73 c #Conflicts: 285000 | #Constraints: 71508
1586.90/1591.73 c #Conflicts: 286000 | #Constraints: 72508
1586.90/1591.73 c #Conflicts: 287000 | #Constraints: 73508
1586.90/1591.73 c #Conflicts: 288000 | #Constraints: 74508
1586.90/1591.73 c INPROCESSING
1586.90/1591.73 c GARBAGE COLLECT
1586.90/1591.73 c #Conflicts: 289000 | #Constraints: 64930
1586.90/1591.73 c #Conflicts: 290000 | #Constraints: 65930
1586.90/1591.73 c #Conflicts: 291000 | #Constraints: 66930
1586.90/1591.73 c #Conflicts: 292000 | #Constraints: 67930
1586.90/1591.73 c #Conflicts: 293000 | #Constraints: 68930
1586.90/1591.73 c #Conflicts: 294000 | #Constraints: 69930
1586.90/1591.73 c #Conflicts: 295000 | #Constraints: 70930
1586.90/1591.73 c #Conflicts: 296000 | #Constraints: 71930
1586.90/1591.73 c #Conflicts: 297000 | #Constraints: 72930
1586.90/1591.73 c #Conflicts: 298000 | #Constraints: 73930
1586.90/1591.73 c #Conflicts: 299000 | #Constraints: 74930
1586.90/1591.73 c INPROCESSING
1586.90/1591.73 c GARBAGE COLLECT
1586.90/1591.73 c #Conflicts: 300000 | #Constraints: 65159
1586.90/1591.73 c #Conflicts: 301000 | #Constraints: 66159
1586.90/1591.73 c #Conflicts: 302000 | #Constraints: 67159
1586.90/1591.73 c #Conflicts: 303000 | #Constraints: 68159
1586.90/1591.73 c #Conflicts: 304000 | #Constraints: 69159
1586.90/1591.73 c #Conflicts: 305000 | #Constraints: 70159
1586.90/1591.73 c #Conflicts: 306000 | #Constraints: 71159
1586.90/1591.73 c #Conflicts: 307000 | #Constraints: 72159
1586.90/1591.73 c #Conflicts: 308000 | #Constraints: 73159
1586.90/1591.73 c #Conflicts: 309000 | #Constraints: 74159
1586.90/1591.73 c #Conflicts: 310000 | #Constraints: 75159
1586.90/1591.73 c INPROCESSING
1586.90/1591.73 c GARBAGE COLLECT
1586.90/1591.73 c #Conflicts: 311000 | #Constraints: 65145
1586.90/1591.73 c #Conflicts: 312000 | #Constraints: 66145
1586.90/1591.73 c #Conflicts: 313000 | #Constraints: 67145
1586.90/1591.73 c #Conflicts: 314000 | #Constraints: 68145
1586.90/1591.73 c #Conflicts: 315000 | #Constraints: 69145
1586.90/1591.73 c #Conflicts: 316000 | #Constraints: 70145
1586.90/1591.73 c #Conflicts: 317000 | #Constraints: 71145
1586.90/1591.73 c #Conflicts: 318000 | #Constraints: 72145
1586.90/1591.73 c #Conflicts: 319000 | #Constraints: 73145
1586.90/1591.73 c #Conflicts: 320000 | #Constraints: 74145
1586.90/1591.73 c #Conflicts: 321000 | #Constraints: 75145
1586.90/1591.73 c INPROCESSING
1586.90/1591.73 c GARBAGE COLLECT
1586.90/1591.73 c #Conflicts: 322000 | #Constraints: 64917
1586.90/1591.73 c #Conflicts: 323000 | #Constraints: 65917
1586.90/1591.73 c #Conflicts: 324000 | #Constraints: 66917
1586.90/1591.73 c #Conflicts: 325000 | #Constraints: 67917
1586.90/1591.73 c #Conflicts: 326000 | #Constraints: 68917
1586.90/1591.73 c #Conflicts: 327000 | #Constraints: 69917
1586.90/1591.73 c #Conflicts: 328000 | #Constraints: 70917
1586.90/1591.73 c #Conflicts: 329000 | #Constraints: 71917
1586.90/1591.73 c #Conflicts: 330000 | #Constraints: 72917
1586.90/1591.73 c #Conflicts: 331000 | #Constraints: 73917
1586.90/1591.73 c #Conflicts: 332000 | #Constraints: 74917
1586.90/1591.73 c #Conflicts: 333000 | #Constraints: 75917
1586.90/1591.73 c INPROCESSING
1586.90/1591.73 c GARBAGE COLLECT
1586.90/1591.73 c #Conflicts: 334000 | #Constraints: 65504
1586.90/1591.73 c #Conflicts: 335000 | #Constraints: 66504
1586.90/1591.73 c #Conflicts: 336000 | #Constraints: 67504
1586.90/1591.73 c #Conflicts: 337000 | #Constraints: 68504
1586.90/1591.73 c #Conflicts: 338000 | #Constraints: 69504
1586.90/1591.73 c #Conflicts: 339000 | #Constraints: 70504
1586.90/1591.73 c #Conflicts: 340000 | #Constraints: 71504
1586.90/1591.73 c #Conflicts: 341000 | #Constraints: 72504
1586.90/1591.73 c #Conflicts: 342000 | #Constraints: 73504
1586.90/1591.73 c #Conflicts: 343000 | #Constraints: 74504
1586.90/1591.73 c #Conflicts: 344000 | #Constraints: 75504
1586.90/1591.73 c #Conflicts: 345000 | #Constraints: 76504
1586.90/1591.73 c INPROCESSING
1586.90/1591.73 c GARBAGE COLLECT
1586.90/1591.73 c #Conflicts: 346000 | #Constraints: 65909
1586.90/1591.73 c #Conflicts: 347000 | #Constraints: 66909
1586.90/1591.73 c #Conflicts: 348000 | #Constraints: 67909
1586.90/1591.73 c #Conflicts: 349000 | #Constraints: 68909
1586.90/1591.73 c #Conflicts: 350000 | #Constraints: 69909
1586.90/1591.73 c #Conflicts: 351000 | #Constraints: 70909
1586.90/1591.73 c #Conflicts: 352000 | #Constraints: 71909
1586.90/1591.73 c #Conflicts: 353000 | #Constraints: 72909
1586.90/1591.73 c #Conflicts: 354000 | #Constraints: 73909
1586.90/1591.73 c #Conflicts: 355000 | #Constraints: 74909
1586.90/1591.73 c #Conflicts: 356000 | #Constraints: 75909
1586.90/1591.73 c #Conflicts: 357000 | #Constraints: 76909
1586.90/1591.73 c INPROCESSING
1586.90/1591.73 c GARBAGE COLLECT
1586.90/1591.73 c #Conflicts: 358000 | #Constraints: 66139
1866.35/1872.08 c #Conflicts: 359000 | #Constraints: 67139
1866.35/1872.08 c #Conflicts: 360000 | #Constraints: 68139
1866.35/1872.08 c #Conflicts: 361000 | #Constraints: 69139
1866.35/1872.08 c #Conflicts: 362000 | #Constraints: 70139
1866.35/1872.08 c #Conflicts: 363000 | #Constraints: 71139
1866.35/1872.08 c #Conflicts: 364000 | #Constraints: 72139
1866.35/1872.08 c #Conflicts: 365000 | #Constraints: 73139
1866.35/1872.08 c #Conflicts: 366000 | #Constraints: 74139
1866.35/1872.08 c #Conflicts: 367000 | #Constraints: 75139
1866.35/1872.08 c #Conflicts: 368000 | #Constraints: 76139
1866.35/1872.08 c #Conflicts: 369000 | #Constraints: 77139
1866.35/1872.08 c INPROCESSING
1866.35/1872.08 c GARBAGE COLLECT
1866.35/1872.08 c #Conflicts: 370000 | #Constraints: 66157
1866.35/1872.08 c #Conflicts: 371000 | #Constraints: 67157
1866.35/1872.08 c #Conflicts: 372000 | #Constraints: 68157
1866.35/1872.08 c #Conflicts: 373000 | #Constraints: 69157
1866.35/1872.08 c #Conflicts: 374000 | #Constraints: 70157
1866.35/1872.08 c #Conflicts: 375000 | #Constraints: 71157
1866.35/1872.08 c #Conflicts: 376000 | #Constraints: 72157
1866.35/1872.08 c #Conflicts: 377000 | #Constraints: 73157
1866.35/1872.08 c #Conflicts: 378000 | #Constraints: 74157
1866.35/1872.08 c #Conflicts: 379000 | #Constraints: 75157
1866.35/1872.08 c #Conflicts: 380000 | #Constraints: 76157
1866.35/1872.08 c #Conflicts: 381000 | #Constraints: 77157
1866.35/1872.08 c INPROCESSING
1866.35/1872.08 c GARBAGE COLLECT
1866.35/1872.08 c #Conflicts: 382000 | #Constraints: 65950
1866.35/1872.08 c #Conflicts: 383000 | #Constraints: 66950
1866.35/1872.08 c #Conflicts: 384000 | #Constraints: 67950
1866.35/1872.08 c #Conflicts: 385000 | #Constraints: 68950
1866.35/1872.08 c #Conflicts: 386000 | #Constraints: 69950
1866.35/1872.08 c #Conflicts: 387000 | #Constraints: 70950
1866.35/1872.08 c #Conflicts: 388000 | #Constraints: 71950
1866.35/1872.08 c #Conflicts: 389000 | #Constraints: 72950
1866.35/1872.08 c #Conflicts: 390000 | #Constraints: 73950
1866.35/1872.08 c #Conflicts: 391000 | #Constraints: 74950
1866.35/1872.08 c #Conflicts: 392000 | #Constraints: 75950
1866.35/1872.08 c #Conflicts: 393000 | #Constraints: 76950
1866.35/1872.08 c #Conflicts: 394000 | #Constraints: 77950
1866.35/1872.08 c INPROCESSING
1866.35/1872.08 c GARBAGE COLLECT
1866.35/1872.08 c #Conflicts: 395000 | #Constraints: 66564
1866.35/1872.08 c #Conflicts: 396000 | #Constraints: 67564
1866.35/1872.08 c #Conflicts: 397000 | #Constraints: 68564
1866.35/1872.08 c #Conflicts: 398000 | #Constraints: 69564
1866.35/1872.08 c #Conflicts: 399000 | #Constraints: 70564
1866.35/1872.08 c #Conflicts: 400000 | #Constraints: 71564
1866.35/1872.08 c #Conflicts: 401000 | #Constraints: 72564
1866.35/1872.08 c #Conflicts: 402000 | #Constraints: 73564
1866.35/1872.08 c #Conflicts: 403000 | #Constraints: 74564
1866.35/1872.08 c #Conflicts: 404000 | #Constraints: 75564
1866.35/1872.08 c #Conflicts: 405000 | #Constraints: 76564
1866.35/1872.08 c #Conflicts: 406000 | #Constraints: 77564
1866.35/1872.08 c #Conflicts: 407000 | #Constraints: 78564
1866.35/1872.08 c INPROCESSING
1866.35/1872.08 c GARBAGE COLLECT
1866.35/1872.08 c #Conflicts: 408000 | #Constraints: 66961
1866.35/1872.08 c #Conflicts: 409000 | #Constraints: 67961
1866.35/1872.08 c #Conflicts: 410000 | #Constraints: 68961
1866.35/1872.08 c #Conflicts: 411000 | #Constraints: 69961
1866.35/1872.08 c #Conflicts: 412000 | #Constraints: 70961
1866.35/1872.08 c #Conflicts: 413000 | #Constraints: 71961
1866.35/1872.08 c #Conflicts: 414000 | #Constraints: 72961
1866.35/1872.08 c #Conflicts: 415000 | #Constraints: 73961
1866.35/1872.08 c #Conflicts: 416000 | #Constraints: 74961
1866.35/1872.08 c #Conflicts: 417000 | #Constraints: 75961
1866.35/1872.08 c #Conflicts: 418000 | #Constraints: 76961
1866.35/1872.08 c #Conflicts: 419000 | #Constraints: 77961
1866.35/1872.08 c #Conflicts: 420000 | #Constraints: 78961
1866.35/1872.08 c INPROCESSING
1866.35/1872.08 c GARBAGE COLLECT
1866.35/1872.08 c #Conflicts: 421000 | #Constraints: 67169
1866.35/1872.08 c #Conflicts: 422000 | #Constraints: 68169
1866.35/1872.08 c #Conflicts: 423000 | #Constraints: 69169
1866.35/1872.08 c #Conflicts: 424000 | #Constraints: 70169
1866.35/1872.08 c #Conflicts: 425000 | #Constraints: 71169
1866.35/1872.08 c #Conflicts: 426000 | #Constraints: 72169
1866.35/1872.08 c #Conflicts: 427000 | #Constraints: 73169
1866.35/1872.08 c #Conflicts: 428000 | #Constraints: 74169
1866.35/1872.08 c #Conflicts: 429000 | #Constraints: 75169
1866.35/1872.08 c #Conflicts: 430000 | #Constraints: 76169
1866.35/1872.08 c #Conflicts: 431000 | #Constraints: 77169
1866.35/1872.08 c #Conflicts: 432000 | #Constraints: 78169
1866.35/1872.08 c #Conflicts: 433000 | #Constraints: 79169
1866.35/1872.08 c INPROCESSING
1866.35/1872.08 c GARBAGE COLLECT
2239.32/2246.17 c #Conflicts: 434000 | #Constraints: 67189
2239.32/2246.17 c #Conflicts: 435000 | #Constraints: 68189
2239.32/2246.17 c #Conflicts: 436000 | #Constraints: 69189
2239.32/2246.17 c #Conflicts: 437000 | #Constraints: 70189
2239.32/2246.17 c #Conflicts: 438000 | #Constraints: 71189
2239.32/2246.17 c #Conflicts: 439000 | #Constraints: 72189
2239.32/2246.17 c #Conflicts: 440000 | #Constraints: 73189
2239.32/2246.17 c #Conflicts: 441000 | #Constraints: 74189
2239.32/2246.17 c #Conflicts: 442000 | #Constraints: 75189
2239.32/2246.17 c #Conflicts: 443000 | #Constraints: 76189
2239.32/2246.17 c #Conflicts: 444000 | #Constraints: 77189
2239.32/2246.17 c #Conflicts: 445000 | #Constraints: 78189
2239.32/2246.17 c #Conflicts: 446000 | #Constraints: 79189
2239.32/2246.17 c INPROCESSING
2239.32/2246.17 c GARBAGE COLLECT
2239.32/2246.17 c #Conflicts: 447000 | #Constraints: 67020
2239.32/2246.17 c #Conflicts: 448000 | #Constraints: 68020
2239.32/2246.17 c #Conflicts: 449000 | #Constraints: 69020
2239.32/2246.17 c #Conflicts: 450000 | #Constraints: 70020
2239.32/2246.17 c #Conflicts: 451000 | #Constraints: 71020
2239.32/2246.17 c #Conflicts: 452000 | #Constraints: 72020
2239.32/2246.17 c #Conflicts: 453000 | #Constraints: 73020
2239.32/2246.17 c #Conflicts: 454000 | #Constraints: 74020
2239.32/2246.17 c #Conflicts: 455000 | #Constraints: 75020
2239.32/2246.17 c #Conflicts: 456000 | #Constraints: 76020
2239.32/2246.17 c #Conflicts: 457000 | #Constraints: 77020
2239.32/2246.17 c #Conflicts: 458000 | #Constraints: 78020
2239.32/2246.17 c #Conflicts: 459000 | #Constraints: 79020
2239.32/2246.17 c #Conflicts: 460000 | #Constraints: 80020
2239.32/2246.17 c INPROCESSING
2239.32/2246.17 c GARBAGE COLLECT
2239.32/2246.17 c #Conflicts: 461000 | #Constraints: 67555
2239.32/2246.17 c #Conflicts: 462000 | #Constraints: 68555
2239.32/2246.17 c #Conflicts: 463000 | #Constraints: 69555
2239.32/2246.17 c #Conflicts: 464000 | #Constraints: 70555
2239.32/2246.17 c #Conflicts: 465000 | #Constraints: 71555
2239.32/2246.17 c #Conflicts: 466000 | #Constraints: 72555
2239.32/2246.17 c #Conflicts: 467000 | #Constraints: 73555
2239.32/2246.17 c #Conflicts: 468000 | #Constraints: 74555
2239.32/2246.17 c #Conflicts: 469000 | #Constraints: 75555
2239.32/2246.17 c #Conflicts: 470000 | #Constraints: 76555
2239.32/2246.17 c #Conflicts: 471000 | #Constraints: 77555
2239.32/2246.17 c #Conflicts: 472000 | #Constraints: 78555
2239.32/2246.17 c #Conflicts: 473000 | #Constraints: 79555
2239.32/2246.17 c #Conflicts: 474000 | #Constraints: 80555
2239.32/2246.17 c INPROCESSING
2239.32/2246.17 c GARBAGE COLLECT
2239.32/2246.17 c #Conflicts: 475000 | #Constraints: 67946
2239.32/2246.17 c #Conflicts: 476000 | #Constraints: 68946
2239.32/2246.17 c #Conflicts: 477000 | #Constraints: 69946
2239.32/2246.17 c #Conflicts: 478000 | #Constraints: 70946
2239.32/2246.17 c #Conflicts: 479000 | #Constraints: 71946
2239.32/2246.17 c #Conflicts: 480000 | #Constraints: 72946
2239.32/2246.17 c #Conflicts: 481000 | #Constraints: 73946
2239.32/2246.17 c #Conflicts: 482000 | #Constraints: 74946
2239.32/2246.17 c #Conflicts: 483000 | #Constraints: 75946
2239.32/2246.17 c #Conflicts: 484000 | #Constraints: 76946
2239.32/2246.17 c #Conflicts: 485000 | #Constraints: 77946
2239.32/2246.17 c #Conflicts: 486000 | #Constraints: 78946
2239.32/2246.17 c #Conflicts: 487000 | #Constraints: 79946
2239.32/2246.17 c #Conflicts: 488000 | #Constraints: 80946
2239.32/2246.17 c INPROCESSING
2239.32/2246.17 c GARBAGE COLLECT
2239.32/2246.17 c #Conflicts: 489000 | #Constraints: 68168
2239.32/2246.17 c #Conflicts: 490000 | #Constraints: 69168
2239.32/2246.17 c #Conflicts: 491000 | #Constraints: 70168
2239.32/2246.17 c #Conflicts: 492000 | #Constraints: 71168
2239.32/2246.17 c #Conflicts: 493000 | #Constraints: 72168
2239.32/2246.17 c #Conflicts: 494000 | #Constraints: 73168
2239.32/2246.17 c #Conflicts: 495000 | #Constraints: 74168
2239.32/2246.17 c #Conflicts: 496000 | #Constraints: 75168
2239.32/2246.17 c #Conflicts: 497000 | #Constraints: 76168
2239.32/2246.17 c #Conflicts: 498000 | #Constraints: 77168
2239.32/2246.17 c #Conflicts: 499000 | #Constraints: 78168
2239.32/2246.17 c #Conflicts: 500000 | #Constraints: 79168
2239.32/2246.17 c #Conflicts: 501000 | #Constraints: 80168
2239.32/2246.17 c #Conflicts: 502000 | #Constraints: 81168
2239.32/2246.17 c INPROCESSING
2239.32/2246.17 c GARBAGE COLLECT
2239.32/2246.17 c #Conflicts: 503000 | #Constraints: 68240
2239.32/2246.17 c #Conflicts: 504000 | #Constraints: 69240
2239.32/2246.17 c #Conflicts: 505000 | #Constraints: 70240
2239.32/2246.17 c #Conflicts: 506000 | #Constraints: 71240
2239.32/2246.17 c #Conflicts: 507000 | #Constraints: 72240
2239.32/2246.17 c #Conflicts: 508000 | #Constraints: 73240
2239.32/2246.17 c #Conflicts: 509000 | #Constraints: 74240
2510.67/2518.35 c #Conflicts: 510000 | #Constraints: 75240
2510.67/2518.35 c #Conflicts: 511000 | #Constraints: 76240
2510.67/2518.35 c #Conflicts: 512000 | #Constraints: 77240
2510.67/2518.35 c #Conflicts: 513000 | #Constraints: 78240
2510.67/2518.35 c #Conflicts: 514000 | #Constraints: 79240
2510.67/2518.35 c #Conflicts: 515000 | #Constraints: 80240
2510.67/2518.35 c #Conflicts: 516000 | #Constraints: 81240
2510.67/2518.35 c INPROCESSING
2510.67/2518.35 c GARBAGE COLLECT
2510.67/2518.35 c #Conflicts: 517000 | #Constraints: 68004
2510.67/2518.35 c #Conflicts: 518000 | #Constraints: 69004
2510.67/2518.35 c #Conflicts: 519000 | #Constraints: 70004
2510.67/2518.35 c #Conflicts: 520000 | #Constraints: 71004
2510.67/2518.35 c #Conflicts: 521000 | #Constraints: 72004
2510.67/2518.35 c #Conflicts: 522000 | #Constraints: 73004
2510.67/2518.35 c #Conflicts: 523000 | #Constraints: 74004
2510.67/2518.35 c #Conflicts: 524000 | #Constraints: 75004
2510.67/2518.35 c #Conflicts: 525000 | #Constraints: 76004
2510.67/2518.35 c #Conflicts: 526000 | #Constraints: 77004
2510.67/2518.35 c #Conflicts: 527000 | #Constraints: 78004
2510.67/2518.35 c #Conflicts: 528000 | #Constraints: 79004
2510.67/2518.35 c #Conflicts: 529000 | #Constraints: 80004
2510.67/2518.35 c #Conflicts: 530000 | #Constraints: 81004
2510.67/2518.35 c #Conflicts: 531000 | #Constraints: 82004
2510.67/2518.35 c INPROCESSING
2510.67/2518.35 c GARBAGE COLLECT
2510.67/2518.35 c #Conflicts: 532000 | #Constraints: 68587
2510.67/2518.35 c #Conflicts: 533000 | #Constraints: 69587
2510.67/2518.35 c #Conflicts: 534000 | #Constraints: 70587
2510.67/2518.35 c #Conflicts: 535000 | #Constraints: 71587
2510.67/2518.35 c #Conflicts: 536000 | #Constraints: 72587
2510.67/2518.35 c #Conflicts: 537000 | #Constraints: 73587
2510.67/2518.35 c #Conflicts: 538000 | #Constraints: 74587
2510.67/2518.35 c #Conflicts: 539000 | #Constraints: 75587
2510.67/2518.35 c #Conflicts: 540000 | #Constraints: 76587
2510.67/2518.35 c #Conflicts: 541000 | #Constraints: 77587
2510.67/2518.35 c #Conflicts: 542000 | #Constraints: 78587
2510.67/2518.35 c #Conflicts: 543000 | #Constraints: 79587
2510.67/2518.35 c #Conflicts: 544000 | #Constraints: 80587
2510.67/2518.35 c #Conflicts: 545000 | #Constraints: 81587
2510.67/2518.35 c #Conflicts: 546000 | #Constraints: 82587
2510.67/2518.35 c INPROCESSING
2510.67/2518.35 c GARBAGE COLLECT
2510.67/2518.35 c #Conflicts: 547000 | #Constraints: 68997
2510.67/2518.35 c #Conflicts: 548000 | #Constraints: 69997
2510.67/2518.35 c #Conflicts: 549000 | #Constraints: 70997
2510.67/2518.35 c #Conflicts: 550000 | #Constraints: 71997
2510.67/2518.35 c #Conflicts: 551000 | #Constraints: 72997
2510.67/2518.35 c #Conflicts: 552000 | #Constraints: 73997
2510.67/2518.35 c #Conflicts: 553000 | #Constraints: 74997
2510.67/2518.35 c #Conflicts: 554000 | #Constraints: 75997
2510.67/2518.35 c #Conflicts: 555000 | #Constraints: 76997
2510.67/2518.35 c #Conflicts: 556000 | #Constraints: 77997
2510.67/2518.35 c #Conflicts: 557000 | #Constraints: 78997
2510.67/2518.35 c #Conflicts: 558000 | #Constraints: 79997
2510.67/2518.35 c #Conflicts: 559000 | #Constraints: 80997
2510.67/2518.35 c #Conflicts: 560000 | #Constraints: 81997
2510.67/2518.35 c #Conflicts: 561000 | #Constraints: 82997
2510.67/2518.35 c INPROCESSING
2510.67/2518.35 c GARBAGE COLLECT
2510.67/2518.35 c #Conflicts: 562000 | #Constraints: 69214
2510.67/2518.35 c #Conflicts: 563000 | #Constraints: 70214
2510.67/2518.35 c #Conflicts: 564000 | #Constraints: 71214
2510.67/2518.35 c #Conflicts: 565000 | #Constraints: 72214
2510.67/2518.35 c #Conflicts: 566000 | #Constraints: 73214
2510.67/2518.35 c #Conflicts: 567000 | #Constraints: 74214
2510.67/2518.35 c #Conflicts: 568000 | #Constraints: 75214
2510.67/2518.35 c #Conflicts: 569000 | #Constraints: 76214
2510.67/2518.35 c #Conflicts: 570000 | #Constraints: 77214
2510.67/2518.35 c #Conflicts: 571000 | #Constraints: 78214
2510.67/2518.35 c #Conflicts: 572000 | #Constraints: 79214
2510.67/2518.35 c #Conflicts: 573000 | #Constraints: 80214
2510.67/2518.35 c #Conflicts: 574000 | #Constraints: 81214
2510.67/2518.35 c #Conflicts: 575000 | #Constraints: 82214
2510.67/2518.35 c #Conflicts: 576000 | #Constraints: 83214
2510.67/2518.35 c INPROCESSING
2510.67/2518.35 c GARBAGE COLLECT
2510.67/2518.35 c #Conflicts: 577000 | #Constraints: 69160
2510.67/2518.35 c #Conflicts: 578000 | #Constraints: 70160
2510.67/2518.35 c #Conflicts: 579000 | #Constraints: 71160
2510.67/2518.35 c #Conflicts: 580000 | #Constraints: 72160
2510.67/2518.35 c #Conflicts: 581000 | #Constraints: 73160
2510.67/2518.35 c #Conflicts: 582000 | #Constraints: 74160
2510.67/2518.35 c #Conflicts: 583000 | #Constraints: 75160
2510.67/2518.35 c #Conflicts: 584000 | #Constraints: 76160
2510.67/2518.35 c #Conflicts: 585000 | #Constraints: 77160
2826.40/2835.09 c #Conflicts: 586000 | #Constraints: 78160
2826.40/2835.09 c #Conflicts: 587000 | #Constraints: 79160
2826.40/2835.09 c #Conflicts: 588000 | #Constraints: 80160
2826.40/2835.09 c #Conflicts: 589000 | #Constraints: 81160
2826.40/2835.09 c #Conflicts: 590000 | #Constraints: 82160
2826.40/2835.09 c #Conflicts: 591000 | #Constraints: 83160
2826.40/2835.09 c INPROCESSING
2826.40/2835.09 c GARBAGE COLLECT
2826.40/2835.09 c #Conflicts: 592000 | #Constraints: 68964
2826.40/2835.09 c #Conflicts: 593000 | #Constraints: 69964
2826.40/2835.09 c #Conflicts: 594000 | #Constraints: 70964
2826.40/2835.09 c #Conflicts: 595000 | #Constraints: 71964
2826.40/2835.09 c #Conflicts: 596000 | #Constraints: 72964
2826.40/2835.09 c #Conflicts: 597000 | #Constraints: 73964
2826.40/2835.09 c #Conflicts: 598000 | #Constraints: 74964
2826.40/2835.09 c #Conflicts: 599000 | #Constraints: 75964
2826.40/2835.09 c #Conflicts: 600000 | #Constraints: 76964
2826.40/2835.09 c #Conflicts: 601000 | #Constraints: 77964
2826.40/2835.09 c #Conflicts: 602000 | #Constraints: 78964
2826.40/2835.09 c #Conflicts: 603000 | #Constraints: 79964
2826.40/2835.09 c #Conflicts: 604000 | #Constraints: 80964
2826.40/2835.09 c #Conflicts: 605000 | #Constraints: 81964
2826.40/2835.09 c #Conflicts: 606000 | #Constraints: 82964
2826.40/2835.09 c #Conflicts: 607000 | #Constraints: 83964
2826.40/2835.09 c INPROCESSING
2826.40/2835.09 c GARBAGE COLLECT
2826.40/2835.09 c #Conflicts: 608000 | #Constraints: 69579
2826.40/2835.09 c #Conflicts: 609000 | #Constraints: 70579
2826.40/2835.09 c #Conflicts: 610000 | #Constraints: 71579
2826.40/2835.09 c #Conflicts: 611000 | #Constraints: 72579
2826.40/2835.09 c #Conflicts: 612000 | #Constraints: 73579
2826.40/2835.09 c #Conflicts: 613000 | #Constraints: 74579
2826.40/2835.09 c #Conflicts: 614000 | #Constraints: 75579
2826.40/2835.09 c #Conflicts: 615000 | #Constraints: 76579
2826.40/2835.09 c #Conflicts: 616000 | #Constraints: 77579
2826.40/2835.09 c #Conflicts: 617000 | #Constraints: 78579
2826.40/2835.09 c #Conflicts: 618000 | #Constraints: 79579
2826.40/2835.09 c #Conflicts: 619000 | #Constraints: 80579
2826.40/2835.09 c #Conflicts: 620000 | #Constraints: 81579
2826.40/2835.09 c #Conflicts: 621000 | #Constraints: 82579
2826.40/2835.09 c #Conflicts: 622000 | #Constraints: 83579
2826.40/2835.09 c #Conflicts: 623000 | #Constraints: 84579
2826.40/2835.09 c INPROCESSING
2826.40/2835.09 c GARBAGE COLLECT
2826.40/2835.09 c #Conflicts: 624000 | #Constraints: 69948
2826.40/2835.09 c #Conflicts: 625000 | #Constraints: 70948
2826.40/2835.09 c #Conflicts: 626000 | #Constraints: 71948
2826.40/2835.09 c #Conflicts: 627000 | #Constraints: 72948
2826.40/2835.09 c #Conflicts: 628000 | #Constraints: 73948
2826.40/2835.09 c #Conflicts: 629000 | #Constraints: 74948
2826.40/2835.09 c #Conflicts: 630000 | #Constraints: 75948
2826.40/2835.09 c #Conflicts: 631000 | #Constraints: 76948
2826.40/2835.09 c #Conflicts: 632000 | #Constraints: 77948
2826.40/2835.09 c #Conflicts: 633000 | #Constraints: 78948
2826.40/2835.09 c #Conflicts: 634000 | #Constraints: 79948
2826.40/2835.09 c #Conflicts: 635000 | #Constraints: 80948
2826.40/2835.09 c #Conflicts: 636000 | #Constraints: 81948
2826.40/2835.09 c #Conflicts: 637000 | #Constraints: 82948
2826.40/2835.09 c #Conflicts: 638000 | #Constraints: 83948
2826.40/2835.09 c #Conflicts: 639000 | #Constraints: 84948
2826.40/2835.09 c INPROCESSING
2826.40/2835.09 c GARBAGE COLLECT
2826.40/2835.09 c #Conflicts: 640000 | #Constraints: 70185
2826.40/2835.09 c #Conflicts: 641000 | #Constraints: 71185
2826.40/2835.09 c #Conflicts: 642000 | #Constraints: 72185
2826.40/2835.09 c #Conflicts: 643000 | #Constraints: 73185
2826.40/2835.09 c #Conflicts: 644000 | #Constraints: 74185
2826.40/2835.09 c #Conflicts: 645000 | #Constraints: 75185
2826.40/2835.09 c #Conflicts: 646000 | #Constraints: 76185
2826.40/2835.09 c #Conflicts: 647000 | #Constraints: 77185
2826.40/2835.09 c #Conflicts: 648000 | #Constraints: 78185
2826.40/2835.09 c #Conflicts: 649000 | #Constraints: 79185
2826.40/2835.09 c #Conflicts: 650000 | #Constraints: 80185
2826.40/2835.09 c #Conflicts: 651000 | #Constraints: 81185
2826.40/2835.09 c #Conflicts: 652000 | #Constraints: 82185
2826.40/2835.09 c #Conflicts: 653000 | #Constraints: 83185
2826.40/2835.09 c #Conflicts: 654000 | #Constraints: 84185
2826.40/2835.09 c #Conflicts: 655000 | #Constraints: 85185
2826.40/2835.09 c INPROCESSING
2826.40/2835.09 c GARBAGE COLLECT
2826.40/2835.09 c #Conflicts: 656000 | #Constraints: 70199
2826.40/2835.09 c #Conflicts: 657000 | #Constraints: 71199
2826.40/2835.09 c #Conflicts: 658000 | #Constraints: 72199
2826.40/2835.09 c #Conflicts: 659000 | #Constraints: 73199
2826.40/2835.09 c #Conflicts: 660000 | #Constraints: 74199
3237.44/3247.30 c #Conflicts: 661000 | #Constraints: 75199
3237.44/3247.30 c #Conflicts: 662000 | #Constraints: 76199
3237.44/3247.30 c #Conflicts: 663000 | #Constraints: 77199
3237.44/3247.30 c #Conflicts: 664000 | #Constraints: 78199
3237.44/3247.30 c #Conflicts: 665000 | #Constraints: 79199
3237.44/3247.30 c #Conflicts: 666000 | #Constraints: 80199
3237.44/3247.30 c #Conflicts: 667000 | #Constraints: 81199
3237.44/3247.30 c #Conflicts: 668000 | #Constraints: 82199
3237.44/3247.30 c #Conflicts: 669000 | #Constraints: 83199
3237.44/3247.30 c #Conflicts: 670000 | #Constraints: 84199
3237.44/3247.30 c #Conflicts: 671000 | #Constraints: 85199
3237.44/3247.30 c INPROCESSING
3237.44/3247.30 c GARBAGE COLLECT
3237.44/3247.30 c #Conflicts: 672000 | #Constraints: 69985
3237.44/3247.30 c #Conflicts: 673000 | #Constraints: 70985
3237.44/3247.30 c #Conflicts: 674000 | #Constraints: 71985
3237.44/3247.30 c #Conflicts: 675000 | #Constraints: 72985
3237.44/3247.30 c #Conflicts: 676000 | #Constraints: 73985
3237.44/3247.30 c #Conflicts: 677000 | #Constraints: 74985
3237.44/3247.30 c #Conflicts: 678000 | #Constraints: 75985
3237.44/3247.30 c #Conflicts: 679000 | #Constraints: 76985
3237.44/3247.30 c #Conflicts: 680000 | #Constraints: 77985
3237.44/3247.30 c #Conflicts: 681000 | #Constraints: 78985
3237.44/3247.30 c #Conflicts: 682000 | #Constraints: 79985
3237.44/3247.30 c #Conflicts: 683000 | #Constraints: 80985
3237.44/3247.30 c #Conflicts: 684000 | #Constraints: 81985
3237.44/3247.30 c #Conflicts: 685000 | #Constraints: 82985
3237.44/3247.30 c #Conflicts: 686000 | #Constraints: 83985
3237.44/3247.30 c #Conflicts: 687000 | #Constraints: 84985
3237.44/3247.30 c #Conflicts: 688000 | #Constraints: 85985
3237.44/3247.30 c INPROCESSING
3237.44/3247.30 c GARBAGE COLLECT
3237.44/3247.30 c #Conflicts: 689000 | #Constraints: 70586
3237.44/3247.30 c #Conflicts: 690000 | #Constraints: 71586
3237.44/3247.30 c #Conflicts: 691000 | #Constraints: 72586
3237.44/3247.30 c #Conflicts: 692000 | #Constraints: 73586
3237.44/3247.30 c #Conflicts: 693000 | #Constraints: 74586
3237.44/3247.30 c #Conflicts: 694000 | #Constraints: 75586
3237.44/3247.30 c #Conflicts: 695000 | #Constraints: 76586
3237.44/3247.30 c #Conflicts: 696000 | #Constraints: 77586
3237.44/3247.30 c #Conflicts: 697000 | #Constraints: 78586
3237.44/3247.30 c #Conflicts: 698000 | #Constraints: 79586
3237.44/3247.30 c #Conflicts: 699000 | #Constraints: 80586
3237.44/3247.30 c #Conflicts: 700000 | #Constraints: 81586
3237.44/3247.30 c #Conflicts: 701000 | #Constraints: 82586
3237.44/3247.30 c #Conflicts: 702000 | #Constraints: 83586
3237.44/3247.30 c #Conflicts: 703000 | #Constraints: 84586
3237.44/3247.30 c #Conflicts: 704000 | #Constraints: 85586
3237.44/3247.30 c #Conflicts: 705000 | #Constraints: 86586
3237.44/3247.30 c INPROCESSING
3237.44/3247.30 c GARBAGE COLLECT
3237.44/3247.30 c #Conflicts: 706000 | #Constraints: 71004
3237.44/3247.30 c #Conflicts: 707000 | #Constraints: 72004
3237.44/3247.30 c #Conflicts: 708000 | #Constraints: 73004
3237.44/3247.30 c #Conflicts: 709000 | #Constraints: 74004
3237.44/3247.30 c #Conflicts: 710000 | #Constraints: 75004
3237.44/3247.30 c #Conflicts: 711000 | #Constraints: 76004
3237.44/3247.30 c #Conflicts: 712000 | #Constraints: 77004
3237.44/3247.30 c #Conflicts: 713000 | #Constraints: 78004
3237.44/3247.30 c #Conflicts: 714000 | #Constraints: 79004
3237.44/3247.30 c #Conflicts: 715000 | #Constraints: 80004
3237.44/3247.30 c #Conflicts: 716000 | #Constraints: 81004
3237.44/3247.30 c #Conflicts: 717000 | #Constraints: 82004
3237.44/3247.30 c #Conflicts: 718000 | #Constraints: 83004
3237.44/3247.30 c #Conflicts: 719000 | #Constraints: 84004
3237.44/3247.30 c #Conflicts: 720000 | #Constraints: 85004
3237.44/3247.30 c #Conflicts: 721000 | #Constraints: 86004
3237.44/3247.30 c #Conflicts: 722000 | #Constraints: 87004
3237.44/3247.30 c INPROCESSING
3237.44/3247.30 c GARBAGE COLLECT
3237.44/3247.30 c #Conflicts: 723000 | #Constraints: 71197
3237.44/3247.30 c #Conflicts: 724000 | #Constraints: 72197
3237.44/3247.30 c #Conflicts: 725000 | #Constraints: 73197
3237.44/3247.30 c #Conflicts: 726000 | #Constraints: 74197
3237.44/3247.30 c #Conflicts: 727000 | #Constraints: 75197
3237.44/3247.30 c #Conflicts: 728000 | #Constraints: 76197
3237.44/3247.30 c #Conflicts: 729000 | #Constraints: 77197
3237.44/3247.30 c #Conflicts: 730000 | #Constraints: 78197
3237.44/3247.30 c #Conflicts: 731000 | #Constraints: 79197
3237.44/3247.30 c #Conflicts: 732000 | #Constraints: 80197
3237.44/3247.30 c #Conflicts: 733000 | #Constraints: 81197
3237.44/3247.30 c #Conflicts: 734000 | #Constraints: 82197
3237.44/3247.30 c #Conflicts: 735000 | #Constraints: 83197
3237.44/3247.30 c #Conflicts: 736000 | #Constraints: 84197
3555.45/3566.32 c #Conflicts: 737000 | #Constraints: 85197
3555.45/3566.32 c #Conflicts: 738000 | #Constraints: 86197
3555.45/3566.32 c #Conflicts: 739000 | #Constraints: 87197
3555.45/3566.32 c INPROCESSING
3555.45/3566.32 c GARBAGE COLLECT
3555.45/3566.32 c #Conflicts: 740000 | #Constraints: 71360
3555.45/3566.32 c #Conflicts: 741000 | #Constraints: 72360
3555.45/3566.32 c #Conflicts: 742000 | #Constraints: 73360
3555.45/3566.32 c #Conflicts: 743000 | #Constraints: 74360
3555.45/3566.32 c #Conflicts: 744000 | #Constraints: 75360
3555.45/3566.32 c #Conflicts: 745000 | #Constraints: 76360
3555.45/3566.32 c #Conflicts: 746000 | #Constraints: 77360
3555.45/3566.32 c #Conflicts: 747000 | #Constraints: 78360
3555.45/3566.32 c #Conflicts: 748000 | #Constraints: 79360
3555.45/3566.32 c #Conflicts: 749000 | #Constraints: 80360
3555.45/3566.32 c #Conflicts: 750000 | #Constraints: 81360
3555.45/3566.32 c #Conflicts: 751000 | #Constraints: 82360
3555.45/3566.32 c #Conflicts: 752000 | #Constraints: 83360
3555.45/3566.32 c #Conflicts: 753000 | #Constraints: 84360
3555.45/3566.32 c #Conflicts: 754000 | #Constraints: 85360
3555.45/3566.32 c #Conflicts: 755000 | #Constraints: 86360
3555.45/3566.32 c #Conflicts: 756000 | #Constraints: 87360
3555.45/3566.32 c INPROCESSING
3555.45/3566.32 c GARBAGE COLLECT
3555.45/3566.32 c #Conflicts: 757000 | #Constraints: 71067
3555.45/3566.32 c #Conflicts: 758000 | #Constraints: 72067
3555.45/3566.32 c #Conflicts: 759000 | #Constraints: 73067
3555.45/3566.32 c #Conflicts: 760000 | #Constraints: 74067
3555.45/3566.32 c #Conflicts: 761000 | #Constraints: 75067
3555.45/3566.32 c #Conflicts: 762000 | #Constraints: 76067
3555.45/3566.32 c #Conflicts: 763000 | #Constraints: 77067
3555.45/3566.32 c #Conflicts: 764000 | #Constraints: 78067
3555.45/3566.32 c #Conflicts: 765000 | #Constraints: 79067
3555.45/3566.32 c #Conflicts: 766000 | #Constraints: 80067
3555.45/3566.32 c #Conflicts: 767000 | #Constraints: 81067
3555.45/3566.32 c #Conflicts: 768000 | #Constraints: 82067
3555.45/3566.32 c #Conflicts: 769000 | #Constraints: 83067
3555.45/3566.32 c #Conflicts: 770000 | #Constraints: 84067
3555.45/3566.32 c #Conflicts: 771000 | #Constraints: 85067
3555.45/3566.32 c #Conflicts: 772000 | #Constraints: 86067
3555.45/3566.32 c #Conflicts: 773000 | #Constraints: 87067
3555.45/3566.32 c #Conflicts: 774000 | #Constraints: 88067
3555.45/3566.32 c INPROCESSING
3555.45/3566.32 c GARBAGE COLLECT
3555.45/3566.32 c #Conflicts: 775000 | #Constraints: 71604
3555.45/3566.32 c #Conflicts: 776000 | #Constraints: 72604
3555.45/3566.32 c #Conflicts: 777000 | #Constraints: 73604
3555.45/3566.32 c #Conflicts: 778000 | #Constraints: 74604
3555.45/3566.32 c #Conflicts: 779000 | #Constraints: 75604
3555.45/3566.32 c #Conflicts: 780000 | #Constraints: 76604
3555.45/3566.32 c #Conflicts: 781000 | #Constraints: 77604
3555.45/3566.32 c #Conflicts: 782000 | #Constraints: 78604
3555.45/3566.32 c #Conflicts: 783000 | #Constraints: 79604
3555.45/3566.32 c #Conflicts: 784000 | #Constraints: 80604
3555.45/3566.32 c #Conflicts: 785000 | #Constraints: 81604
3555.45/3566.32 c #Conflicts: 786000 | #Constraints: 82604
3555.45/3566.32 c #Conflicts: 787000 | #Constraints: 83604
3555.45/3566.32 c #Conflicts: 788000 | #Constraints: 84604
3555.45/3566.32 c #Conflicts: 789000 | #Constraints: 85604
3555.45/3566.32 c #Conflicts: 790000 | #Constraints: 86604
3555.45/3566.32 c #Conflicts: 791000 | #Constraints: 87604
3555.45/3566.32 c #Conflicts: 792000 | #Constraints: 88604
3555.45/3566.32 c INPROCESSING
3555.45/3566.32 c GARBAGE COLLECT
3555.45/3566.32 c #Conflicts: 793000 | #Constraints: 71998
3555.45/3566.32 c #Conflicts: 794000 | #Constraints: 72998
3555.45/3566.32 c #Conflicts: 795000 | #Constraints: 73998
3555.45/3566.32 c #Conflicts: 796000 | #Constraints: 74998
3555.45/3566.32 c #Conflicts: 797000 | #Constraints: 75998
3555.45/3566.32 c #Conflicts: 798000 | #Constraints: 76998
3555.45/3566.32 c #Conflicts: 799000 | #Constraints: 77998
3555.45/3566.32 c #Conflicts: 800000 | #Constraints: 78998
3555.45/3566.32 c #Conflicts: 801000 | #Constraints: 79998
3555.45/3566.32 c #Conflicts: 802000 | #Constraints: 80998
3555.45/3566.32 c #Conflicts: 803000 | #Constraints: 81998
3555.45/3566.32 c #Conflicts: 804000 | #Constraints: 82998
3555.45/3566.32 c #Conflicts: 805000 | #Constraints: 83998
3555.45/3566.32 c #Conflicts: 806000 | #Constraints: 84998
3555.45/3566.32 c #Conflicts: 807000 | #Constraints: 85998
3555.45/3566.32 c #Conflicts: 808000 | #Constraints: 86998
3555.45/3566.32 c #Conflicts: 809000 | #Constraints: 87998
3555.45/3566.32 c #Conflicts: 810000 | #Constraints: 88998
3555.45/3566.32 c INPROCESSING
3555.45/3566.32 c GARBAGE COLLECT
3555.45/3566.32 c #Conflicts: 811000 | #Constraints: 72195
3555.45/3566.32 c #Conflicts: 812000 | #Constraints: 73195
3600.02/3611.00 c #Conflicts: 813000 | #Constraints: 74195
3600.02/3611.00 c #Conflicts: 814000 | #Constraints: 75195
3600.02/3611.00 c #Conflicts: 815000 | #Constraints: 76195
3600.02/3611.00 c #Conflicts: 816000 | #Constraints: 77195
3600.02/3611.00 c #Conflicts: 817000 | #Constraints: 78195
3600.02/3611.00 c #Conflicts: 818000 | #Constraints: 79195
3600.02/3611.00 c #Conflicts: 819000 | #Constraints: 80195
3600.02/3611.00 c #Conflicts: 820000 | #Constraints: 81195
3600.02/3611.00 c #Conflicts: 821000 | #Constraints: 82195
3600.02/3611.00 c #Conflicts: 822000 | #Constraints: 83195
3600.02/3611.00 c #Conflicts: 823000 | #Constraints: 84195
3600.02/3611.00 c #Conflicts: 824000 | #Constraints: 85195
3600.02/3611.00 c #Conflicts: 825000 | #Constraints: 86195
3600.02/3611.00 c Program interrupted by user.
3600.02/3611.00 c cpu time 3588.38 s
3600.02/3611.00 c deterministic time 507391185025 5.07e+11
3600.02/3611.00 c optimization time 47.833 s
3600.02/3611.00 c total solve time 3241.18 s
3600.02/3611.00 c core-guided solve time 3241.18 s
3600.02/3611.00 c propagation time 1649.51 s
3600.02/3611.00 c conflict analysis time 1548.23 s
3600.02/3611.00 c propagations 814664207
3600.02/3611.00 c resolve steps 51507493
3600.02/3611.00 c decisions 8826388
3600.02/3611.00 c conflicts 825891
3600.02/3611.00 c restarts 1786
3600.02/3611.00 c inprocessing phases 81
3600.02/3611.00 c input clauses 53219
3600.02/3611.00 c input cardinalities 8
3600.02/3611.00 c input general constraints 0
3600.02/3611.00 c input average constraint length 2.68
3600.02/3611.00 c input average constraint degree 1.04
3600.02/3611.00 c learned clauses 574131
3600.02/3611.00 c learned cardinalities 6157
3600.02/3611.00 c learned general constraints 245606
3600.02/3611.00 c learned average constraint length 2408.88
3600.02/3611.00 c learned average constraint degree 828409.24
3600.02/3611.00 c watched constraints 156503
3600.02/3611.00 c counting constraints 89103
3600.02/3611.00 c gcd simplifications 1853
3600.02/3611.00 c detected cardinalities 28
3600.02/3611.00 c weakened non-implied lits 359086395
3600.02/3611.00 c weakened non-implying lits 79858
3600.02/3611.00 c original variables 14352
3600.02/3611.00 c clausal propagations 750591107
3600.02/3611.00 c cardinality propagations 11259075
3600.02/3611.00 c watched propagations 5925028
3600.02/3611.00 c counting propagations 42582665
3600.02/3611.00 c watch lookups 14370822039
3600.02/3611.00 c watch backjump lookups 11936389265
3600.02/3611.00 c watch checks 416170442446
3600.02/3611.00 c propagation checks 58561494111
3600.02/3611.00 c constraint additions 4704241106
3600.02/3611.00 c trail pops 824305462
3600.02/3611.00 c formula constraints 53219
3600.02/3611.00 c learned constraints 825894
3600.02/3611.00 c bound constraints 8
3600.02/3611.00 c core-guided constraints 0
3600.02/3611.00 c encountered formula constraints 49320864
3600.02/3611.00 c encountered learned constraints 3012478
3600.02/3611.00 c encountered bound constraints 42
3600.02/3611.00 c encountered core-guided constraints 0
3600.02/3611.00 c LP total time 0 s
3600.02/3611.00 c LP solve time 0 s
3600.02/3611.00 c LP constraints added 0
3600.02/3611.00 c LP constraints removed 0
3600.02/3611.00 c LP pivots internal 0
3600.02/3611.00 c LP pivots root 0
3600.02/3611.00 c LP calls 0
3600.02/3611.00 c LP optimalities 0
3600.02/3611.00 c LP no pivot count 0
3600.02/3611.00 c LP infeasibilities 0
3600.02/3611.00 c LP valid Farkas constraints 0
3600.02/3611.00 c LP learned Farkas constraints 0
3600.02/3611.00 c LP basis resets 0
3600.02/3611.00 c LP cycling count 0
3600.02/3611.00 c LP singular count 0
3600.02/3611.00 c LP no primal count 0
3600.02/3611.00 c LP no farkas count 0
3600.02/3611.00 c LP other issue count 0
3600.02/3611.00 c LP Gomory cuts 0
3600.02/3611.00 c LP learned cuts 0
3600.02/3611.00 c LP deleted cuts 0
3600.02/3611.00 c LP encountered Gomory constraints 0
3600.02/3611.00 c LP encountered Farkas constraints 0
3600.02/3611.00 c LP encountered learned Farkas constraints 0
3600.02/3611.00 c CG auxiliary variables introduced 0
3600.02/3611.00 c CG solutions found 0
3600.02/3611.00 c CG cores constructed 7
3600.02/3611.00 c CG core cardinality constraints returned 0
3600.02/3611.00 c CG unit cores 0
3600.02/3611.00 c CG single cores 7
3600.02/3611.00 c CG blocks removed during cardinality reduction 0
3600.02/3611.00 c CG first core best 0
3600.02/3611.00 c CG decision core best 0
3600.02/3611.00 c CG core reduction tie 0
3600.02/3611.00 c CG core degree average 1.00
3600.02/3611.00 c CG core slack average 93.86
3600.02/3611.00 c CG exhausted 0
3600.02/3611.00 c CG exhaust time 0 s
3600.02/3611.00 c CG trimmed 0
3600.02/3611.00 c CG trim time 0.002555 s
3600.02/3611.00 c CG minimized 0
3600.02/3611.00 c CG minimize time 0 s
3600.02/3611.00 c CG am1 prop time 0.003376 s
3600.02/3611.00 c CG # am1s reformulated 0
3600.02/3611.00 c CG lower bound derived from am1s 0
3600.02/3611.00 c CG # clausal cores 7
3600.02/3611.00 c CG # cardinality cores 0
3600.02/3611.00 c CG # pb cores 0
3600.02/3611.00 c CG # pb reforms 0
3600.02/3611.00 c CG # cores discarded because of pb reform 0
3600.02/3611.00 d LOWERBOUND 7
3600.02/3611.00 d NCORES 7
3600.02/3611.00 d NPBCORES 0
3600.02/3611.00 d NPBREFORM 0
3600.02/3611.00 d NTRIMMED 0
3600.02/3611.00 d NEXHAUSTED 0
3600.02/3611.00 d NAM1S 0
3600.02/3611.00 d AM1LB 0
3600.02/3611.00 c [Papilo Statistics]
3600.02/3611.00 c prepro time 0.0602209s
3600.02/3611.00 c # tsx applied 25
3600.02/3611.00 c # tsx conflicts 0
3600.02/3611.00 c # bound changes 5
3600.02/3611.00 c # side changes 14
3600.02/3611.00 c # coef changes 51
3600.02/3611.00 c # rounds 2
3600.02/3611.00 c # deted vars 12
3600.02/3611.00 c # deted constrs 28
3600.02/3611.00 c # consecutive rounds of only bound changes 0
3600.02/3611.01 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59385 MiB free)
memory of node 1: 64465 MiB (58246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529022-1752258620/watcher-4529022-1752258620 -o /tmp/evaluation-result-4529022-1752258620/solver-4529022-1752258620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118199 --watchdog 3760 mixed-bag HOME/instance-4529022-1752258620.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=118542, runsolver pid=118538
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.12 4.09 5/261 118554
/proc/meminfo: memFree=120446928/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=88872 memory=18312 CPUtime=0.08 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 3175 0 0 0 8 0 0 0 20 0 1 0 141541462 91004928 4578 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 22218 4578 2176 2834 0 4970 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88872 KiB
Current children cumulated memory: 18312 KiB
[startup+0.2057 s]*
/proc/loadavg: 4.13 4.12 4.09 3/258 118565
/proc/meminfo: memFree=121008336/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=138912 memory=63804 CPUtime=0.19 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 12348 0 0 0 17 2 0 0 20 0 1 0 141541462 142245888 15951 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 34728 15951 3680 2834 0 16933 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 138912 KiB
Current children cumulated memory: 63804 KiB
[startup+0.305744 s]*
/proc/loadavg: 4.13 4.12 4.09 3/258 118571
/proc/meminfo: memFree=120919900/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=211836 memory=135868 CPUtime=0.29 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 30084 0 0 0 25 4 0 0 20 0 1 0 141541462 216920064 33967 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 52959 33967 4000 2834 0 35164 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 211836 KiB
Current children cumulated memory: 135868 KiB
[startup+0.700205 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 118578
/proc/meminfo: memFree=120733420/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=251448 memory=174232 CPUtime=0.68 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 42819 0 0 0 61 7 0 0 20 0 1 0 141541462 257482752 43558 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 62862 43558 4032 2834 0 45067 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 251448 KiB
Current children cumulated memory: 174232 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.12 4.09 4/260 118587
/proc/meminfo: memFree=120628348/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=341428 memory=246908 CPUtime=1.48 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 59917 0 0 0 138 10 0 0 20 0 1 0 141541462 349622272 61727 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 85357 61727 4160 2834 0 67562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 341428 KiB
Current children cumulated memory: 246908 KiB
[startup+3.1057 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 118624
/proc/meminfo: memFree=119417216/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=462980 memory=364812 CPUtime=3.08 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 85790 0 0 0 294 14 0 0 20 0 1 0 141541462 474091520 91203 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 115745 91203 4288 2834 0 97950 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 462980 KiB
Current children cumulated memory: 364812 KiB
[startup+6.30011 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118625
/proc/meminfo: memFree=118837008/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=462980 memory=366348 CPUtime=6.26 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 86213 0 0 0 612 14 0 0 20 0 1 0 141541462 474091520 91587 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 115745 91587 4288 2834 0 97950 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 462980 KiB
Current children cumulated memory: 366348 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 118625
/proc/meminfo: memFree=118436076/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=526216 memory=399624 CPUtime=12.64 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 94037 0 0 0 1248 16 0 0 20 0 1 0 141541462 538845184 99906 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 131554 99906 4288 2834 0 113759 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 526216 KiB
Current children cumulated memory: 399624 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/265 118626
/proc/meminfo: memFree=118295104/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=608740 memory=479112 CPUtime=25.4 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 113917 0 0 0 2522 18 0 0 20 0 1 0 141541462 623349760 119778 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 152185 119778 4288 2834 0 134390 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 608740 KiB
Current children cumulated memory: 479112 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 118626
/proc/meminfo: memFree=117522236/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=613428 memory=487688 CPUtime=50.93 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 116055 0 0 0 5074 19 0 0 20 0 1 0 141541462 628150272 121922 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 153357 121922 4288 2834 0 135562 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 613428 KiB
Current children cumulated memory: 487688 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 118628
/proc/meminfo: memFree=117500040/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=613428 memory=490632 CPUtime=101.97 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 116101 0 0 0 10178 19 0 0 20 0 1 0 141541462 628150272 122658 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 153357 122658 4288 2834 0 135562 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 613428 KiB
Current children cumulated memory: 490632 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.16 4.10 5/265 118630
/proc/meminfo: memFree=117446868/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=613428 memory=493192 CPUtime=161.79 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 116305 0 0 0 16160 19 0 0 20 0 1 0 141541462 628150272 123298 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 153357 123298 4288 2834 0 135562 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 613428 KiB
Current children cumulated memory: 493192 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 118632
/proc/meminfo: memFree=117221780/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=613428 memory=494088 CPUtime=221.62 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 116507 0 0 0 22143 19 0 0 20 0 1 0 141541462 628150272 123522 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 153357 123522 4288 2834 0 135562 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 613428 KiB
Current children cumulated memory: 494088 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 118634
/proc/meminfo: memFree=117177664/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=613428 memory=519048 CPUtime=281.46 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 116601 0 0 0 28127 19 0 0 20 0 1 0 141541462 628150272 129762 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 153357 129762 4288 2834 0 135562 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 613428 KiB
Current children cumulated memory: 519048 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 118636
/proc/meminfo: memFree=117058428/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=633448 memory=547544 CPUtime=341.31 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 119748 0 0 0 34083 48 0 0 20 0 1 0 141541462 648650752 136886 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 158362 136886 4480 2834 0 140567 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 633448 KiB
Current children cumulated memory: 547544 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/262 118638
/proc/meminfo: memFree=116897544/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=683536 memory=572120 CPUtime=401.13 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 120271 0 0 0 40048 65 0 0 20 0 1 0 141541462 699940864 143030 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 170884 143030 4480 2834 0 153089 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 683536 KiB
Current children cumulated memory: 572120 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 118641
/proc/meminfo: memFree=116856156/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=683536 memory=580312 CPUtime=460.94 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 120345 0 0 0 46018 76 0 0 20 0 1 0 141541462 699940864 145078 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 170884 145078 4480 2834 0 153089 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 763256 KiB
[startup+2862.3 s]
/proc/loadavg: 4.22 4.22 4.14 5/263 118770
/proc/meminfo: memFree=115570448/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=763256 CPUtime=2853.62 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122236 0 0 0 284467 895 0 0 20 0 1 0 141541462 918716416 190814 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 190814 4480 2834 0 206501 0
Current children cumulated CPU time: 2853.62 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 763256 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/262 118772
/proc/meminfo: memFree=115573144/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=763256 CPUtime=2913.43 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122342 0 0 0 290412 931 0 0 20 0 1 0 141541462 918716416 190814 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 190814 4480 2834 0 206501 0
Current children cumulated CPU time: 2913.43 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 763256 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/262 118774
/proc/meminfo: memFree=115572808/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=763256 CPUtime=2973.24 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122349 0 0 0 296364 960 0 0 20 0 1 0 141541462 918716416 190814 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 190814 4480 2834 0 206501 0
Current children cumulated CPU time: 2973.24 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 763256 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/264 118784
/proc/meminfo: memFree=115543592/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=763256 CPUtime=3033.06 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122375 0 0 0 302333 973 0 0 20 0 1 0 141541462 918716416 190814 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 190814 4480 2834 0 206501 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 763256 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/265 118787
/proc/meminfo: memFree=115532288/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=763256 CPUtime=3092.88 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122383 0 0 0 308305 983 0 0 20 0 1 0 141541462 918716416 190814 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 190814 4480 2834 0 206501 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 763256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/265 118789
/proc/meminfo: memFree=115453640/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=785784 CPUtime=3152.7 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122425 0 0 0 314272 998 0 0 20 0 1 0 141541462 918716416 196446 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 196446 4480 2834 0 206501 0
Current children cumulated CPU time: 3152.7 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 785784 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/265 118792
/proc/meminfo: memFree=115449884/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=785784 CPUtime=3212.51 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122425 0 0 0 320244 1007 0 0 20 0 1 0 141541462 918716416 196446 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 196446 4480 2834 0 206501 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 785784 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 118794
/proc/meminfo: memFree=115456904/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=796024 CPUtime=3272.33 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122430 0 0 0 326219 1014 0 0 20 0 1 0 141541462 918716416 199006 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 199006 4480 2834 0 206501 0
Current children cumulated CPU time: 3272.33 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 796024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/263 118796
/proc/meminfo: memFree=115429932/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=800120 CPUtime=3332.15 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122433 0 0 0 332180 1035 0 0 20 0 1 0 141541462 918716416 200030 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 200030 4480 2834 0 206501 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 800120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/262 118798
/proc/meminfo: memFree=115427656/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=800120 CPUtime=3391.97 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122433 0 0 0 338130 1067 0 0 20 0 1 0 141541462 918716416 200030 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 200030 4480 2834 0 206501 0
Current children cumulated CPU time: 3391.97 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 800120 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/263 118801
/proc/meminfo: memFree=115424964/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=800120 CPUtime=3451.78 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122433 0 0 0 344087 1091 0 0 20 0 1 0 141541462 918716416 200030 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 200030 4480 2834 0 206501 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 800120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/263 118803
/proc/meminfo: memFree=115427116/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=800120 CPUtime=3511.59 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122435 0 0 0 350038 1121 0 0 20 0 1 0 141541462 918716416 200030 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 200030 4480 2834 0 206501 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 800120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/263 118805
/proc/meminfo: memFree=115426988/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=800120 CPUtime=3571.4 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122436 0 0 0 355988 1152 0 0 20 0 1 0 141541462 918716416 200030 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 200030 4480 2834 0 206501 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 800120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.14 4.13 4.11 3/258 118854
/proc/meminfo: memFree=119747672/131250000 swapFree=33009904/33010684
[pid=118542] ppid=118538 vsize=897184 memory=800120 CPUtime=3600.02 cores=0,2
/proc/118542/stat : 118542 (mixed-bag) R 118538 118542 118184 0 -1 4194304 122436 0 0 0 358837 1165 0 0 20 0 1 0 141541462 918716416 200030 18446744073709551615 4235264 15840557 140726355046384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 49090560 140726355048858 140726355048935 140726355048935 140726355054539 0
/proc/118542/statm: 224296 200030 4480 2834 0 206501 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 897184 KiB
Current children cumulated memory: 800120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 118542 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.38 s, system=11.6591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.01
CPU time (s): 3600.04
CPU user time (s): 3588.38
CPU system time (s): 11.6591
CPU usage (%): 99.6961
Max. virtual memory (cumulated for all children) (KiB): 897184
Max. memory (cumulated for all children) (KiB): 800120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.38
system time used= 11.6591
maximum resident set size= 800760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122466
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= 142
involuntary context switches= 7854
# summary of solver processes directly reported to runsolver:
# pid: 118542
# total CPU time (s): 3600.04
# total CPU user time (s): 3588.38
# total CPU system time (s): 11.6591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34306 second user time and 14.3734 second system time
The end
Begin job on nodeC033 at 2025-07-11 20:30:20
IDJOB=4529022
IDBENCH=148188
IDSOLVER=3386
FILE ID=nodeC033/4529022-1752258620
RUNJOBID= nodeC033-1752255008-118199
SLURM_JOB_ID= 9682592
Free space on /tmp= 429724 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529022-1752258620/watcher-4529022-1752258620 -o /tmp/evaluation-result-4529022-1752258620/solver-4529022-1752258620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118199 --watchdog 3760 mixed-bag HOME/instance-4529022-1752258620.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8bb64a53a6bd967b0f0fe9129c8144f
RANDOM SEED=2074152350
nodeC033 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 : 3720.959
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 : 7000.13
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.354
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 : 7000.13
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 : 3600.068
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 : 7000.13
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 : 3747.308
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 : 7000.13
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.849
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 : 7000.13
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 : 3600.134
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 : 7000.13
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 : 3568.208
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 : 7000.13
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 : 3593.246
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120455452 kB
MemAvailable: 129080260 kB
Buffers: 2128 kB
Cached: 9346148 kB
SwapCached: 68 kB
Active: 1389356 kB
Inactive: 8624240 kB
Active(anon): 678004 kB
Inactive(anon): 5388 kB
Active(file): 711352 kB
Inactive(file): 8618852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35044 kB
Writeback: 4 kB
AnonPages: 668320 kB
Mapped: 120352 kB
Shmem: 18028 kB
KReclaimable: 267684 kB
Slab: 363456 kB
SReclaimable: 267684 kB
SUnreclaim: 95772 kB
KernelStack: 4192 kB
PageTables: 4328 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 997532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 120832 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429736 MiB
End job on nodeC033 at 2025-07-11 21:30:32