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.30/300.12 c [STEP] preprocessing done, loading into solver
299.30/300.14 c [STEP] solving
299.30/300.14 c #variables 4308 #constraints 15096
299.30/300.14 c SMALL=int, LARGE=long long
299.30/300.14 c bounds - >= 0 @ 299.227
299.30/300.14 c stratification level: 0
391.67/392.78 c bounds - >= 1 @ 299.267
391.67/392.78 c bounds - >= 2 @ 299.268
391.67/392.78 c bounds - >= 3 @ 299.269
391.67/392.78 c bounds - >= 4 @ 299.269
391.67/392.78 c bounds - >= 5 @ 299.269
391.67/392.78 c bounds - >= 6 @ 299.27
391.67/392.78 c #Conflicts: 1000 | #Constraints: 16107
391.67/392.78 c #Conflicts: 2000 | #Constraints: 17107
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 3000 | #Constraints: 17108
391.67/392.78 c #Conflicts: 4000 | #Constraints: 18108
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 5000 | #Constraints: 17513
391.67/392.78 c #Conflicts: 6000 | #Constraints: 18513
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 7000 | #Constraints: 17529
391.67/392.78 c #Conflicts: 8000 | #Constraints: 18529
391.67/392.78 c #Conflicts: 9000 | #Constraints: 19529
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 10000 | #Constraints: 18223
391.67/392.78 c #Conflicts: 11000 | #Constraints: 19223
391.67/392.78 c #Conflicts: 12000 | #Constraints: 20223
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 13000 | #Constraints: 18679
391.67/392.78 c #Conflicts: 14000 | #Constraints: 19679
391.67/392.78 c #Conflicts: 15000 | #Constraints: 20679
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 16000 | #Constraints: 18916
391.67/392.78 c #Conflicts: 17000 | #Constraints: 19916
391.67/392.78 c #Conflicts: 18000 | #Constraints: 20916
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 19000 | #Constraints: 18951
391.67/392.78 c #Conflicts: 20000 | #Constraints: 19951
391.67/392.78 c #Conflicts: 21000 | #Constraints: 20951
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 22000 | #Constraints: 18786
391.67/392.78 c #Conflicts: 23000 | #Constraints: 19786
391.67/392.78 c #Conflicts: 24000 | #Constraints: 20786
391.67/392.78 c #Conflicts: 25000 | #Constraints: 21786
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 26000 | #Constraints: 19366
391.67/392.78 c #Conflicts: 27000 | #Constraints: 20366
391.67/392.78 c #Conflicts: 28000 | #Constraints: 21366
391.67/392.78 c #Conflicts: 29000 | #Constraints: 22366
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 30000 | #Constraints: 19746
391.67/392.78 c #Conflicts: 31000 | #Constraints: 20746
391.67/392.78 c #Conflicts: 32000 | #Constraints: 21746
391.67/392.78 c #Conflicts: 33000 | #Constraints: 22746
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 34000 | #Constraints: 19953
391.67/392.78 c #Conflicts: 35000 | #Constraints: 20953
391.67/392.78 c #Conflicts: 36000 | #Constraints: 21953
391.67/392.78 c #Conflicts: 37000 | #Constraints: 22953
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 38000 | #Constraints: 19954
391.67/392.78 c #Conflicts: 39000 | #Constraints: 20954
391.67/392.78 c #Conflicts: 40000 | #Constraints: 21954
391.67/392.78 c #Conflicts: 41000 | #Constraints: 22954
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 42000 | #Constraints: 19743
391.67/392.78 c #Conflicts: 43000 | #Constraints: 20743
391.67/392.78 c #Conflicts: 44000 | #Constraints: 21743
391.67/392.78 c #Conflicts: 45000 | #Constraints: 22743
391.67/392.78 c #Conflicts: 46000 | #Constraints: 23743
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 47000 | #Constraints: 20348
391.67/392.78 c #Conflicts: 48000 | #Constraints: 21348
391.67/392.78 c #Conflicts: 49000 | #Constraints: 22348
391.67/392.78 c #Conflicts: 50000 | #Constraints: 23348
391.67/392.78 c #Conflicts: 51000 | #Constraints: 24348
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 52000 | #Constraints: 20747
391.67/392.78 c #Conflicts: 53000 | #Constraints: 21747
391.67/392.78 c #Conflicts: 54000 | #Constraints: 22747
391.67/392.78 c #Conflicts: 55000 | #Constraints: 23747
391.67/392.78 c #Conflicts: 56000 | #Constraints: 24747
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 57000 | #Constraints: 20949
391.67/392.78 c #Conflicts: 58000 | #Constraints: 21949
391.67/392.78 c #Conflicts: 59000 | #Constraints: 22949
391.67/392.78 c #Conflicts: 60000 | #Constraints: 23949
391.67/392.78 c #Conflicts: 61000 | #Constraints: 24949
391.67/392.78 c INPROCESSING
391.67/392.78 c GARBAGE COLLECT
391.67/392.78 c #Conflicts: 62000 | #Constraints: 20952
391.67/392.78 c #Conflicts: 63000 | #Constraints: 21952
391.67/392.78 c #Conflicts: 64000 | #Constraints: 22952
391.67/392.78 c #Conflicts: 65000 | #Constraints: 23952
520.85/522.28 c #Conflicts: 66000 | #Constraints: 24952
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 67000 | #Constraints: 20795
520.85/522.28 c #Conflicts: 68000 | #Constraints: 21795
520.85/522.28 c #Conflicts: 69000 | #Constraints: 22795
520.85/522.28 c #Conflicts: 70000 | #Constraints: 23795
520.85/522.28 c #Conflicts: 71000 | #Constraints: 24795
520.85/522.28 c #Conflicts: 72000 | #Constraints: 25795
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 73000 | #Constraints: 21403
520.85/522.28 c #Conflicts: 74000 | #Constraints: 22403
520.85/522.28 c #Conflicts: 75000 | #Constraints: 23403
520.85/522.28 c #Conflicts: 76000 | #Constraints: 24403
520.85/522.28 c #Conflicts: 77000 | #Constraints: 25403
520.85/522.28 c #Conflicts: 78000 | #Constraints: 26403
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 79000 | #Constraints: 21793
520.85/522.28 c #Conflicts: 80000 | #Constraints: 22793
520.85/522.28 c #Conflicts: 81000 | #Constraints: 23793
520.85/522.28 c #Conflicts: 82000 | #Constraints: 24793
520.85/522.28 c #Conflicts: 83000 | #Constraints: 25793
520.85/522.28 c #Conflicts: 84000 | #Constraints: 26793
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 85000 | #Constraints: 21973
520.85/522.28 c #Conflicts: 86000 | #Constraints: 22973
520.85/522.28 c #Conflicts: 87000 | #Constraints: 23973
520.85/522.28 c #Conflicts: 88000 | #Constraints: 24973
520.85/522.28 c #Conflicts: 89000 | #Constraints: 25973
520.85/522.28 c #Conflicts: 90000 | #Constraints: 26973
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 91000 | #Constraints: 21968
520.85/522.28 c #Conflicts: 92000 | #Constraints: 22968
520.85/522.28 c #Conflicts: 93000 | #Constraints: 23968
520.85/522.28 c #Conflicts: 94000 | #Constraints: 24968
520.85/522.28 c #Conflicts: 95000 | #Constraints: 25968
520.85/522.28 c #Conflicts: 96000 | #Constraints: 26968
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 97000 | #Constraints: 21774
520.85/522.28 c #Conflicts: 98000 | #Constraints: 22774
520.85/522.28 c #Conflicts: 99000 | #Constraints: 23774
520.85/522.28 c #Conflicts: 100000 | #Constraints: 24774
520.85/522.28 c #Conflicts: 101000 | #Constraints: 25774
520.85/522.28 c #Conflicts: 102000 | #Constraints: 26774
520.85/522.28 c #Conflicts: 103000 | #Constraints: 27774
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 104000 | #Constraints: 22416
520.85/522.28 c #Conflicts: 105000 | #Constraints: 23416
520.85/522.28 c #Conflicts: 106000 | #Constraints: 24416
520.85/522.28 c #Conflicts: 107000 | #Constraints: 25416
520.85/522.28 c #Conflicts: 108000 | #Constraints: 26416
520.85/522.28 c #Conflicts: 109000 | #Constraints: 27416
520.85/522.28 c #Conflicts: 110000 | #Constraints: 28416
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 111000 | #Constraints: 22785
520.85/522.28 c #Conflicts: 112000 | #Constraints: 23785
520.85/522.28 c #Conflicts: 113000 | #Constraints: 24785
520.85/522.28 c #Conflicts: 114000 | #Constraints: 25785
520.85/522.28 c #Conflicts: 115000 | #Constraints: 26785
520.85/522.28 c #Conflicts: 116000 | #Constraints: 27785
520.85/522.28 c #Conflicts: 117000 | #Constraints: 28785
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 118000 | #Constraints: 22999
520.85/522.28 c #Conflicts: 119000 | #Constraints: 23999
520.85/522.28 c #Conflicts: 120000 | #Constraints: 24999
520.85/522.28 c #Conflicts: 121000 | #Constraints: 25999
520.85/522.28 c #Conflicts: 122000 | #Constraints: 26999
520.85/522.28 c #Conflicts: 123000 | #Constraints: 27999
520.85/522.28 c #Conflicts: 124000 | #Constraints: 28999
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 125000 | #Constraints: 23028
520.85/522.28 c #Conflicts: 126000 | #Constraints: 24028
520.85/522.28 c #Conflicts: 127000 | #Constraints: 25028
520.85/522.28 c #Conflicts: 128000 | #Constraints: 26028
520.85/522.28 c #Conflicts: 129000 | #Constraints: 27028
520.85/522.28 c #Conflicts: 130000 | #Constraints: 28028
520.85/522.28 c #Conflicts: 131000 | #Constraints: 29028
520.85/522.28 c INPROCESSING
520.85/522.28 c GARBAGE COLLECT
520.85/522.28 c #Conflicts: 132000 | #Constraints: 22827
520.85/522.28 c #Conflicts: 133000 | #Constraints: 23827
520.85/522.28 c #Conflicts: 134000 | #Constraints: 24827
520.85/522.28 c #Conflicts: 135000 | #Constraints: 25827
520.85/522.28 c #Conflicts: 136000 | #Constraints: 26827
520.85/522.28 c #Conflicts: 137000 | #Constraints: 27827
703.40/705.29 c #Conflicts: 138000 | #Constraints: 28827
703.40/705.29 c #Conflicts: 139000 | #Constraints: 29827
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 140000 | #Constraints: 23494
703.40/705.29 c #Conflicts: 141000 | #Constraints: 24494
703.40/705.29 c #Conflicts: 142000 | #Constraints: 25494
703.40/705.29 c #Conflicts: 143000 | #Constraints: 26494
703.40/705.29 c #Conflicts: 144000 | #Constraints: 27494
703.40/705.29 c #Conflicts: 145000 | #Constraints: 28494
703.40/705.29 c #Conflicts: 146000 | #Constraints: 29494
703.40/705.29 c #Conflicts: 147000 | #Constraints: 30494
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 148000 | #Constraints: 23916
703.40/705.29 c #Conflicts: 149000 | #Constraints: 24916
703.40/705.29 c #Conflicts: 150000 | #Constraints: 25916
703.40/705.29 c #Conflicts: 151000 | #Constraints: 26916
703.40/705.29 c #Conflicts: 152000 | #Constraints: 27916
703.40/705.29 c #Conflicts: 153000 | #Constraints: 28916
703.40/705.29 c #Conflicts: 154000 | #Constraints: 29916
703.40/705.29 c #Conflicts: 155000 | #Constraints: 30916
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 156000 | #Constraints: 24117
703.40/705.29 c #Conflicts: 157000 | #Constraints: 25117
703.40/705.29 c #Conflicts: 158000 | #Constraints: 26117
703.40/705.29 c #Conflicts: 159000 | #Constraints: 27117
703.40/705.29 c #Conflicts: 160000 | #Constraints: 28117
703.40/705.29 c #Conflicts: 161000 | #Constraints: 29117
703.40/705.29 c #Conflicts: 162000 | #Constraints: 30117
703.40/705.29 c #Conflicts: 163000 | #Constraints: 31117
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 164000 | #Constraints: 24143
703.40/705.29 c #Conflicts: 165000 | #Constraints: 25143
703.40/705.29 c #Conflicts: 166000 | #Constraints: 26143
703.40/705.29 c #Conflicts: 167000 | #Constraints: 27143
703.40/705.29 c #Conflicts: 168000 | #Constraints: 28143
703.40/705.29 c #Conflicts: 169000 | #Constraints: 29143
703.40/705.29 c #Conflicts: 170000 | #Constraints: 30143
703.40/705.29 c #Conflicts: 171000 | #Constraints: 31143
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 172000 | #Constraints: 23988
703.40/705.29 c #Conflicts: 173000 | #Constraints: 24988
703.40/705.29 c #Conflicts: 174000 | #Constraints: 25988
703.40/705.29 c #Conflicts: 175000 | #Constraints: 26988
703.40/705.29 c #Conflicts: 176000 | #Constraints: 27988
703.40/705.29 c #Conflicts: 177000 | #Constraints: 28988
703.40/705.29 c #Conflicts: 178000 | #Constraints: 29988
703.40/705.29 c #Conflicts: 179000 | #Constraints: 30988
703.40/705.29 c #Conflicts: 180000 | #Constraints: 31988
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 181000 | #Constraints: 24526
703.40/705.29 c #Conflicts: 182000 | #Constraints: 25526
703.40/705.29 c #Conflicts: 183000 | #Constraints: 26526
703.40/705.29 c #Conflicts: 184000 | #Constraints: 27526
703.40/705.29 c #Conflicts: 185000 | #Constraints: 28526
703.40/705.29 c #Conflicts: 186000 | #Constraints: 29526
703.40/705.29 c #Conflicts: 187000 | #Constraints: 30526
703.40/705.29 c #Conflicts: 188000 | #Constraints: 31526
703.40/705.29 c #Conflicts: 189000 | #Constraints: 32526
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 190000 | #Constraints: 24956
703.40/705.29 c #Conflicts: 191000 | #Constraints: 25956
703.40/705.29 c #Conflicts: 192000 | #Constraints: 26956
703.40/705.29 c #Conflicts: 193000 | #Constraints: 27956
703.40/705.29 c #Conflicts: 194000 | #Constraints: 28956
703.40/705.29 c #Conflicts: 195000 | #Constraints: 29956
703.40/705.29 c #Conflicts: 196000 | #Constraints: 30956
703.40/705.29 c #Conflicts: 197000 | #Constraints: 31956
703.40/705.29 c #Conflicts: 198000 | #Constraints: 32956
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 199000 | #Constraints: 25193
703.40/705.29 c #Conflicts: 200000 | #Constraints: 26193
703.40/705.29 c #Conflicts: 201000 | #Constraints: 27193
703.40/705.29 c #Conflicts: 202000 | #Constraints: 28193
703.40/705.29 c #Conflicts: 203000 | #Constraints: 29193
703.40/705.29 c #Conflicts: 204000 | #Constraints: 30193
703.40/705.29 c #Conflicts: 205000 | #Constraints: 31193
703.40/705.29 c #Conflicts: 206000 | #Constraints: 32193
703.40/705.29 c #Conflicts: 207000 | #Constraints: 33193
703.40/705.29 c INPROCESSING
703.40/705.29 c GARBAGE COLLECT
703.40/705.29 c #Conflicts: 208000 | #Constraints: 25204
703.40/705.29 c #Conflicts: 209000 | #Constraints: 26204
703.40/705.29 c #Conflicts: 210000 | #Constraints: 27204
927.83/930.21 c #Conflicts: 211000 | #Constraints: 28204
927.83/930.21 c #Conflicts: 212000 | #Constraints: 29204
927.83/930.21 c #Conflicts: 213000 | #Constraints: 30204
927.83/930.21 c #Conflicts: 214000 | #Constraints: 31204
927.83/930.21 c #Conflicts: 215000 | #Constraints: 32204
927.83/930.21 c #Conflicts: 216000 | #Constraints: 33204
927.83/930.21 c INPROCESSING
927.83/930.21 c GARBAGE COLLECT
927.83/930.21 c #Conflicts: 217000 | #Constraints: 25040
927.83/930.21 c #Conflicts: 218000 | #Constraints: 26040
927.83/930.21 c #Conflicts: 219000 | #Constraints: 27040
927.83/930.21 c #Conflicts: 220000 | #Constraints: 28040
927.83/930.21 c #Conflicts: 221000 | #Constraints: 29040
927.83/930.21 c #Conflicts: 222000 | #Constraints: 30040
927.83/930.21 c #Conflicts: 223000 | #Constraints: 31040
927.83/930.21 c #Conflicts: 224000 | #Constraints: 32040
927.83/930.21 c #Conflicts: 225000 | #Constraints: 33040
927.83/930.21 c #Conflicts: 226000 | #Constraints: 34040
927.83/930.21 c INPROCESSING
927.83/930.21 c GARBAGE COLLECT
927.83/930.21 c #Conflicts: 227000 | #Constraints: 25532
927.83/930.21 c #Conflicts: 228000 | #Constraints: 26532
927.83/930.21 c #Conflicts: 229000 | #Constraints: 27532
927.83/930.21 c #Conflicts: 230000 | #Constraints: 28532
927.83/930.21 c #Conflicts: 231000 | #Constraints: 29532
927.83/930.21 c #Conflicts: 232000 | #Constraints: 30532
927.83/930.21 c #Conflicts: 233000 | #Constraints: 31532
927.83/930.21 c #Conflicts: 234000 | #Constraints: 32532
927.83/930.21 c #Conflicts: 235000 | #Constraints: 33532
927.83/930.21 c #Conflicts: 236000 | #Constraints: 34532
927.83/930.21 c INPROCESSING
927.83/930.21 c GARBAGE COLLECT
927.83/930.21 c #Conflicts: 237000 | #Constraints: 25885
927.83/930.21 c #Conflicts: 238000 | #Constraints: 26885
927.83/930.21 c #Conflicts: 239000 | #Constraints: 27885
927.83/930.21 c #Conflicts: 240000 | #Constraints: 28885
927.83/930.21 c #Conflicts: 241000 | #Constraints: 29885
927.83/930.21 c #Conflicts: 242000 | #Constraints: 30885
927.83/930.21 c #Conflicts: 243000 | #Constraints: 31885
927.83/930.21 c #Conflicts: 244000 | #Constraints: 32885
927.83/930.21 c #Conflicts: 245000 | #Constraints: 33885
927.83/930.21 c #Conflicts: 246000 | #Constraints: 34885
927.83/930.21 c INPROCESSING
927.83/930.21 c GARBAGE COLLECT
927.83/930.21 c #Conflicts: 247000 | #Constraints: 26064
927.83/930.21 c #Conflicts: 248000 | #Constraints: 27064
927.83/930.21 c #Conflicts: 249000 | #Constraints: 28064
927.83/930.21 c #Conflicts: 250000 | #Constraints: 29064
927.83/930.21 c #Conflicts: 251000 | #Constraints: 30064
927.83/930.21 c #Conflicts: 252000 | #Constraints: 31064
927.83/930.21 c #Conflicts: 253000 | #Constraints: 32064
927.83/930.21 c #Conflicts: 254000 | #Constraints: 33064
927.83/930.21 c #Conflicts: 255000 | #Constraints: 34064
927.83/930.21 c #Conflicts: 256000 | #Constraints: 35064
927.83/930.21 c INPROCESSING
927.83/930.21 c GARBAGE COLLECT
927.83/930.21 c #Conflicts: 257000 | #Constraints: 26184
927.83/930.21 c #Conflicts: 258000 | #Constraints: 27184
927.83/930.21 c #Conflicts: 259000 | #Constraints: 28184
927.83/930.21 c #Conflicts: 260000 | #Constraints: 29184
927.83/930.21 c #Conflicts: 261000 | #Constraints: 30184
927.83/930.21 c #Conflicts: 262000 | #Constraints: 31184
927.83/930.21 c #Conflicts: 263000 | #Constraints: 32184
927.83/930.21 c #Conflicts: 264000 | #Constraints: 33184
927.83/930.21 c #Conflicts: 265000 | #Constraints: 34184
927.83/930.21 c #Conflicts: 266000 | #Constraints: 35184
927.83/930.21 c INPROCESSING
927.83/930.21 c GARBAGE COLLECT
927.83/930.21 c #Conflicts: 267000 | #Constraints: 26057
927.83/930.21 c #Conflicts: 268000 | #Constraints: 27057
927.83/930.21 c #Conflicts: 269000 | #Constraints: 28057
927.83/930.21 c #Conflicts: 270000 | #Constraints: 29057
927.83/930.21 c #Conflicts: 271000 | #Constraints: 30057
927.83/930.21 c #Conflicts: 272000 | #Constraints: 31057
927.83/930.21 c #Conflicts: 273000 | #Constraints: 32057
927.83/930.21 c #Conflicts: 274000 | #Constraints: 33057
927.83/930.21 c #Conflicts: 275000 | #Constraints: 34057
927.83/930.21 c #Conflicts: 276000 | #Constraints: 35057
927.83/930.21 c #Conflicts: 277000 | #Constraints: 36057
927.83/930.21 c INPROCESSING
927.83/930.21 c GARBAGE COLLECT
927.83/930.21 c #Conflicts: 278000 | #Constraints: 26652
927.83/930.21 c #Conflicts: 279000 | #Constraints: 27652
927.83/930.21 c #Conflicts: 280000 | #Constraints: 28652
927.83/930.21 c #Conflicts: 281000 | #Constraints: 29652
927.83/930.21 c #Conflicts: 282000 | #Constraints: 30652
927.83/930.21 c #Conflicts: 283000 | #Constraints: 31652
927.83/930.21 c #Conflicts: 284000 | #Constraints: 32652
927.83/930.21 c #Conflicts: 285000 | #Constraints: 33652
1189.17/1192.26 c #Conflicts: 286000 | #Constraints: 34652
1189.17/1192.26 c #Conflicts: 287000 | #Constraints: 35652
1189.17/1192.26 c #Conflicts: 288000 | #Constraints: 36652
1189.17/1192.26 c INPROCESSING
1189.17/1192.26 c GARBAGE COLLECT
1189.17/1192.26 c #Conflicts: 289000 | #Constraints: 27061
1189.17/1192.26 c #Conflicts: 290000 | #Constraints: 28061
1189.17/1192.26 c #Conflicts: 291000 | #Constraints: 29061
1189.17/1192.26 c #Conflicts: 292000 | #Constraints: 30061
1189.17/1192.26 c #Conflicts: 293000 | #Constraints: 31061
1189.17/1192.26 c #Conflicts: 294000 | #Constraints: 32061
1189.17/1192.26 c #Conflicts: 295000 | #Constraints: 33061
1189.17/1192.26 c #Conflicts: 296000 | #Constraints: 34061
1189.17/1192.26 c #Conflicts: 297000 | #Constraints: 35061
1189.17/1192.26 c #Conflicts: 298000 | #Constraints: 36061
1189.17/1192.26 c #Conflicts: 299000 | #Constraints: 37061
1189.17/1192.26 c INPROCESSING
1189.17/1192.26 c GARBAGE COLLECT
1189.17/1192.26 c #Conflicts: 300000 | #Constraints: 27318
1189.17/1192.26 c #Conflicts: 301000 | #Constraints: 28318
1189.17/1192.26 c #Conflicts: 302000 | #Constraints: 29318
1189.17/1192.26 c #Conflicts: 303000 | #Constraints: 30318
1189.17/1192.26 c #Conflicts: 304000 | #Constraints: 31318
1189.17/1192.26 c #Conflicts: 305000 | #Constraints: 32318
1189.17/1192.26 c #Conflicts: 306000 | #Constraints: 33318
1189.17/1192.26 c #Conflicts: 307000 | #Constraints: 34318
1189.17/1192.26 c #Conflicts: 308000 | #Constraints: 35318
1189.17/1192.26 c #Conflicts: 309000 | #Constraints: 36318
1189.17/1192.26 c #Conflicts: 310000 | #Constraints: 37318
1189.17/1192.26 c INPROCESSING
1189.17/1192.26 c GARBAGE COLLECT
1189.17/1192.26 c #Conflicts: 311000 | #Constraints: 27325
1189.17/1192.26 c #Conflicts: 312000 | #Constraints: 28325
1189.17/1192.26 c #Conflicts: 313000 | #Constraints: 29325
1189.17/1192.26 c #Conflicts: 314000 | #Constraints: 30325
1189.17/1192.26 c #Conflicts: 315000 | #Constraints: 31325
1189.17/1192.26 c #Conflicts: 316000 | #Constraints: 32325
1189.17/1192.26 c #Conflicts: 317000 | #Constraints: 33325
1189.17/1192.26 c #Conflicts: 318000 | #Constraints: 34325
1189.17/1192.26 c #Conflicts: 319000 | #Constraints: 35325
1189.17/1192.26 c #Conflicts: 320000 | #Constraints: 36325
1189.17/1192.26 c #Conflicts: 321000 | #Constraints: 37325
1189.17/1192.26 c INPROCESSING
1189.17/1192.26 c GARBAGE COLLECT
1189.17/1192.26 c #Conflicts: 322000 | #Constraints: 27098
1189.17/1192.26 c #Conflicts: 323000 | #Constraints: 28098
1189.17/1192.26 c #Conflicts: 324000 | #Constraints: 29098
1189.17/1192.26 c #Conflicts: 325000 | #Constraints: 30098
1189.17/1192.26 c #Conflicts: 326000 | #Constraints: 31098
1189.17/1192.26 c #Conflicts: 327000 | #Constraints: 32098
1189.17/1192.26 c #Conflicts: 328000 | #Constraints: 33098
1189.17/1192.26 c #Conflicts: 329000 | #Constraints: 34098
1189.17/1192.26 c #Conflicts: 330000 | #Constraints: 35098
1189.17/1192.26 c #Conflicts: 331000 | #Constraints: 36098
1189.17/1192.26 c #Conflicts: 332000 | #Constraints: 37098
1189.17/1192.26 c #Conflicts: 333000 | #Constraints: 38098
1189.17/1192.26 c INPROCESSING
1189.17/1192.26 c GARBAGE COLLECT
1189.17/1192.26 c #Conflicts: 334000 | #Constraints: 27665
1189.17/1192.26 c #Conflicts: 335000 | #Constraints: 28665
1189.17/1192.26 c #Conflicts: 336000 | #Constraints: 29665
1189.17/1192.26 c #Conflicts: 337000 | #Constraints: 30665
1189.17/1192.26 c #Conflicts: 338000 | #Constraints: 31665
1189.17/1192.26 c #Conflicts: 339000 | #Constraints: 32665
1189.17/1192.26 c #Conflicts: 340000 | #Constraints: 33665
1189.17/1192.26 c #Conflicts: 341000 | #Constraints: 34665
1189.17/1192.26 c #Conflicts: 342000 | #Constraints: 35665
1189.17/1192.26 c #Conflicts: 343000 | #Constraints: 36665
1189.17/1192.26 c #Conflicts: 344000 | #Constraints: 37665
1189.17/1192.26 c #Conflicts: 345000 | #Constraints: 38665
1189.17/1192.26 c INPROCESSING
1189.17/1192.26 c GARBAGE COLLECT
1189.17/1192.26 c #Conflicts: 346000 | #Constraints: 28063
1189.17/1192.26 c #Conflicts: 347000 | #Constraints: 29063
1189.17/1192.26 c #Conflicts: 348000 | #Constraints: 30063
1189.17/1192.26 c #Conflicts: 349000 | #Constraints: 31063
1189.17/1192.26 c #Conflicts: 350000 | #Constraints: 32063
1189.17/1192.26 c #Conflicts: 351000 | #Constraints: 33063
1189.17/1192.26 c #Conflicts: 352000 | #Constraints: 34063
1189.17/1192.26 c #Conflicts: 353000 | #Constraints: 35063
1189.17/1192.26 c #Conflicts: 354000 | #Constraints: 36063
1189.17/1192.26 c #Conflicts: 355000 | #Constraints: 37063
1189.17/1192.26 c #Conflicts: 356000 | #Constraints: 38063
1189.17/1192.26 c #Conflicts: 357000 | #Constraints: 39063
1189.17/1192.26 c INPROCESSING
1189.17/1192.26 c GARBAGE COLLECT
1189.17/1192.26 c #Conflicts: 358000 | #Constraints: 28333
1189.17/1192.26 c #Conflicts: 359000 | #Constraints: 29333
1436.55/1440.29 c #Conflicts: 360000 | #Constraints: 30333
1436.55/1440.29 c #Conflicts: 361000 | #Constraints: 31333
1436.55/1440.29 c #Conflicts: 362000 | #Constraints: 32333
1436.55/1440.29 c #Conflicts: 363000 | #Constraints: 33333
1436.55/1440.29 c #Conflicts: 364000 | #Constraints: 34333
1436.55/1440.29 c #Conflicts: 365000 | #Constraints: 35333
1436.55/1440.29 c #Conflicts: 366000 | #Constraints: 36333
1436.55/1440.29 c #Conflicts: 367000 | #Constraints: 37333
1436.55/1440.29 c #Conflicts: 368000 | #Constraints: 38333
1436.55/1440.29 c #Conflicts: 369000 | #Constraints: 39333
1436.55/1440.29 c INPROCESSING
1436.55/1440.29 c GARBAGE COLLECT
1436.55/1440.29 c #Conflicts: 370000 | #Constraints: 28206
1436.55/1440.29 c #Conflicts: 371000 | #Constraints: 29206
1436.55/1440.29 c #Conflicts: 372000 | #Constraints: 30206
1436.55/1440.29 c #Conflicts: 373000 | #Constraints: 31206
1436.55/1440.29 c #Conflicts: 374000 | #Constraints: 32206
1436.55/1440.29 c #Conflicts: 375000 | #Constraints: 33206
1436.55/1440.29 c #Conflicts: 376000 | #Constraints: 34206
1436.55/1440.29 c #Conflicts: 377000 | #Constraints: 35206
1436.55/1440.29 c #Conflicts: 378000 | #Constraints: 36206
1436.55/1440.29 c #Conflicts: 379000 | #Constraints: 37206
1436.55/1440.29 c #Conflicts: 380000 | #Constraints: 38206
1436.55/1440.29 c #Conflicts: 381000 | #Constraints: 39206
1436.55/1440.29 c INPROCESSING
1436.55/1440.29 c GARBAGE COLLECT
1436.55/1440.29 c #Conflicts: 382000 | #Constraints: 27964
1436.55/1440.29 c #Conflicts: 383000 | #Constraints: 28964
1436.55/1440.29 c #Conflicts: 384000 | #Constraints: 29964
1436.55/1440.29 c #Conflicts: 385000 | #Constraints: 30964
1436.55/1440.29 c #Conflicts: 386000 | #Constraints: 31964
1436.55/1440.29 c #Conflicts: 387000 | #Constraints: 32964
1436.55/1440.29 c #Conflicts: 388000 | #Constraints: 33964
1436.55/1440.29 c #Conflicts: 389000 | #Constraints: 34964
1436.55/1440.29 c #Conflicts: 390000 | #Constraints: 35964
1436.55/1440.29 c #Conflicts: 391000 | #Constraints: 36964
1436.55/1440.29 c #Conflicts: 392000 | #Constraints: 37964
1436.55/1440.29 c #Conflicts: 393000 | #Constraints: 38964
1436.55/1440.29 c #Conflicts: 394000 | #Constraints: 39964
1436.55/1440.29 c INPROCESSING
1436.55/1440.29 c GARBAGE COLLECT
1436.55/1440.29 c #Conflicts: 395000 | #Constraints: 28501
1436.55/1440.29 c #Conflicts: 396000 | #Constraints: 29501
1436.55/1440.29 c #Conflicts: 397000 | #Constraints: 30501
1436.55/1440.29 c #Conflicts: 398000 | #Constraints: 31501
1436.55/1440.29 c #Conflicts: 399000 | #Constraints: 32501
1436.55/1440.29 c #Conflicts: 400000 | #Constraints: 33501
1436.55/1440.29 c #Conflicts: 401000 | #Constraints: 34501
1436.55/1440.29 c #Conflicts: 402000 | #Constraints: 35501
1436.55/1440.29 c #Conflicts: 403000 | #Constraints: 36501
1436.55/1440.29 c #Conflicts: 404000 | #Constraints: 37501
1436.55/1440.29 c #Conflicts: 405000 | #Constraints: 38501
1436.55/1440.29 c #Conflicts: 406000 | #Constraints: 39501
1436.55/1440.29 c #Conflicts: 407000 | #Constraints: 40501
1436.55/1440.29 c INPROCESSING
1436.55/1440.29 c GARBAGE COLLECT
1436.55/1440.29 c #Conflicts: 408000 | #Constraints: 28840
1436.55/1440.29 c #Conflicts: 409000 | #Constraints: 29840
1436.55/1440.29 c #Conflicts: 410000 | #Constraints: 30840
1436.55/1440.29 c #Conflicts: 411000 | #Constraints: 31840
1436.55/1440.29 c #Conflicts: 412000 | #Constraints: 32840
1436.55/1440.29 c #Conflicts: 413000 | #Constraints: 33840
1436.55/1440.29 c #Conflicts: 414000 | #Constraints: 34840
1436.55/1440.29 c #Conflicts: 415000 | #Constraints: 35840
1436.55/1440.29 c #Conflicts: 416000 | #Constraints: 36840
1436.55/1440.29 c #Conflicts: 417000 | #Constraints: 37840
1436.55/1440.29 c #Conflicts: 418000 | #Constraints: 38840
1436.55/1440.29 c #Conflicts: 419000 | #Constraints: 39840
1436.55/1440.29 c #Conflicts: 420000 | #Constraints: 40840
1436.55/1440.29 c INPROCESSING
1436.55/1440.29 c GARBAGE COLLECT
1436.55/1440.29 c #Conflicts: 421000 | #Constraints: 29144
1436.55/1440.29 c #Conflicts: 422000 | #Constraints: 30144
1436.55/1440.29 c #Conflicts: 423000 | #Constraints: 31144
1436.55/1440.29 c #Conflicts: 424000 | #Constraints: 32144
1436.55/1440.29 c #Conflicts: 425000 | #Constraints: 33144
1436.55/1440.29 c #Conflicts: 426000 | #Constraints: 34144
1436.55/1440.29 c #Conflicts: 427000 | #Constraints: 35144
1436.55/1440.29 c #Conflicts: 428000 | #Constraints: 36144
1436.55/1440.29 c #Conflicts: 429000 | #Constraints: 37144
1436.55/1440.29 c #Conflicts: 430000 | #Constraints: 38144
1436.55/1440.29 c #Conflicts: 431000 | #Constraints: 39144
1436.55/1440.29 c #Conflicts: 432000 | #Constraints: 40144
1436.55/1440.29 c #Conflicts: 433000 | #Constraints: 41144
1436.55/1440.29 c INPROCESSING
1436.55/1440.29 c GARBAGE COLLECT
1436.55/1440.29 c #Conflicts: 434000 | #Constraints: 29061
1803.42/1808.08 c #Conflicts: 435000 | #Constraints: 30061
1803.42/1808.08 c #Conflicts: 436000 | #Constraints: 31061
1803.42/1808.08 c #Conflicts: 437000 | #Constraints: 32061
1803.42/1808.08 c #Conflicts: 438000 | #Constraints: 33061
1803.42/1808.08 c #Conflicts: 439000 | #Constraints: 34061
1803.42/1808.08 c #Conflicts: 440000 | #Constraints: 35061
1803.42/1808.08 c #Conflicts: 441000 | #Constraints: 36061
1803.42/1808.08 c #Conflicts: 442000 | #Constraints: 37061
1803.42/1808.08 c #Conflicts: 443000 | #Constraints: 38061
1803.42/1808.08 c #Conflicts: 444000 | #Constraints: 39061
1803.42/1808.08 c #Conflicts: 445000 | #Constraints: 40061
1803.42/1808.08 c #Conflicts: 446000 | #Constraints: 41061
1803.42/1808.08 c INPROCESSING
1803.42/1808.08 c GARBAGE COLLECT
1803.42/1808.08 c #Conflicts: 447000 | #Constraints: 28857
1803.42/1808.08 c #Conflicts: 448000 | #Constraints: 29857
1803.42/1808.08 c #Conflicts: 449000 | #Constraints: 30857
1803.42/1808.08 c #Conflicts: 450000 | #Constraints: 31857
1803.42/1808.08 c #Conflicts: 451000 | #Constraints: 32857
1803.42/1808.08 c #Conflicts: 452000 | #Constraints: 33857
1803.42/1808.08 c #Conflicts: 453000 | #Constraints: 34857
1803.42/1808.08 c #Conflicts: 454000 | #Constraints: 35857
1803.42/1808.08 c #Conflicts: 455000 | #Constraints: 36857
1803.42/1808.08 c #Conflicts: 456000 | #Constraints: 37857
1803.42/1808.08 c #Conflicts: 457000 | #Constraints: 38857
1803.42/1808.08 c #Conflicts: 458000 | #Constraints: 39857
1803.42/1808.08 c #Conflicts: 459000 | #Constraints: 40857
1803.42/1808.08 c #Conflicts: 460000 | #Constraints: 41857
1803.42/1808.08 c INPROCESSING
1803.42/1808.08 c GARBAGE COLLECT
1803.42/1808.08 c #Conflicts: 461000 | #Constraints: 29512
1803.42/1808.08 c #Conflicts: 462000 | #Constraints: 30512
1803.42/1808.08 c #Conflicts: 463000 | #Constraints: 31512
1803.42/1808.08 c #Conflicts: 464000 | #Constraints: 32512
1803.42/1808.08 c #Conflicts: 465000 | #Constraints: 33512
1803.42/1808.08 c #Conflicts: 466000 | #Constraints: 34512
1803.42/1808.08 c #Conflicts: 467000 | #Constraints: 35512
1803.42/1808.08 c #Conflicts: 468000 | #Constraints: 36512
1803.42/1808.08 c #Conflicts: 469000 | #Constraints: 37512
1803.42/1808.08 c #Conflicts: 470000 | #Constraints: 38512
1803.42/1808.08 c #Conflicts: 471000 | #Constraints: 39512
1803.42/1808.08 c #Conflicts: 472000 | #Constraints: 40512
1803.42/1808.08 c #Conflicts: 473000 | #Constraints: 41512
1803.42/1808.08 c #Conflicts: 474000 | #Constraints: 42512
1803.42/1808.08 c INPROCESSING
1803.42/1808.08 c GARBAGE COLLECT
1803.42/1808.08 c #Conflicts: 475000 | #Constraints: 29995
1803.42/1808.08 c #Conflicts: 476000 | #Constraints: 30995
1803.42/1808.08 c #Conflicts: 477000 | #Constraints: 31995
1803.42/1808.08 c #Conflicts: 478000 | #Constraints: 32995
1803.42/1808.08 c #Conflicts: 479000 | #Constraints: 33995
1803.42/1808.08 c #Conflicts: 480000 | #Constraints: 34995
1803.42/1808.08 c #Conflicts: 481000 | #Constraints: 35995
1803.42/1808.08 c #Conflicts: 482000 | #Constraints: 36995
1803.42/1808.08 c #Conflicts: 483000 | #Constraints: 37995
1803.42/1808.08 c #Conflicts: 484000 | #Constraints: 38995
1803.42/1808.08 c #Conflicts: 485000 | #Constraints: 39995
1803.42/1808.08 c #Conflicts: 486000 | #Constraints: 40995
1803.42/1808.08 c #Conflicts: 487000 | #Constraints: 41995
1803.42/1808.08 c #Conflicts: 488000 | #Constraints: 42995
1803.42/1808.08 c INPROCESSING
1803.42/1808.08 c GARBAGE COLLECT
1803.42/1808.08 c #Conflicts: 489000 | #Constraints: 30193
1803.42/1808.08 c #Conflicts: 490000 | #Constraints: 31193
1803.42/1808.08 c #Conflicts: 491000 | #Constraints: 32193
1803.42/1808.08 c #Conflicts: 492000 | #Constraints: 33193
1803.42/1808.08 c #Conflicts: 493000 | #Constraints: 34193
1803.42/1808.08 c #Conflicts: 494000 | #Constraints: 35193
1803.42/1808.08 c #Conflicts: 495000 | #Constraints: 36193
1803.42/1808.08 c #Conflicts: 496000 | #Constraints: 37193
1803.42/1808.08 c #Conflicts: 497000 | #Constraints: 38193
1803.42/1808.08 c #Conflicts: 498000 | #Constraints: 39193
1803.42/1808.08 c #Conflicts: 499000 | #Constraints: 40193
1803.42/1808.08 c #Conflicts: 500000 | #Constraints: 41193
1803.42/1808.08 c #Conflicts: 501000 | #Constraints: 42193
1803.42/1808.08 c #Conflicts: 502000 | #Constraints: 43193
1803.42/1808.08 c INPROCESSING
1803.42/1808.08 c GARBAGE COLLECT
1803.42/1808.08 c #Conflicts: 503000 | #Constraints: 30228
1803.42/1808.08 c #Conflicts: 504000 | #Constraints: 31228
1803.42/1808.08 c #Conflicts: 505000 | #Constraints: 32228
1803.42/1808.08 c #Conflicts: 506000 | #Constraints: 33228
1803.42/1808.08 c #Conflicts: 507000 | #Constraints: 34228
1803.42/1808.08 c #Conflicts: 508000 | #Constraints: 35228
1803.42/1808.08 c #Conflicts: 509000 | #Constraints: 36228
1803.42/1808.08 c #Conflicts: 510000 | #Constraints: 37228
2088.50/2093.81 c #Conflicts: 511000 | #Constraints: 38228
2088.50/2093.81 c #Conflicts: 512000 | #Constraints: 39228
2088.50/2093.81 c #Conflicts: 513000 | #Constraints: 40228
2088.50/2093.81 c #Conflicts: 514000 | #Constraints: 41228
2088.50/2093.81 c #Conflicts: 515000 | #Constraints: 42228
2088.50/2093.81 c #Conflicts: 516000 | #Constraints: 43228
2088.50/2093.81 c INPROCESSING
2088.50/2093.81 c GARBAGE COLLECT
2088.50/2093.81 c #Conflicts: 517000 | #Constraints: 29911
2088.50/2093.81 c #Conflicts: 518000 | #Constraints: 30911
2088.50/2093.81 c #Conflicts: 519000 | #Constraints: 31911
2088.50/2093.81 c #Conflicts: 520000 | #Constraints: 32911
2088.50/2093.81 c #Conflicts: 521000 | #Constraints: 33911
2088.50/2093.81 c #Conflicts: 522000 | #Constraints: 34911
2088.50/2093.81 c #Conflicts: 523000 | #Constraints: 35911
2088.50/2093.81 c #Conflicts: 524000 | #Constraints: 36911
2088.50/2093.81 c #Conflicts: 525000 | #Constraints: 37911
2088.50/2093.81 c #Conflicts: 526000 | #Constraints: 38911
2088.50/2093.81 c #Conflicts: 527000 | #Constraints: 39911
2088.50/2093.81 c #Conflicts: 528000 | #Constraints: 40911
2088.50/2093.81 c #Conflicts: 529000 | #Constraints: 41911
2088.50/2093.81 c #Conflicts: 530000 | #Constraints: 42911
2088.50/2093.81 c #Conflicts: 531000 | #Constraints: 43911
2088.50/2093.81 c INPROCESSING
2088.50/2093.81 c GARBAGE COLLECT
2088.50/2093.81 c #Conflicts: 532000 | #Constraints: 30494
2088.50/2093.81 c #Conflicts: 533000 | #Constraints: 31494
2088.50/2093.81 c #Conflicts: 534000 | #Constraints: 32494
2088.50/2093.81 c #Conflicts: 535000 | #Constraints: 33494
2088.50/2093.81 c #Conflicts: 536000 | #Constraints: 34494
2088.50/2093.81 c #Conflicts: 537000 | #Constraints: 35494
2088.50/2093.81 c #Conflicts: 538000 | #Constraints: 36494
2088.50/2093.81 c #Conflicts: 539000 | #Constraints: 37494
2088.50/2093.81 c #Conflicts: 540000 | #Constraints: 38494
2088.50/2093.81 c #Conflicts: 541000 | #Constraints: 39494
2088.50/2093.81 c #Conflicts: 542000 | #Constraints: 40494
2088.50/2093.81 c #Conflicts: 543000 | #Constraints: 41494
2088.50/2093.81 c #Conflicts: 544000 | #Constraints: 42494
2088.50/2093.81 c #Conflicts: 545000 | #Constraints: 43494
2088.50/2093.81 c #Conflicts: 546000 | #Constraints: 44494
2088.50/2093.81 c INPROCESSING
2088.50/2093.81 c GARBAGE COLLECT
2088.50/2093.81 c #Conflicts: 547000 | #Constraints: 31037
2088.50/2093.81 c #Conflicts: 548000 | #Constraints: 32037
2088.50/2093.81 c #Conflicts: 549000 | #Constraints: 33037
2088.50/2093.81 c #Conflicts: 550000 | #Constraints: 34037
2088.50/2093.81 c #Conflicts: 551000 | #Constraints: 35037
2088.50/2093.81 c #Conflicts: 552000 | #Constraints: 36037
2088.50/2093.81 c #Conflicts: 553000 | #Constraints: 37037
2088.50/2093.81 c #Conflicts: 554000 | #Constraints: 38037
2088.50/2093.81 c #Conflicts: 555000 | #Constraints: 39037
2088.50/2093.81 c #Conflicts: 556000 | #Constraints: 40037
2088.50/2093.81 c #Conflicts: 557000 | #Constraints: 41037
2088.50/2093.81 c #Conflicts: 558000 | #Constraints: 42037
2088.50/2093.81 c #Conflicts: 559000 | #Constraints: 43037
2088.50/2093.81 c #Conflicts: 560000 | #Constraints: 44037
2088.50/2093.81 c #Conflicts: 561000 | #Constraints: 45037
2088.50/2093.81 c INPROCESSING
2088.50/2093.81 c GARBAGE COLLECT
2088.50/2093.81 c #Conflicts: 562000 | #Constraints: 31279
2088.50/2093.81 c #Conflicts: 563000 | #Constraints: 32279
2088.50/2093.81 c #Conflicts: 564000 | #Constraints: 33279
2088.50/2093.81 c #Conflicts: 565000 | #Constraints: 34279
2088.50/2093.81 c #Conflicts: 566000 | #Constraints: 35279
2088.50/2093.81 c #Conflicts: 567000 | #Constraints: 36279
2088.50/2093.81 c #Conflicts: 568000 | #Constraints: 37279
2088.50/2093.81 c #Conflicts: 569000 | #Constraints: 38279
2088.50/2093.81 c #Conflicts: 570000 | #Constraints: 39279
2088.50/2093.81 c #Conflicts: 571000 | #Constraints: 40279
2088.50/2093.81 c #Conflicts: 572000 | #Constraints: 41279
2088.50/2093.81 c #Conflicts: 573000 | #Constraints: 42279
2088.50/2093.81 c #Conflicts: 574000 | #Constraints: 43279
2088.50/2093.81 c #Conflicts: 575000 | #Constraints: 44279
2088.50/2093.81 c #Conflicts: 576000 | #Constraints: 45279
2088.50/2093.81 c INPROCESSING
2088.50/2093.81 c GARBAGE COLLECT
2088.50/2093.81 c #Conflicts: 577000 | #Constraints: 31250
2088.50/2093.81 c #Conflicts: 578000 | #Constraints: 32250
2088.50/2093.81 c #Conflicts: 579000 | #Constraints: 33250
2088.50/2093.81 c #Conflicts: 580000 | #Constraints: 34250
2088.50/2093.81 c #Conflicts: 581000 | #Constraints: 35250
2088.50/2093.81 c #Conflicts: 582000 | #Constraints: 36250
2088.50/2093.81 c #Conflicts: 583000 | #Constraints: 37250
2088.50/2093.81 c #Conflicts: 584000 | #Constraints: 38250
2088.50/2093.81 c #Conflicts: 585000 | #Constraints: 39250
2427.42/2433.69 c #Conflicts: 586000 | #Constraints: 40250
2427.42/2433.69 c #Conflicts: 587000 | #Constraints: 41250
2427.42/2433.69 c #Conflicts: 588000 | #Constraints: 42250
2427.42/2433.69 c #Conflicts: 589000 | #Constraints: 43250
2427.42/2433.69 c #Conflicts: 590000 | #Constraints: 44250
2427.42/2433.69 c #Conflicts: 591000 | #Constraints: 45250
2427.42/2433.69 c INPROCESSING
2427.42/2433.69 c GARBAGE COLLECT
2427.42/2433.69 c #Conflicts: 592000 | #Constraints: 31042
2427.42/2433.69 c #Conflicts: 593000 | #Constraints: 32042
2427.42/2433.69 c #Conflicts: 594000 | #Constraints: 33042
2427.42/2433.69 c #Conflicts: 595000 | #Constraints: 34042
2427.42/2433.69 c #Conflicts: 596000 | #Constraints: 35042
2427.42/2433.69 c #Conflicts: 597000 | #Constraints: 36042
2427.42/2433.69 c #Conflicts: 598000 | #Constraints: 37042
2427.42/2433.69 c #Conflicts: 599000 | #Constraints: 38042
2427.42/2433.69 c #Conflicts: 600000 | #Constraints: 39042
2427.42/2433.69 c #Conflicts: 601000 | #Constraints: 40042
2427.42/2433.69 c #Conflicts: 602000 | #Constraints: 41042
2427.42/2433.69 c #Conflicts: 603000 | #Constraints: 42042
2427.42/2433.69 c #Conflicts: 604000 | #Constraints: 43042
2427.42/2433.69 c #Conflicts: 605000 | #Constraints: 44042
2427.42/2433.69 c #Conflicts: 606000 | #Constraints: 45042
2427.42/2433.69 c #Conflicts: 607000 | #Constraints: 46042
2427.42/2433.69 c INPROCESSING
2427.42/2433.69 c GARBAGE COLLECT
2427.42/2433.69 c #Conflicts: 608000 | #Constraints: 31685
2427.42/2433.69 c #Conflicts: 609000 | #Constraints: 32685
2427.42/2433.69 c #Conflicts: 610000 | #Constraints: 33685
2427.42/2433.69 c #Conflicts: 611000 | #Constraints: 34685
2427.42/2433.69 c #Conflicts: 612000 | #Constraints: 35685
2427.42/2433.69 c #Conflicts: 613000 | #Constraints: 36685
2427.42/2433.69 c #Conflicts: 614000 | #Constraints: 37685
2427.42/2433.69 c #Conflicts: 615000 | #Constraints: 38685
2427.42/2433.69 c #Conflicts: 616000 | #Constraints: 39685
2427.42/2433.69 c #Conflicts: 617000 | #Constraints: 40685
2427.42/2433.69 c #Conflicts: 618000 | #Constraints: 41685
2427.42/2433.69 c #Conflicts: 619000 | #Constraints: 42685
2427.42/2433.69 c #Conflicts: 620000 | #Constraints: 43685
2427.42/2433.69 c #Conflicts: 621000 | #Constraints: 44685
2427.42/2433.69 c #Conflicts: 622000 | #Constraints: 45685
2427.42/2433.69 c #Conflicts: 623000 | #Constraints: 46685
2427.42/2433.69 c INPROCESSING
2427.42/2433.69 c GARBAGE COLLECT
2427.42/2433.69 c #Conflicts: 624000 | #Constraints: 32026
2427.42/2433.69 c #Conflicts: 625000 | #Constraints: 33026
2427.42/2433.69 c #Conflicts: 626000 | #Constraints: 34026
2427.42/2433.69 c #Conflicts: 627000 | #Constraints: 35026
2427.42/2433.69 c #Conflicts: 628000 | #Constraints: 36026
2427.42/2433.69 c #Conflicts: 629000 | #Constraints: 37026
2427.42/2433.69 c #Conflicts: 630000 | #Constraints: 38026
2427.42/2433.69 c #Conflicts: 631000 | #Constraints: 39026
2427.42/2433.69 c #Conflicts: 632000 | #Constraints: 40026
2427.42/2433.69 c #Conflicts: 633000 | #Constraints: 41026
2427.42/2433.69 c #Conflicts: 634000 | #Constraints: 42026
2427.42/2433.69 c #Conflicts: 635000 | #Constraints: 43026
2427.42/2433.69 c #Conflicts: 636000 | #Constraints: 44026
2427.42/2433.69 c #Conflicts: 637000 | #Constraints: 45026
2427.42/2433.69 c #Conflicts: 638000 | #Constraints: 46026
2427.42/2433.69 c #Conflicts: 639000 | #Constraints: 47026
2427.42/2433.69 c INPROCESSING
2427.42/2433.69 c GARBAGE COLLECT
2427.42/2433.69 c #Conflicts: 640000 | #Constraints: 32315
2427.42/2433.69 c #Conflicts: 641000 | #Constraints: 33315
2427.42/2433.69 c #Conflicts: 642000 | #Constraints: 34315
2427.42/2433.69 c #Conflicts: 643000 | #Constraints: 35315
2427.42/2433.69 c #Conflicts: 644000 | #Constraints: 36315
2427.42/2433.69 c #Conflicts: 645000 | #Constraints: 37315
2427.42/2433.69 c #Conflicts: 646000 | #Constraints: 38315
2427.42/2433.69 c #Conflicts: 647000 | #Constraints: 39315
2427.42/2433.69 c #Conflicts: 648000 | #Constraints: 40315
2427.42/2433.69 c #Conflicts: 649000 | #Constraints: 41315
2427.42/2433.69 c #Conflicts: 650000 | #Constraints: 42315
2427.42/2433.69 c #Conflicts: 651000 | #Constraints: 43315
2427.42/2433.69 c #Conflicts: 652000 | #Constraints: 44315
2427.42/2433.69 c #Conflicts: 653000 | #Constraints: 45315
2427.42/2433.69 c #Conflicts: 654000 | #Constraints: 46315
2427.42/2433.69 c #Conflicts: 655000 | #Constraints: 47315
2427.42/2433.69 c INPROCESSING
2427.42/2433.69 c GARBAGE COLLECT
2427.42/2433.69 c #Conflicts: 656000 | #Constraints: 32331
2427.42/2433.69 c #Conflicts: 657000 | #Constraints: 33331
2427.42/2433.69 c #Conflicts: 658000 | #Constraints: 34331
2427.42/2433.69 c #Conflicts: 659000 | #Constraints: 35331
2427.42/2433.69 c #Conflicts: 660000 | #Constraints: 36331
2427.42/2433.69 c #Conflicts: 661000 | #Constraints: 37331
2780.33/2787.43 c #Conflicts: 662000 | #Constraints: 38331
2780.33/2787.43 c #Conflicts: 663000 | #Constraints: 39331
2780.33/2787.43 c #Conflicts: 664000 | #Constraints: 40331
2780.33/2787.43 c #Conflicts: 665000 | #Constraints: 41331
2780.33/2787.43 c #Conflicts: 666000 | #Constraints: 42331
2780.33/2787.43 c #Conflicts: 667000 | #Constraints: 43331
2780.33/2787.43 c #Conflicts: 668000 | #Constraints: 44331
2780.33/2787.43 c #Conflicts: 669000 | #Constraints: 45331
2780.33/2787.43 c #Conflicts: 670000 | #Constraints: 46331
2780.33/2787.43 c #Conflicts: 671000 | #Constraints: 47331
2780.33/2787.43 c INPROCESSING
2780.33/2787.43 c GARBAGE COLLECT
2780.33/2787.43 c #Conflicts: 672000 | #Constraints: 32192
2780.33/2787.43 c #Conflicts: 673000 | #Constraints: 33192
2780.33/2787.43 c #Conflicts: 674000 | #Constraints: 34192
2780.33/2787.43 c #Conflicts: 675000 | #Constraints: 35192
2780.33/2787.43 c #Conflicts: 676000 | #Constraints: 36192
2780.33/2787.43 c #Conflicts: 677000 | #Constraints: 37192
2780.33/2787.43 c #Conflicts: 678000 | #Constraints: 38192
2780.33/2787.43 c #Conflicts: 679000 | #Constraints: 39192
2780.33/2787.43 c #Conflicts: 680000 | #Constraints: 40192
2780.33/2787.43 c #Conflicts: 681000 | #Constraints: 41192
2780.33/2787.43 c #Conflicts: 682000 | #Constraints: 42192
2780.33/2787.43 c #Conflicts: 683000 | #Constraints: 43192
2780.33/2787.43 c #Conflicts: 684000 | #Constraints: 44192
2780.33/2787.43 c #Conflicts: 685000 | #Constraints: 45192
2780.33/2787.43 c #Conflicts: 686000 | #Constraints: 46192
2780.33/2787.43 c #Conflicts: 687000 | #Constraints: 47192
2780.33/2787.43 c #Conflicts: 688000 | #Constraints: 48192
2780.33/2787.43 c INPROCESSING
2780.33/2787.43 c GARBAGE COLLECT
2780.33/2787.43 c #Conflicts: 689000 | #Constraints: 32788
2780.33/2787.43 c #Conflicts: 690000 | #Constraints: 33788
2780.33/2787.43 c #Conflicts: 691000 | #Constraints: 34788
2780.33/2787.43 c #Conflicts: 692000 | #Constraints: 35788
2780.33/2787.43 c #Conflicts: 693000 | #Constraints: 36788
2780.33/2787.43 c #Conflicts: 694000 | #Constraints: 37788
2780.33/2787.43 c #Conflicts: 695000 | #Constraints: 38788
2780.33/2787.43 c #Conflicts: 696000 | #Constraints: 39788
2780.33/2787.43 c #Conflicts: 697000 | #Constraints: 40788
2780.33/2787.43 c #Conflicts: 698000 | #Constraints: 41788
2780.33/2787.43 c #Conflicts: 699000 | #Constraints: 42788
2780.33/2787.43 c #Conflicts: 700000 | #Constraints: 43788
2780.33/2787.43 c #Conflicts: 701000 | #Constraints: 44788
2780.33/2787.43 c #Conflicts: 702000 | #Constraints: 45788
2780.33/2787.43 c #Conflicts: 703000 | #Constraints: 46788
2780.33/2787.43 c #Conflicts: 704000 | #Constraints: 47788
2780.33/2787.43 c #Conflicts: 705000 | #Constraints: 48788
2780.33/2787.43 c INPROCESSING
2780.33/2787.43 c GARBAGE COLLECT
2780.33/2787.43 c #Conflicts: 706000 | #Constraints: 33189
2780.33/2787.43 c #Conflicts: 707000 | #Constraints: 34189
2780.33/2787.43 c #Conflicts: 708000 | #Constraints: 35189
2780.33/2787.43 c #Conflicts: 709000 | #Constraints: 36189
2780.33/2787.43 c #Conflicts: 710000 | #Constraints: 37189
2780.33/2787.43 c #Conflicts: 711000 | #Constraints: 38189
2780.33/2787.43 c #Conflicts: 712000 | #Constraints: 39189
2780.33/2787.43 c #Conflicts: 713000 | #Constraints: 40189
2780.33/2787.43 c #Conflicts: 714000 | #Constraints: 41189
2780.33/2787.43 c #Conflicts: 715000 | #Constraints: 42189
2780.33/2787.43 c #Conflicts: 716000 | #Constraints: 43189
2780.33/2787.43 c #Conflicts: 717000 | #Constraints: 44189
2780.33/2787.43 c #Conflicts: 718000 | #Constraints: 45189
2780.33/2787.43 c #Conflicts: 719000 | #Constraints: 46189
2780.33/2787.43 c #Conflicts: 720000 | #Constraints: 47189
2780.33/2787.43 c #Conflicts: 721000 | #Constraints: 48189
2780.33/2787.43 c #Conflicts: 722000 | #Constraints: 49189
2780.33/2787.43 c INPROCESSING
2780.33/2787.43 c GARBAGE COLLECT
2780.33/2787.43 c #Conflicts: 723000 | #Constraints: 33314
2780.33/2787.43 c #Conflicts: 724000 | #Constraints: 34314
2780.33/2787.43 c #Conflicts: 725000 | #Constraints: 35314
2780.33/2787.43 c #Conflicts: 726000 | #Constraints: 36314
2780.33/2787.43 c #Conflicts: 727000 | #Constraints: 37314
2780.33/2787.43 c #Conflicts: 728000 | #Constraints: 38314
2780.33/2787.43 c #Conflicts: 729000 | #Constraints: 39314
2780.33/2787.43 c #Conflicts: 730000 | #Constraints: 40314
2780.33/2787.43 c #Conflicts: 731000 | #Constraints: 41314
2780.33/2787.43 c #Conflicts: 732000 | #Constraints: 42314
2780.33/2787.43 c #Conflicts: 733000 | #Constraints: 43314
2780.33/2787.43 c #Conflicts: 734000 | #Constraints: 44314
2780.33/2787.43 c #Conflicts: 735000 | #Constraints: 45314
2780.33/2787.43 c #Conflicts: 736000 | #Constraints: 46314
2780.33/2787.43 c #Conflicts: 737000 | #Constraints: 47314
3093.34/3101.29 c #Conflicts: 738000 | #Constraints: 48314
3093.34/3101.29 c #Conflicts: 739000 | #Constraints: 49314
3093.34/3101.29 c INPROCESSING
3093.34/3101.29 c GARBAGE COLLECT
3093.34/3101.29 c #Conflicts: 740000 | #Constraints: 33162
3093.34/3101.29 c #Conflicts: 741000 | #Constraints: 34162
3093.34/3101.29 c #Conflicts: 742000 | #Constraints: 35162
3093.34/3101.29 c #Conflicts: 743000 | #Constraints: 36162
3093.34/3101.29 c #Conflicts: 744000 | #Constraints: 37162
3093.34/3101.29 c #Conflicts: 745000 | #Constraints: 38162
3093.34/3101.29 c #Conflicts: 746000 | #Constraints: 39162
3093.34/3101.29 c #Conflicts: 747000 | #Constraints: 40162
3093.34/3101.29 c #Conflicts: 748000 | #Constraints: 41162
3093.34/3101.29 c #Conflicts: 749000 | #Constraints: 42162
3093.34/3101.29 c #Conflicts: 750000 | #Constraints: 43162
3093.34/3101.29 c #Conflicts: 751000 | #Constraints: 44162
3093.34/3101.29 c #Conflicts: 752000 | #Constraints: 45162
3093.34/3101.29 c #Conflicts: 753000 | #Constraints: 46162
3093.34/3101.29 c #Conflicts: 754000 | #Constraints: 47162
3093.34/3101.29 c #Conflicts: 755000 | #Constraints: 48162
3093.34/3101.29 c #Conflicts: 756000 | #Constraints: 49162
3093.34/3101.29 c INPROCESSING
3093.34/3101.29 c GARBAGE COLLECT
3093.34/3101.29 c #Conflicts: 757000 | #Constraints: 32982
3093.34/3101.29 c #Conflicts: 758000 | #Constraints: 33982
3093.34/3101.29 c #Conflicts: 759000 | #Constraints: 34982
3093.34/3101.29 c #Conflicts: 760000 | #Constraints: 35982
3093.34/3101.29 c #Conflicts: 761000 | #Constraints: 36982
3093.34/3101.29 c #Conflicts: 762000 | #Constraints: 37982
3093.34/3101.29 c #Conflicts: 763000 | #Constraints: 38982
3093.34/3101.29 c #Conflicts: 764000 | #Constraints: 39982
3093.34/3101.29 c #Conflicts: 765000 | #Constraints: 40982
3093.34/3101.29 c #Conflicts: 766000 | #Constraints: 41982
3093.34/3101.29 c #Conflicts: 767000 | #Constraints: 42982
3093.34/3101.29 c #Conflicts: 768000 | #Constraints: 43982
3093.34/3101.29 c #Conflicts: 769000 | #Constraints: 44982
3093.34/3101.29 c #Conflicts: 770000 | #Constraints: 45982
3093.34/3101.29 c #Conflicts: 771000 | #Constraints: 46982
3093.34/3101.29 c #Conflicts: 772000 | #Constraints: 47982
3093.34/3101.29 c #Conflicts: 773000 | #Constraints: 48982
3093.34/3101.29 c #Conflicts: 774000 | #Constraints: 49982
3093.34/3101.29 c INPROCESSING
3093.34/3101.29 c GARBAGE COLLECT
3093.34/3101.29 c #Conflicts: 775000 | #Constraints: 33677
3093.34/3101.29 c #Conflicts: 776000 | #Constraints: 34677
3093.34/3101.29 c #Conflicts: 777000 | #Constraints: 35677
3093.34/3101.29 c #Conflicts: 778000 | #Constraints: 36677
3093.34/3101.29 c #Conflicts: 779000 | #Constraints: 37677
3093.34/3101.29 c #Conflicts: 780000 | #Constraints: 38677
3093.34/3101.29 c #Conflicts: 781000 | #Constraints: 39677
3093.34/3101.29 c #Conflicts: 782000 | #Constraints: 40677
3093.34/3101.29 c #Conflicts: 783000 | #Constraints: 41677
3093.34/3101.29 c #Conflicts: 784000 | #Constraints: 42677
3093.34/3101.29 c #Conflicts: 785000 | #Constraints: 43677
3093.34/3101.29 c #Conflicts: 786000 | #Constraints: 44677
3093.34/3101.29 c #Conflicts: 787000 | #Constraints: 45677
3093.34/3101.29 c #Conflicts: 788000 | #Constraints: 46677
3093.34/3101.29 c #Conflicts: 789000 | #Constraints: 47677
3093.34/3101.29 c #Conflicts: 790000 | #Constraints: 48677
3093.34/3101.29 c #Conflicts: 791000 | #Constraints: 49677
3093.34/3101.29 c #Conflicts: 792000 | #Constraints: 50677
3093.34/3101.29 c INPROCESSING
3093.34/3101.29 c GARBAGE COLLECT
3093.34/3101.29 c #Conflicts: 793000 | #Constraints: 33952
3093.34/3101.29 c #Conflicts: 794000 | #Constraints: 34952
3093.34/3101.29 c #Conflicts: 795000 | #Constraints: 35952
3093.34/3101.29 c #Conflicts: 796000 | #Constraints: 36952
3093.34/3101.29 c #Conflicts: 797000 | #Constraints: 37952
3093.34/3101.29 c #Conflicts: 798000 | #Constraints: 38952
3093.34/3101.29 c #Conflicts: 799000 | #Constraints: 39952
3093.34/3101.29 c #Conflicts: 800000 | #Constraints: 40952
3093.34/3101.29 c #Conflicts: 801000 | #Constraints: 41952
3093.34/3101.29 c #Conflicts: 802000 | #Constraints: 42952
3093.34/3101.29 c #Conflicts: 803000 | #Constraints: 43952
3093.34/3101.29 c #Conflicts: 804000 | #Constraints: 44952
3093.34/3101.29 c #Conflicts: 805000 | #Constraints: 45952
3093.34/3101.29 c #Conflicts: 806000 | #Constraints: 46952
3093.34/3101.29 c #Conflicts: 807000 | #Constraints: 47952
3093.34/3101.29 c #Conflicts: 808000 | #Constraints: 48952
3093.34/3101.29 c #Conflicts: 809000 | #Constraints: 49952
3093.34/3101.29 c #Conflicts: 810000 | #Constraints: 50952
3093.34/3101.29 c INPROCESSING
3093.34/3101.29 c GARBAGE COLLECT
3093.34/3101.29 c #Conflicts: 811000 | #Constraints: 34219
3093.34/3101.29 c #Conflicts: 812000 | #Constraints: 35219
3093.34/3101.29 c #Conflicts: 813000 | #Constraints: 36219
3433.97/3442.73 c #Conflicts: 814000 | #Constraints: 37219
3433.97/3442.73 c #Conflicts: 815000 | #Constraints: 38219
3433.97/3442.73 c #Conflicts: 816000 | #Constraints: 39219
3433.97/3442.73 c #Conflicts: 817000 | #Constraints: 40219
3433.97/3442.73 c #Conflicts: 818000 | #Constraints: 41219
3433.97/3442.73 c #Conflicts: 819000 | #Constraints: 42219
3433.97/3442.73 c #Conflicts: 820000 | #Constraints: 43219
3433.97/3442.73 c #Conflicts: 821000 | #Constraints: 44219
3433.97/3442.73 c #Conflicts: 822000 | #Constraints: 45219
3433.97/3442.73 c #Conflicts: 823000 | #Constraints: 46219
3433.97/3442.73 c #Conflicts: 824000 | #Constraints: 47219
3433.97/3442.73 c #Conflicts: 825000 | #Constraints: 48219
3433.97/3442.73 c #Conflicts: 826000 | #Constraints: 49219
3433.97/3442.73 c #Conflicts: 827000 | #Constraints: 50219
3433.97/3442.73 c #Conflicts: 828000 | #Constraints: 51219
3433.97/3442.73 c INPROCESSING
3433.97/3442.73 c GARBAGE COLLECT
3433.97/3442.73 c #Conflicts: 829000 | #Constraints: 34311
3433.97/3442.73 c #Conflicts: 830000 | #Constraints: 35311
3433.97/3442.73 c #Conflicts: 831000 | #Constraints: 36311
3433.97/3442.73 c #Conflicts: 832000 | #Constraints: 37311
3433.97/3442.73 c #Conflicts: 833000 | #Constraints: 38311
3433.97/3442.73 c #Conflicts: 834000 | #Constraints: 39311
3433.97/3442.73 c #Conflicts: 835000 | #Constraints: 40311
3433.97/3442.73 c #Conflicts: 836000 | #Constraints: 41311
3433.97/3442.73 c #Conflicts: 837000 | #Constraints: 42311
3433.97/3442.73 c #Conflicts: 838000 | #Constraints: 43311
3433.97/3442.73 c #Conflicts: 839000 | #Constraints: 44311
3433.97/3442.73 c #Conflicts: 840000 | #Constraints: 45311
3433.97/3442.73 c #Conflicts: 841000 | #Constraints: 46311
3433.97/3442.73 c #Conflicts: 842000 | #Constraints: 47311
3433.97/3442.73 c #Conflicts: 843000 | #Constraints: 48311
3433.97/3442.73 c #Conflicts: 844000 | #Constraints: 49311
3433.97/3442.73 c #Conflicts: 845000 | #Constraints: 50311
3433.97/3442.73 c #Conflicts: 846000 | #Constraints: 51311
3433.97/3442.73 c INPROCESSING
3433.97/3442.73 c GARBAGE COLLECT
3433.97/3442.73 c #Conflicts: 847000 | #Constraints: 34145
3433.97/3442.73 c #Conflicts: 848000 | #Constraints: 35145
3433.97/3442.73 c #Conflicts: 849000 | #Constraints: 36145
3433.97/3442.73 c #Conflicts: 850000 | #Constraints: 37145
3433.97/3442.73 c #Conflicts: 851000 | #Constraints: 38145
3433.97/3442.73 c #Conflicts: 852000 | #Constraints: 39145
3433.97/3442.73 c #Conflicts: 853000 | #Constraints: 40145
3433.97/3442.73 c #Conflicts: 854000 | #Constraints: 41145
3433.97/3442.73 c #Conflicts: 855000 | #Constraints: 42145
3433.97/3442.73 c #Conflicts: 856000 | #Constraints: 43145
3433.97/3442.73 c #Conflicts: 857000 | #Constraints: 44145
3433.97/3442.73 c #Conflicts: 858000 | #Constraints: 45145
3433.97/3442.73 c #Conflicts: 859000 | #Constraints: 46145
3433.97/3442.73 c #Conflicts: 860000 | #Constraints: 47145
3433.97/3442.73 c #Conflicts: 861000 | #Constraints: 48145
3433.97/3442.73 c #Conflicts: 862000 | #Constraints: 49145
3433.97/3442.73 c #Conflicts: 863000 | #Constraints: 50145
3433.97/3442.73 c #Conflicts: 864000 | #Constraints: 51145
3433.97/3442.73 c #Conflicts: 865000 | #Constraints: 52145
3433.97/3442.73 c INPROCESSING
3433.97/3442.73 c GARBAGE COLLECT
3433.97/3442.73 c #Conflicts: 866000 | #Constraints: 34708
3433.97/3442.73 c #Conflicts: 867000 | #Constraints: 35708
3433.97/3442.73 c #Conflicts: 868000 | #Constraints: 36708
3433.97/3442.73 c #Conflicts: 869000 | #Constraints: 37708
3433.97/3442.73 c #Conflicts: 870000 | #Constraints: 38708
3433.97/3442.73 c #Conflicts: 871000 | #Constraints: 39708
3433.97/3442.73 c #Conflicts: 872000 | #Constraints: 40708
3433.97/3442.73 c #Conflicts: 873000 | #Constraints: 41708
3433.97/3442.73 c #Conflicts: 874000 | #Constraints: 42708
3433.97/3442.73 c #Conflicts: 875000 | #Constraints: 43708
3433.97/3442.73 c #Conflicts: 876000 | #Constraints: 44708
3433.97/3442.73 c #Conflicts: 877000 | #Constraints: 45708
3433.97/3442.73 c #Conflicts: 878000 | #Constraints: 46708
3433.97/3442.73 c #Conflicts: 879000 | #Constraints: 47708
3433.97/3442.73 c #Conflicts: 880000 | #Constraints: 48708
3433.97/3442.73 c #Conflicts: 881000 | #Constraints: 49708
3433.97/3442.73 c #Conflicts: 882000 | #Constraints: 50708
3433.97/3442.73 c #Conflicts: 883000 | #Constraints: 51708
3433.97/3442.73 c #Conflicts: 884000 | #Constraints: 52708
3433.97/3442.73 c INPROCESSING
3433.97/3442.73 c GARBAGE COLLECT
3433.97/3442.73 c #Conflicts: 885000 | #Constraints: 35116
3433.97/3442.73 c #Conflicts: 886000 | #Constraints: 36116
3433.97/3442.73 c #Conflicts: 887000 | #Constraints: 37116
3433.97/3442.73 c #Conflicts: 888000 | #Constraints: 38116
3433.97/3442.73 c #Conflicts: 889000 | #Constraints: 39116
3600.07/3609.20 c #Conflicts: 890000 | #Constraints: 40116
3600.07/3609.20 c #Conflicts: 891000 | #Constraints: 41116
3600.07/3609.20 c #Conflicts: 892000 | #Constraints: 42116
3600.07/3609.20 c #Conflicts: 893000 | #Constraints: 43116
3600.07/3609.20 c #Conflicts: 894000 | #Constraints: 44116
3600.07/3609.20 c #Conflicts: 895000 | #Constraints: 45116
3600.07/3609.20 c #Conflicts: 896000 | #Constraints: 46116
3600.07/3609.20 c #Conflicts: 897000 | #Constraints: 47116
3600.07/3609.20 c #Conflicts: 898000 | #Constraints: 48116
3600.07/3609.20 c #Conflicts: 899000 | #Constraints: 49116
3600.07/3609.20 c #Conflicts: 900000 | #Constraints: 50116
3600.07/3609.20 c #Conflicts: 901000 | #Constraints: 51116
3600.07/3609.20 c #Conflicts: 902000 | #Constraints: 52116
3600.07/3609.20 c #Conflicts: 903000 | #Constraints: 53116
3600.07/3609.20 c INPROCESSING
3600.07/3609.20 c GARBAGE COLLECT
3600.07/3609.20 c #Conflicts: 904000 | #Constraints: 35351
3600.07/3609.20 c #Conflicts: 905000 | #Constraints: 36351
3600.07/3609.20 c #Conflicts: 906000 | #Constraints: 37351
3600.07/3609.20 c #Conflicts: 907000 | #Constraints: 38351
3600.07/3609.20 c #Conflicts: 908000 | #Constraints: 39351
3600.07/3609.20 c #Conflicts: 909000 | #Constraints: 40351
3600.07/3609.20 c #Conflicts: 910000 | #Constraints: 41351
3600.07/3609.20 c #Conflicts: 911000 | #Constraints: 42351
3600.07/3609.20 c #Conflicts: 912000 | #Constraints: 43351
3600.07/3609.20 c #Conflicts: 913000 | #Constraints: 44351
3600.07/3609.20 c #Conflicts: 914000 | #Constraints: 45351
3600.07/3609.20 c #Conflicts: 915000 | #Constraints: 46351
3600.07/3609.20 c #Conflicts: 916000 | #Constraints: 47351
3600.07/3609.20 c #Conflicts: 917000 | #Constraints: 48351
3600.07/3609.20 c #Conflicts: 918000 | #Constraints: 49351
3600.07/3609.20 c #Conflicts: 919000 | #Constraints: 50351
3600.07/3609.20 c #Conflicts: 920000 | #Constraints: 51351
3600.07/3609.20 c #Conflicts: 921000 | #Constraints: 52351
3600.07/3609.20 c #Conflicts: 922000 | #Constraints: 53351
3600.07/3609.20 c INPROCESSING
3600.07/3609.20 c GARBAGE COLLECT
3600.07/3609.20 c #Conflicts: 923000 | #Constraints: 35336
3600.07/3609.20 c #Conflicts: 924000 | #Constraints: 36336
3600.07/3609.20 c #Conflicts: 925000 | #Constraints: 37336
3600.07/3609.20 c #Conflicts: 926000 | #Constraints: 38336
3600.07/3609.20 c #Conflicts: 927000 | #Constraints: 39336
3600.07/3609.20 c #Conflicts: 928000 | #Constraints: 40336
3600.07/3609.20 c #Conflicts: 929000 | #Constraints: 41336
3600.07/3609.20 c #Conflicts: 930000 | #Constraints: 42336
3600.07/3609.20 c #Conflicts: 931000 | #Constraints: 43336
3600.07/3609.20 c Program interrupted by user.
3600.07/3609.20 c cpu time 3588.65 s
3600.07/3609.20 c deterministic time 1014931003483 1.01e+12
3600.07/3609.20 c optimization time 33.7661 s
3600.07/3609.20 c total solve time 3255.66 s
3600.07/3609.20 c core-guided solve time 3255.66 s
3600.07/3609.20 c propagation time 2649.55 s
3600.07/3609.20 c conflict analysis time 573.046 s
3600.07/3609.20 c propagations 452853922
3600.07/3609.20 c resolve steps 23087859
3600.07/3609.20 c decisions 8003352
3600.07/3609.20 c conflicts 931230
3600.07/3609.20 c restarts 2042
3600.07/3609.20 c inprocessing phases 87
3600.07/3609.20 c input clauses 15096
3600.07/3609.20 c input cardinalities 7
3600.07/3609.20 c input general constraints 0
3600.07/3609.20 c input average constraint length 2.77
3600.07/3609.20 c input average constraint degree 1.06
3600.07/3609.20 c learned clauses 554088
3600.07/3609.20 c learned cardinalities 249
3600.07/3609.20 c learned general constraints 376898
3600.07/3609.20 c learned average constraint length 1375.70
3600.07/3609.20 c learned average constraint degree 90404.78
3600.07/3609.20 c watched constraints 343759
3600.07/3609.20 c counting constraints 33139
3600.07/3609.20 c gcd simplifications 3847
3600.07/3609.20 c detected cardinalities 2
3600.07/3609.20 c weakened non-implied lits 144378321
3600.07/3609.20 c weakened non-implying lits 14982
3600.07/3609.20 c original variables 4318
3600.07/3609.20 c clausal propagations 353503690
3600.07/3609.20 c cardinality propagations 414639
3600.07/3609.20 c watched propagations 7069345
3600.07/3609.20 c counting propagations 90765216
3600.07/3609.20 c watch lookups 12111966131
3600.07/3609.20 c watch backjump lookups 9208526972
3600.07/3609.20 c watch checks 681505644801
3600.07/3609.20 c propagation checks 305769325458
3600.07/3609.20 c constraint additions 5412896670
3600.07/3609.20 c trail pops 461786176
3600.07/3609.20 c formula constraints 15096
3600.07/3609.20 c learned constraints 931235
3600.07/3609.20 c bound constraints 7
3600.07/3609.20 c core-guided constraints 0
3600.07/3609.20 c encountered formula constraints 16211319
3600.07/3609.20 c encountered learned constraints 7807769
3600.07/3609.20 c encountered bound constraints 1
3600.07/3609.20 c encountered core-guided constraints 0
3600.07/3609.20 c LP total time 0 s
3600.07/3609.20 c LP solve time 0 s
3600.07/3609.20 c LP constraints added 0
3600.07/3609.20 c LP constraints removed 0
3600.07/3609.20 c LP pivots internal 0
3600.07/3609.20 c LP pivots root 0
3600.07/3609.20 c LP calls 0
3600.07/3609.20 c LP optimalities 0
3600.07/3609.20 c LP no pivot count 0
3600.07/3609.20 c LP infeasibilities 0
3600.07/3609.20 c LP valid Farkas constraints 0
3600.07/3609.20 c LP learned Farkas constraints 0
3600.07/3609.20 c LP basis resets 0
3600.07/3609.20 c LP cycling count 0
3600.07/3609.20 c LP singular count 0
3600.07/3609.20 c LP no primal count 0
3600.07/3609.20 c LP no farkas count 0
3600.07/3609.20 c LP other issue count 0
3600.07/3609.20 c LP Gomory cuts 0
3600.07/3609.20 c LP learned cuts 0
3600.07/3609.20 c LP deleted cuts 0
3600.07/3609.20 c LP encountered Gomory constraints 0
3600.07/3609.20 c LP encountered Farkas constraints 0
3600.07/3609.20 c LP encountered learned Farkas constraints 0
3600.07/3609.20 c CG auxiliary variables introduced 0
3600.07/3609.20 c CG solutions found 0
3600.07/3609.20 c CG cores constructed 6
3600.07/3609.20 c CG core cardinality constraints returned 0
3600.07/3609.20 c CG unit cores 0
3600.07/3609.20 c CG single cores 6
3600.07/3609.20 c CG blocks removed during cardinality reduction 0
3600.07/3609.20 c CG first core best 0
3600.07/3609.20 c CG decision core best 0
3600.07/3609.20 c CG core reduction tie 0
3600.07/3609.20 c CG core degree average 1.00
3600.07/3609.20 c CG core slack average 47.50
3600.07/3609.20 c CG exhausted 0
3600.07/3609.20 c CG exhaust time 0 s
3600.07/3609.20 c CG trimmed 0
3600.07/3609.20 c CG trim time 0.000667 s
3600.07/3609.20 c CG minimized 0
3600.07/3609.20 c CG minimize time 0 s
3600.07/3609.20 c CG am1 prop time 0.000814 s
3600.07/3609.20 c CG # am1s reformulated 0
3600.07/3609.20 c CG lower bound derived from am1s 0
3600.07/3609.20 c CG # clausal cores 6
3600.07/3609.20 c CG # cardinality cores 0
3600.07/3609.20 c CG # pb cores 0
3600.07/3609.20 c CG # pb reforms 0
3600.07/3609.20 c CG # cores discarded because of pb reform 0
3600.07/3609.20 d LOWERBOUND 6
3600.07/3609.20 d NCORES 6
3600.07/3609.20 d NPBCORES 0
3600.07/3609.20 d NPBREFORM 0
3600.07/3609.20 d NTRIMMED 0
3600.07/3609.20 d NEXHAUSTED 0
3600.07/3609.20 d NAM1S 0
3600.07/3609.20 d AM1LB 0
3600.07/3609.20 c [Papilo Statistics]
3600.07/3609.20 c prepro time 0.0165116s
3600.07/3609.20 c # tsx applied 20
3600.07/3609.20 c # tsx conflicts 0
3600.07/3609.20 c # bound changes 5
3600.07/3609.20 c # side changes 12
3600.07/3609.20 c # coef changes 43
3600.07/3609.20 c # rounds 2
3600.07/3609.20 c # deted vars 11
3600.07/3609.20 c # deted constrs 24
3600.07/3609.20 c # consecutive rounds of only bound changes 0
3600.07/3609.20 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: 63968 MiB (62510 MiB free)
memory of node 1: 64473 MiB (62624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435559-1721106919/watcher-4435559-1721106919 -o /tmp/evaluation-result-4435559-1721106919/solver-4435559-1721106919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840503 --watchdog 3760 mixed-bag HOME/instance-4435559-1721106919.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=842584, runsolver pid=842581
Current StackSize limit: 8192 KiB
[startup+0.100501 s]*
/proc/loadavg: 4.14 4.12 4.06 5/255 842595
/proc/meminfo: memFree=128074320/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=121468 memory=53404 CPUtime=0.09 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 10962 0 0 0 8 1 0 0 20 0 1 0 162862736 124383232 13351 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 30367 13351 3785 3002 0 14118 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 121468 KiB
Current children cumulated memory: 53404 KiB
[startup+0.206518 s]*
/proc/loadavg: 4.14 4.12 4.06 4/253 842596
/proc/meminfo: memFree=128686984/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=138212 memory=69560 CPUtime=0.19 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 15855 0 0 0 17 2 0 0 20 0 1 0 162862736 141529088 17390 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 34553 17390 3817 3002 0 18304 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 138212 KiB
Current children cumulated memory: 69560 KiB
[startup+0.305501 s]*
/proc/loadavg: 4.14 4.12 4.06 4/253 842596
/proc/meminfo: memFree=128665020/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=161476 memory=87252 CPUtime=0.28 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 20231 0 0 0 25 3 0 0 20 0 1 0 162862736 165351424 21813 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 40369 21813 3897 3002 0 24120 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 161476 KiB
Current children cumulated memory: 87252 KiB
[startup+0.700191 s]
/proc/loadavg: 4.14 4.12 4.06 4/249 842627
/proc/meminfo: memFree=128641752/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=198292 memory=122796 CPUtime=0.67 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 28977 0 0 0 62 5 0 0 20 0 1 0 162862736 203051008 30699 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 49573 30699 4025 3002 0 33324 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 198292 KiB
Current children cumulated memory: 122796 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=128320952/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=209532 memory=135408 CPUtime=1.46 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 32177 0 0 0 141 5 0 0 20 0 1 0 162862736 214560768 33852 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 52383 33852 4040 3002 0 36134 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 209532 KiB
Current children cumulated memory: 135408 KiB
[startup+3.10537 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=127626228/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=238656 memory=157580 CPUtime=3.07 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 37704 0 0 0 301 6 0 0 20 0 1 0 162862736 244383744 39395 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 59664 39395 4040 3002 0 43415 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 238656 KiB
Current children cumulated memory: 157580 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842642
/proc/meminfo: memFree=127350564/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=245912 memory=160248 CPUtime=6.26 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 38366 0 0 0 619 7 0 0 20 0 1 0 162862736 251813888 40062 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 61478 40062 4056 3002 0 45229 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 245912 KiB
Current children cumulated memory: 160248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842644
/proc/meminfo: memFree=126876580/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=274204 memory=188752 CPUtime=12.64 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 45501 0 0 0 1256 8 0 0 20 0 1 0 162862736 280784896 47188 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 68551 47188 4056 3002 0 52302 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 274204 KiB
Current children cumulated memory: 188752 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.05 5/255 842691
/proc/meminfo: memFree=126945156/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=274204 memory=188940 CPUtime=25.41 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 45573 0 0 0 2532 9 0 0 20 0 1 0 162862736 280784896 47235 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 68551 47235 4056 3002 0 52302 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 274204 KiB
Current children cumulated memory: 188940 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842696
/proc/meminfo: memFree=126131392/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=274204 memory=191064 CPUtime=50.94 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 45690 0 0 0 5085 9 0 0 20 0 1 0 162862736 280784896 47766 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 68551 47766 4056 3002 0 52302 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 274204 KiB
Current children cumulated memory: 191064 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842704
/proc/meminfo: memFree=126120088/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=274420 memory=196252 CPUtime=102 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 45986 0 0 0 10191 9 0 0 20 0 1 0 162862736 281006080 49063 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 68605 49063 4056 3002 0 52356 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 274420 KiB
Current children cumulated memory: 196252 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/254 842715
/proc/meminfo: memFree=126045744/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=298868 memory=237004 CPUtime=161.84 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 48626 0 0 0 16175 9 0 0 20 0 1 0 162862736 306040832 59251 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 74717 59251 4056 3002 0 58468 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 298868 KiB
Current children cumulated memory: 237004 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842727
/proc/meminfo: memFree=125989516/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=322944 memory=257392 CPUtime=221.69 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 54767 0 0 0 22159 10 0 0 20 0 1 0 162862736 330694656 64348 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 80736 64348 4056 3002 0 64487 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 322944 KiB
Current children cumulated memory: 257392 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/258 842742
/proc/meminfo: memFree=125915704/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=355388 memory=285964 CPUtime=281.54 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 63127 0 0 0 28143 11 0 0 20 0 1 0 162862736 363917312 71491 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 88847 71491 4197 3002 0 72598 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 355388 KiB
Current children cumulated memory: 285964 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.14 4.08 5/258 842755
/proc/meminfo: memFree=125818544/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=389296 memory=317188 CPUtime=341.4 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 66256 0 0 0 34094 46 0 0 20 0 1 0 162862736 398639104 79297 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 97324 79297 4341 3002 0 81075 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 389296 KiB
Current children cumulated memory: 317188 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/259 842766
/proc/meminfo: memFree=125682136/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=389296 memory=325568 CPUtime=401.25 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 66345 0 0 0 40037 88 0 0 20 0 1 0 162862736 398639104 81392 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 97324 81392 4341 3002 0 81075 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 389296 KiB
Current children cumulated memory: 325568 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 842777
/proc/meminfo: memFree=125646104/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=420116 memory=344036 CPUtime=461.1 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 66928 0 0 0 45993 117 0 0 20 0 1 0 162862736 430198784 86009 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 105029 86009 4341 3002 0 88780 0
################
# More data... #
################
Current children cumulated memory: 451736 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 844395
/proc/meminfo: memFree=124605212/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=451736 CPUtime=2855.04 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 70804 0 0 0 284591 913 0 0 20 0 1 0 162862736 564830208 112934 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 112934 4341 3002 0 121649 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 451736 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 844406
/proc/meminfo: memFree=124596372/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=453784 CPUtime=2914.89 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 70890 0 0 0 290559 930 0 0 20 0 1 0 162862736 564830208 113446 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 113446 4341 3002 0 121649 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 453784 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 844416
/proc/meminfo: memFree=124595684/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=453784 CPUtime=2974.74 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 70975 0 0 0 296522 952 0 0 20 0 1 0 162862736 564830208 113446 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 113446 4341 3002 0 121649 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 453784 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 844426
/proc/meminfo: memFree=124594832/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=453784 CPUtime=3034.59 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 71091 0 0 0 302484 975 0 0 20 0 1 0 162862736 564830208 113446 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 113446 4341 3002 0 121649 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 453784 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 844436
/proc/meminfo: memFree=124587984/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=459928 CPUtime=3094.43 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 71190 0 0 0 308450 993 0 0 20 0 1 0 162862736 564830208 114982 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 114982 4341 3002 0 121649 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 459928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 844447
/proc/meminfo: memFree=124579112/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=467860 CPUtime=3154.27 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 71298 0 0 0 314413 1014 0 0 20 0 1 0 162862736 564830208 116965 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 116965 4341 3002 0 121649 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 467860 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 844458
/proc/meminfo: memFree=124576064/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=469280 CPUtime=3214.1 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 71446 0 0 0 320382 1028 0 0 20 0 1 0 162862736 564830208 117320 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 117320 4341 3002 0 121649 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 469280 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 844473
/proc/meminfo: memFree=124561260/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=483616 CPUtime=3273.95 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 71624 0 0 0 326356 1039 0 0 20 0 1 0 162862736 564830208 120904 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 120904 4341 3002 0 121649 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 483616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 844484
/proc/meminfo: memFree=124511128/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=483616 CPUtime=3333.8 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 71772 0 0 0 332322 1058 0 0 20 0 1 0 162862736 564830208 120904 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 120904 4341 3002 0 121649 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 483616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 844494
/proc/meminfo: memFree=124510456/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=483616 CPUtime=3393.66 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 71913 0 0 0 338288 1078 0 0 20 0 1 0 162862736 564830208 120904 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 120904 4341 3002 0 121649 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 483616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 844506
/proc/meminfo: memFree=124509816/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=483616 CPUtime=3453.52 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 72052 0 0 0 344257 1095 0 0 20 0 1 0 162862736 564830208 120904 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 120904 4341 3002 0 121649 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 483616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/257 844517
/proc/meminfo: memFree=124508884/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=483616 CPUtime=3513.38 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 72225 0 0 0 350224 1114 0 0 20 0 1 0 162862736 564830208 120904 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 120904 4341 3002 0 121649 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 483616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.17 4.12 5/257 844528
/proc/meminfo: memFree=124507920/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=483616 CPUtime=3573.23 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 72379 0 0 0 356189 1134 0 0 20 0 1 0 162862736 564830208 120904 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 120904 4341 3002 0 121649 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 483616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.28 4.18 4.12 4/249 844539
/proc/meminfo: memFree=127617716/131524600 swapFree=131071996/131071996
[pid=842584] ppid=842581 vsize=551592 memory=483616 CPUtime=3600.07 cores=5,7
/proc/842584/stat : 842584 (mixed-bag) R 842581 842584 840490 0 -1 4194304 72381 0 0 0 358865 1142 0 0 20 0 1 0 162862736 564830208 120904 134679101440 4194304 16487941 140721341447824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42270720 140721341449239 140721341449316 140721341449316 140721341456331 0
/proc/842584/statm: 137898 120904 4341 3002 0 121649 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 551592 KiB
Current children cumulated memory: 483616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 842584 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.65 s, system=11.4306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.2
CPU time (s): 3600.08
CPU user time (s): 3588.65
CPU system time (s): 11.4306
CPU usage (%): 99.7473
Max. virtual memory (cumulated for all children) (KiB): 551592
Max. memory (cumulated for all children) (KiB): 483616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.65
system time used= 11.4306
maximum resident set size= 484240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72398
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= 88
involuntary context switches= 1372
# summary of solver processes directly reported to runsolver:
# pid: 842584
# total CPU time (s): 3600.08
# total CPU user time (s): 3588.65
# total CPU system time (s): 11.4306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63244 second user time and 17.6769 second system time
The end
Begin job on nodeC035 at 2024-07-16 07:15:31
IDJOB=4435559
IDBENCH=148191
IDSOLVER=3066
FILE ID=nodeC035/4435559-1721106919
RUNJOBID= nodeC035-1721103319-840503
SLURM_JOB_ID= 7505619
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435559-1721106919/watcher-4435559-1721106919 -o /tmp/evaluation-result-4435559-1721106919/solver-4435559-1721106919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840503 --watchdog 3760 mixed-bag HOME/instance-4435559-1721106919.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1431127557
nodeC035.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 : 3657.262
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.65
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 : 3670.739
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 : 7005.79
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.981
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.65
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 : 3613.746
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 : 7005.79
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 : 3656.267
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.65
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 : 3662.506
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 : 7005.79
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 : 3656.348
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.65
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 : 3667.408
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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128144448 kB
MemAvailable: 128755548 kB
Buffers: 381412 kB
Cached: 1068896 kB
SwapCached: 0 kB
Active: 697996 kB
Inactive: 2090976 kB
Active(anon): 1560 kB
Inactive(anon): 1375144 kB
Active(file): 696436 kB
Inactive(file): 715832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 38296 kB
Writeback: 0 kB
AnonPages: 1336048 kB
Mapped: 128320 kB
Shmem: 37724 kB
KReclaimable: 77308 kB
Slab: 181008 kB
SReclaimable: 77308 kB
SUnreclaim: 103700 kB
KernelStack: 4024 kB
PageTables: 11736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1793028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1296384 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC035 at 2024-07-16 08:15:41