0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.05 c [STEP] solving with SCIP
299.29/300.13 c [STEP] preprocessing done, loading into solver
299.29/300.16 c [STEP] solving
299.29/300.16 c #variables 4308 #constraints 15096
299.29/300.16 c SMALL=int, LARGE=long long
299.29/300.16 d SCIPUB 15
299.29/300.16 c bounds - >= 0 @ 299.131
299.29/300.16 c stratification level: 0
389.36/390.41 c bounds - >= 1 @ 299.171
389.36/390.41 c bounds - >= 2 @ 299.172
389.36/390.41 c bounds - >= 3 @ 299.172
389.36/390.41 c bounds - >= 4 @ 299.173
389.36/390.41 c bounds - >= 5 @ 299.173
389.36/390.41 c bounds - >= 6 @ 299.174
389.36/390.41 c #Conflicts: 1000 | #Constraints: 16107
389.36/390.41 c #Conflicts: 2000 | #Constraints: 17107
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 3000 | #Constraints: 17108
389.36/390.41 c #Conflicts: 4000 | #Constraints: 18108
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 5000 | #Constraints: 17513
389.36/390.41 c #Conflicts: 6000 | #Constraints: 18513
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 7000 | #Constraints: 17529
389.36/390.41 c #Conflicts: 8000 | #Constraints: 18529
389.36/390.41 c #Conflicts: 9000 | #Constraints: 19529
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 10000 | #Constraints: 18223
389.36/390.41 c #Conflicts: 11000 | #Constraints: 19223
389.36/390.41 c #Conflicts: 12000 | #Constraints: 20223
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 13000 | #Constraints: 18679
389.36/390.41 c #Conflicts: 14000 | #Constraints: 19679
389.36/390.41 c #Conflicts: 15000 | #Constraints: 20679
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 16000 | #Constraints: 18916
389.36/390.41 c #Conflicts: 17000 | #Constraints: 19916
389.36/390.41 c #Conflicts: 18000 | #Constraints: 20916
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 19000 | #Constraints: 18951
389.36/390.41 c #Conflicts: 20000 | #Constraints: 19951
389.36/390.41 c #Conflicts: 21000 | #Constraints: 20951
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 22000 | #Constraints: 18786
389.36/390.41 c #Conflicts: 23000 | #Constraints: 19786
389.36/390.41 c #Conflicts: 24000 | #Constraints: 20786
389.36/390.41 c #Conflicts: 25000 | #Constraints: 21786
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 26000 | #Constraints: 19366
389.36/390.41 c #Conflicts: 27000 | #Constraints: 20366
389.36/390.41 c #Conflicts: 28000 | #Constraints: 21366
389.36/390.41 c #Conflicts: 29000 | #Constraints: 22366
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 30000 | #Constraints: 19746
389.36/390.41 c #Conflicts: 31000 | #Constraints: 20746
389.36/390.41 c #Conflicts: 32000 | #Constraints: 21746
389.36/390.41 c #Conflicts: 33000 | #Constraints: 22746
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 34000 | #Constraints: 19953
389.36/390.41 c #Conflicts: 35000 | #Constraints: 20953
389.36/390.41 c #Conflicts: 36000 | #Constraints: 21953
389.36/390.41 c #Conflicts: 37000 | #Constraints: 22953
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 38000 | #Constraints: 19954
389.36/390.41 c #Conflicts: 39000 | #Constraints: 20954
389.36/390.41 c #Conflicts: 40000 | #Constraints: 21954
389.36/390.41 c #Conflicts: 41000 | #Constraints: 22954
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 42000 | #Constraints: 19743
389.36/390.41 c #Conflicts: 43000 | #Constraints: 20743
389.36/390.41 c #Conflicts: 44000 | #Constraints: 21743
389.36/390.41 c #Conflicts: 45000 | #Constraints: 22743
389.36/390.41 c #Conflicts: 46000 | #Constraints: 23743
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 47000 | #Constraints: 20348
389.36/390.41 c #Conflicts: 48000 | #Constraints: 21348
389.36/390.41 c #Conflicts: 49000 | #Constraints: 22348
389.36/390.41 c #Conflicts: 50000 | #Constraints: 23348
389.36/390.41 c #Conflicts: 51000 | #Constraints: 24348
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 52000 | #Constraints: 20747
389.36/390.41 c #Conflicts: 53000 | #Constraints: 21747
389.36/390.41 c #Conflicts: 54000 | #Constraints: 22747
389.36/390.41 c #Conflicts: 55000 | #Constraints: 23747
389.36/390.41 c #Conflicts: 56000 | #Constraints: 24747
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 57000 | #Constraints: 20949
389.36/390.41 c #Conflicts: 58000 | #Constraints: 21949
389.36/390.41 c #Conflicts: 59000 | #Constraints: 22949
389.36/390.41 c #Conflicts: 60000 | #Constraints: 23949
389.36/390.41 c #Conflicts: 61000 | #Constraints: 24949
389.36/390.41 c INPROCESSING
389.36/390.41 c GARBAGE COLLECT
389.36/390.41 c #Conflicts: 62000 | #Constraints: 20952
389.36/390.41 c #Conflicts: 63000 | #Constraints: 21952
389.36/390.41 c #Conflicts: 64000 | #Constraints: 22952
389.36/390.41 c #Conflicts: 65000 | #Constraints: 23952
516.05/517.48 c #Conflicts: 66000 | #Constraints: 24952
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 67000 | #Constraints: 20795
516.05/517.48 c #Conflicts: 68000 | #Constraints: 21795
516.05/517.48 c #Conflicts: 69000 | #Constraints: 22795
516.05/517.48 c #Conflicts: 70000 | #Constraints: 23795
516.05/517.48 c #Conflicts: 71000 | #Constraints: 24795
516.05/517.48 c #Conflicts: 72000 | #Constraints: 25795
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 73000 | #Constraints: 21403
516.05/517.48 c #Conflicts: 74000 | #Constraints: 22403
516.05/517.48 c #Conflicts: 75000 | #Constraints: 23403
516.05/517.48 c #Conflicts: 76000 | #Constraints: 24403
516.05/517.48 c #Conflicts: 77000 | #Constraints: 25403
516.05/517.48 c #Conflicts: 78000 | #Constraints: 26403
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 79000 | #Constraints: 21793
516.05/517.48 c #Conflicts: 80000 | #Constraints: 22793
516.05/517.48 c #Conflicts: 81000 | #Constraints: 23793
516.05/517.48 c #Conflicts: 82000 | #Constraints: 24793
516.05/517.48 c #Conflicts: 83000 | #Constraints: 25793
516.05/517.48 c #Conflicts: 84000 | #Constraints: 26793
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 85000 | #Constraints: 21973
516.05/517.48 c #Conflicts: 86000 | #Constraints: 22973
516.05/517.48 c #Conflicts: 87000 | #Constraints: 23973
516.05/517.48 c #Conflicts: 88000 | #Constraints: 24973
516.05/517.48 c #Conflicts: 89000 | #Constraints: 25973
516.05/517.48 c #Conflicts: 90000 | #Constraints: 26973
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 91000 | #Constraints: 21968
516.05/517.48 c #Conflicts: 92000 | #Constraints: 22968
516.05/517.48 c #Conflicts: 93000 | #Constraints: 23968
516.05/517.48 c #Conflicts: 94000 | #Constraints: 24968
516.05/517.48 c #Conflicts: 95000 | #Constraints: 25968
516.05/517.48 c #Conflicts: 96000 | #Constraints: 26968
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 97000 | #Constraints: 21774
516.05/517.48 c #Conflicts: 98000 | #Constraints: 22774
516.05/517.48 c #Conflicts: 99000 | #Constraints: 23774
516.05/517.48 c #Conflicts: 100000 | #Constraints: 24774
516.05/517.48 c #Conflicts: 101000 | #Constraints: 25774
516.05/517.48 c #Conflicts: 102000 | #Constraints: 26774
516.05/517.48 c #Conflicts: 103000 | #Constraints: 27774
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 104000 | #Constraints: 22416
516.05/517.48 c #Conflicts: 105000 | #Constraints: 23416
516.05/517.48 c #Conflicts: 106000 | #Constraints: 24416
516.05/517.48 c #Conflicts: 107000 | #Constraints: 25416
516.05/517.48 c #Conflicts: 108000 | #Constraints: 26416
516.05/517.48 c #Conflicts: 109000 | #Constraints: 27416
516.05/517.48 c #Conflicts: 110000 | #Constraints: 28416
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 111000 | #Constraints: 22785
516.05/517.48 c #Conflicts: 112000 | #Constraints: 23785
516.05/517.48 c #Conflicts: 113000 | #Constraints: 24785
516.05/517.48 c #Conflicts: 114000 | #Constraints: 25785
516.05/517.48 c #Conflicts: 115000 | #Constraints: 26785
516.05/517.48 c #Conflicts: 116000 | #Constraints: 27785
516.05/517.48 c #Conflicts: 117000 | #Constraints: 28785
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 118000 | #Constraints: 22999
516.05/517.48 c #Conflicts: 119000 | #Constraints: 23999
516.05/517.48 c #Conflicts: 120000 | #Constraints: 24999
516.05/517.48 c #Conflicts: 121000 | #Constraints: 25999
516.05/517.48 c #Conflicts: 122000 | #Constraints: 26999
516.05/517.48 c #Conflicts: 123000 | #Constraints: 27999
516.05/517.48 c #Conflicts: 124000 | #Constraints: 28999
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 125000 | #Constraints: 23028
516.05/517.48 c #Conflicts: 126000 | #Constraints: 24028
516.05/517.48 c #Conflicts: 127000 | #Constraints: 25028
516.05/517.48 c #Conflicts: 128000 | #Constraints: 26028
516.05/517.48 c #Conflicts: 129000 | #Constraints: 27028
516.05/517.48 c #Conflicts: 130000 | #Constraints: 28028
516.05/517.48 c #Conflicts: 131000 | #Constraints: 29028
516.05/517.48 c INPROCESSING
516.05/517.48 c GARBAGE COLLECT
516.05/517.48 c #Conflicts: 132000 | #Constraints: 22827
516.05/517.48 c #Conflicts: 133000 | #Constraints: 23827
516.05/517.48 c #Conflicts: 134000 | #Constraints: 24827
516.05/517.48 c #Conflicts: 135000 | #Constraints: 25827
516.05/517.48 c #Conflicts: 136000 | #Constraints: 26827
516.05/517.48 c #Conflicts: 137000 | #Constraints: 27827
694.10/695.95 c #Conflicts: 138000 | #Constraints: 28827
694.10/695.95 c #Conflicts: 139000 | #Constraints: 29827
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 140000 | #Constraints: 23494
694.10/695.95 c #Conflicts: 141000 | #Constraints: 24494
694.10/695.95 c #Conflicts: 142000 | #Constraints: 25494
694.10/695.95 c #Conflicts: 143000 | #Constraints: 26494
694.10/695.95 c #Conflicts: 144000 | #Constraints: 27494
694.10/695.95 c #Conflicts: 145000 | #Constraints: 28494
694.10/695.95 c #Conflicts: 146000 | #Constraints: 29494
694.10/695.95 c #Conflicts: 147000 | #Constraints: 30494
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 148000 | #Constraints: 23916
694.10/695.95 c #Conflicts: 149000 | #Constraints: 24916
694.10/695.95 c #Conflicts: 150000 | #Constraints: 25916
694.10/695.95 c #Conflicts: 151000 | #Constraints: 26916
694.10/695.95 c #Conflicts: 152000 | #Constraints: 27916
694.10/695.95 c #Conflicts: 153000 | #Constraints: 28916
694.10/695.95 c #Conflicts: 154000 | #Constraints: 29916
694.10/695.95 c #Conflicts: 155000 | #Constraints: 30916
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 156000 | #Constraints: 24117
694.10/695.95 c #Conflicts: 157000 | #Constraints: 25117
694.10/695.95 c #Conflicts: 158000 | #Constraints: 26117
694.10/695.95 c #Conflicts: 159000 | #Constraints: 27117
694.10/695.95 c #Conflicts: 160000 | #Constraints: 28117
694.10/695.95 c #Conflicts: 161000 | #Constraints: 29117
694.10/695.95 c #Conflicts: 162000 | #Constraints: 30117
694.10/695.95 c #Conflicts: 163000 | #Constraints: 31117
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 164000 | #Constraints: 24143
694.10/695.95 c #Conflicts: 165000 | #Constraints: 25143
694.10/695.95 c #Conflicts: 166000 | #Constraints: 26143
694.10/695.95 c #Conflicts: 167000 | #Constraints: 27143
694.10/695.95 c #Conflicts: 168000 | #Constraints: 28143
694.10/695.95 c #Conflicts: 169000 | #Constraints: 29143
694.10/695.95 c #Conflicts: 170000 | #Constraints: 30143
694.10/695.95 c #Conflicts: 171000 | #Constraints: 31143
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 172000 | #Constraints: 23988
694.10/695.95 c #Conflicts: 173000 | #Constraints: 24988
694.10/695.95 c #Conflicts: 174000 | #Constraints: 25988
694.10/695.95 c #Conflicts: 175000 | #Constraints: 26988
694.10/695.95 c #Conflicts: 176000 | #Constraints: 27988
694.10/695.95 c #Conflicts: 177000 | #Constraints: 28988
694.10/695.95 c #Conflicts: 178000 | #Constraints: 29988
694.10/695.95 c #Conflicts: 179000 | #Constraints: 30988
694.10/695.95 c #Conflicts: 180000 | #Constraints: 31988
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 181000 | #Constraints: 24526
694.10/695.95 c #Conflicts: 182000 | #Constraints: 25526
694.10/695.95 c #Conflicts: 183000 | #Constraints: 26526
694.10/695.95 c #Conflicts: 184000 | #Constraints: 27526
694.10/695.95 c #Conflicts: 185000 | #Constraints: 28526
694.10/695.95 c #Conflicts: 186000 | #Constraints: 29526
694.10/695.95 c #Conflicts: 187000 | #Constraints: 30526
694.10/695.95 c #Conflicts: 188000 | #Constraints: 31526
694.10/695.95 c #Conflicts: 189000 | #Constraints: 32526
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 190000 | #Constraints: 24956
694.10/695.95 c #Conflicts: 191000 | #Constraints: 25956
694.10/695.95 c #Conflicts: 192000 | #Constraints: 26956
694.10/695.95 c #Conflicts: 193000 | #Constraints: 27956
694.10/695.95 c #Conflicts: 194000 | #Constraints: 28956
694.10/695.95 c #Conflicts: 195000 | #Constraints: 29956
694.10/695.95 c #Conflicts: 196000 | #Constraints: 30956
694.10/695.95 c #Conflicts: 197000 | #Constraints: 31956
694.10/695.95 c #Conflicts: 198000 | #Constraints: 32956
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 199000 | #Constraints: 25193
694.10/695.95 c #Conflicts: 200000 | #Constraints: 26193
694.10/695.95 c #Conflicts: 201000 | #Constraints: 27193
694.10/695.95 c #Conflicts: 202000 | #Constraints: 28193
694.10/695.95 c #Conflicts: 203000 | #Constraints: 29193
694.10/695.95 c #Conflicts: 204000 | #Constraints: 30193
694.10/695.95 c #Conflicts: 205000 | #Constraints: 31193
694.10/695.95 c #Conflicts: 206000 | #Constraints: 32193
694.10/695.95 c #Conflicts: 207000 | #Constraints: 33193
694.10/695.95 c INPROCESSING
694.10/695.95 c GARBAGE COLLECT
694.10/695.95 c #Conflicts: 208000 | #Constraints: 25204
694.10/695.95 c #Conflicts: 209000 | #Constraints: 26204
694.10/695.95 c #Conflicts: 210000 | #Constraints: 27204
912.25/914.66 c #Conflicts: 211000 | #Constraints: 28204
912.25/914.66 c #Conflicts: 212000 | #Constraints: 29204
912.25/914.66 c #Conflicts: 213000 | #Constraints: 30204
912.25/914.66 c #Conflicts: 214000 | #Constraints: 31204
912.25/914.66 c #Conflicts: 215000 | #Constraints: 32204
912.25/914.66 c #Conflicts: 216000 | #Constraints: 33204
912.25/914.66 c INPROCESSING
912.25/914.66 c GARBAGE COLLECT
912.25/914.66 c #Conflicts: 217000 | #Constraints: 25040
912.25/914.66 c #Conflicts: 218000 | #Constraints: 26040
912.25/914.66 c #Conflicts: 219000 | #Constraints: 27040
912.25/914.66 c #Conflicts: 220000 | #Constraints: 28040
912.25/914.66 c #Conflicts: 221000 | #Constraints: 29040
912.25/914.66 c #Conflicts: 222000 | #Constraints: 30040
912.25/914.66 c #Conflicts: 223000 | #Constraints: 31040
912.25/914.66 c #Conflicts: 224000 | #Constraints: 32040
912.25/914.66 c #Conflicts: 225000 | #Constraints: 33040
912.25/914.66 c #Conflicts: 226000 | #Constraints: 34040
912.25/914.66 c INPROCESSING
912.25/914.66 c GARBAGE COLLECT
912.25/914.66 c #Conflicts: 227000 | #Constraints: 25532
912.25/914.66 c #Conflicts: 228000 | #Constraints: 26532
912.25/914.66 c #Conflicts: 229000 | #Constraints: 27532
912.25/914.66 c #Conflicts: 230000 | #Constraints: 28532
912.25/914.66 c #Conflicts: 231000 | #Constraints: 29532
912.25/914.66 c #Conflicts: 232000 | #Constraints: 30532
912.25/914.66 c #Conflicts: 233000 | #Constraints: 31532
912.25/914.66 c #Conflicts: 234000 | #Constraints: 32532
912.25/914.66 c #Conflicts: 235000 | #Constraints: 33532
912.25/914.66 c #Conflicts: 236000 | #Constraints: 34532
912.25/914.66 c INPROCESSING
912.25/914.66 c GARBAGE COLLECT
912.25/914.66 c #Conflicts: 237000 | #Constraints: 25885
912.25/914.66 c #Conflicts: 238000 | #Constraints: 26885
912.25/914.66 c #Conflicts: 239000 | #Constraints: 27885
912.25/914.66 c #Conflicts: 240000 | #Constraints: 28885
912.25/914.66 c #Conflicts: 241000 | #Constraints: 29885
912.25/914.66 c #Conflicts: 242000 | #Constraints: 30885
912.25/914.66 c #Conflicts: 243000 | #Constraints: 31885
912.25/914.66 c #Conflicts: 244000 | #Constraints: 32885
912.25/914.66 c #Conflicts: 245000 | #Constraints: 33885
912.25/914.66 c #Conflicts: 246000 | #Constraints: 34885
912.25/914.66 c INPROCESSING
912.25/914.66 c GARBAGE COLLECT
912.25/914.66 c #Conflicts: 247000 | #Constraints: 26064
912.25/914.66 c #Conflicts: 248000 | #Constraints: 27064
912.25/914.66 c #Conflicts: 249000 | #Constraints: 28064
912.25/914.66 c #Conflicts: 250000 | #Constraints: 29064
912.25/914.66 c #Conflicts: 251000 | #Constraints: 30064
912.25/914.66 c #Conflicts: 252000 | #Constraints: 31064
912.25/914.66 c #Conflicts: 253000 | #Constraints: 32064
912.25/914.66 c #Conflicts: 254000 | #Constraints: 33064
912.25/914.66 c #Conflicts: 255000 | #Constraints: 34064
912.25/914.66 c #Conflicts: 256000 | #Constraints: 35064
912.25/914.66 c INPROCESSING
912.25/914.66 c GARBAGE COLLECT
912.25/914.66 c #Conflicts: 257000 | #Constraints: 26184
912.25/914.66 c #Conflicts: 258000 | #Constraints: 27184
912.25/914.66 c #Conflicts: 259000 | #Constraints: 28184
912.25/914.66 c #Conflicts: 260000 | #Constraints: 29184
912.25/914.66 c #Conflicts: 261000 | #Constraints: 30184
912.25/914.66 c #Conflicts: 262000 | #Constraints: 31184
912.25/914.66 c #Conflicts: 263000 | #Constraints: 32184
912.25/914.66 c #Conflicts: 264000 | #Constraints: 33184
912.25/914.66 c #Conflicts: 265000 | #Constraints: 34184
912.25/914.66 c #Conflicts: 266000 | #Constraints: 35184
912.25/914.66 c INPROCESSING
912.25/914.66 c GARBAGE COLLECT
912.25/914.66 c #Conflicts: 267000 | #Constraints: 26057
912.25/914.66 c #Conflicts: 268000 | #Constraints: 27057
912.25/914.66 c #Conflicts: 269000 | #Constraints: 28057
912.25/914.66 c #Conflicts: 270000 | #Constraints: 29057
912.25/914.66 c #Conflicts: 271000 | #Constraints: 30057
912.25/914.66 c #Conflicts: 272000 | #Constraints: 31057
912.25/914.66 c #Conflicts: 273000 | #Constraints: 32057
912.25/914.66 c #Conflicts: 274000 | #Constraints: 33057
912.25/914.66 c #Conflicts: 275000 | #Constraints: 34057
912.25/914.66 c #Conflicts: 276000 | #Constraints: 35057
912.25/914.66 c #Conflicts: 277000 | #Constraints: 36057
912.25/914.66 c INPROCESSING
912.25/914.66 c GARBAGE COLLECT
912.25/914.66 c #Conflicts: 278000 | #Constraints: 26652
912.25/914.66 c #Conflicts: 279000 | #Constraints: 27652
912.25/914.66 c #Conflicts: 280000 | #Constraints: 28652
912.25/914.66 c #Conflicts: 281000 | #Constraints: 29652
912.25/914.66 c #Conflicts: 282000 | #Constraints: 30652
912.25/914.66 c #Conflicts: 283000 | #Constraints: 31652
912.25/914.66 c #Conflicts: 284000 | #Constraints: 32652
912.25/914.66 c #Conflicts: 285000 | #Constraints: 33652
1168.39/1171.41 c #Conflicts: 286000 | #Constraints: 34652
1168.39/1171.41 c #Conflicts: 287000 | #Constraints: 35652
1168.39/1171.41 c #Conflicts: 288000 | #Constraints: 36652
1168.39/1171.41 c INPROCESSING
1168.39/1171.41 c GARBAGE COLLECT
1168.39/1171.41 c #Conflicts: 289000 | #Constraints: 27061
1168.39/1171.41 c #Conflicts: 290000 | #Constraints: 28061
1168.39/1171.41 c #Conflicts: 291000 | #Constraints: 29061
1168.39/1171.41 c #Conflicts: 292000 | #Constraints: 30061
1168.39/1171.41 c #Conflicts: 293000 | #Constraints: 31061
1168.39/1171.41 c #Conflicts: 294000 | #Constraints: 32061
1168.39/1171.41 c #Conflicts: 295000 | #Constraints: 33061
1168.39/1171.41 c #Conflicts: 296000 | #Constraints: 34061
1168.39/1171.41 c #Conflicts: 297000 | #Constraints: 35061
1168.39/1171.41 c #Conflicts: 298000 | #Constraints: 36061
1168.39/1171.41 c #Conflicts: 299000 | #Constraints: 37061
1168.39/1171.41 c INPROCESSING
1168.39/1171.41 c GARBAGE COLLECT
1168.39/1171.41 c #Conflicts: 300000 | #Constraints: 27318
1168.39/1171.41 c #Conflicts: 301000 | #Constraints: 28318
1168.39/1171.41 c #Conflicts: 302000 | #Constraints: 29318
1168.39/1171.41 c #Conflicts: 303000 | #Constraints: 30318
1168.39/1171.41 c #Conflicts: 304000 | #Constraints: 31318
1168.39/1171.41 c #Conflicts: 305000 | #Constraints: 32318
1168.39/1171.41 c #Conflicts: 306000 | #Constraints: 33318
1168.39/1171.41 c #Conflicts: 307000 | #Constraints: 34318
1168.39/1171.41 c #Conflicts: 308000 | #Constraints: 35318
1168.39/1171.41 c #Conflicts: 309000 | #Constraints: 36318
1168.39/1171.41 c #Conflicts: 310000 | #Constraints: 37318
1168.39/1171.41 c INPROCESSING
1168.39/1171.41 c GARBAGE COLLECT
1168.39/1171.41 c #Conflicts: 311000 | #Constraints: 27325
1168.39/1171.41 c #Conflicts: 312000 | #Constraints: 28325
1168.39/1171.41 c #Conflicts: 313000 | #Constraints: 29325
1168.39/1171.41 c #Conflicts: 314000 | #Constraints: 30325
1168.39/1171.41 c #Conflicts: 315000 | #Constraints: 31325
1168.39/1171.41 c #Conflicts: 316000 | #Constraints: 32325
1168.39/1171.41 c #Conflicts: 317000 | #Constraints: 33325
1168.39/1171.41 c #Conflicts: 318000 | #Constraints: 34325
1168.39/1171.41 c #Conflicts: 319000 | #Constraints: 35325
1168.39/1171.41 c #Conflicts: 320000 | #Constraints: 36325
1168.39/1171.41 c #Conflicts: 321000 | #Constraints: 37325
1168.39/1171.41 c INPROCESSING
1168.39/1171.41 c GARBAGE COLLECT
1168.39/1171.41 c #Conflicts: 322000 | #Constraints: 27098
1168.39/1171.41 c #Conflicts: 323000 | #Constraints: 28098
1168.39/1171.41 c #Conflicts: 324000 | #Constraints: 29098
1168.39/1171.41 c #Conflicts: 325000 | #Constraints: 30098
1168.39/1171.41 c #Conflicts: 326000 | #Constraints: 31098
1168.39/1171.41 c #Conflicts: 327000 | #Constraints: 32098
1168.39/1171.41 c #Conflicts: 328000 | #Constraints: 33098
1168.39/1171.41 c #Conflicts: 329000 | #Constraints: 34098
1168.39/1171.41 c #Conflicts: 330000 | #Constraints: 35098
1168.39/1171.41 c #Conflicts: 331000 | #Constraints: 36098
1168.39/1171.41 c #Conflicts: 332000 | #Constraints: 37098
1168.39/1171.41 c #Conflicts: 333000 | #Constraints: 38098
1168.39/1171.41 c INPROCESSING
1168.39/1171.41 c GARBAGE COLLECT
1168.39/1171.41 c #Conflicts: 334000 | #Constraints: 27665
1168.39/1171.41 c #Conflicts: 335000 | #Constraints: 28665
1168.39/1171.41 c #Conflicts: 336000 | #Constraints: 29665
1168.39/1171.41 c #Conflicts: 337000 | #Constraints: 30665
1168.39/1171.41 c #Conflicts: 338000 | #Constraints: 31665
1168.39/1171.41 c #Conflicts: 339000 | #Constraints: 32665
1168.39/1171.41 c #Conflicts: 340000 | #Constraints: 33665
1168.39/1171.41 c #Conflicts: 341000 | #Constraints: 34665
1168.39/1171.41 c #Conflicts: 342000 | #Constraints: 35665
1168.39/1171.41 c #Conflicts: 343000 | #Constraints: 36665
1168.39/1171.41 c #Conflicts: 344000 | #Constraints: 37665
1168.39/1171.41 c #Conflicts: 345000 | #Constraints: 38665
1168.39/1171.41 c INPROCESSING
1168.39/1171.41 c GARBAGE COLLECT
1168.39/1171.41 c #Conflicts: 346000 | #Constraints: 28063
1168.39/1171.41 c #Conflicts: 347000 | #Constraints: 29063
1168.39/1171.41 c #Conflicts: 348000 | #Constraints: 30063
1168.39/1171.41 c #Conflicts: 349000 | #Constraints: 31063
1168.39/1171.41 c #Conflicts: 350000 | #Constraints: 32063
1168.39/1171.41 c #Conflicts: 351000 | #Constraints: 33063
1168.39/1171.41 c #Conflicts: 352000 | #Constraints: 34063
1168.39/1171.41 c #Conflicts: 353000 | #Constraints: 35063
1168.39/1171.41 c #Conflicts: 354000 | #Constraints: 36063
1168.39/1171.41 c #Conflicts: 355000 | #Constraints: 37063
1168.39/1171.41 c #Conflicts: 356000 | #Constraints: 38063
1168.39/1171.41 c #Conflicts: 357000 | #Constraints: 39063
1168.39/1171.41 c INPROCESSING
1168.39/1171.41 c GARBAGE COLLECT
1168.39/1171.41 c #Conflicts: 358000 | #Constraints: 28333
1168.39/1171.41 c #Conflicts: 359000 | #Constraints: 29333
1406.90/1410.55 c #Conflicts: 360000 | #Constraints: 30333
1406.90/1410.55 c #Conflicts: 361000 | #Constraints: 31333
1406.90/1410.55 c #Conflicts: 362000 | #Constraints: 32333
1406.90/1410.55 c #Conflicts: 363000 | #Constraints: 33333
1406.90/1410.55 c #Conflicts: 364000 | #Constraints: 34333
1406.90/1410.55 c #Conflicts: 365000 | #Constraints: 35333
1406.90/1410.55 c #Conflicts: 366000 | #Constraints: 36333
1406.90/1410.55 c #Conflicts: 367000 | #Constraints: 37333
1406.90/1410.55 c #Conflicts: 368000 | #Constraints: 38333
1406.90/1410.55 c #Conflicts: 369000 | #Constraints: 39333
1406.90/1410.55 c INPROCESSING
1406.90/1410.55 c GARBAGE COLLECT
1406.90/1410.55 c #Conflicts: 370000 | #Constraints: 28206
1406.90/1410.55 c #Conflicts: 371000 | #Constraints: 29206
1406.90/1410.55 c #Conflicts: 372000 | #Constraints: 30206
1406.90/1410.55 c #Conflicts: 373000 | #Constraints: 31206
1406.90/1410.55 c #Conflicts: 374000 | #Constraints: 32206
1406.90/1410.55 c #Conflicts: 375000 | #Constraints: 33206
1406.90/1410.55 c #Conflicts: 376000 | #Constraints: 34206
1406.90/1410.55 c #Conflicts: 377000 | #Constraints: 35206
1406.90/1410.55 c #Conflicts: 378000 | #Constraints: 36206
1406.90/1410.55 c #Conflicts: 379000 | #Constraints: 37206
1406.90/1410.55 c #Conflicts: 380000 | #Constraints: 38206
1406.90/1410.55 c #Conflicts: 381000 | #Constraints: 39206
1406.90/1410.55 c INPROCESSING
1406.90/1410.55 c GARBAGE COLLECT
1406.90/1410.55 c #Conflicts: 382000 | #Constraints: 27964
1406.90/1410.55 c #Conflicts: 383000 | #Constraints: 28964
1406.90/1410.55 c #Conflicts: 384000 | #Constraints: 29964
1406.90/1410.55 c #Conflicts: 385000 | #Constraints: 30964
1406.90/1410.55 c #Conflicts: 386000 | #Constraints: 31964
1406.90/1410.55 c #Conflicts: 387000 | #Constraints: 32964
1406.90/1410.55 c #Conflicts: 388000 | #Constraints: 33964
1406.90/1410.55 c #Conflicts: 389000 | #Constraints: 34964
1406.90/1410.55 c #Conflicts: 390000 | #Constraints: 35964
1406.90/1410.55 c #Conflicts: 391000 | #Constraints: 36964
1406.90/1410.55 c #Conflicts: 392000 | #Constraints: 37964
1406.90/1410.55 c #Conflicts: 393000 | #Constraints: 38964
1406.90/1410.55 c #Conflicts: 394000 | #Constraints: 39964
1406.90/1410.55 c INPROCESSING
1406.90/1410.55 c GARBAGE COLLECT
1406.90/1410.55 c #Conflicts: 395000 | #Constraints: 28501
1406.90/1410.55 c #Conflicts: 396000 | #Constraints: 29501
1406.90/1410.55 c #Conflicts: 397000 | #Constraints: 30501
1406.90/1410.55 c #Conflicts: 398000 | #Constraints: 31501
1406.90/1410.55 c #Conflicts: 399000 | #Constraints: 32501
1406.90/1410.55 c #Conflicts: 400000 | #Constraints: 33501
1406.90/1410.55 c #Conflicts: 401000 | #Constraints: 34501
1406.90/1410.55 c #Conflicts: 402000 | #Constraints: 35501
1406.90/1410.55 c #Conflicts: 403000 | #Constraints: 36501
1406.90/1410.55 c #Conflicts: 404000 | #Constraints: 37501
1406.90/1410.55 c #Conflicts: 405000 | #Constraints: 38501
1406.90/1410.55 c #Conflicts: 406000 | #Constraints: 39501
1406.90/1410.55 c #Conflicts: 407000 | #Constraints: 40501
1406.90/1410.55 c INPROCESSING
1406.90/1410.55 c GARBAGE COLLECT
1406.90/1410.55 c #Conflicts: 408000 | #Constraints: 28840
1406.90/1410.55 c #Conflicts: 409000 | #Constraints: 29840
1406.90/1410.55 c #Conflicts: 410000 | #Constraints: 30840
1406.90/1410.55 c #Conflicts: 411000 | #Constraints: 31840
1406.90/1410.55 c #Conflicts: 412000 | #Constraints: 32840
1406.90/1410.55 c #Conflicts: 413000 | #Constraints: 33840
1406.90/1410.55 c #Conflicts: 414000 | #Constraints: 34840
1406.90/1410.55 c #Conflicts: 415000 | #Constraints: 35840
1406.90/1410.55 c #Conflicts: 416000 | #Constraints: 36840
1406.90/1410.55 c #Conflicts: 417000 | #Constraints: 37840
1406.90/1410.55 c #Conflicts: 418000 | #Constraints: 38840
1406.90/1410.55 c #Conflicts: 419000 | #Constraints: 39840
1406.90/1410.55 c #Conflicts: 420000 | #Constraints: 40840
1406.90/1410.55 c INPROCESSING
1406.90/1410.55 c GARBAGE COLLECT
1406.90/1410.55 c #Conflicts: 421000 | #Constraints: 29144
1406.90/1410.55 c #Conflicts: 422000 | #Constraints: 30144
1406.90/1410.55 c #Conflicts: 423000 | #Constraints: 31144
1406.90/1410.55 c #Conflicts: 424000 | #Constraints: 32144
1406.90/1410.55 c #Conflicts: 425000 | #Constraints: 33144
1406.90/1410.55 c #Conflicts: 426000 | #Constraints: 34144
1406.90/1410.55 c #Conflicts: 427000 | #Constraints: 35144
1406.90/1410.55 c #Conflicts: 428000 | #Constraints: 36144
1406.90/1410.55 c #Conflicts: 429000 | #Constraints: 37144
1406.90/1410.55 c #Conflicts: 430000 | #Constraints: 38144
1406.90/1410.55 c #Conflicts: 431000 | #Constraints: 39144
1406.90/1410.55 c #Conflicts: 432000 | #Constraints: 40144
1406.90/1410.55 c #Conflicts: 433000 | #Constraints: 41144
1406.90/1410.55 c INPROCESSING
1406.90/1410.55 c GARBAGE COLLECT
1406.90/1410.55 c #Conflicts: 434000 | #Constraints: 29061
1766.46/1771.03 c #Conflicts: 435000 | #Constraints: 30061
1766.46/1771.03 c #Conflicts: 436000 | #Constraints: 31061
1766.46/1771.03 c #Conflicts: 437000 | #Constraints: 32061
1766.46/1771.03 c #Conflicts: 438000 | #Constraints: 33061
1766.46/1771.03 c #Conflicts: 439000 | #Constraints: 34061
1766.46/1771.03 c #Conflicts: 440000 | #Constraints: 35061
1766.46/1771.03 c #Conflicts: 441000 | #Constraints: 36061
1766.46/1771.03 c #Conflicts: 442000 | #Constraints: 37061
1766.46/1771.03 c #Conflicts: 443000 | #Constraints: 38061
1766.46/1771.03 c #Conflicts: 444000 | #Constraints: 39061
1766.46/1771.03 c #Conflicts: 445000 | #Constraints: 40061
1766.46/1771.03 c #Conflicts: 446000 | #Constraints: 41061
1766.46/1771.03 c INPROCESSING
1766.46/1771.03 c GARBAGE COLLECT
1766.46/1771.03 c #Conflicts: 447000 | #Constraints: 28857
1766.46/1771.03 c #Conflicts: 448000 | #Constraints: 29857
1766.46/1771.03 c #Conflicts: 449000 | #Constraints: 30857
1766.46/1771.03 c #Conflicts: 450000 | #Constraints: 31857
1766.46/1771.03 c #Conflicts: 451000 | #Constraints: 32857
1766.46/1771.03 c #Conflicts: 452000 | #Constraints: 33857
1766.46/1771.03 c #Conflicts: 453000 | #Constraints: 34857
1766.46/1771.03 c #Conflicts: 454000 | #Constraints: 35857
1766.46/1771.03 c #Conflicts: 455000 | #Constraints: 36857
1766.46/1771.03 c #Conflicts: 456000 | #Constraints: 37857
1766.46/1771.03 c #Conflicts: 457000 | #Constraints: 38857
1766.46/1771.03 c #Conflicts: 458000 | #Constraints: 39857
1766.46/1771.03 c #Conflicts: 459000 | #Constraints: 40857
1766.46/1771.03 c #Conflicts: 460000 | #Constraints: 41857
1766.46/1771.03 c INPROCESSING
1766.46/1771.03 c GARBAGE COLLECT
1766.46/1771.03 c #Conflicts: 461000 | #Constraints: 29512
1766.46/1771.03 c #Conflicts: 462000 | #Constraints: 30512
1766.46/1771.03 c #Conflicts: 463000 | #Constraints: 31512
1766.46/1771.03 c #Conflicts: 464000 | #Constraints: 32512
1766.46/1771.03 c #Conflicts: 465000 | #Constraints: 33512
1766.46/1771.03 c #Conflicts: 466000 | #Constraints: 34512
1766.46/1771.03 c #Conflicts: 467000 | #Constraints: 35512
1766.46/1771.03 c #Conflicts: 468000 | #Constraints: 36512
1766.46/1771.03 c #Conflicts: 469000 | #Constraints: 37512
1766.46/1771.03 c #Conflicts: 470000 | #Constraints: 38512
1766.46/1771.03 c #Conflicts: 471000 | #Constraints: 39512
1766.46/1771.03 c #Conflicts: 472000 | #Constraints: 40512
1766.46/1771.04 c #Conflicts: 473000 | #Constraints: 41512
1766.46/1771.04 c #Conflicts: 474000 | #Constraints: 42512
1766.46/1771.04 c INPROCESSING
1766.46/1771.04 c GARBAGE COLLECT
1766.46/1771.04 c #Conflicts: 475000 | #Constraints: 29995
1766.46/1771.04 c #Conflicts: 476000 | #Constraints: 30995
1766.46/1771.04 c #Conflicts: 477000 | #Constraints: 31995
1766.46/1771.04 c #Conflicts: 478000 | #Constraints: 32995
1766.46/1771.04 c #Conflicts: 479000 | #Constraints: 33995
1766.46/1771.04 c #Conflicts: 480000 | #Constraints: 34995
1766.46/1771.04 c #Conflicts: 481000 | #Constraints: 35995
1766.46/1771.04 c #Conflicts: 482000 | #Constraints: 36995
1766.46/1771.04 c #Conflicts: 483000 | #Constraints: 37995
1766.46/1771.04 c #Conflicts: 484000 | #Constraints: 38995
1766.46/1771.04 c #Conflicts: 485000 | #Constraints: 39995
1766.46/1771.04 c #Conflicts: 486000 | #Constraints: 40995
1766.46/1771.04 c #Conflicts: 487000 | #Constraints: 41995
1766.46/1771.04 c #Conflicts: 488000 | #Constraints: 42995
1766.46/1771.04 c INPROCESSING
1766.46/1771.04 c GARBAGE COLLECT
1766.46/1771.04 c #Conflicts: 489000 | #Constraints: 30193
1766.46/1771.04 c #Conflicts: 490000 | #Constraints: 31193
1766.46/1771.04 c #Conflicts: 491000 | #Constraints: 32193
1766.46/1771.04 c #Conflicts: 492000 | #Constraints: 33193
1766.46/1771.04 c #Conflicts: 493000 | #Constraints: 34193
1766.46/1771.04 c #Conflicts: 494000 | #Constraints: 35193
1766.46/1771.04 c #Conflicts: 495000 | #Constraints: 36193
1766.46/1771.04 c #Conflicts: 496000 | #Constraints: 37193
1766.46/1771.04 c #Conflicts: 497000 | #Constraints: 38193
1766.46/1771.04 c #Conflicts: 498000 | #Constraints: 39193
1766.46/1771.04 c #Conflicts: 499000 | #Constraints: 40193
1766.46/1771.04 c #Conflicts: 500000 | #Constraints: 41193
1766.46/1771.04 c #Conflicts: 501000 | #Constraints: 42193
1766.46/1771.04 c #Conflicts: 502000 | #Constraints: 43193
1766.46/1771.04 c INPROCESSING
1766.46/1771.04 c GARBAGE COLLECT
1766.46/1771.04 c #Conflicts: 503000 | #Constraints: 30228
1766.46/1771.04 c #Conflicts: 504000 | #Constraints: 31228
1766.46/1771.04 c #Conflicts: 505000 | #Constraints: 32228
1766.46/1771.04 c #Conflicts: 506000 | #Constraints: 33228
1766.46/1771.04 c #Conflicts: 507000 | #Constraints: 34228
1766.46/1771.04 c #Conflicts: 508000 | #Constraints: 35228
1766.46/1771.04 c #Conflicts: 509000 | #Constraints: 36228
1766.46/1771.04 c #Conflicts: 510000 | #Constraints: 37228
2044.06/2049.39 c #Conflicts: 511000 | #Constraints: 38228
2044.06/2049.39 c #Conflicts: 512000 | #Constraints: 39228
2044.06/2049.39 c #Conflicts: 513000 | #Constraints: 40228
2044.06/2049.39 c #Conflicts: 514000 | #Constraints: 41228
2044.06/2049.39 c #Conflicts: 515000 | #Constraints: 42228
2044.06/2049.39 c #Conflicts: 516000 | #Constraints: 43228
2044.06/2049.39 c INPROCESSING
2044.06/2049.39 c GARBAGE COLLECT
2044.06/2049.39 c #Conflicts: 517000 | #Constraints: 29911
2044.06/2049.39 c #Conflicts: 518000 | #Constraints: 30911
2044.06/2049.39 c #Conflicts: 519000 | #Constraints: 31911
2044.06/2049.39 c #Conflicts: 520000 | #Constraints: 32911
2044.06/2049.39 c #Conflicts: 521000 | #Constraints: 33911
2044.06/2049.39 c #Conflicts: 522000 | #Constraints: 34911
2044.06/2049.39 c #Conflicts: 523000 | #Constraints: 35911
2044.06/2049.39 c #Conflicts: 524000 | #Constraints: 36911
2044.06/2049.39 c #Conflicts: 525000 | #Constraints: 37911
2044.06/2049.39 c #Conflicts: 526000 | #Constraints: 38911
2044.06/2049.39 c #Conflicts: 527000 | #Constraints: 39911
2044.06/2049.39 c #Conflicts: 528000 | #Constraints: 40911
2044.06/2049.39 c #Conflicts: 529000 | #Constraints: 41911
2044.06/2049.39 c #Conflicts: 530000 | #Constraints: 42911
2044.06/2049.39 c #Conflicts: 531000 | #Constraints: 43911
2044.06/2049.39 c INPROCESSING
2044.06/2049.39 c GARBAGE COLLECT
2044.06/2049.39 c #Conflicts: 532000 | #Constraints: 30494
2044.06/2049.39 c #Conflicts: 533000 | #Constraints: 31494
2044.06/2049.39 c #Conflicts: 534000 | #Constraints: 32494
2044.06/2049.39 c #Conflicts: 535000 | #Constraints: 33494
2044.06/2049.39 c #Conflicts: 536000 | #Constraints: 34494
2044.06/2049.39 c #Conflicts: 537000 | #Constraints: 35494
2044.06/2049.39 c #Conflicts: 538000 | #Constraints: 36494
2044.06/2049.39 c #Conflicts: 539000 | #Constraints: 37494
2044.06/2049.39 c #Conflicts: 540000 | #Constraints: 38494
2044.06/2049.39 c #Conflicts: 541000 | #Constraints: 39494
2044.06/2049.39 c #Conflicts: 542000 | #Constraints: 40494
2044.06/2049.39 c #Conflicts: 543000 | #Constraints: 41494
2044.06/2049.39 c #Conflicts: 544000 | #Constraints: 42494
2044.06/2049.39 c #Conflicts: 545000 | #Constraints: 43494
2044.06/2049.39 c #Conflicts: 546000 | #Constraints: 44494
2044.06/2049.39 c INPROCESSING
2044.06/2049.39 c GARBAGE COLLECT
2044.06/2049.39 c #Conflicts: 547000 | #Constraints: 31037
2044.06/2049.39 c #Conflicts: 548000 | #Constraints: 32037
2044.06/2049.39 c #Conflicts: 549000 | #Constraints: 33037
2044.06/2049.39 c #Conflicts: 550000 | #Constraints: 34037
2044.06/2049.39 c #Conflicts: 551000 | #Constraints: 35037
2044.06/2049.39 c #Conflicts: 552000 | #Constraints: 36037
2044.06/2049.39 c #Conflicts: 553000 | #Constraints: 37037
2044.06/2049.39 c #Conflicts: 554000 | #Constraints: 38037
2044.06/2049.39 c #Conflicts: 555000 | #Constraints: 39037
2044.06/2049.39 c #Conflicts: 556000 | #Constraints: 40037
2044.06/2049.39 c #Conflicts: 557000 | #Constraints: 41037
2044.06/2049.39 c #Conflicts: 558000 | #Constraints: 42037
2044.06/2049.39 c #Conflicts: 559000 | #Constraints: 43037
2044.06/2049.39 c #Conflicts: 560000 | #Constraints: 44037
2044.06/2049.39 c #Conflicts: 561000 | #Constraints: 45037
2044.06/2049.39 c INPROCESSING
2044.06/2049.39 c GARBAGE COLLECT
2044.06/2049.39 c #Conflicts: 562000 | #Constraints: 31279
2044.06/2049.39 c #Conflicts: 563000 | #Constraints: 32279
2044.06/2049.39 c #Conflicts: 564000 | #Constraints: 33279
2044.06/2049.39 c #Conflicts: 565000 | #Constraints: 34279
2044.06/2049.39 c #Conflicts: 566000 | #Constraints: 35279
2044.06/2049.39 c #Conflicts: 567000 | #Constraints: 36279
2044.06/2049.39 c #Conflicts: 568000 | #Constraints: 37279
2044.06/2049.39 c #Conflicts: 569000 | #Constraints: 38279
2044.06/2049.39 c #Conflicts: 570000 | #Constraints: 39279
2044.06/2049.39 c #Conflicts: 571000 | #Constraints: 40279
2044.06/2049.39 c #Conflicts: 572000 | #Constraints: 41279
2044.06/2049.39 c #Conflicts: 573000 | #Constraints: 42279
2044.06/2049.39 c #Conflicts: 574000 | #Constraints: 43279
2044.06/2049.39 c #Conflicts: 575000 | #Constraints: 44279
2044.06/2049.39 c #Conflicts: 576000 | #Constraints: 45279
2044.06/2049.39 c INPROCESSING
2044.06/2049.39 c GARBAGE COLLECT
2044.06/2049.39 c #Conflicts: 577000 | #Constraints: 31250
2044.06/2049.39 c #Conflicts: 578000 | #Constraints: 32250
2044.06/2049.39 c #Conflicts: 579000 | #Constraints: 33250
2044.06/2049.39 c #Conflicts: 580000 | #Constraints: 34250
2044.06/2049.39 c #Conflicts: 581000 | #Constraints: 35250
2044.06/2049.39 c #Conflicts: 582000 | #Constraints: 36250
2044.06/2049.39 c #Conflicts: 583000 | #Constraints: 37250
2044.06/2049.39 c #Conflicts: 584000 | #Constraints: 38250
2044.06/2049.39 c #Conflicts: 585000 | #Constraints: 39250
2377.39/2383.57 c #Conflicts: 586000 | #Constraints: 40250
2377.39/2383.57 c #Conflicts: 587000 | #Constraints: 41250
2377.39/2383.57 c #Conflicts: 588000 | #Constraints: 42250
2377.39/2383.57 c #Conflicts: 589000 | #Constraints: 43250
2377.39/2383.57 c #Conflicts: 590000 | #Constraints: 44250
2377.39/2383.57 c #Conflicts: 591000 | #Constraints: 45250
2377.39/2383.57 c INPROCESSING
2377.39/2383.57 c GARBAGE COLLECT
2377.39/2383.57 c #Conflicts: 592000 | #Constraints: 31042
2377.39/2383.57 c #Conflicts: 593000 | #Constraints: 32042
2377.39/2383.57 c #Conflicts: 594000 | #Constraints: 33042
2377.39/2383.57 c #Conflicts: 595000 | #Constraints: 34042
2377.39/2383.57 c #Conflicts: 596000 | #Constraints: 35042
2377.39/2383.57 c #Conflicts: 597000 | #Constraints: 36042
2377.39/2383.57 c #Conflicts: 598000 | #Constraints: 37042
2377.39/2383.57 c #Conflicts: 599000 | #Constraints: 38042
2377.39/2383.57 c #Conflicts: 600000 | #Constraints: 39042
2377.39/2383.57 c #Conflicts: 601000 | #Constraints: 40042
2377.39/2383.57 c #Conflicts: 602000 | #Constraints: 41042
2377.39/2383.57 c #Conflicts: 603000 | #Constraints: 42042
2377.39/2383.57 c #Conflicts: 604000 | #Constraints: 43042
2377.39/2383.57 c #Conflicts: 605000 | #Constraints: 44042
2377.39/2383.57 c #Conflicts: 606000 | #Constraints: 45042
2377.39/2383.57 c #Conflicts: 607000 | #Constraints: 46042
2377.39/2383.57 c INPROCESSING
2377.39/2383.57 c GARBAGE COLLECT
2377.39/2383.57 c #Conflicts: 608000 | #Constraints: 31685
2377.39/2383.57 c #Conflicts: 609000 | #Constraints: 32685
2377.39/2383.57 c #Conflicts: 610000 | #Constraints: 33685
2377.39/2383.57 c #Conflicts: 611000 | #Constraints: 34685
2377.39/2383.57 c #Conflicts: 612000 | #Constraints: 35685
2377.39/2383.57 c #Conflicts: 613000 | #Constraints: 36685
2377.39/2383.57 c #Conflicts: 614000 | #Constraints: 37685
2377.39/2383.57 c #Conflicts: 615000 | #Constraints: 38685
2377.39/2383.57 c #Conflicts: 616000 | #Constraints: 39685
2377.39/2383.57 c #Conflicts: 617000 | #Constraints: 40685
2377.39/2383.57 c #Conflicts: 618000 | #Constraints: 41685
2377.39/2383.57 c #Conflicts: 619000 | #Constraints: 42685
2377.39/2383.57 c #Conflicts: 620000 | #Constraints: 43685
2377.39/2383.57 c #Conflicts: 621000 | #Constraints: 44685
2377.39/2383.57 c #Conflicts: 622000 | #Constraints: 45685
2377.39/2383.57 c #Conflicts: 623000 | #Constraints: 46685
2377.39/2383.57 c INPROCESSING
2377.39/2383.57 c GARBAGE COLLECT
2377.39/2383.57 c #Conflicts: 624000 | #Constraints: 32026
2377.39/2383.57 c #Conflicts: 625000 | #Constraints: 33026
2377.39/2383.57 c #Conflicts: 626000 | #Constraints: 34026
2377.39/2383.57 c #Conflicts: 627000 | #Constraints: 35026
2377.39/2383.57 c #Conflicts: 628000 | #Constraints: 36026
2377.39/2383.57 c #Conflicts: 629000 | #Constraints: 37026
2377.39/2383.57 c #Conflicts: 630000 | #Constraints: 38026
2377.39/2383.57 c #Conflicts: 631000 | #Constraints: 39026
2377.39/2383.57 c #Conflicts: 632000 | #Constraints: 40026
2377.39/2383.57 c #Conflicts: 633000 | #Constraints: 41026
2377.39/2383.57 c #Conflicts: 634000 | #Constraints: 42026
2377.39/2383.57 c #Conflicts: 635000 | #Constraints: 43026
2377.39/2383.57 c #Conflicts: 636000 | #Constraints: 44026
2377.39/2383.57 c #Conflicts: 637000 | #Constraints: 45026
2377.39/2383.57 c #Conflicts: 638000 | #Constraints: 46026
2377.39/2383.57 c #Conflicts: 639000 | #Constraints: 47026
2377.39/2383.57 c INPROCESSING
2377.39/2383.57 c GARBAGE COLLECT
2377.39/2383.57 c #Conflicts: 640000 | #Constraints: 32315
2377.39/2383.57 c #Conflicts: 641000 | #Constraints: 33315
2377.39/2383.57 c #Conflicts: 642000 | #Constraints: 34315
2377.39/2383.57 c #Conflicts: 643000 | #Constraints: 35315
2377.39/2383.57 c #Conflicts: 644000 | #Constraints: 36315
2377.39/2383.57 c #Conflicts: 645000 | #Constraints: 37315
2377.39/2383.57 c #Conflicts: 646000 | #Constraints: 38315
2377.39/2383.57 c #Conflicts: 647000 | #Constraints: 39315
2377.39/2383.57 c #Conflicts: 648000 | #Constraints: 40315
2377.39/2383.57 c #Conflicts: 649000 | #Constraints: 41315
2377.39/2383.57 c #Conflicts: 650000 | #Constraints: 42315
2377.39/2383.57 c #Conflicts: 651000 | #Constraints: 43315
2377.39/2383.57 c #Conflicts: 652000 | #Constraints: 44315
2377.39/2383.57 c #Conflicts: 653000 | #Constraints: 45315
2377.39/2383.57 c #Conflicts: 654000 | #Constraints: 46315
2377.39/2383.57 c #Conflicts: 655000 | #Constraints: 47315
2377.39/2383.57 c INPROCESSING
2377.39/2383.57 c GARBAGE COLLECT
2377.39/2383.57 c #Conflicts: 656000 | #Constraints: 32331
2377.39/2383.57 c #Conflicts: 657000 | #Constraints: 33331
2377.39/2383.57 c #Conflicts: 658000 | #Constraints: 34331
2377.39/2383.57 c #Conflicts: 659000 | #Constraints: 35331
2377.39/2383.57 c #Conflicts: 660000 | #Constraints: 36331
2377.39/2383.57 c #Conflicts: 661000 | #Constraints: 37331
2715.37/2722.46 c #Conflicts: 662000 | #Constraints: 38331
2715.37/2722.46 c #Conflicts: 663000 | #Constraints: 39331
2715.37/2722.46 c #Conflicts: 664000 | #Constraints: 40331
2715.37/2722.46 c #Conflicts: 665000 | #Constraints: 41331
2715.37/2722.46 c #Conflicts: 666000 | #Constraints: 42331
2715.37/2722.46 c #Conflicts: 667000 | #Constraints: 43331
2715.37/2722.46 c #Conflicts: 668000 | #Constraints: 44331
2715.37/2722.46 c #Conflicts: 669000 | #Constraints: 45331
2715.37/2722.46 c #Conflicts: 670000 | #Constraints: 46331
2715.37/2722.46 c #Conflicts: 671000 | #Constraints: 47331
2715.37/2722.46 c INPROCESSING
2715.37/2722.46 c GARBAGE COLLECT
2715.37/2722.46 c #Conflicts: 672000 | #Constraints: 32192
2715.37/2722.46 c #Conflicts: 673000 | #Constraints: 33192
2715.37/2722.46 c #Conflicts: 674000 | #Constraints: 34192
2715.37/2722.46 c #Conflicts: 675000 | #Constraints: 35192
2715.37/2722.46 c #Conflicts: 676000 | #Constraints: 36192
2715.37/2722.46 c #Conflicts: 677000 | #Constraints: 37192
2715.37/2722.46 c #Conflicts: 678000 | #Constraints: 38192
2715.37/2722.46 c #Conflicts: 679000 | #Constraints: 39192
2715.37/2722.46 c #Conflicts: 680000 | #Constraints: 40192
2715.37/2722.46 c #Conflicts: 681000 | #Constraints: 41192
2715.37/2722.46 c #Conflicts: 682000 | #Constraints: 42192
2715.37/2722.46 c #Conflicts: 683000 | #Constraints: 43192
2715.37/2722.46 c #Conflicts: 684000 | #Constraints: 44192
2715.37/2722.46 c #Conflicts: 685000 | #Constraints: 45192
2715.37/2722.46 c #Conflicts: 686000 | #Constraints: 46192
2715.37/2722.46 c #Conflicts: 687000 | #Constraints: 47192
2715.37/2722.46 c #Conflicts: 688000 | #Constraints: 48192
2715.37/2722.46 c INPROCESSING
2715.37/2722.46 c GARBAGE COLLECT
2715.37/2722.46 c #Conflicts: 689000 | #Constraints: 32788
2715.37/2722.46 c #Conflicts: 690000 | #Constraints: 33788
2715.37/2722.46 c #Conflicts: 691000 | #Constraints: 34788
2715.37/2722.46 c #Conflicts: 692000 | #Constraints: 35788
2715.37/2722.46 c #Conflicts: 693000 | #Constraints: 36788
2715.37/2722.46 c #Conflicts: 694000 | #Constraints: 37788
2715.37/2722.46 c #Conflicts: 695000 | #Constraints: 38788
2715.37/2722.46 c #Conflicts: 696000 | #Constraints: 39788
2715.37/2722.46 c #Conflicts: 697000 | #Constraints: 40788
2715.37/2722.46 c #Conflicts: 698000 | #Constraints: 41788
2715.37/2722.46 c #Conflicts: 699000 | #Constraints: 42788
2715.37/2722.46 c #Conflicts: 700000 | #Constraints: 43788
2715.37/2722.46 c #Conflicts: 701000 | #Constraints: 44788
2715.37/2722.46 c #Conflicts: 702000 | #Constraints: 45788
2715.37/2722.46 c #Conflicts: 703000 | #Constraints: 46788
2715.37/2722.46 c #Conflicts: 704000 | #Constraints: 47788
2715.37/2722.46 c #Conflicts: 705000 | #Constraints: 48788
2715.37/2722.46 c INPROCESSING
2715.37/2722.46 c GARBAGE COLLECT
2715.37/2722.46 c #Conflicts: 706000 | #Constraints: 33189
2715.37/2722.46 c #Conflicts: 707000 | #Constraints: 34189
2715.37/2722.46 c #Conflicts: 708000 | #Constraints: 35189
2715.37/2722.46 c #Conflicts: 709000 | #Constraints: 36189
2715.37/2722.46 c #Conflicts: 710000 | #Constraints: 37189
2715.37/2722.46 c #Conflicts: 711000 | #Constraints: 38189
2715.37/2722.46 c #Conflicts: 712000 | #Constraints: 39189
2715.37/2722.46 c #Conflicts: 713000 | #Constraints: 40189
2715.37/2722.46 c #Conflicts: 714000 | #Constraints: 41189
2715.37/2722.46 c #Conflicts: 715000 | #Constraints: 42189
2715.37/2722.46 c #Conflicts: 716000 | #Constraints: 43189
2715.37/2722.46 c #Conflicts: 717000 | #Constraints: 44189
2715.37/2722.46 c #Conflicts: 718000 | #Constraints: 45189
2715.37/2722.46 c #Conflicts: 719000 | #Constraints: 46189
2715.37/2722.46 c #Conflicts: 720000 | #Constraints: 47189
2715.37/2722.46 c #Conflicts: 721000 | #Constraints: 48189
2715.37/2722.46 c #Conflicts: 722000 | #Constraints: 49189
2715.37/2722.46 c INPROCESSING
2715.37/2722.46 c GARBAGE COLLECT
2715.37/2722.46 c #Conflicts: 723000 | #Constraints: 33314
2715.37/2722.46 c #Conflicts: 724000 | #Constraints: 34314
2715.37/2722.46 c #Conflicts: 725000 | #Constraints: 35314
2715.37/2722.46 c #Conflicts: 726000 | #Constraints: 36314
2715.37/2722.46 c #Conflicts: 727000 | #Constraints: 37314
2715.37/2722.46 c #Conflicts: 728000 | #Constraints: 38314
2715.37/2722.46 c #Conflicts: 729000 | #Constraints: 39314
2715.37/2722.46 c #Conflicts: 730000 | #Constraints: 40314
2715.37/2722.46 c #Conflicts: 731000 | #Constraints: 41314
2715.37/2722.46 c #Conflicts: 732000 | #Constraints: 42314
2715.37/2722.46 c #Conflicts: 733000 | #Constraints: 43314
2715.37/2722.46 c #Conflicts: 734000 | #Constraints: 44314
2715.37/2722.46 c #Conflicts: 735000 | #Constraints: 45314
2715.37/2722.46 c #Conflicts: 736000 | #Constraints: 46314
2715.37/2722.46 c #Conflicts: 737000 | #Constraints: 47314
2998.77/3006.59 c #Conflicts: 738000 | #Constraints: 48314
2998.77/3006.59 c #Conflicts: 739000 | #Constraints: 49314
2998.77/3006.59 c INPROCESSING
2998.77/3006.59 c GARBAGE COLLECT
2998.77/3006.59 c #Conflicts: 740000 | #Constraints: 33162
2998.77/3006.59 c #Conflicts: 741000 | #Constraints: 34162
2998.77/3006.59 c #Conflicts: 742000 | #Constraints: 35162
2998.77/3006.59 c #Conflicts: 743000 | #Constraints: 36162
2998.77/3006.59 c #Conflicts: 744000 | #Constraints: 37162
2998.77/3006.59 c #Conflicts: 745000 | #Constraints: 38162
2998.77/3006.59 c #Conflicts: 746000 | #Constraints: 39162
2998.77/3006.59 c #Conflicts: 747000 | #Constraints: 40162
2998.77/3006.59 c #Conflicts: 748000 | #Constraints: 41162
2998.77/3006.59 c #Conflicts: 749000 | #Constraints: 42162
2998.77/3006.59 c #Conflicts: 750000 | #Constraints: 43162
2998.77/3006.59 c #Conflicts: 751000 | #Constraints: 44162
2998.77/3006.59 c #Conflicts: 752000 | #Constraints: 45162
2998.77/3006.59 c #Conflicts: 753000 | #Constraints: 46162
2998.77/3006.59 c #Conflicts: 754000 | #Constraints: 47162
2998.77/3006.59 c #Conflicts: 755000 | #Constraints: 48162
2998.77/3006.59 c #Conflicts: 756000 | #Constraints: 49162
2998.77/3006.59 c INPROCESSING
2998.77/3006.59 c GARBAGE COLLECT
2998.77/3006.59 c #Conflicts: 757000 | #Constraints: 32982
2998.77/3006.59 c #Conflicts: 758000 | #Constraints: 33982
2998.77/3006.59 c #Conflicts: 759000 | #Constraints: 34982
2998.77/3006.59 c #Conflicts: 760000 | #Constraints: 35982
2998.77/3006.59 c #Conflicts: 761000 | #Constraints: 36982
2998.77/3006.59 c #Conflicts: 762000 | #Constraints: 37982
2998.77/3006.59 c #Conflicts: 763000 | #Constraints: 38982
2998.77/3006.59 c #Conflicts: 764000 | #Constraints: 39982
2998.77/3006.59 c #Conflicts: 765000 | #Constraints: 40982
2998.77/3006.59 c #Conflicts: 766000 | #Constraints: 41982
2998.77/3006.59 c #Conflicts: 767000 | #Constraints: 42982
2998.77/3006.59 c #Conflicts: 768000 | #Constraints: 43982
2998.77/3006.59 c #Conflicts: 769000 | #Constraints: 44982
2998.77/3006.59 c #Conflicts: 770000 | #Constraints: 45982
2998.77/3006.59 c #Conflicts: 771000 | #Constraints: 46982
2998.77/3006.59 c #Conflicts: 772000 | #Constraints: 47982
2998.77/3006.59 c #Conflicts: 773000 | #Constraints: 48982
2998.77/3006.59 c #Conflicts: 774000 | #Constraints: 49982
2998.77/3006.59 c INPROCESSING
2998.77/3006.59 c GARBAGE COLLECT
2998.77/3006.59 c #Conflicts: 775000 | #Constraints: 33677
2998.77/3006.59 c #Conflicts: 776000 | #Constraints: 34677
2998.77/3006.59 c #Conflicts: 777000 | #Constraints: 35677
2998.77/3006.59 c #Conflicts: 778000 | #Constraints: 36677
2998.77/3006.59 c #Conflicts: 779000 | #Constraints: 37677
2998.77/3006.59 c #Conflicts: 780000 | #Constraints: 38677
2998.77/3006.59 c #Conflicts: 781000 | #Constraints: 39677
2998.77/3006.59 c #Conflicts: 782000 | #Constraints: 40677
2998.77/3006.59 c #Conflicts: 783000 | #Constraints: 41677
2998.77/3006.59 c #Conflicts: 784000 | #Constraints: 42677
2998.77/3006.59 c #Conflicts: 785000 | #Constraints: 43677
2998.77/3006.59 c #Conflicts: 786000 | #Constraints: 44677
2998.77/3006.59 c #Conflicts: 787000 | #Constraints: 45677
2998.77/3006.59 c #Conflicts: 788000 | #Constraints: 46677
2998.77/3006.59 c #Conflicts: 789000 | #Constraints: 47677
2998.77/3006.59 c #Conflicts: 790000 | #Constraints: 48677
2998.77/3006.59 c #Conflicts: 791000 | #Constraints: 49677
2998.77/3006.59 c #Conflicts: 792000 | #Constraints: 50677
2998.77/3006.59 c INPROCESSING
2998.77/3006.59 c GARBAGE COLLECT
2998.77/3006.59 c #Conflicts: 793000 | #Constraints: 33952
2998.77/3006.59 c #Conflicts: 794000 | #Constraints: 34952
2998.77/3006.59 c #Conflicts: 795000 | #Constraints: 35952
2998.77/3006.59 c #Conflicts: 796000 | #Constraints: 36952
2998.77/3006.59 c #Conflicts: 797000 | #Constraints: 37952
2998.77/3006.59 c #Conflicts: 798000 | #Constraints: 38952
2998.77/3006.59 c #Conflicts: 799000 | #Constraints: 39952
2998.77/3006.59 c #Conflicts: 800000 | #Constraints: 40952
2998.77/3006.59 c #Conflicts: 801000 | #Constraints: 41952
2998.77/3006.59 c #Conflicts: 802000 | #Constraints: 42952
2998.77/3006.59 c #Conflicts: 803000 | #Constraints: 43952
2998.77/3006.59 c #Conflicts: 804000 | #Constraints: 44952
2998.77/3006.59 c #Conflicts: 805000 | #Constraints: 45952
2998.77/3006.59 c #Conflicts: 806000 | #Constraints: 46952
2998.77/3006.59 c #Conflicts: 807000 | #Constraints: 47952
2998.77/3006.59 c #Conflicts: 808000 | #Constraints: 48952
2998.77/3006.59 c #Conflicts: 809000 | #Constraints: 49952
2998.77/3006.59 c #Conflicts: 810000 | #Constraints: 50952
2998.77/3006.59 c INPROCESSING
2998.77/3006.59 c GARBAGE COLLECT
2998.77/3006.59 c #Conflicts: 811000 | #Constraints: 34219
2998.77/3006.59 c #Conflicts: 812000 | #Constraints: 35219
2998.77/3006.59 c #Conflicts: 813000 | #Constraints: 36219
3324.83/3333.45 c #Conflicts: 814000 | #Constraints: 37219
3324.83/3333.45 c #Conflicts: 815000 | #Constraints: 38219
3324.83/3333.45 c #Conflicts: 816000 | #Constraints: 39219
3324.83/3333.45 c #Conflicts: 817000 | #Constraints: 40219
3324.83/3333.45 c #Conflicts: 818000 | #Constraints: 41219
3324.83/3333.45 c #Conflicts: 819000 | #Constraints: 42219
3324.83/3333.45 c #Conflicts: 820000 | #Constraints: 43219
3324.83/3333.45 c #Conflicts: 821000 | #Constraints: 44219
3324.83/3333.45 c #Conflicts: 822000 | #Constraints: 45219
3324.83/3333.45 c #Conflicts: 823000 | #Constraints: 46219
3324.83/3333.45 c #Conflicts: 824000 | #Constraints: 47219
3324.83/3333.45 c #Conflicts: 825000 | #Constraints: 48219
3324.83/3333.45 c #Conflicts: 826000 | #Constraints: 49219
3324.83/3333.45 c #Conflicts: 827000 | #Constraints: 50219
3324.83/3333.45 c #Conflicts: 828000 | #Constraints: 51219
3324.83/3333.45 c INPROCESSING
3324.83/3333.45 c GARBAGE COLLECT
3324.83/3333.45 c #Conflicts: 829000 | #Constraints: 34311
3324.83/3333.45 c #Conflicts: 830000 | #Constraints: 35311
3324.83/3333.45 c #Conflicts: 831000 | #Constraints: 36311
3324.83/3333.45 c #Conflicts: 832000 | #Constraints: 37311
3324.83/3333.45 c #Conflicts: 833000 | #Constraints: 38311
3324.83/3333.45 c #Conflicts: 834000 | #Constraints: 39311
3324.83/3333.45 c #Conflicts: 835000 | #Constraints: 40311
3324.83/3333.45 c #Conflicts: 836000 | #Constraints: 41311
3324.83/3333.45 c #Conflicts: 837000 | #Constraints: 42311
3324.83/3333.45 c #Conflicts: 838000 | #Constraints: 43311
3324.83/3333.45 c #Conflicts: 839000 | #Constraints: 44311
3324.83/3333.45 c #Conflicts: 840000 | #Constraints: 45311
3324.83/3333.45 c #Conflicts: 841000 | #Constraints: 46311
3324.83/3333.45 c #Conflicts: 842000 | #Constraints: 47311
3324.83/3333.45 c #Conflicts: 843000 | #Constraints: 48311
3324.83/3333.45 c #Conflicts: 844000 | #Constraints: 49311
3324.83/3333.45 c #Conflicts: 845000 | #Constraints: 50311
3324.83/3333.45 c #Conflicts: 846000 | #Constraints: 51311
3324.83/3333.45 c INPROCESSING
3324.83/3333.45 c GARBAGE COLLECT
3324.83/3333.45 c #Conflicts: 847000 | #Constraints: 34145
3324.83/3333.45 c #Conflicts: 848000 | #Constraints: 35145
3324.83/3333.45 c #Conflicts: 849000 | #Constraints: 36145
3324.83/3333.45 c #Conflicts: 850000 | #Constraints: 37145
3324.83/3333.45 c #Conflicts: 851000 | #Constraints: 38145
3324.83/3333.45 c #Conflicts: 852000 | #Constraints: 39145
3324.83/3333.45 c #Conflicts: 853000 | #Constraints: 40145
3324.83/3333.45 c #Conflicts: 854000 | #Constraints: 41145
3324.83/3333.45 c #Conflicts: 855000 | #Constraints: 42145
3324.83/3333.45 c #Conflicts: 856000 | #Constraints: 43145
3324.83/3333.45 c #Conflicts: 857000 | #Constraints: 44145
3324.83/3333.45 c #Conflicts: 858000 | #Constraints: 45145
3324.83/3333.45 c #Conflicts: 859000 | #Constraints: 46145
3324.83/3333.45 c #Conflicts: 860000 | #Constraints: 47145
3324.83/3333.45 c #Conflicts: 861000 | #Constraints: 48145
3324.83/3333.45 c #Conflicts: 862000 | #Constraints: 49145
3324.83/3333.45 c #Conflicts: 863000 | #Constraints: 50145
3324.83/3333.45 c #Conflicts: 864000 | #Constraints: 51145
3324.83/3333.45 c #Conflicts: 865000 | #Constraints: 52145
3324.83/3333.45 c INPROCESSING
3324.83/3333.45 c GARBAGE COLLECT
3324.83/3333.45 c #Conflicts: 866000 | #Constraints: 34708
3324.83/3333.45 c #Conflicts: 867000 | #Constraints: 35708
3324.83/3333.45 c #Conflicts: 868000 | #Constraints: 36708
3324.83/3333.45 c #Conflicts: 869000 | #Constraints: 37708
3324.83/3333.45 c #Conflicts: 870000 | #Constraints: 38708
3324.83/3333.45 c #Conflicts: 871000 | #Constraints: 39708
3324.83/3333.45 c #Conflicts: 872000 | #Constraints: 40708
3324.83/3333.45 c #Conflicts: 873000 | #Constraints: 41708
3324.83/3333.45 c #Conflicts: 874000 | #Constraints: 42708
3324.83/3333.45 c #Conflicts: 875000 | #Constraints: 43708
3324.83/3333.45 c #Conflicts: 876000 | #Constraints: 44708
3324.83/3333.45 c #Conflicts: 877000 | #Constraints: 45708
3324.83/3333.45 c #Conflicts: 878000 | #Constraints: 46708
3324.83/3333.45 c #Conflicts: 879000 | #Constraints: 47708
3324.83/3333.45 c #Conflicts: 880000 | #Constraints: 48708
3324.83/3333.45 c #Conflicts: 881000 | #Constraints: 49708
3324.83/3333.45 c #Conflicts: 882000 | #Constraints: 50708
3324.83/3333.45 c #Conflicts: 883000 | #Constraints: 51708
3324.83/3333.45 c #Conflicts: 884000 | #Constraints: 52708
3324.83/3333.45 c INPROCESSING
3324.83/3333.45 c GARBAGE COLLECT
3324.83/3333.45 c #Conflicts: 885000 | #Constraints: 35116
3324.83/3333.45 c #Conflicts: 886000 | #Constraints: 36116
3324.83/3333.45 c #Conflicts: 887000 | #Constraints: 37116
3324.83/3333.45 c #Conflicts: 888000 | #Constraints: 38116
3324.83/3333.45 c #Conflicts: 889000 | #Constraints: 39116
3600.03/3609.30 c #Conflicts: 890000 | #Constraints: 40116
3600.03/3609.30 c #Conflicts: 891000 | #Constraints: 41116
3600.03/3609.30 c #Conflicts: 892000 | #Constraints: 42116
3600.03/3609.30 c #Conflicts: 893000 | #Constraints: 43116
3600.03/3609.30 c #Conflicts: 894000 | #Constraints: 44116
3600.03/3609.30 c #Conflicts: 895000 | #Constraints: 45116
3600.03/3609.30 c #Conflicts: 896000 | #Constraints: 46116
3600.03/3609.30 c #Conflicts: 897000 | #Constraints: 47116
3600.03/3609.30 c #Conflicts: 898000 | #Constraints: 48116
3600.03/3609.30 c #Conflicts: 899000 | #Constraints: 49116
3600.03/3609.30 c #Conflicts: 900000 | #Constraints: 50116
3600.03/3609.30 c #Conflicts: 901000 | #Constraints: 51116
3600.03/3609.30 c #Conflicts: 902000 | #Constraints: 52116
3600.03/3609.30 c #Conflicts: 903000 | #Constraints: 53116
3600.03/3609.30 c INPROCESSING
3600.03/3609.30 c GARBAGE COLLECT
3600.03/3609.30 c #Conflicts: 904000 | #Constraints: 35351
3600.03/3609.30 c #Conflicts: 905000 | #Constraints: 36351
3600.03/3609.30 c #Conflicts: 906000 | #Constraints: 37351
3600.03/3609.30 c #Conflicts: 907000 | #Constraints: 38351
3600.03/3609.30 c #Conflicts: 908000 | #Constraints: 39351
3600.03/3609.30 c #Conflicts: 909000 | #Constraints: 40351
3600.03/3609.30 c #Conflicts: 910000 | #Constraints: 41351
3600.03/3609.30 c #Conflicts: 911000 | #Constraints: 42351
3600.03/3609.30 c #Conflicts: 912000 | #Constraints: 43351
3600.03/3609.30 c #Conflicts: 913000 | #Constraints: 44351
3600.03/3609.30 c #Conflicts: 914000 | #Constraints: 45351
3600.03/3609.30 c #Conflicts: 915000 | #Constraints: 46351
3600.03/3609.30 c #Conflicts: 916000 | #Constraints: 47351
3600.03/3609.30 c #Conflicts: 917000 | #Constraints: 48351
3600.03/3609.30 c #Conflicts: 918000 | #Constraints: 49351
3600.03/3609.30 c #Conflicts: 919000 | #Constraints: 50351
3600.03/3609.30 c #Conflicts: 920000 | #Constraints: 51351
3600.03/3609.30 c #Conflicts: 921000 | #Constraints: 52351
3600.03/3609.30 c #Conflicts: 922000 | #Constraints: 53351
3600.03/3609.30 c INPROCESSING
3600.03/3609.30 c GARBAGE COLLECT
3600.03/3609.30 c #Conflicts: 923000 | #Constraints: 35336
3600.03/3609.30 c #Conflicts: 924000 | #Constraints: 36336
3600.03/3609.30 c #Conflicts: 925000 | #Constraints: 37336
3600.03/3609.30 c #Conflicts: 926000 | #Constraints: 38336
3600.03/3609.30 c #Conflicts: 927000 | #Constraints: 39336
3600.03/3609.30 c #Conflicts: 928000 | #Constraints: 40336
3600.03/3609.30 c #Conflicts: 929000 | #Constraints: 41336
3600.03/3609.30 c #Conflicts: 930000 | #Constraints: 42336
3600.03/3609.30 c #Conflicts: 931000 | #Constraints: 43336
3600.03/3609.30 c #Conflicts: 932000 | #Constraints: 44336
3600.03/3609.30 c #Conflicts: 933000 | #Constraints: 45336
3600.03/3609.30 c #Conflicts: 934000 | #Constraints: 46336
3600.03/3609.30 c #Conflicts: 935000 | #Constraints: 47336
3600.03/3609.30 c #Conflicts: 936000 | #Constraints: 48336
3600.03/3609.30 c #Conflicts: 937000 | #Constraints: 49336
3600.03/3609.30 c #Conflicts: 938000 | #Constraints: 50336
3600.03/3609.30 c #Conflicts: 939000 | #Constraints: 51336
3600.03/3609.30 c #Conflicts: 940000 | #Constraints: 52336
3600.03/3609.30 c #Conflicts: 941000 | #Constraints: 53336
3600.03/3609.30 c INPROCESSING
3600.03/3609.30 c GARBAGE COLLECT
3600.03/3609.30 c #Conflicts: 942000 | #Constraints: 34997
3600.03/3609.30 c #Conflicts: 943000 | #Constraints: 35997
3600.03/3609.30 c #Conflicts: 944000 | #Constraints: 36997
3600.03/3609.30 c #Conflicts: 945000 | #Constraints: 37997
3600.03/3609.30 c #Conflicts: 946000 | #Constraints: 38997
3600.03/3609.30 c #Conflicts: 947000 | #Constraints: 39997
3600.03/3609.30 c #Conflicts: 948000 | #Constraints: 40997
3600.03/3609.30 c #Conflicts: 949000 | #Constraints: 41997
3600.03/3609.30 c #Conflicts: 950000 | #Constraints: 42997
3600.03/3609.30 c #Conflicts: 951000 | #Constraints: 43997
3600.03/3609.30 c #Conflicts: 952000 | #Constraints: 44997
3600.03/3609.30 c #Conflicts: 953000 | #Constraints: 45997
3600.03/3609.30 c #Conflicts: 954000 | #Constraints: 46997
3600.03/3609.30 c Program interrupted by user.
3600.03/3609.30 c cpu time 3587.76 s
3600.03/3609.30 c deterministic time 1054141937844 1.05e+12
3600.03/3609.30 c optimization time 52.0884 s
3600.03/3609.30 c total solve time 3236.54 s
3600.03/3609.30 c core-guided solve time 3236.54 s
3600.03/3609.30 c propagation time 2642.57 s
3600.03/3609.30 c conflict analysis time 576.98 s
3600.03/3609.30 c propagations 462267454
3600.03/3609.30 c resolve steps 23723176
3600.03/3609.30 c decisions 8160315
3600.03/3609.30 c conflicts 954746
3600.03/3609.30 c restarts 2044
3600.03/3609.30 c inprocessing phases 88
3600.03/3609.30 c input clauses 15096
3600.03/3609.30 c input cardinalities 7
3600.03/3609.30 c input general constraints 0
3600.03/3609.30 c input average constraint length 2.77
3600.03/3609.30 c input average constraint degree 1.06
3600.03/3609.30 c learned clauses 568526
3600.03/3609.30 c learned cardinalities 249
3600.03/3609.30 c learned general constraints 385975
3600.03/3609.30 c learned average constraint length 1381.35
3600.03/3609.30 c learned average constraint degree 88670.68
3600.03/3609.30 c watched constraints 352326
3600.03/3609.30 c counting constraints 33649
3600.03/3609.30 c gcd simplifications 3911
3600.03/3609.30 c detected cardinalities 2
3600.03/3609.30 c weakened non-implied lits 148059586
3600.03/3609.30 c weakened non-implying lits 15089
3600.03/3609.30 c original variables 4318
3600.03/3609.30 c clausal propagations 360518354
3600.03/3609.30 c cardinality propagations 419105
3600.03/3609.30 c watched propagations 7247090
3600.03/3609.30 c counting propagations 92957262
3600.03/3609.30 c watch lookups 12540213147
3600.03/3609.30 c watch backjump lookups 9508862501
3600.03/3609.30 c watch checks 712895930826
3600.03/3609.30 c propagation checks 312689328918
3600.03/3609.30 c constraint additions 5565795162
3600.03/3609.30 c trail pops 471379520
3600.03/3609.30 c formula constraints 15096
3600.03/3609.30 c learned constraints 954750
3600.03/3609.30 c bound constraints 7
3600.03/3609.30 c core-guided constraints 0
3600.03/3609.30 c encountered formula constraints 16666775
3600.03/3609.30 c encountered learned constraints 8011146
3600.03/3609.30 c encountered bound constraints 1
3600.03/3609.30 c encountered core-guided constraints 0
3600.03/3609.30 c LP total time 0 s
3600.03/3609.30 c LP solve time 0 s
3600.03/3609.30 c LP constraints added 0
3600.03/3609.30 c LP constraints removed 0
3600.03/3609.30 c LP pivots internal 0
3600.03/3609.30 c LP pivots root 0
3600.03/3609.30 c LP calls 0
3600.03/3609.30 c LP optimalities 0
3600.03/3609.30 c LP no pivot count 0
3600.03/3609.30 c LP infeasibilities 0
3600.03/3609.30 c LP valid Farkas constraints 0
3600.03/3609.30 c LP learned Farkas constraints 0
3600.03/3609.30 c LP basis resets 0
3600.03/3609.30 c LP cycling count 0
3600.03/3609.30 c LP singular count 0
3600.03/3609.30 c LP no primal count 0
3600.03/3609.30 c LP no farkas count 0
3600.03/3609.30 c LP other issue count 0
3600.03/3609.30 c LP Gomory cuts 0
3600.03/3609.30 c LP learned cuts 0
3600.03/3609.30 c LP deleted cuts 0
3600.03/3609.30 c LP encountered Gomory constraints 0
3600.03/3609.30 c LP encountered Farkas constraints 0
3600.03/3609.30 c LP encountered learned Farkas constraints 0
3600.03/3609.30 c CG auxiliary variables introduced 0
3600.03/3609.30 c CG solutions found 0
3600.03/3609.30 c CG cores constructed 6
3600.03/3609.30 c CG core cardinality constraints returned 0
3600.03/3609.30 c CG unit cores 0
3600.03/3609.30 c CG single cores 6
3600.03/3609.30 c CG blocks removed during cardinality reduction 0
3600.03/3609.30 c CG first core best 0
3600.03/3609.30 c CG decision core best 0
3600.03/3609.30 c CG core reduction tie 0
3600.03/3609.30 c CG core degree average 1.00
3600.03/3609.30 c CG core slack average 47.50
3600.03/3609.30 c CG exhausted 0
3600.03/3609.30 c CG exhaust time 0 s
3600.03/3609.30 c CG trimmed 0
3600.03/3609.30 c CG trim time 0.000863 s
3600.03/3609.30 c CG minimized 0
3600.03/3609.30 c CG minimize time 0 s
3600.03/3609.30 c CG am1 prop time 0.000661 s
3600.03/3609.30 c CG # am1s reformulated 0
3600.03/3609.30 c CG lower bound derived from am1s 0
3600.03/3609.30 c CG # clausal cores 6
3600.03/3609.30 c CG # cardinality cores 0
3600.03/3609.30 c CG # pb cores 0
3600.03/3609.30 c CG # pb reforms 0
3600.03/3609.30 c CG # cores discarded because of pb reform 0
3600.03/3609.30 d LOWERBOUND 6
3600.03/3609.30 d NCORES 6
3600.03/3609.30 d NPBCORES 0
3600.03/3609.30 d NPBREFORM 0
3600.03/3609.30 d NTRIMMED 0
3600.03/3609.30 d NEXHAUSTED 0
3600.03/3609.30 d NAM1S 0
3600.03/3609.30 d AM1LB 0
3600.03/3609.30 c [Papilo Statistics]
3600.03/3609.30 c prepro time 0.0152005s
3600.03/3609.30 c # tsx applied 20
3600.03/3609.30 c # tsx conflicts 0
3600.03/3609.30 c # bound changes 5
3600.03/3609.30 c # side changes 12
3600.03/3609.30 c # coef changes 43
3600.03/3609.30 c # rounds 2
3600.03/3609.30 c # deted vars 11
3600.03/3609.30 c # deted constrs 24
3600.03/3609.30 c # consecutive rounds of only bound changes 0
3600.03/3609.30 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: 63931 MiB (61723 MiB free)
memory of node 1: 64510 MiB (63004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454817-1721472033/watcher-4454817-1721472033 -o /tmp/evaluation-result-4454817-1721472033/solver-4454817-1721472033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075791 --watchdog 3760 mixed-bag HOME/instance-4454817-1721472033.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1077832, runsolver pid=1077829
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=127626264/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=126440 memory=55936 CPUtime=0.1 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 11634 0 0 0 9 1 0 0 20 0 1 0 199373032 129474560 13984 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 31610 13984 3756 3002 0 15359 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 126440 KiB
Current children cumulated memory: 55936 KiB
[startup+0.205528 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=127617788/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=138560 memory=69712 CPUtime=0.2 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 15953 0 0 0 18 2 0 0 20 0 1 0 199373032 141885440 17428 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 34640 17428 3788 3002 0 18389 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 138560 KiB
Current children cumulated memory: 69712 KiB
[startup+0.305507 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=127587772/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=161484 memory=87196 CPUtime=0.3 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 20230 0 0 0 28 2 0 0 20 0 1 0 199373032 165359616 21799 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 40371 21799 3883 3002 0 24120 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161484 KiB
Current children cumulated memory: 87196 KiB
[startup+0.700228 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=127540388/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=198300 memory=122740 CPUtime=0.69 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 28974 0 0 0 65 4 0 0 20 0 1 0 199373032 203059200 30685 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 49575 30685 4011 3002 0 33324 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 198300 KiB
Current children cumulated memory: 122740 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=127322476/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=209540 memory=135332 CPUtime=1.48 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 32175 0 0 0 144 4 0 0 20 0 1 0 199373032 214568960 33833 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 52385 33833 4021 3002 0 36134 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 209540 KiB
Current children cumulated memory: 135332 KiB
[startup+3.1055 s]
/proc/loadavg: 4.15 4.12 4.09 6/257 1077879
/proc/meminfo: memFree=126784600/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=238664 memory=157504 CPUtime=3.08 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 37701 0 0 0 303 5 0 0 20 0 1 0 199373032 244391936 39376 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 59666 39376 4021 3002 0 43415 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 238664 KiB
Current children cumulated memory: 157504 KiB
[startup+6.30023 s]
/proc/loadavg: 4.22 4.13 4.10 5/257 1077880
/proc/meminfo: memFree=126407952/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=245920 memory=160172 CPUtime=6.27 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 38359 0 0 0 622 5 0 0 20 0 1 0 199373032 251822080 40043 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 61480 40043 4037 3002 0 45229 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 245920 KiB
Current children cumulated memory: 160172 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 1077882
/proc/meminfo: memFree=125985568/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=274212 memory=188676 CPUtime=12.65 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 45498 0 0 0 1258 7 0 0 20 0 1 0 199373032 280793088 47169 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 68553 47169 4037 3002 0 52302 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 274212 KiB
Current children cumulated memory: 188676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1077883
/proc/meminfo: memFree=125920496/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=274212 memory=188936 CPUtime=25.41 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 45545 0 0 0 2533 8 0 0 20 0 1 0 199373032 280793088 47234 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 68553 47234 4037 3002 0 52302 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 274212 KiB
Current children cumulated memory: 188936 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 1077888
/proc/meminfo: memFree=125178728/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=274212 memory=188936 CPUtime=50.94 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 45582 0 0 0 5083 11 0 0 20 0 1 0 199373032 280793088 47234 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 68553 47234 4037 3002 0 52302 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 274212 KiB
Current children cumulated memory: 188936 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1077897
/proc/meminfo: memFree=125161724/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=274428 memory=189684 CPUtime=102 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 45728 0 0 0 10184 16 0 0 20 0 1 0 199373032 281014272 47421 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 68607 47421 4037 3002 0 52356 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 274428 KiB
Current children cumulated memory: 189684 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 1077907
/proc/meminfo: memFree=125107148/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=298352 memory=199824 CPUtime=161.84 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 49074 0 0 0 16166 18 0 0 20 0 1 0 199373032 305512448 49956 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 74588 49956 4037 3002 0 58337 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 298352 KiB
Current children cumulated memory: 199824 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1077918
/proc/meminfo: memFree=125043024/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=322952 memory=220176 CPUtime=221.68 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 55034 0 0 0 22149 19 0 0 20 0 1 0 199373032 330702848 55044 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 80738 55044 4037 3002 0 64487 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 322952 KiB
Current children cumulated memory: 220176 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1077928
/proc/meminfo: memFree=124973828/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=346900 memory=241496 CPUtime=281.52 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 61592 0 0 0 28132 20 0 0 20 0 1 0 199373032 355225600 60374 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 86725 60374 4037 3002 0 70474 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 346900 KiB
Current children cumulated memory: 241496 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/255 1077938
/proc/meminfo: memFree=124859644/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=389304 memory=285664 CPUtime=341.38 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 65838 0 0 0 34083 55 0 0 20 0 1 0 199373032 398647296 71416 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 97326 71416 4297 3002 0 81075 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 389304 KiB
Current children cumulated memory: 285664 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/255 1077948
/proc/meminfo: memFree=124697624/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=389304 memory=294008 CPUtime=401.23 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 65897 0 0 0 40020 103 0 0 20 0 1 0 199373032 398647296 73502 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 97326 73502 4297 3002 0 81075 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 389304 KiB
Current children cumulated memory: 294008 KiB
[startup+462.3 s]
/proc/loadavg: 4.54 4.23 4.13 5/255 1077960
/proc/meminfo: memFree=124651564/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=420124 memory=312592 CPUtime=461.08 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 66451 0 0 0 45972 136 0 0 20 0 1 0 199373032 430206976 78148 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 105031 78148 4297 3002 0 88780 0
################
# More data... #
################
Current children cumulated memory: 457556 KiB
[startup+2922.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/258 1079524
/proc/meminfo: memFree=123416652/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=457556 CPUtime=2914.77 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 70372 0 0 0 290456 1021 0 0 20 0 1 0 199373032 564838400 114389 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 114389 4297 3002 0 121649 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 457556 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/258 1079534
/proc/meminfo: memFree=123410328/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=457556 CPUtime=2974.63 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 70515 0 0 0 296417 1046 0 0 20 0 1 0 199373032 564838400 114389 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 114389 4297 3002 0 121649 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 457556 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/258 1079603
/proc/meminfo: memFree=123397368/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=465748 CPUtime=3034.48 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 70674 0 0 0 302384 1064 0 0 20 0 1 0 199373032 564838400 116437 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 116437 4297 3002 0 121649 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 465748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 1079614
/proc/meminfo: memFree=123397120/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=465748 CPUtime=3094.33 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 70826 0 0 0 308351 1082 0 0 20 0 1 0 199373032 564838400 116437 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 116437 4297 3002 0 121649 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 465748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 1079624
/proc/meminfo: memFree=123382264/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=478036 CPUtime=3154.17 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 70984 0 0 0 314326 1091 0 0 20 0 1 0 199373032 564838400 119509 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 119509 4297 3002 0 121649 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 478036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 1079636
/proc/meminfo: memFree=123342888/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=480084 CPUtime=3214.02 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 71120 0 0 0 320288 1114 0 0 20 0 1 0 199373032 564838400 120021 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 120021 4297 3002 0 121649 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 480084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 1079646
/proc/meminfo: memFree=123342328/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=480084 CPUtime=3273.86 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 71283 0 0 0 326252 1134 0 0 20 0 1 0 199373032 564838400 120021 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 120021 4297 3002 0 121649 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 480084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.50 4.24 4.14 5/255 1079656
/proc/meminfo: memFree=123321484/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=480084 CPUtime=3333.71 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 71435 0 0 0 332221 1150 0 0 20 0 1 0 199373032 564838400 120021 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 120021 4297 3002 0 121649 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 480084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.23 4.14 5/255 1079666
/proc/meminfo: memFree=123265612/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=480084 CPUtime=3393.55 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 71584 0 0 0 338183 1172 0 0 20 0 1 0 199373032 564838400 120021 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 120021 4297 3002 0 121649 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 480084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.20 4.13 5/255 1079678
/proc/meminfo: memFree=123265212/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=480084 CPUtime=3453.41 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 71737 0 0 0 344150 1191 0 0 20 0 1 0 199373032 564838400 120021 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 120021 4297 3002 0 121649 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 480084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/254 1079688
/proc/meminfo: memFree=123264796/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=480084 CPUtime=3513.26 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 71875 0 0 0 350120 1206 0 0 20 0 1 0 199373032 564838400 120021 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 120021 4297 3002 0 121649 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 480084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/254 1079698
/proc/meminfo: memFree=123260208/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=484180 CPUtime=3573.11 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 72043 0 0 0 356088 1223 0 0 20 0 1 0 199373032 564838400 121045 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 121045 4297 3002 0 121649 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 484180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/256 1079707
/proc/meminfo: memFree=123259988/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=484180 CPUtime=3600.03 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 72119 0 0 0 358775 1228 0 0 20 0 1 0 199373032 564838400 121045 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 121045 4297 3002 0 121649 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 484180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 1077832 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.76 s, system=12.2909 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/256 1079707
/proc/meminfo: memFree=123259988/131524600 swapFree=131071996/131071996
[pid=1077832] ppid=1077829 vsize=551600 memory=484180 CPUtime=3600.03 cores=1,3
/proc/1077832/stat : 1077832 (mixed-bag) R 1077829 1077832 1075779 0 -1 4194304 72119 0 0 0 358775 1228 0 0 20 0 1 0 199373032 564838400 121045 134679101440 4194304 16488053 140727791402912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42565632 140727791408149 140727791408226 140727791408226 140727791415243 0
/proc/1077832/statm: 137900 121045 4297 3002 0 121649 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 551600 KiB
Current children cumulated memory: 484180 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.05
CPU user time (s): 3587.76
CPU system time (s): 12.2909
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 551600
Max. memory (cumulated for all children) (KiB): 484180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.76
system time used= 12.2909
maximum resident set size= 484760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72136
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= 78
involuntary context switches= 1326
# summary of solver processes directly reported to runsolver:
# pid: 1077832
# total CPU time (s): 3600.05
# total CPU user time (s): 3587.76
# total CPU system time (s): 12.2909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74168 second user time and 17.6604 second system time
The end
Begin job on nodeC033 at 2024-07-20 12:40:45
IDJOB=4454817
IDBENCH=148191
IDSOLVER=3083
FILE ID=nodeC033/4454817-1721472033
RUNJOBID= nodeC033-1721468435-1075791
SLURM_JOB_ID= 7545724
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454817-1721472033/watcher-4454817-1721472033 -o /tmp/evaluation-result-4454817-1721472033/solver-4454817-1721472033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075791 --watchdog 3760 mixed-bag HOME/instance-4454817-1721472033.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1357964930
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.552
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3665.448
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.992
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3668.092
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3670.534
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3668.745
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.814
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3665.948
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127726832 kB
MemAvailable: 128980012 kB
Buffers: 611768 kB
Cached: 1477988 kB
SwapCached: 0 kB
Active: 1122768 kB
Inactive: 2039860 kB
Active(anon): 1564 kB
Inactive(anon): 1117532 kB
Active(file): 1121204 kB
Inactive(file): 922328 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 63248 kB
Writeback: 0 kB
AnonPages: 1069344 kB
Mapped: 131936 kB
Shmem: 45908 kB
KReclaimable: 98588 kB
Slab: 212656 kB
SReclaimable: 98588 kB
SUnreclaim: 114068 kB
KernelStack: 4224 kB
PageTables: 11720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1347980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 813056 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC033 at 2024-07-20 13:40:55