0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.08 c [STEP] solving with SCIP
299.19/300.16 c [STEP] preprocessing done, loading into solver
299.19/300.19 c [STEP] solving
299.19/300.19 c #variables 4308 #constraints 15096
299.19/300.19 c SMALL=int, LARGE=long long
299.19/300.19 d SCIPUB 15
299.19/300.19 c bounds - >= 0 @ 299.157
299.19/300.19 c stratification level: 0
395.34/396.57 c bounds - >= 1 @ 299.204
395.34/396.57 c bounds - >= 2 @ 299.205
395.34/396.57 c bounds - >= 3 @ 299.206
395.34/396.57 c bounds - >= 4 @ 299.206
395.34/396.57 c bounds - >= 5 @ 299.206
395.34/396.57 c bounds - >= 6 @ 299.207
395.34/396.57 c #Conflicts: 1000 | #Constraints: 16107
395.34/396.57 c #Conflicts: 2000 | #Constraints: 17107
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 3000 | #Constraints: 17108
395.34/396.57 c #Conflicts: 4000 | #Constraints: 18108
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 5000 | #Constraints: 17513
395.34/396.57 c #Conflicts: 6000 | #Constraints: 18513
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 7000 | #Constraints: 17529
395.34/396.57 c #Conflicts: 8000 | #Constraints: 18529
395.34/396.57 c #Conflicts: 9000 | #Constraints: 19529
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 10000 | #Constraints: 18223
395.34/396.57 c #Conflicts: 11000 | #Constraints: 19223
395.34/396.57 c #Conflicts: 12000 | #Constraints: 20223
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 13000 | #Constraints: 18679
395.34/396.57 c #Conflicts: 14000 | #Constraints: 19679
395.34/396.57 c #Conflicts: 15000 | #Constraints: 20679
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 16000 | #Constraints: 18916
395.34/396.57 c #Conflicts: 17000 | #Constraints: 19916
395.34/396.57 c #Conflicts: 18000 | #Constraints: 20916
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 19000 | #Constraints: 18951
395.34/396.57 c #Conflicts: 20000 | #Constraints: 19951
395.34/396.57 c #Conflicts: 21000 | #Constraints: 20951
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 22000 | #Constraints: 18786
395.34/396.57 c #Conflicts: 23000 | #Constraints: 19786
395.34/396.57 c #Conflicts: 24000 | #Constraints: 20786
395.34/396.57 c #Conflicts: 25000 | #Constraints: 21786
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 26000 | #Constraints: 19366
395.34/396.57 c #Conflicts: 27000 | #Constraints: 20366
395.34/396.57 c #Conflicts: 28000 | #Constraints: 21366
395.34/396.57 c #Conflicts: 29000 | #Constraints: 22366
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 30000 | #Constraints: 19746
395.34/396.57 c #Conflicts: 31000 | #Constraints: 20746
395.34/396.57 c #Conflicts: 32000 | #Constraints: 21746
395.34/396.57 c #Conflicts: 33000 | #Constraints: 22746
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 34000 | #Constraints: 19953
395.34/396.57 c #Conflicts: 35000 | #Constraints: 20953
395.34/396.57 c #Conflicts: 36000 | #Constraints: 21953
395.34/396.57 c #Conflicts: 37000 | #Constraints: 22953
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 38000 | #Constraints: 19954
395.34/396.57 c #Conflicts: 39000 | #Constraints: 20954
395.34/396.57 c #Conflicts: 40000 | #Constraints: 21954
395.34/396.57 c #Conflicts: 41000 | #Constraints: 22954
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 42000 | #Constraints: 19743
395.34/396.57 c #Conflicts: 43000 | #Constraints: 20743
395.34/396.57 c #Conflicts: 44000 | #Constraints: 21743
395.34/396.57 c #Conflicts: 45000 | #Constraints: 22743
395.34/396.57 c #Conflicts: 46000 | #Constraints: 23743
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 47000 | #Constraints: 20348
395.34/396.57 c #Conflicts: 48000 | #Constraints: 21348
395.34/396.57 c #Conflicts: 49000 | #Constraints: 22348
395.34/396.57 c #Conflicts: 50000 | #Constraints: 23348
395.34/396.57 c #Conflicts: 51000 | #Constraints: 24348
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 52000 | #Constraints: 20747
395.34/396.57 c #Conflicts: 53000 | #Constraints: 21747
395.34/396.57 c #Conflicts: 54000 | #Constraints: 22747
395.34/396.57 c #Conflicts: 55000 | #Constraints: 23747
395.34/396.57 c #Conflicts: 56000 | #Constraints: 24747
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 57000 | #Constraints: 20949
395.34/396.57 c #Conflicts: 58000 | #Constraints: 21949
395.34/396.57 c #Conflicts: 59000 | #Constraints: 22949
395.34/396.57 c #Conflicts: 60000 | #Constraints: 23949
395.34/396.57 c #Conflicts: 61000 | #Constraints: 24949
395.34/396.57 c INPROCESSING
395.34/396.57 c GARBAGE COLLECT
395.34/396.57 c #Conflicts: 62000 | #Constraints: 20952
395.34/396.57 c #Conflicts: 63000 | #Constraints: 21952
395.34/396.57 c #Conflicts: 64000 | #Constraints: 22952
395.34/396.57 c #Conflicts: 65000 | #Constraints: 23952
533.07/534.68 c #Conflicts: 66000 | #Constraints: 24952
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 67000 | #Constraints: 20795
533.07/534.68 c #Conflicts: 68000 | #Constraints: 21795
533.07/534.68 c #Conflicts: 69000 | #Constraints: 22795
533.07/534.68 c #Conflicts: 70000 | #Constraints: 23795
533.07/534.68 c #Conflicts: 71000 | #Constraints: 24795
533.07/534.68 c #Conflicts: 72000 | #Constraints: 25795
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 73000 | #Constraints: 21403
533.07/534.68 c #Conflicts: 74000 | #Constraints: 22403
533.07/534.68 c #Conflicts: 75000 | #Constraints: 23403
533.07/534.68 c #Conflicts: 76000 | #Constraints: 24403
533.07/534.68 c #Conflicts: 77000 | #Constraints: 25403
533.07/534.68 c #Conflicts: 78000 | #Constraints: 26403
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 79000 | #Constraints: 21793
533.07/534.68 c #Conflicts: 80000 | #Constraints: 22793
533.07/534.68 c #Conflicts: 81000 | #Constraints: 23793
533.07/534.68 c #Conflicts: 82000 | #Constraints: 24793
533.07/534.68 c #Conflicts: 83000 | #Constraints: 25793
533.07/534.68 c #Conflicts: 84000 | #Constraints: 26793
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 85000 | #Constraints: 21973
533.07/534.68 c #Conflicts: 86000 | #Constraints: 22973
533.07/534.68 c #Conflicts: 87000 | #Constraints: 23973
533.07/534.68 c #Conflicts: 88000 | #Constraints: 24973
533.07/534.68 c #Conflicts: 89000 | #Constraints: 25973
533.07/534.68 c #Conflicts: 90000 | #Constraints: 26973
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 91000 | #Constraints: 21968
533.07/534.68 c #Conflicts: 92000 | #Constraints: 22968
533.07/534.68 c #Conflicts: 93000 | #Constraints: 23968
533.07/534.68 c #Conflicts: 94000 | #Constraints: 24968
533.07/534.68 c #Conflicts: 95000 | #Constraints: 25968
533.07/534.68 c #Conflicts: 96000 | #Constraints: 26968
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 97000 | #Constraints: 21774
533.07/534.68 c #Conflicts: 98000 | #Constraints: 22774
533.07/534.68 c #Conflicts: 99000 | #Constraints: 23774
533.07/534.68 c #Conflicts: 100000 | #Constraints: 24774
533.07/534.68 c #Conflicts: 101000 | #Constraints: 25774
533.07/534.68 c #Conflicts: 102000 | #Constraints: 26774
533.07/534.68 c #Conflicts: 103000 | #Constraints: 27774
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 104000 | #Constraints: 22416
533.07/534.68 c #Conflicts: 105000 | #Constraints: 23416
533.07/534.68 c #Conflicts: 106000 | #Constraints: 24416
533.07/534.68 c #Conflicts: 107000 | #Constraints: 25416
533.07/534.68 c #Conflicts: 108000 | #Constraints: 26416
533.07/534.68 c #Conflicts: 109000 | #Constraints: 27416
533.07/534.68 c #Conflicts: 110000 | #Constraints: 28416
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 111000 | #Constraints: 22785
533.07/534.68 c #Conflicts: 112000 | #Constraints: 23785
533.07/534.68 c #Conflicts: 113000 | #Constraints: 24785
533.07/534.68 c #Conflicts: 114000 | #Constraints: 25785
533.07/534.68 c #Conflicts: 115000 | #Constraints: 26785
533.07/534.68 c #Conflicts: 116000 | #Constraints: 27785
533.07/534.68 c #Conflicts: 117000 | #Constraints: 28785
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 118000 | #Constraints: 22999
533.07/534.68 c #Conflicts: 119000 | #Constraints: 23999
533.07/534.68 c #Conflicts: 120000 | #Constraints: 24999
533.07/534.68 c #Conflicts: 121000 | #Constraints: 25999
533.07/534.68 c #Conflicts: 122000 | #Constraints: 26999
533.07/534.68 c #Conflicts: 123000 | #Constraints: 27999
533.07/534.68 c #Conflicts: 124000 | #Constraints: 28999
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 125000 | #Constraints: 23028
533.07/534.68 c #Conflicts: 126000 | #Constraints: 24028
533.07/534.68 c #Conflicts: 127000 | #Constraints: 25028
533.07/534.68 c #Conflicts: 128000 | #Constraints: 26028
533.07/534.68 c #Conflicts: 129000 | #Constraints: 27028
533.07/534.68 c #Conflicts: 130000 | #Constraints: 28028
533.07/534.68 c #Conflicts: 131000 | #Constraints: 29028
533.07/534.68 c INPROCESSING
533.07/534.68 c GARBAGE COLLECT
533.07/534.68 c #Conflicts: 132000 | #Constraints: 22827
533.07/534.68 c #Conflicts: 133000 | #Constraints: 23827
533.07/534.68 c #Conflicts: 134000 | #Constraints: 24827
533.07/534.68 c #Conflicts: 135000 | #Constraints: 25827
533.07/534.68 c #Conflicts: 136000 | #Constraints: 26827
533.07/534.68 c #Conflicts: 137000 | #Constraints: 27827
722.46/724.51 c #Conflicts: 138000 | #Constraints: 28827
722.46/724.51 c #Conflicts: 139000 | #Constraints: 29827
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 140000 | #Constraints: 23494
722.46/724.51 c #Conflicts: 141000 | #Constraints: 24494
722.46/724.51 c #Conflicts: 142000 | #Constraints: 25494
722.46/724.51 c #Conflicts: 143000 | #Constraints: 26494
722.46/724.51 c #Conflicts: 144000 | #Constraints: 27494
722.46/724.51 c #Conflicts: 145000 | #Constraints: 28494
722.46/724.51 c #Conflicts: 146000 | #Constraints: 29494
722.46/724.51 c #Conflicts: 147000 | #Constraints: 30494
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 148000 | #Constraints: 23916
722.46/724.51 c #Conflicts: 149000 | #Constraints: 24916
722.46/724.51 c #Conflicts: 150000 | #Constraints: 25916
722.46/724.51 c #Conflicts: 151000 | #Constraints: 26916
722.46/724.51 c #Conflicts: 152000 | #Constraints: 27916
722.46/724.51 c #Conflicts: 153000 | #Constraints: 28916
722.46/724.51 c #Conflicts: 154000 | #Constraints: 29916
722.46/724.51 c #Conflicts: 155000 | #Constraints: 30916
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 156000 | #Constraints: 24117
722.46/724.51 c #Conflicts: 157000 | #Constraints: 25117
722.46/724.51 c #Conflicts: 158000 | #Constraints: 26117
722.46/724.51 c #Conflicts: 159000 | #Constraints: 27117
722.46/724.51 c #Conflicts: 160000 | #Constraints: 28117
722.46/724.51 c #Conflicts: 161000 | #Constraints: 29117
722.46/724.51 c #Conflicts: 162000 | #Constraints: 30117
722.46/724.51 c #Conflicts: 163000 | #Constraints: 31117
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 164000 | #Constraints: 24143
722.46/724.51 c #Conflicts: 165000 | #Constraints: 25143
722.46/724.51 c #Conflicts: 166000 | #Constraints: 26143
722.46/724.51 c #Conflicts: 167000 | #Constraints: 27143
722.46/724.51 c #Conflicts: 168000 | #Constraints: 28143
722.46/724.51 c #Conflicts: 169000 | #Constraints: 29143
722.46/724.51 c #Conflicts: 170000 | #Constraints: 30143
722.46/724.51 c #Conflicts: 171000 | #Constraints: 31143
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 172000 | #Constraints: 23988
722.46/724.51 c #Conflicts: 173000 | #Constraints: 24988
722.46/724.51 c #Conflicts: 174000 | #Constraints: 25988
722.46/724.51 c #Conflicts: 175000 | #Constraints: 26988
722.46/724.51 c #Conflicts: 176000 | #Constraints: 27988
722.46/724.51 c #Conflicts: 177000 | #Constraints: 28988
722.46/724.51 c #Conflicts: 178000 | #Constraints: 29988
722.46/724.51 c #Conflicts: 179000 | #Constraints: 30988
722.46/724.51 c #Conflicts: 180000 | #Constraints: 31988
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 181000 | #Constraints: 24526
722.46/724.51 c #Conflicts: 182000 | #Constraints: 25526
722.46/724.51 c #Conflicts: 183000 | #Constraints: 26526
722.46/724.51 c #Conflicts: 184000 | #Constraints: 27526
722.46/724.51 c #Conflicts: 185000 | #Constraints: 28526
722.46/724.51 c #Conflicts: 186000 | #Constraints: 29526
722.46/724.51 c #Conflicts: 187000 | #Constraints: 30526
722.46/724.51 c #Conflicts: 188000 | #Constraints: 31526
722.46/724.51 c #Conflicts: 189000 | #Constraints: 32526
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 190000 | #Constraints: 24956
722.46/724.51 c #Conflicts: 191000 | #Constraints: 25956
722.46/724.51 c #Conflicts: 192000 | #Constraints: 26956
722.46/724.51 c #Conflicts: 193000 | #Constraints: 27956
722.46/724.51 c #Conflicts: 194000 | #Constraints: 28956
722.46/724.51 c #Conflicts: 195000 | #Constraints: 29956
722.46/724.51 c #Conflicts: 196000 | #Constraints: 30956
722.46/724.51 c #Conflicts: 197000 | #Constraints: 31956
722.46/724.51 c #Conflicts: 198000 | #Constraints: 32956
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 199000 | #Constraints: 25193
722.46/724.51 c #Conflicts: 200000 | #Constraints: 26193
722.46/724.51 c #Conflicts: 201000 | #Constraints: 27193
722.46/724.51 c #Conflicts: 202000 | #Constraints: 28193
722.46/724.51 c #Conflicts: 203000 | #Constraints: 29193
722.46/724.51 c #Conflicts: 204000 | #Constraints: 30193
722.46/724.51 c #Conflicts: 205000 | #Constraints: 31193
722.46/724.51 c #Conflicts: 206000 | #Constraints: 32193
722.46/724.51 c #Conflicts: 207000 | #Constraints: 33193
722.46/724.51 c INPROCESSING
722.46/724.51 c GARBAGE COLLECT
722.46/724.51 c #Conflicts: 208000 | #Constraints: 25204
722.46/724.51 c #Conflicts: 209000 | #Constraints: 26204
722.46/724.51 c #Conflicts: 210000 | #Constraints: 27204
938.36/941.06 c #Conflicts: 211000 | #Constraints: 28204
938.36/941.06 c #Conflicts: 212000 | #Constraints: 29204
938.36/941.06 c #Conflicts: 213000 | #Constraints: 30204
938.36/941.06 c #Conflicts: 214000 | #Constraints: 31204
938.36/941.06 c #Conflicts: 215000 | #Constraints: 32204
938.36/941.06 c #Conflicts: 216000 | #Constraints: 33204
938.36/941.06 c INPROCESSING
938.36/941.06 c GARBAGE COLLECT
938.36/941.06 c #Conflicts: 217000 | #Constraints: 25040
938.36/941.06 c #Conflicts: 218000 | #Constraints: 26040
938.36/941.06 c #Conflicts: 219000 | #Constraints: 27040
938.36/941.06 c #Conflicts: 220000 | #Constraints: 28040
938.36/941.06 c #Conflicts: 221000 | #Constraints: 29040
938.36/941.06 c #Conflicts: 222000 | #Constraints: 30040
938.36/941.06 c #Conflicts: 223000 | #Constraints: 31040
938.36/941.06 c #Conflicts: 224000 | #Constraints: 32040
938.36/941.06 c #Conflicts: 225000 | #Constraints: 33040
938.36/941.06 c #Conflicts: 226000 | #Constraints: 34040
938.36/941.06 c INPROCESSING
938.36/941.06 c GARBAGE COLLECT
938.36/941.06 c #Conflicts: 227000 | #Constraints: 25532
938.36/941.06 c #Conflicts: 228000 | #Constraints: 26532
938.36/941.06 c #Conflicts: 229000 | #Constraints: 27532
938.36/941.06 c #Conflicts: 230000 | #Constraints: 28532
938.36/941.06 c #Conflicts: 231000 | #Constraints: 29532
938.36/941.06 c #Conflicts: 232000 | #Constraints: 30532
938.36/941.06 c #Conflicts: 233000 | #Constraints: 31532
938.36/941.06 c #Conflicts: 234000 | #Constraints: 32532
938.36/941.06 c #Conflicts: 235000 | #Constraints: 33532
938.36/941.06 c #Conflicts: 236000 | #Constraints: 34532
938.36/941.06 c INPROCESSING
938.36/941.06 c GARBAGE COLLECT
938.36/941.06 c #Conflicts: 237000 | #Constraints: 25885
938.36/941.06 c #Conflicts: 238000 | #Constraints: 26885
938.36/941.06 c #Conflicts: 239000 | #Constraints: 27885
938.36/941.06 c #Conflicts: 240000 | #Constraints: 28885
938.36/941.06 c #Conflicts: 241000 | #Constraints: 29885
938.36/941.06 c #Conflicts: 242000 | #Constraints: 30885
938.36/941.06 c #Conflicts: 243000 | #Constraints: 31885
938.36/941.06 c #Conflicts: 244000 | #Constraints: 32885
938.36/941.06 c #Conflicts: 245000 | #Constraints: 33885
938.36/941.06 c #Conflicts: 246000 | #Constraints: 34885
938.36/941.06 c INPROCESSING
938.36/941.06 c GARBAGE COLLECT
938.36/941.06 c #Conflicts: 247000 | #Constraints: 26064
938.36/941.06 c #Conflicts: 248000 | #Constraints: 27064
938.36/941.06 c #Conflicts: 249000 | #Constraints: 28064
938.36/941.06 c #Conflicts: 250000 | #Constraints: 29064
938.36/941.06 c #Conflicts: 251000 | #Constraints: 30064
938.36/941.06 c #Conflicts: 252000 | #Constraints: 31064
938.36/941.06 c #Conflicts: 253000 | #Constraints: 32064
938.36/941.06 c #Conflicts: 254000 | #Constraints: 33064
938.36/941.06 c #Conflicts: 255000 | #Constraints: 34064
938.36/941.06 c #Conflicts: 256000 | #Constraints: 35064
938.36/941.06 c INPROCESSING
938.36/941.06 c GARBAGE COLLECT
938.36/941.06 c #Conflicts: 257000 | #Constraints: 26184
938.36/941.06 c #Conflicts: 258000 | #Constraints: 27184
938.36/941.06 c #Conflicts: 259000 | #Constraints: 28184
938.36/941.06 c #Conflicts: 260000 | #Constraints: 29184
938.36/941.06 c #Conflicts: 261000 | #Constraints: 30184
938.36/941.06 c #Conflicts: 262000 | #Constraints: 31184
938.36/941.06 c #Conflicts: 263000 | #Constraints: 32184
938.36/941.06 c #Conflicts: 264000 | #Constraints: 33184
938.36/941.06 c #Conflicts: 265000 | #Constraints: 34184
938.36/941.06 c #Conflicts: 266000 | #Constraints: 35184
938.36/941.06 c INPROCESSING
938.36/941.06 c GARBAGE COLLECT
938.36/941.06 c #Conflicts: 267000 | #Constraints: 26057
938.36/941.06 c #Conflicts: 268000 | #Constraints: 27057
938.36/941.06 c #Conflicts: 269000 | #Constraints: 28057
938.36/941.06 c #Conflicts: 270000 | #Constraints: 29057
938.36/941.06 c #Conflicts: 271000 | #Constraints: 30057
938.36/941.06 c #Conflicts: 272000 | #Constraints: 31057
938.36/941.06 c #Conflicts: 273000 | #Constraints: 32057
938.36/941.06 c #Conflicts: 274000 | #Constraints: 33057
938.36/941.06 c #Conflicts: 275000 | #Constraints: 34057
938.36/941.06 c #Conflicts: 276000 | #Constraints: 35057
938.36/941.06 c #Conflicts: 277000 | #Constraints: 36057
938.36/941.06 c INPROCESSING
938.36/941.06 c GARBAGE COLLECT
938.36/941.06 c #Conflicts: 278000 | #Constraints: 26652
938.36/941.06 c #Conflicts: 279000 | #Constraints: 27652
938.36/941.06 c #Conflicts: 280000 | #Constraints: 28652
938.36/941.06 c #Conflicts: 281000 | #Constraints: 29652
938.36/941.06 c #Conflicts: 282000 | #Constraints: 30652
938.36/941.06 c #Conflicts: 283000 | #Constraints: 31652
938.36/941.06 c #Conflicts: 284000 | #Constraints: 32652
938.36/941.06 c #Conflicts: 285000 | #Constraints: 33652
1185.90/1189.26 c #Conflicts: 286000 | #Constraints: 34652
1185.90/1189.26 c #Conflicts: 287000 | #Constraints: 35652
1185.90/1189.26 c #Conflicts: 288000 | #Constraints: 36652
1185.90/1189.26 c INPROCESSING
1185.90/1189.26 c GARBAGE COLLECT
1185.90/1189.26 c #Conflicts: 289000 | #Constraints: 27061
1185.90/1189.26 c #Conflicts: 290000 | #Constraints: 28061
1185.90/1189.26 c #Conflicts: 291000 | #Constraints: 29061
1185.90/1189.26 c #Conflicts: 292000 | #Constraints: 30061
1185.90/1189.26 c #Conflicts: 293000 | #Constraints: 31061
1185.90/1189.26 c #Conflicts: 294000 | #Constraints: 32061
1185.90/1189.26 c #Conflicts: 295000 | #Constraints: 33061
1185.90/1189.26 c #Conflicts: 296000 | #Constraints: 34061
1185.90/1189.26 c #Conflicts: 297000 | #Constraints: 35061
1185.90/1189.26 c #Conflicts: 298000 | #Constraints: 36061
1185.90/1189.26 c #Conflicts: 299000 | #Constraints: 37061
1185.90/1189.26 c INPROCESSING
1185.90/1189.26 c GARBAGE COLLECT
1185.90/1189.26 c #Conflicts: 300000 | #Constraints: 27318
1185.90/1189.26 c #Conflicts: 301000 | #Constraints: 28318
1185.90/1189.26 c #Conflicts: 302000 | #Constraints: 29318
1185.90/1189.26 c #Conflicts: 303000 | #Constraints: 30318
1185.90/1189.26 c #Conflicts: 304000 | #Constraints: 31318
1185.90/1189.26 c #Conflicts: 305000 | #Constraints: 32318
1185.90/1189.26 c #Conflicts: 306000 | #Constraints: 33318
1185.90/1189.26 c #Conflicts: 307000 | #Constraints: 34318
1185.90/1189.26 c #Conflicts: 308000 | #Constraints: 35318
1185.90/1189.26 c #Conflicts: 309000 | #Constraints: 36318
1185.90/1189.26 c #Conflicts: 310000 | #Constraints: 37318
1185.90/1189.26 c INPROCESSING
1185.90/1189.26 c GARBAGE COLLECT
1185.90/1189.26 c #Conflicts: 311000 | #Constraints: 27325
1185.90/1189.26 c #Conflicts: 312000 | #Constraints: 28325
1185.90/1189.26 c #Conflicts: 313000 | #Constraints: 29325
1185.90/1189.26 c #Conflicts: 314000 | #Constraints: 30325
1185.90/1189.26 c #Conflicts: 315000 | #Constraints: 31325
1185.90/1189.26 c #Conflicts: 316000 | #Constraints: 32325
1185.90/1189.26 c #Conflicts: 317000 | #Constraints: 33325
1185.90/1189.26 c #Conflicts: 318000 | #Constraints: 34325
1185.90/1189.26 c #Conflicts: 319000 | #Constraints: 35325
1185.90/1189.26 c #Conflicts: 320000 | #Constraints: 36325
1185.90/1189.26 c #Conflicts: 321000 | #Constraints: 37325
1185.90/1189.26 c INPROCESSING
1185.90/1189.26 c GARBAGE COLLECT
1185.90/1189.26 c #Conflicts: 322000 | #Constraints: 27098
1185.90/1189.26 c #Conflicts: 323000 | #Constraints: 28098
1185.90/1189.26 c #Conflicts: 324000 | #Constraints: 29098
1185.90/1189.26 c #Conflicts: 325000 | #Constraints: 30098
1185.90/1189.26 c #Conflicts: 326000 | #Constraints: 31098
1185.90/1189.26 c #Conflicts: 327000 | #Constraints: 32098
1185.90/1189.26 c #Conflicts: 328000 | #Constraints: 33098
1185.90/1189.26 c #Conflicts: 329000 | #Constraints: 34098
1185.90/1189.26 c #Conflicts: 330000 | #Constraints: 35098
1185.90/1189.26 c #Conflicts: 331000 | #Constraints: 36098
1185.90/1189.26 c #Conflicts: 332000 | #Constraints: 37098
1185.90/1189.26 c #Conflicts: 333000 | #Constraints: 38098
1185.90/1189.26 c INPROCESSING
1185.90/1189.26 c GARBAGE COLLECT
1185.90/1189.26 c #Conflicts: 334000 | #Constraints: 27665
1185.90/1189.26 c #Conflicts: 335000 | #Constraints: 28665
1185.90/1189.26 c #Conflicts: 336000 | #Constraints: 29665
1185.90/1189.26 c #Conflicts: 337000 | #Constraints: 30665
1185.90/1189.26 c #Conflicts: 338000 | #Constraints: 31665
1185.90/1189.26 c #Conflicts: 339000 | #Constraints: 32665
1185.90/1189.26 c #Conflicts: 340000 | #Constraints: 33665
1185.90/1189.26 c #Conflicts: 341000 | #Constraints: 34665
1185.90/1189.26 c #Conflicts: 342000 | #Constraints: 35665
1185.90/1189.26 c #Conflicts: 343000 | #Constraints: 36665
1185.90/1189.26 c #Conflicts: 344000 | #Constraints: 37665
1185.90/1189.26 c #Conflicts: 345000 | #Constraints: 38665
1185.90/1189.26 c INPROCESSING
1185.90/1189.26 c GARBAGE COLLECT
1185.90/1189.26 c #Conflicts: 346000 | #Constraints: 28063
1185.90/1189.26 c #Conflicts: 347000 | #Constraints: 29063
1185.90/1189.26 c #Conflicts: 348000 | #Constraints: 30063
1185.90/1189.26 c #Conflicts: 349000 | #Constraints: 31063
1185.90/1189.26 c #Conflicts: 350000 | #Constraints: 32063
1185.90/1189.26 c #Conflicts: 351000 | #Constraints: 33063
1185.90/1189.26 c #Conflicts: 352000 | #Constraints: 34063
1185.90/1189.26 c #Conflicts: 353000 | #Constraints: 35063
1185.90/1189.26 c #Conflicts: 354000 | #Constraints: 36063
1185.90/1189.26 c #Conflicts: 355000 | #Constraints: 37063
1185.90/1189.26 c #Conflicts: 356000 | #Constraints: 38063
1185.90/1189.26 c #Conflicts: 357000 | #Constraints: 39063
1185.90/1189.26 c INPROCESSING
1185.90/1189.26 c GARBAGE COLLECT
1185.90/1189.26 c #Conflicts: 358000 | #Constraints: 28333
1185.90/1189.26 c #Conflicts: 359000 | #Constraints: 29333
1420.23/1424.23 c #Conflicts: 360000 | #Constraints: 30333
1420.23/1424.23 c #Conflicts: 361000 | #Constraints: 31333
1420.23/1424.23 c #Conflicts: 362000 | #Constraints: 32333
1420.23/1424.23 c #Conflicts: 363000 | #Constraints: 33333
1420.23/1424.23 c #Conflicts: 364000 | #Constraints: 34333
1420.23/1424.23 c #Conflicts: 365000 | #Constraints: 35333
1420.23/1424.23 c #Conflicts: 366000 | #Constraints: 36333
1420.23/1424.23 c #Conflicts: 367000 | #Constraints: 37333
1420.23/1424.23 c #Conflicts: 368000 | #Constraints: 38333
1420.23/1424.23 c #Conflicts: 369000 | #Constraints: 39333
1420.23/1424.23 c INPROCESSING
1420.23/1424.23 c GARBAGE COLLECT
1420.23/1424.23 c #Conflicts: 370000 | #Constraints: 28206
1420.23/1424.23 c #Conflicts: 371000 | #Constraints: 29206
1420.23/1424.23 c #Conflicts: 372000 | #Constraints: 30206
1420.23/1424.23 c #Conflicts: 373000 | #Constraints: 31206
1420.23/1424.23 c #Conflicts: 374000 | #Constraints: 32206
1420.23/1424.23 c #Conflicts: 375000 | #Constraints: 33206
1420.23/1424.23 c #Conflicts: 376000 | #Constraints: 34206
1420.23/1424.23 c #Conflicts: 377000 | #Constraints: 35206
1420.23/1424.23 c #Conflicts: 378000 | #Constraints: 36206
1420.23/1424.23 c #Conflicts: 379000 | #Constraints: 37206
1420.23/1424.23 c #Conflicts: 380000 | #Constraints: 38206
1420.23/1424.23 c #Conflicts: 381000 | #Constraints: 39206
1420.23/1424.23 c INPROCESSING
1420.23/1424.23 c GARBAGE COLLECT
1420.23/1424.23 c #Conflicts: 382000 | #Constraints: 27964
1420.23/1424.23 c #Conflicts: 383000 | #Constraints: 28964
1420.23/1424.23 c #Conflicts: 384000 | #Constraints: 29964
1420.23/1424.23 c #Conflicts: 385000 | #Constraints: 30964
1420.23/1424.23 c #Conflicts: 386000 | #Constraints: 31964
1420.23/1424.23 c #Conflicts: 387000 | #Constraints: 32964
1420.23/1424.23 c #Conflicts: 388000 | #Constraints: 33964
1420.23/1424.23 c #Conflicts: 389000 | #Constraints: 34964
1420.23/1424.23 c #Conflicts: 390000 | #Constraints: 35964
1420.23/1424.23 c #Conflicts: 391000 | #Constraints: 36964
1420.23/1424.23 c #Conflicts: 392000 | #Constraints: 37964
1420.23/1424.23 c #Conflicts: 393000 | #Constraints: 38964
1420.23/1424.23 c #Conflicts: 394000 | #Constraints: 39964
1420.23/1424.23 c INPROCESSING
1420.23/1424.23 c GARBAGE COLLECT
1420.23/1424.23 c #Conflicts: 395000 | #Constraints: 28501
1420.23/1424.23 c #Conflicts: 396000 | #Constraints: 29501
1420.23/1424.23 c #Conflicts: 397000 | #Constraints: 30501
1420.23/1424.23 c #Conflicts: 398000 | #Constraints: 31501
1420.23/1424.23 c #Conflicts: 399000 | #Constraints: 32501
1420.23/1424.23 c #Conflicts: 400000 | #Constraints: 33501
1420.23/1424.23 c #Conflicts: 401000 | #Constraints: 34501
1420.23/1424.23 c #Conflicts: 402000 | #Constraints: 35501
1420.23/1424.23 c #Conflicts: 403000 | #Constraints: 36501
1420.23/1424.23 c #Conflicts: 404000 | #Constraints: 37501
1420.23/1424.23 c #Conflicts: 405000 | #Constraints: 38501
1420.23/1424.23 c #Conflicts: 406000 | #Constraints: 39501
1420.23/1424.23 c #Conflicts: 407000 | #Constraints: 40501
1420.23/1424.23 c INPROCESSING
1420.23/1424.23 c GARBAGE COLLECT
1420.23/1424.23 c #Conflicts: 408000 | #Constraints: 28840
1420.23/1424.23 c #Conflicts: 409000 | #Constraints: 29840
1420.23/1424.23 c #Conflicts: 410000 | #Constraints: 30840
1420.23/1424.23 c #Conflicts: 411000 | #Constraints: 31840
1420.23/1424.23 c #Conflicts: 412000 | #Constraints: 32840
1420.23/1424.23 c #Conflicts: 413000 | #Constraints: 33840
1420.23/1424.23 c #Conflicts: 414000 | #Constraints: 34840
1420.23/1424.23 c #Conflicts: 415000 | #Constraints: 35840
1420.23/1424.23 c #Conflicts: 416000 | #Constraints: 36840
1420.23/1424.23 c #Conflicts: 417000 | #Constraints: 37840
1420.23/1424.23 c #Conflicts: 418000 | #Constraints: 38840
1420.23/1424.23 c #Conflicts: 419000 | #Constraints: 39840
1420.23/1424.23 c #Conflicts: 420000 | #Constraints: 40840
1420.23/1424.23 c INPROCESSING
1420.23/1424.23 c GARBAGE COLLECT
1420.23/1424.23 c #Conflicts: 421000 | #Constraints: 29144
1420.23/1424.23 c #Conflicts: 422000 | #Constraints: 30144
1420.23/1424.23 c #Conflicts: 423000 | #Constraints: 31144
1420.23/1424.23 c #Conflicts: 424000 | #Constraints: 32144
1420.23/1424.23 c #Conflicts: 425000 | #Constraints: 33144
1420.23/1424.23 c #Conflicts: 426000 | #Constraints: 34144
1420.23/1424.23 c #Conflicts: 427000 | #Constraints: 35144
1420.23/1424.23 c #Conflicts: 428000 | #Constraints: 36144
1420.23/1424.23 c #Conflicts: 429000 | #Constraints: 37144
1420.23/1424.23 c #Conflicts: 430000 | #Constraints: 38144
1420.23/1424.23 c #Conflicts: 431000 | #Constraints: 39144
1420.23/1424.23 c #Conflicts: 432000 | #Constraints: 40144
1420.23/1424.23 c #Conflicts: 433000 | #Constraints: 41144
1420.23/1424.23 c INPROCESSING
1420.23/1424.23 c GARBAGE COLLECT
1420.23/1424.23 c #Conflicts: 434000 | #Constraints: 29061
1770.68/1775.77 c #Conflicts: 435000 | #Constraints: 30061
1770.68/1775.77 c #Conflicts: 436000 | #Constraints: 31061
1770.68/1775.77 c #Conflicts: 437000 | #Constraints: 32061
1770.68/1775.77 c #Conflicts: 438000 | #Constraints: 33061
1770.68/1775.77 c #Conflicts: 439000 | #Constraints: 34061
1770.68/1775.77 c #Conflicts: 440000 | #Constraints: 35061
1770.68/1775.77 c #Conflicts: 441000 | #Constraints: 36061
1770.68/1775.77 c #Conflicts: 442000 | #Constraints: 37061
1770.68/1775.77 c #Conflicts: 443000 | #Constraints: 38061
1770.68/1775.77 c #Conflicts: 444000 | #Constraints: 39061
1770.68/1775.77 c #Conflicts: 445000 | #Constraints: 40061
1770.68/1775.77 c #Conflicts: 446000 | #Constraints: 41061
1770.68/1775.77 c INPROCESSING
1770.68/1775.77 c GARBAGE COLLECT
1770.68/1775.77 c #Conflicts: 447000 | #Constraints: 28857
1770.68/1775.77 c #Conflicts: 448000 | #Constraints: 29857
1770.68/1775.77 c #Conflicts: 449000 | #Constraints: 30857
1770.68/1775.77 c #Conflicts: 450000 | #Constraints: 31857
1770.68/1775.77 c #Conflicts: 451000 | #Constraints: 32857
1770.68/1775.77 c #Conflicts: 452000 | #Constraints: 33857
1770.68/1775.77 c #Conflicts: 453000 | #Constraints: 34857
1770.68/1775.78 c #Conflicts: 454000 | #Constraints: 35857
1770.68/1775.78 c #Conflicts: 455000 | #Constraints: 36857
1770.68/1775.78 c #Conflicts: 456000 | #Constraints: 37857
1770.68/1775.78 c #Conflicts: 457000 | #Constraints: 38857
1770.68/1775.78 c #Conflicts: 458000 | #Constraints: 39857
1770.68/1775.78 c #Conflicts: 459000 | #Constraints: 40857
1770.68/1775.78 c #Conflicts: 460000 | #Constraints: 41857
1770.68/1775.78 c INPROCESSING
1770.68/1775.78 c GARBAGE COLLECT
1770.68/1775.78 c #Conflicts: 461000 | #Constraints: 29512
1770.68/1775.78 c #Conflicts: 462000 | #Constraints: 30512
1770.68/1775.78 c #Conflicts: 463000 | #Constraints: 31512
1770.68/1775.78 c #Conflicts: 464000 | #Constraints: 32512
1770.68/1775.78 c #Conflicts: 465000 | #Constraints: 33512
1770.68/1775.78 c #Conflicts: 466000 | #Constraints: 34512
1770.68/1775.78 c #Conflicts: 467000 | #Constraints: 35512
1770.68/1775.78 c #Conflicts: 468000 | #Constraints: 36512
1770.68/1775.78 c #Conflicts: 469000 | #Constraints: 37512
1770.68/1775.78 c #Conflicts: 470000 | #Constraints: 38512
1770.68/1775.78 c #Conflicts: 471000 | #Constraints: 39512
1770.68/1775.78 c #Conflicts: 472000 | #Constraints: 40512
1770.68/1775.78 c #Conflicts: 473000 | #Constraints: 41512
1770.68/1775.78 c #Conflicts: 474000 | #Constraints: 42512
1770.68/1775.78 c INPROCESSING
1770.68/1775.78 c GARBAGE COLLECT
1770.68/1775.78 c #Conflicts: 475000 | #Constraints: 29995
1770.68/1775.78 c #Conflicts: 476000 | #Constraints: 30995
1770.68/1775.78 c #Conflicts: 477000 | #Constraints: 31995
1770.68/1775.78 c #Conflicts: 478000 | #Constraints: 32995
1770.68/1775.78 c #Conflicts: 479000 | #Constraints: 33995
1770.68/1775.78 c #Conflicts: 480000 | #Constraints: 34995
1770.68/1775.78 c #Conflicts: 481000 | #Constraints: 35995
1770.68/1775.78 c #Conflicts: 482000 | #Constraints: 36995
1770.68/1775.78 c #Conflicts: 483000 | #Constraints: 37995
1770.68/1775.78 c #Conflicts: 484000 | #Constraints: 38995
1770.68/1775.78 c #Conflicts: 485000 | #Constraints: 39995
1770.68/1775.78 c #Conflicts: 486000 | #Constraints: 40995
1770.68/1775.78 c #Conflicts: 487000 | #Constraints: 41995
1770.68/1775.78 c #Conflicts: 488000 | #Constraints: 42995
1770.68/1775.78 c INPROCESSING
1770.68/1775.78 c GARBAGE COLLECT
1770.68/1775.78 c #Conflicts: 489000 | #Constraints: 30193
1770.68/1775.78 c #Conflicts: 490000 | #Constraints: 31193
1770.68/1775.78 c #Conflicts: 491000 | #Constraints: 32193
1770.68/1775.78 c #Conflicts: 492000 | #Constraints: 33193
1770.68/1775.78 c #Conflicts: 493000 | #Constraints: 34193
1770.68/1775.78 c #Conflicts: 494000 | #Constraints: 35193
1770.68/1775.78 c #Conflicts: 495000 | #Constraints: 36193
1770.68/1775.78 c #Conflicts: 496000 | #Constraints: 37193
1770.68/1775.78 c #Conflicts: 497000 | #Constraints: 38193
1770.68/1775.78 c #Conflicts: 498000 | #Constraints: 39193
1770.68/1775.78 c #Conflicts: 499000 | #Constraints: 40193
1770.68/1775.78 c #Conflicts: 500000 | #Constraints: 41193
1770.68/1775.78 c #Conflicts: 501000 | #Constraints: 42193
1770.68/1775.78 c #Conflicts: 502000 | #Constraints: 43193
1770.68/1775.78 c INPROCESSING
1770.68/1775.78 c GARBAGE COLLECT
1770.68/1775.78 c #Conflicts: 503000 | #Constraints: 30228
1770.68/1775.78 c #Conflicts: 504000 | #Constraints: 31228
1770.68/1775.78 c #Conflicts: 505000 | #Constraints: 32228
1770.68/1775.78 c #Conflicts: 506000 | #Constraints: 33228
1770.68/1775.78 c #Conflicts: 507000 | #Constraints: 34228
1770.68/1775.78 c #Conflicts: 508000 | #Constraints: 35228
1770.68/1775.78 c #Conflicts: 509000 | #Constraints: 36228
1770.68/1775.78 c #Conflicts: 510000 | #Constraints: 37228
2038.19/2044.00 c #Conflicts: 511000 | #Constraints: 38228
2038.19/2044.00 c #Conflicts: 512000 | #Constraints: 39228
2038.19/2044.00 c #Conflicts: 513000 | #Constraints: 40228
2038.19/2044.00 c #Conflicts: 514000 | #Constraints: 41228
2038.19/2044.00 c #Conflicts: 515000 | #Constraints: 42228
2038.19/2044.00 c #Conflicts: 516000 | #Constraints: 43228
2038.19/2044.00 c INPROCESSING
2038.19/2044.00 c GARBAGE COLLECT
2038.19/2044.00 c #Conflicts: 517000 | #Constraints: 29911
2038.19/2044.00 c #Conflicts: 518000 | #Constraints: 30911
2038.19/2044.00 c #Conflicts: 519000 | #Constraints: 31911
2038.19/2044.00 c #Conflicts: 520000 | #Constraints: 32911
2038.19/2044.00 c #Conflicts: 521000 | #Constraints: 33911
2038.19/2044.00 c #Conflicts: 522000 | #Constraints: 34911
2038.19/2044.00 c #Conflicts: 523000 | #Constraints: 35911
2038.19/2044.00 c #Conflicts: 524000 | #Constraints: 36911
2038.19/2044.00 c #Conflicts: 525000 | #Constraints: 37911
2038.19/2044.00 c #Conflicts: 526000 | #Constraints: 38911
2038.19/2044.00 c #Conflicts: 527000 | #Constraints: 39911
2038.19/2044.00 c #Conflicts: 528000 | #Constraints: 40911
2038.19/2044.00 c #Conflicts: 529000 | #Constraints: 41911
2038.19/2044.00 c #Conflicts: 530000 | #Constraints: 42911
2038.19/2044.00 c #Conflicts: 531000 | #Constraints: 43911
2038.19/2044.00 c INPROCESSING
2038.19/2044.00 c GARBAGE COLLECT
2038.19/2044.00 c #Conflicts: 532000 | #Constraints: 30494
2038.19/2044.00 c #Conflicts: 533000 | #Constraints: 31494
2038.19/2044.00 c #Conflicts: 534000 | #Constraints: 32494
2038.19/2044.00 c #Conflicts: 535000 | #Constraints: 33494
2038.19/2044.00 c #Conflicts: 536000 | #Constraints: 34494
2038.19/2044.00 c #Conflicts: 537000 | #Constraints: 35494
2038.19/2044.00 c #Conflicts: 538000 | #Constraints: 36494
2038.19/2044.00 c #Conflicts: 539000 | #Constraints: 37494
2038.19/2044.00 c #Conflicts: 540000 | #Constraints: 38494
2038.19/2044.00 c #Conflicts: 541000 | #Constraints: 39494
2038.19/2044.00 c #Conflicts: 542000 | #Constraints: 40494
2038.19/2044.00 c #Conflicts: 543000 | #Constraints: 41494
2038.19/2044.00 c #Conflicts: 544000 | #Constraints: 42494
2038.19/2044.00 c #Conflicts: 545000 | #Constraints: 43494
2038.19/2044.00 c #Conflicts: 546000 | #Constraints: 44494
2038.19/2044.00 c INPROCESSING
2038.19/2044.00 c GARBAGE COLLECT
2038.19/2044.00 c #Conflicts: 547000 | #Constraints: 31037
2038.19/2044.00 c #Conflicts: 548000 | #Constraints: 32037
2038.19/2044.00 c #Conflicts: 549000 | #Constraints: 33037
2038.19/2044.00 c #Conflicts: 550000 | #Constraints: 34037
2038.19/2044.00 c #Conflicts: 551000 | #Constraints: 35037
2038.19/2044.00 c #Conflicts: 552000 | #Constraints: 36037
2038.19/2044.00 c #Conflicts: 553000 | #Constraints: 37037
2038.19/2044.00 c #Conflicts: 554000 | #Constraints: 38037
2038.19/2044.00 c #Conflicts: 555000 | #Constraints: 39037
2038.19/2044.00 c #Conflicts: 556000 | #Constraints: 40037
2038.19/2044.00 c #Conflicts: 557000 | #Constraints: 41037
2038.19/2044.00 c #Conflicts: 558000 | #Constraints: 42037
2038.19/2044.00 c #Conflicts: 559000 | #Constraints: 43037
2038.19/2044.00 c #Conflicts: 560000 | #Constraints: 44037
2038.19/2044.00 c #Conflicts: 561000 | #Constraints: 45037
2038.19/2044.00 c INPROCESSING
2038.19/2044.00 c GARBAGE COLLECT
2038.19/2044.00 c #Conflicts: 562000 | #Constraints: 31279
2038.19/2044.00 c #Conflicts: 563000 | #Constraints: 32279
2038.19/2044.00 c #Conflicts: 564000 | #Constraints: 33279
2038.19/2044.00 c #Conflicts: 565000 | #Constraints: 34279
2038.19/2044.00 c #Conflicts: 566000 | #Constraints: 35279
2038.19/2044.00 c #Conflicts: 567000 | #Constraints: 36279
2038.19/2044.00 c #Conflicts: 568000 | #Constraints: 37279
2038.19/2044.00 c #Conflicts: 569000 | #Constraints: 38279
2038.19/2044.00 c #Conflicts: 570000 | #Constraints: 39279
2038.19/2044.00 c #Conflicts: 571000 | #Constraints: 40279
2038.19/2044.00 c #Conflicts: 572000 | #Constraints: 41279
2038.19/2044.00 c #Conflicts: 573000 | #Constraints: 42279
2038.19/2044.00 c #Conflicts: 574000 | #Constraints: 43279
2038.19/2044.00 c #Conflicts: 575000 | #Constraints: 44279
2038.19/2044.00 c #Conflicts: 576000 | #Constraints: 45279
2038.19/2044.00 c INPROCESSING
2038.19/2044.00 c GARBAGE COLLECT
2038.19/2044.00 c #Conflicts: 577000 | #Constraints: 31250
2038.19/2044.00 c #Conflicts: 578000 | #Constraints: 32250
2038.19/2044.00 c #Conflicts: 579000 | #Constraints: 33250
2038.19/2044.00 c #Conflicts: 580000 | #Constraints: 34250
2038.19/2044.00 c #Conflicts: 581000 | #Constraints: 35250
2038.19/2044.00 c #Conflicts: 582000 | #Constraints: 36250
2038.19/2044.00 c #Conflicts: 583000 | #Constraints: 37250
2038.19/2044.00 c #Conflicts: 584000 | #Constraints: 38250
2038.19/2044.00 c #Conflicts: 585000 | #Constraints: 39250
2357.99/2364.86 c #Conflicts: 586000 | #Constraints: 40250
2357.99/2364.86 c #Conflicts: 587000 | #Constraints: 41250
2357.99/2364.86 c #Conflicts: 588000 | #Constraints: 42250
2357.99/2364.86 c #Conflicts: 589000 | #Constraints: 43250
2357.99/2364.86 c #Conflicts: 590000 | #Constraints: 44250
2357.99/2364.86 c #Conflicts: 591000 | #Constraints: 45250
2357.99/2364.86 c INPROCESSING
2357.99/2364.86 c GARBAGE COLLECT
2357.99/2364.86 c #Conflicts: 592000 | #Constraints: 31042
2357.99/2364.86 c #Conflicts: 593000 | #Constraints: 32042
2357.99/2364.86 c #Conflicts: 594000 | #Constraints: 33042
2357.99/2364.86 c #Conflicts: 595000 | #Constraints: 34042
2357.99/2364.86 c #Conflicts: 596000 | #Constraints: 35042
2357.99/2364.86 c #Conflicts: 597000 | #Constraints: 36042
2357.99/2364.86 c #Conflicts: 598000 | #Constraints: 37042
2357.99/2364.86 c #Conflicts: 599000 | #Constraints: 38042
2357.99/2364.86 c #Conflicts: 600000 | #Constraints: 39042
2357.99/2364.86 c #Conflicts: 601000 | #Constraints: 40042
2357.99/2364.86 c #Conflicts: 602000 | #Constraints: 41042
2357.99/2364.86 c #Conflicts: 603000 | #Constraints: 42042
2357.99/2364.86 c #Conflicts: 604000 | #Constraints: 43042
2357.99/2364.86 c #Conflicts: 605000 | #Constraints: 44042
2357.99/2364.86 c #Conflicts: 606000 | #Constraints: 45042
2357.99/2364.86 c #Conflicts: 607000 | #Constraints: 46042
2357.99/2364.86 c INPROCESSING
2357.99/2364.86 c GARBAGE COLLECT
2357.99/2364.86 c #Conflicts: 608000 | #Constraints: 31685
2357.99/2364.86 c #Conflicts: 609000 | #Constraints: 32685
2357.99/2364.86 c #Conflicts: 610000 | #Constraints: 33685
2357.99/2364.86 c #Conflicts: 611000 | #Constraints: 34685
2357.99/2364.86 c #Conflicts: 612000 | #Constraints: 35685
2357.99/2364.86 c #Conflicts: 613000 | #Constraints: 36685
2357.99/2364.86 c #Conflicts: 614000 | #Constraints: 37685
2357.99/2364.86 c #Conflicts: 615000 | #Constraints: 38685
2357.99/2364.86 c #Conflicts: 616000 | #Constraints: 39685
2357.99/2364.86 c #Conflicts: 617000 | #Constraints: 40685
2357.99/2364.86 c #Conflicts: 618000 | #Constraints: 41685
2357.99/2364.86 c #Conflicts: 619000 | #Constraints: 42685
2357.99/2364.86 c #Conflicts: 620000 | #Constraints: 43685
2357.99/2364.86 c #Conflicts: 621000 | #Constraints: 44685
2357.99/2364.86 c #Conflicts: 622000 | #Constraints: 45685
2357.99/2364.86 c #Conflicts: 623000 | #Constraints: 46685
2357.99/2364.86 c INPROCESSING
2357.99/2364.86 c GARBAGE COLLECT
2357.99/2364.86 c #Conflicts: 624000 | #Constraints: 32026
2357.99/2364.86 c #Conflicts: 625000 | #Constraints: 33026
2357.99/2364.86 c #Conflicts: 626000 | #Constraints: 34026
2357.99/2364.86 c #Conflicts: 627000 | #Constraints: 35026
2357.99/2364.86 c #Conflicts: 628000 | #Constraints: 36026
2357.99/2364.86 c #Conflicts: 629000 | #Constraints: 37026
2357.99/2364.86 c #Conflicts: 630000 | #Constraints: 38026
2357.99/2364.86 c #Conflicts: 631000 | #Constraints: 39026
2357.99/2364.86 c #Conflicts: 632000 | #Constraints: 40026
2357.99/2364.86 c #Conflicts: 633000 | #Constraints: 41026
2357.99/2364.86 c #Conflicts: 634000 | #Constraints: 42026
2357.99/2364.86 c #Conflicts: 635000 | #Constraints: 43026
2357.99/2364.86 c #Conflicts: 636000 | #Constraints: 44026
2357.99/2364.86 c #Conflicts: 637000 | #Constraints: 45026
2357.99/2364.86 c #Conflicts: 638000 | #Constraints: 46026
2357.99/2364.86 c #Conflicts: 639000 | #Constraints: 47026
2357.99/2364.86 c INPROCESSING
2357.99/2364.86 c GARBAGE COLLECT
2357.99/2364.86 c #Conflicts: 640000 | #Constraints: 32315
2357.99/2364.86 c #Conflicts: 641000 | #Constraints: 33315
2357.99/2364.86 c #Conflicts: 642000 | #Constraints: 34315
2357.99/2364.86 c #Conflicts: 643000 | #Constraints: 35315
2357.99/2364.86 c #Conflicts: 644000 | #Constraints: 36315
2357.99/2364.86 c #Conflicts: 645000 | #Constraints: 37315
2357.99/2364.86 c #Conflicts: 646000 | #Constraints: 38315
2357.99/2364.86 c #Conflicts: 647000 | #Constraints: 39315
2357.99/2364.86 c #Conflicts: 648000 | #Constraints: 40315
2357.99/2364.86 c #Conflicts: 649000 | #Constraints: 41315
2357.99/2364.86 c #Conflicts: 650000 | #Constraints: 42315
2357.99/2364.86 c #Conflicts: 651000 | #Constraints: 43315
2357.99/2364.86 c #Conflicts: 652000 | #Constraints: 44315
2357.99/2364.86 c #Conflicts: 653000 | #Constraints: 45315
2357.99/2364.86 c #Conflicts: 654000 | #Constraints: 46315
2357.99/2364.86 c #Conflicts: 655000 | #Constraints: 47315
2357.99/2364.86 c INPROCESSING
2357.99/2364.86 c GARBAGE COLLECT
2357.99/2364.86 c #Conflicts: 656000 | #Constraints: 32331
2357.99/2364.86 c #Conflicts: 657000 | #Constraints: 33331
2357.99/2364.86 c #Conflicts: 658000 | #Constraints: 34331
2357.99/2364.86 c #Conflicts: 659000 | #Constraints: 35331
2357.99/2364.86 c #Conflicts: 660000 | #Constraints: 36331
2357.99/2364.86 c #Conflicts: 661000 | #Constraints: 37331
2689.67/2697.57 c #Conflicts: 662000 | #Constraints: 38331
2689.67/2697.57 c #Conflicts: 663000 | #Constraints: 39331
2689.67/2697.57 c #Conflicts: 664000 | #Constraints: 40331
2689.67/2697.57 c #Conflicts: 665000 | #Constraints: 41331
2689.67/2697.57 c #Conflicts: 666000 | #Constraints: 42331
2689.67/2697.57 c #Conflicts: 667000 | #Constraints: 43331
2689.67/2697.57 c #Conflicts: 668000 | #Constraints: 44331
2689.67/2697.57 c #Conflicts: 669000 | #Constraints: 45331
2689.67/2697.57 c #Conflicts: 670000 | #Constraints: 46331
2689.67/2697.57 c #Conflicts: 671000 | #Constraints: 47331
2689.67/2697.57 c INPROCESSING
2689.67/2697.57 c GARBAGE COLLECT
2689.67/2697.57 c #Conflicts: 672000 | #Constraints: 32192
2689.67/2697.57 c #Conflicts: 673000 | #Constraints: 33192
2689.67/2697.57 c #Conflicts: 674000 | #Constraints: 34192
2689.67/2697.57 c #Conflicts: 675000 | #Constraints: 35192
2689.67/2697.57 c #Conflicts: 676000 | #Constraints: 36192
2689.67/2697.57 c #Conflicts: 677000 | #Constraints: 37192
2689.67/2697.57 c #Conflicts: 678000 | #Constraints: 38192
2689.67/2697.57 c #Conflicts: 679000 | #Constraints: 39192
2689.67/2697.57 c #Conflicts: 680000 | #Constraints: 40192
2689.67/2697.57 c #Conflicts: 681000 | #Constraints: 41192
2689.67/2697.57 c #Conflicts: 682000 | #Constraints: 42192
2689.67/2697.57 c #Conflicts: 683000 | #Constraints: 43192
2689.67/2697.57 c #Conflicts: 684000 | #Constraints: 44192
2689.67/2697.57 c #Conflicts: 685000 | #Constraints: 45192
2689.67/2697.57 c #Conflicts: 686000 | #Constraints: 46192
2689.67/2697.57 c #Conflicts: 687000 | #Constraints: 47192
2689.67/2697.57 c #Conflicts: 688000 | #Constraints: 48192
2689.67/2697.57 c INPROCESSING
2689.67/2697.57 c GARBAGE COLLECT
2689.67/2697.57 c #Conflicts: 689000 | #Constraints: 32788
2689.67/2697.57 c #Conflicts: 690000 | #Constraints: 33788
2689.67/2697.57 c #Conflicts: 691000 | #Constraints: 34788
2689.67/2697.57 c #Conflicts: 692000 | #Constraints: 35788
2689.67/2697.57 c #Conflicts: 693000 | #Constraints: 36788
2689.67/2697.57 c #Conflicts: 694000 | #Constraints: 37788
2689.67/2697.57 c #Conflicts: 695000 | #Constraints: 38788
2689.67/2697.57 c #Conflicts: 696000 | #Constraints: 39788
2689.67/2697.57 c #Conflicts: 697000 | #Constraints: 40788
2689.67/2697.57 c #Conflicts: 698000 | #Constraints: 41788
2689.67/2697.57 c #Conflicts: 699000 | #Constraints: 42788
2689.67/2697.57 c #Conflicts: 700000 | #Constraints: 43788
2689.67/2697.57 c #Conflicts: 701000 | #Constraints: 44788
2689.67/2697.57 c #Conflicts: 702000 | #Constraints: 45788
2689.67/2697.57 c #Conflicts: 703000 | #Constraints: 46788
2689.67/2697.57 c #Conflicts: 704000 | #Constraints: 47788
2689.67/2697.57 c #Conflicts: 705000 | #Constraints: 48788
2689.67/2697.57 c INPROCESSING
2689.67/2697.57 c GARBAGE COLLECT
2689.67/2697.57 c #Conflicts: 706000 | #Constraints: 33189
2689.67/2697.57 c #Conflicts: 707000 | #Constraints: 34189
2689.67/2697.57 c #Conflicts: 708000 | #Constraints: 35189
2689.67/2697.57 c #Conflicts: 709000 | #Constraints: 36189
2689.67/2697.57 c #Conflicts: 710000 | #Constraints: 37189
2689.67/2697.57 c #Conflicts: 711000 | #Constraints: 38189
2689.67/2697.57 c #Conflicts: 712000 | #Constraints: 39189
2689.67/2697.57 c #Conflicts: 713000 | #Constraints: 40189
2689.67/2697.57 c #Conflicts: 714000 | #Constraints: 41189
2689.67/2697.57 c #Conflicts: 715000 | #Constraints: 42189
2689.67/2697.57 c #Conflicts: 716000 | #Constraints: 43189
2689.67/2697.57 c #Conflicts: 717000 | #Constraints: 44189
2689.67/2697.57 c #Conflicts: 718000 | #Constraints: 45189
2689.67/2697.57 c #Conflicts: 719000 | #Constraints: 46189
2689.67/2697.57 c #Conflicts: 720000 | #Constraints: 47189
2689.67/2697.57 c #Conflicts: 721000 | #Constraints: 48189
2689.67/2697.57 c #Conflicts: 722000 | #Constraints: 49189
2689.67/2697.57 c INPROCESSING
2689.67/2697.57 c GARBAGE COLLECT
2689.67/2697.57 c #Conflicts: 723000 | #Constraints: 33314
2689.67/2697.57 c #Conflicts: 724000 | #Constraints: 34314
2689.67/2697.57 c #Conflicts: 725000 | #Constraints: 35314
2689.67/2697.57 c #Conflicts: 726000 | #Constraints: 36314
2689.67/2697.57 c #Conflicts: 727000 | #Constraints: 37314
2689.67/2697.57 c #Conflicts: 728000 | #Constraints: 38314
2689.67/2697.57 c #Conflicts: 729000 | #Constraints: 39314
2689.67/2697.57 c #Conflicts: 730000 | #Constraints: 40314
2689.67/2697.57 c #Conflicts: 731000 | #Constraints: 41314
2689.67/2697.57 c #Conflicts: 732000 | #Constraints: 42314
2689.67/2697.57 c #Conflicts: 733000 | #Constraints: 43314
2689.67/2697.57 c #Conflicts: 734000 | #Constraints: 44314
2689.67/2697.57 c #Conflicts: 735000 | #Constraints: 45314
2689.67/2697.57 c #Conflicts: 736000 | #Constraints: 46314
2689.67/2697.57 c #Conflicts: 737000 | #Constraints: 47314
2981.88/2990.60 c #Conflicts: 738000 | #Constraints: 48314
2981.88/2990.60 c #Conflicts: 739000 | #Constraints: 49314
2981.88/2990.60 c INPROCESSING
2981.88/2990.60 c GARBAGE COLLECT
2981.88/2990.60 c #Conflicts: 740000 | #Constraints: 33162
2981.88/2990.60 c #Conflicts: 741000 | #Constraints: 34162
2981.88/2990.60 c #Conflicts: 742000 | #Constraints: 35162
2981.88/2990.60 c #Conflicts: 743000 | #Constraints: 36162
2981.88/2990.60 c #Conflicts: 744000 | #Constraints: 37162
2981.88/2990.60 c #Conflicts: 745000 | #Constraints: 38162
2981.88/2990.60 c #Conflicts: 746000 | #Constraints: 39162
2981.88/2990.60 c #Conflicts: 747000 | #Constraints: 40162
2981.88/2990.60 c #Conflicts: 748000 | #Constraints: 41162
2981.88/2990.60 c #Conflicts: 749000 | #Constraints: 42162
2981.88/2990.60 c #Conflicts: 750000 | #Constraints: 43162
2981.88/2990.60 c #Conflicts: 751000 | #Constraints: 44162
2981.88/2990.60 c #Conflicts: 752000 | #Constraints: 45162
2981.88/2990.60 c #Conflicts: 753000 | #Constraints: 46162
2981.88/2990.60 c #Conflicts: 754000 | #Constraints: 47162
2981.88/2990.60 c #Conflicts: 755000 | #Constraints: 48162
2981.88/2990.60 c #Conflicts: 756000 | #Constraints: 49162
2981.88/2990.60 c INPROCESSING
2981.88/2990.60 c GARBAGE COLLECT
2981.88/2990.60 c #Conflicts: 757000 | #Constraints: 32982
2981.88/2990.60 c #Conflicts: 758000 | #Constraints: 33982
2981.88/2990.60 c #Conflicts: 759000 | #Constraints: 34982
2981.88/2990.60 c #Conflicts: 760000 | #Constraints: 35982
2981.88/2990.60 c #Conflicts: 761000 | #Constraints: 36982
2981.88/2990.60 c #Conflicts: 762000 | #Constraints: 37982
2981.88/2990.60 c #Conflicts: 763000 | #Constraints: 38982
2981.88/2990.60 c #Conflicts: 764000 | #Constraints: 39982
2981.88/2990.60 c #Conflicts: 765000 | #Constraints: 40982
2981.88/2990.60 c #Conflicts: 766000 | #Constraints: 41982
2981.88/2990.60 c #Conflicts: 767000 | #Constraints: 42982
2981.88/2990.60 c #Conflicts: 768000 | #Constraints: 43982
2981.88/2990.60 c #Conflicts: 769000 | #Constraints: 44982
2981.88/2990.60 c #Conflicts: 770000 | #Constraints: 45982
2981.88/2990.60 c #Conflicts: 771000 | #Constraints: 46982
2981.88/2990.60 c #Conflicts: 772000 | #Constraints: 47982
2981.88/2990.60 c #Conflicts: 773000 | #Constraints: 48982
2981.88/2990.60 c #Conflicts: 774000 | #Constraints: 49982
2981.88/2990.60 c INPROCESSING
2981.88/2990.60 c GARBAGE COLLECT
2981.88/2990.60 c #Conflicts: 775000 | #Constraints: 33677
2981.88/2990.60 c #Conflicts: 776000 | #Constraints: 34677
2981.88/2990.60 c #Conflicts: 777000 | #Constraints: 35677
2981.88/2990.60 c #Conflicts: 778000 | #Constraints: 36677
2981.88/2990.60 c #Conflicts: 779000 | #Constraints: 37677
2981.88/2990.60 c #Conflicts: 780000 | #Constraints: 38677
2981.88/2990.60 c #Conflicts: 781000 | #Constraints: 39677
2981.88/2990.60 c #Conflicts: 782000 | #Constraints: 40677
2981.88/2990.60 c #Conflicts: 783000 | #Constraints: 41677
2981.88/2990.60 c #Conflicts: 784000 | #Constraints: 42677
2981.88/2990.60 c #Conflicts: 785000 | #Constraints: 43677
2981.88/2990.60 c #Conflicts: 786000 | #Constraints: 44677
2981.88/2990.60 c #Conflicts: 787000 | #Constraints: 45677
2981.88/2990.60 c #Conflicts: 788000 | #Constraints: 46677
2981.88/2990.60 c #Conflicts: 789000 | #Constraints: 47677
2981.88/2990.60 c #Conflicts: 790000 | #Constraints: 48677
2981.88/2990.60 c #Conflicts: 791000 | #Constraints: 49677
2981.88/2990.60 c #Conflicts: 792000 | #Constraints: 50677
2981.88/2990.60 c INPROCESSING
2981.88/2990.60 c GARBAGE COLLECT
2981.88/2990.60 c #Conflicts: 793000 | #Constraints: 33952
2981.88/2990.60 c #Conflicts: 794000 | #Constraints: 34952
2981.88/2990.60 c #Conflicts: 795000 | #Constraints: 35952
2981.88/2990.60 c #Conflicts: 796000 | #Constraints: 36952
2981.88/2990.60 c #Conflicts: 797000 | #Constraints: 37952
2981.88/2990.60 c #Conflicts: 798000 | #Constraints: 38952
2981.88/2990.60 c #Conflicts: 799000 | #Constraints: 39952
2981.88/2990.60 c #Conflicts: 800000 | #Constraints: 40952
2981.88/2990.60 c #Conflicts: 801000 | #Constraints: 41952
2981.88/2990.60 c #Conflicts: 802000 | #Constraints: 42952
2981.88/2990.60 c #Conflicts: 803000 | #Constraints: 43952
2981.88/2990.60 c #Conflicts: 804000 | #Constraints: 44952
2981.88/2990.60 c #Conflicts: 805000 | #Constraints: 45952
2981.88/2990.60 c #Conflicts: 806000 | #Constraints: 46952
2981.88/2990.60 c #Conflicts: 807000 | #Constraints: 47952
2981.88/2990.60 c #Conflicts: 808000 | #Constraints: 48952
2981.88/2990.60 c #Conflicts: 809000 | #Constraints: 49952
2981.88/2990.60 c #Conflicts: 810000 | #Constraints: 50952
2981.88/2990.60 c INPROCESSING
2981.88/2990.60 c GARBAGE COLLECT
2981.88/2990.60 c #Conflicts: 811000 | #Constraints: 34219
2981.88/2990.60 c #Conflicts: 812000 | #Constraints: 35219
2981.88/2990.60 c #Conflicts: 813000 | #Constraints: 36219
3316.04/3325.88 c #Conflicts: 814000 | #Constraints: 37219
3316.04/3325.88 c #Conflicts: 815000 | #Constraints: 38219
3316.04/3325.88 c #Conflicts: 816000 | #Constraints: 39219
3316.04/3325.88 c #Conflicts: 817000 | #Constraints: 40219
3316.04/3325.88 c #Conflicts: 818000 | #Constraints: 41219
3316.04/3325.88 c #Conflicts: 819000 | #Constraints: 42219
3316.04/3325.88 c #Conflicts: 820000 | #Constraints: 43219
3316.04/3325.88 c #Conflicts: 821000 | #Constraints: 44219
3316.04/3325.88 c #Conflicts: 822000 | #Constraints: 45219
3316.04/3325.88 c #Conflicts: 823000 | #Constraints: 46219
3316.04/3325.88 c #Conflicts: 824000 | #Constraints: 47219
3316.04/3325.88 c #Conflicts: 825000 | #Constraints: 48219
3316.04/3325.88 c #Conflicts: 826000 | #Constraints: 49219
3316.04/3325.88 c #Conflicts: 827000 | #Constraints: 50219
3316.04/3325.88 c #Conflicts: 828000 | #Constraints: 51219
3316.04/3325.88 c INPROCESSING
3316.04/3325.88 c GARBAGE COLLECT
3316.04/3325.88 c #Conflicts: 829000 | #Constraints: 34311
3316.04/3325.88 c #Conflicts: 830000 | #Constraints: 35311
3316.04/3325.88 c #Conflicts: 831000 | #Constraints: 36311
3316.04/3325.88 c #Conflicts: 832000 | #Constraints: 37311
3316.04/3325.88 c #Conflicts: 833000 | #Constraints: 38311
3316.04/3325.88 c #Conflicts: 834000 | #Constraints: 39311
3316.04/3325.88 c #Conflicts: 835000 | #Constraints: 40311
3316.04/3325.88 c #Conflicts: 836000 | #Constraints: 41311
3316.04/3325.88 c #Conflicts: 837000 | #Constraints: 42311
3316.04/3325.88 c #Conflicts: 838000 | #Constraints: 43311
3316.04/3325.88 c #Conflicts: 839000 | #Constraints: 44311
3316.04/3325.88 c #Conflicts: 840000 | #Constraints: 45311
3316.04/3325.88 c #Conflicts: 841000 | #Constraints: 46311
3316.04/3325.88 c #Conflicts: 842000 | #Constraints: 47311
3316.04/3325.88 c #Conflicts: 843000 | #Constraints: 48311
3316.04/3325.88 c #Conflicts: 844000 | #Constraints: 49311
3316.04/3325.88 c #Conflicts: 845000 | #Constraints: 50311
3316.04/3325.88 c #Conflicts: 846000 | #Constraints: 51311
3316.04/3325.88 c INPROCESSING
3316.04/3325.88 c GARBAGE COLLECT
3316.04/3325.88 c #Conflicts: 847000 | #Constraints: 34145
3316.04/3325.88 c #Conflicts: 848000 | #Constraints: 35145
3316.04/3325.88 c #Conflicts: 849000 | #Constraints: 36145
3316.04/3325.88 c #Conflicts: 850000 | #Constraints: 37145
3316.04/3325.88 c #Conflicts: 851000 | #Constraints: 38145
3316.04/3325.88 c #Conflicts: 852000 | #Constraints: 39145
3316.04/3325.88 c #Conflicts: 853000 | #Constraints: 40145
3316.04/3325.88 c #Conflicts: 854000 | #Constraints: 41145
3316.04/3325.88 c #Conflicts: 855000 | #Constraints: 42145
3316.04/3325.88 c #Conflicts: 856000 | #Constraints: 43145
3316.04/3325.88 c #Conflicts: 857000 | #Constraints: 44145
3316.04/3325.88 c #Conflicts: 858000 | #Constraints: 45145
3316.04/3325.88 c #Conflicts: 859000 | #Constraints: 46145
3316.04/3325.88 c #Conflicts: 860000 | #Constraints: 47145
3316.04/3325.88 c #Conflicts: 861000 | #Constraints: 48145
3316.04/3325.88 c #Conflicts: 862000 | #Constraints: 49145
3316.04/3325.88 c #Conflicts: 863000 | #Constraints: 50145
3316.04/3325.88 c #Conflicts: 864000 | #Constraints: 51145
3316.04/3325.88 c #Conflicts: 865000 | #Constraints: 52145
3316.04/3325.88 c INPROCESSING
3316.04/3325.88 c GARBAGE COLLECT
3316.04/3325.88 c #Conflicts: 866000 | #Constraints: 34708
3316.04/3325.88 c #Conflicts: 867000 | #Constraints: 35708
3316.04/3325.88 c #Conflicts: 868000 | #Constraints: 36708
3316.04/3325.88 c #Conflicts: 869000 | #Constraints: 37708
3316.04/3325.88 c #Conflicts: 870000 | #Constraints: 38708
3316.04/3325.88 c #Conflicts: 871000 | #Constraints: 39708
3316.04/3325.88 c #Conflicts: 872000 | #Constraints: 40708
3316.04/3325.88 c #Conflicts: 873000 | #Constraints: 41708
3316.04/3325.88 c #Conflicts: 874000 | #Constraints: 42708
3316.04/3325.88 c #Conflicts: 875000 | #Constraints: 43708
3316.04/3325.88 c #Conflicts: 876000 | #Constraints: 44708
3316.04/3325.88 c #Conflicts: 877000 | #Constraints: 45708
3316.04/3325.88 c #Conflicts: 878000 | #Constraints: 46708
3316.04/3325.88 c #Conflicts: 879000 | #Constraints: 47708
3316.04/3325.88 c #Conflicts: 880000 | #Constraints: 48708
3316.04/3325.88 c #Conflicts: 881000 | #Constraints: 49708
3316.04/3325.88 c #Conflicts: 882000 | #Constraints: 50708
3316.04/3325.88 c #Conflicts: 883000 | #Constraints: 51708
3316.04/3325.88 c #Conflicts: 884000 | #Constraints: 52708
3316.04/3325.88 c INPROCESSING
3316.04/3325.88 c GARBAGE COLLECT
3316.04/3325.88 c #Conflicts: 885000 | #Constraints: 35116
3316.04/3325.88 c #Conflicts: 886000 | #Constraints: 36116
3316.04/3325.88 c #Conflicts: 887000 | #Constraints: 37116
3316.04/3325.88 c #Conflicts: 888000 | #Constraints: 38116
3316.04/3325.88 c #Conflicts: 889000 | #Constraints: 39116
3600.06/3610.70 c #Conflicts: 890000 | #Constraints: 40116
3600.06/3610.70 c #Conflicts: 891000 | #Constraints: 41116
3600.06/3610.70 c #Conflicts: 892000 | #Constraints: 42116
3600.06/3610.70 c #Conflicts: 893000 | #Constraints: 43116
3600.06/3610.70 c #Conflicts: 894000 | #Constraints: 44116
3600.06/3610.70 c #Conflicts: 895000 | #Constraints: 45116
3600.06/3610.70 c #Conflicts: 896000 | #Constraints: 46116
3600.06/3610.70 c #Conflicts: 897000 | #Constraints: 47116
3600.06/3610.70 c #Conflicts: 898000 | #Constraints: 48116
3600.06/3610.70 c #Conflicts: 899000 | #Constraints: 49116
3600.06/3610.70 c #Conflicts: 900000 | #Constraints: 50116
3600.06/3610.70 c #Conflicts: 901000 | #Constraints: 51116
3600.06/3610.70 c #Conflicts: 902000 | #Constraints: 52116
3600.06/3610.70 c #Conflicts: 903000 | #Constraints: 53116
3600.06/3610.70 c INPROCESSING
3600.06/3610.70 c GARBAGE COLLECT
3600.06/3610.70 c #Conflicts: 904000 | #Constraints: 35351
3600.06/3610.70 c #Conflicts: 905000 | #Constraints: 36351
3600.06/3610.70 c #Conflicts: 906000 | #Constraints: 37351
3600.06/3610.70 c #Conflicts: 907000 | #Constraints: 38351
3600.06/3610.70 c #Conflicts: 908000 | #Constraints: 39351
3600.06/3610.70 c #Conflicts: 909000 | #Constraints: 40351
3600.06/3610.70 c #Conflicts: 910000 | #Constraints: 41351
3600.06/3610.70 c #Conflicts: 911000 | #Constraints: 42351
3600.06/3610.70 c #Conflicts: 912000 | #Constraints: 43351
3600.06/3610.70 c #Conflicts: 913000 | #Constraints: 44351
3600.06/3610.70 c #Conflicts: 914000 | #Constraints: 45351
3600.06/3610.70 c #Conflicts: 915000 | #Constraints: 46351
3600.06/3610.70 c #Conflicts: 916000 | #Constraints: 47351
3600.06/3610.70 c #Conflicts: 917000 | #Constraints: 48351
3600.06/3610.70 c #Conflicts: 918000 | #Constraints: 49351
3600.06/3610.70 c #Conflicts: 919000 | #Constraints: 50351
3600.06/3610.70 c #Conflicts: 920000 | #Constraints: 51351
3600.06/3610.70 c #Conflicts: 921000 | #Constraints: 52351
3600.06/3610.70 c #Conflicts: 922000 | #Constraints: 53351
3600.06/3610.70 c INPROCESSING
3600.06/3610.70 c GARBAGE COLLECT
3600.06/3610.70 c #Conflicts: 923000 | #Constraints: 35336
3600.06/3610.70 c #Conflicts: 924000 | #Constraints: 36336
3600.06/3610.70 c #Conflicts: 925000 | #Constraints: 37336
3600.06/3610.70 c #Conflicts: 926000 | #Constraints: 38336
3600.06/3610.70 c #Conflicts: 927000 | #Constraints: 39336
3600.06/3610.70 c #Conflicts: 928000 | #Constraints: 40336
3600.06/3610.70 c #Conflicts: 929000 | #Constraints: 41336
3600.06/3610.70 c #Conflicts: 930000 | #Constraints: 42336
3600.06/3610.70 c #Conflicts: 931000 | #Constraints: 43336
3600.06/3610.70 c #Conflicts: 932000 | #Constraints: 44336
3600.06/3610.70 c #Conflicts: 933000 | #Constraints: 45336
3600.06/3610.70 c #Conflicts: 934000 | #Constraints: 46336
3600.06/3610.70 c #Conflicts: 935000 | #Constraints: 47336
3600.06/3610.70 c #Conflicts: 936000 | #Constraints: 48336
3600.06/3610.70 c #Conflicts: 937000 | #Constraints: 49336
3600.06/3610.70 c #Conflicts: 938000 | #Constraints: 50336
3600.06/3610.70 c #Conflicts: 939000 | #Constraints: 51336
3600.06/3610.70 c #Conflicts: 940000 | #Constraints: 52336
3600.06/3610.70 c #Conflicts: 941000 | #Constraints: 53336
3600.06/3610.70 c INPROCESSING
3600.06/3610.70 c GARBAGE COLLECT
3600.06/3610.70 c #Conflicts: 942000 | #Constraints: 34997
3600.06/3610.70 c #Conflicts: 943000 | #Constraints: 35997
3600.06/3610.70 c #Conflicts: 944000 | #Constraints: 36997
3600.06/3610.70 c #Conflicts: 945000 | #Constraints: 37997
3600.06/3610.70 c #Conflicts: 946000 | #Constraints: 38997
3600.06/3610.70 c #Conflicts: 947000 | #Constraints: 39997
3600.06/3610.70 c #Conflicts: 948000 | #Constraints: 40997
3600.06/3610.70 c #Conflicts: 949000 | #Constraints: 41997
3600.06/3610.70 c #Conflicts: 950000 | #Constraints: 42997
3600.06/3610.70 c #Conflicts: 951000 | #Constraints: 43997
3600.06/3610.70 c #Conflicts: 952000 | #Constraints: 44997
3600.06/3610.70 c #Conflicts: 953000 | #Constraints: 45997
3600.06/3610.70 c #Conflicts: 954000 | #Constraints: 46997
3600.06/3610.70 c Program interrupted by user.
3600.06/3610.70 c cpu time 3589.66 s
3600.06/3610.70 c deterministic time 1054463106592 1.05e+12
3600.06/3610.70 c optimization time 54.1387 s
3600.06/3610.70 c total solve time 3236.37 s
3600.06/3610.70 c core-guided solve time 3236.37 s
3600.06/3610.70 c propagation time 2601.19 s
3600.06/3610.70 c conflict analysis time 622.257 s
3600.06/3610.70 c propagations 462334310
3600.06/3610.70 c resolve steps 23726509
3600.06/3610.70 c decisions 8161608
3600.06/3610.70 c conflicts 954895
3600.06/3610.70 c restarts 2044
3600.06/3610.70 c inprocessing phases 88
3600.06/3610.70 c input clauses 15096
3600.06/3610.70 c input cardinalities 7
3600.06/3610.70 c input general constraints 0
3600.06/3610.70 c input average constraint length 2.77
3600.06/3610.70 c input average constraint degree 1.06
3600.06/3610.70 c learned clauses 568608
3600.06/3610.70 c learned cardinalities 249
3600.06/3610.70 c learned general constraints 386042
3600.06/3610.70 c learned average constraint length 1381.40
3600.06/3610.70 c learned average constraint degree 88657.12
3600.06/3610.70 c watched constraints 352392
3600.06/3610.70 c counting constraints 33650
3600.06/3610.70 c gcd simplifications 3911
3600.06/3610.70 c detected cardinalities 2
3600.06/3610.70 c weakened non-implied lits 148078912
3600.06/3610.70 c weakened non-implying lits 15089
3600.06/3610.70 c original variables 4318
3600.06/3610.70 c clausal propagations 360564908
3600.06/3610.70 c cardinality propagations 419105
3600.06/3610.70 c watched propagations 7248793
3600.06/3610.70 c counting propagations 92975776
3600.06/3610.70 c watch lookups 12542984102
3600.06/3610.70 c watch backjump lookups 9510691215
3600.06/3610.70 c watch checks 713158128274
3600.06/3610.70 c propagation checks 312742585683
3600.06/3610.70 c constraint additions 5566773948
3600.06/3610.70 c trail pops 471447451
3600.06/3610.70 c formula constraints 15096
3600.06/3610.70 c learned constraints 954899
3600.06/3610.70 c bound constraints 7
3600.06/3610.70 c core-guided constraints 0
3600.06/3610.70 c encountered formula constraints 16668874
3600.06/3610.70 c encountered learned constraints 8012529
3600.06/3610.70 c encountered bound constraints 1
3600.06/3610.70 c encountered core-guided constraints 0
3600.06/3610.70 c LP total time 0 s
3600.06/3610.70 c LP solve time 0 s
3600.06/3610.70 c LP constraints added 0
3600.06/3610.70 c LP constraints removed 0
3600.06/3610.70 c LP pivots internal 0
3600.06/3610.70 c LP pivots root 0
3600.06/3610.70 c LP calls 0
3600.06/3610.70 c LP optimalities 0
3600.06/3610.70 c LP no pivot count 0
3600.06/3610.70 c LP infeasibilities 0
3600.06/3610.70 c LP valid Farkas constraints 0
3600.06/3610.70 c LP learned Farkas constraints 0
3600.06/3610.70 c LP basis resets 0
3600.06/3610.70 c LP cycling count 0
3600.06/3610.70 c LP singular count 0
3600.06/3610.70 c LP no primal count 0
3600.06/3610.70 c LP no farkas count 0
3600.06/3610.70 c LP other issue count 0
3600.06/3610.70 c LP Gomory cuts 0
3600.06/3610.70 c LP learned cuts 0
3600.06/3610.70 c LP deleted cuts 0
3600.06/3610.70 c LP encountered Gomory constraints 0
3600.06/3610.70 c LP encountered Farkas constraints 0
3600.06/3610.70 c LP encountered learned Farkas constraints 0
3600.06/3610.70 c CG auxiliary variables introduced 0
3600.06/3610.70 c CG solutions found 0
3600.06/3610.70 c CG cores constructed 6
3600.06/3610.70 c CG core cardinality constraints returned 0
3600.06/3610.70 c CG unit cores 0
3600.06/3610.70 c CG single cores 6
3600.06/3610.70 c CG blocks removed during cardinality reduction 0
3600.06/3610.70 c CG first core best 0
3600.06/3610.70 c CG decision core best 0
3600.06/3610.70 c CG core reduction tie 0
3600.06/3610.70 c CG core degree average 1.00
3600.06/3610.70 c CG core slack average 47.50
3600.06/3610.70 c CG exhausted 0
3600.06/3610.70 c CG exhaust time 0 s
3600.06/3610.70 c CG trimmed 0
3600.06/3610.70 c CG trim time 0.00075 s
3600.06/3610.70 c CG minimized 0
3600.06/3610.70 c CG minimize time 0 s
3600.06/3610.70 c CG am1 prop time 0.001086 s
3600.06/3610.70 c CG # am1s reformulated 0
3600.06/3610.70 c CG lower bound derived from am1s 0
3600.06/3610.70 c CG # clausal cores 6
3600.06/3610.70 c CG # cardinality cores 0
3600.06/3610.70 c CG # pb cores 0
3600.06/3610.70 c CG # pb reforms 0
3600.06/3610.70 c CG # cores discarded because of pb reform 0
3600.06/3610.70 d LOWERBOUND 6
3600.06/3610.70 d NCORES 6
3600.06/3610.70 d NPBCORES 0
3600.06/3610.70 d NPBREFORM 0
3600.06/3610.70 d NTRIMMED 0
3600.06/3610.70 d NEXHAUSTED 0
3600.06/3610.70 d NAM1S 0
3600.06/3610.70 d AM1LB 0
3600.06/3610.70 c [Papilo Statistics]
3600.06/3610.70 c prepro time 0.0153278s
3600.06/3610.70 c # tsx applied 20
3600.06/3610.70 c # tsx conflicts 0
3600.06/3610.70 c # bound changes 5
3600.06/3610.70 c # side changes 12
3600.06/3610.70 c # coef changes 43
3600.06/3610.70 c # rounds 2
3600.06/3610.70 c # deted vars 11
3600.06/3610.70 c # deted constrs 24
3600.06/3610.70 c # consecutive rounds of only bound changes 0
3600.06/3610.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (51140 MiB free)
memory of node 1: 64465 MiB (56174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497689-1751397381/watcher-4497689-1751397381 -o /tmp/evaluation-result-4497689-1751397381/solver-4497689-1751397381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55035 --watchdog 3760 mixed-bag HOME/instance-4497689-1751397381.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55077, runsolver pid=55072
[startup+0.100023 s]*
/proc/loadavg: 2.49 3.77 3.99 5/263 55092
/proc/meminfo: memFree=109850292/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=119332 memory=45304 CPUtime=0.07 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 8767 0 1 0 6 1 0 0 20 0 1 0 55416656 122195968 11326 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 29833 11326 4000 2842 0 11527 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 119332 KiB
Current children cumulated memory: 45304 KiB
[startup+0.205491 s]*
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109767720/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=142176 memory=66428 CPUtime=0.17 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 14885 0 1 0 15 2 0 0 20 0 1 0 55416656 145588224 16607 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 35544 16607 4064 2842 0 17238 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 142176 KiB
Current children cumulated memory: 66428 KiB
[startup+0.305602 s]*
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109656872/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=161532 memory=82096 CPUtime=0.27 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 18224 0 1 0 24 3 0 0 20 0 1 0 55416656 165408768 20524 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 40383 20524 4128 2842 0 22077 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 161532 KiB
Current children cumulated memory: 82096 KiB
[startup+0.700175 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109438384/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=206564 memory=125872 CPUtime=0.66 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 29047 0 1 0 61 5 0 0 20 0 1 0 55416656 211521536 31468 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 51641 31468 4288 2842 0 33335 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 206564 KiB
Current children cumulated memory: 125872 KiB
[startup+1.50018 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109239092/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=217812 memory=138672 CPUtime=1.46 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 32269 0 1 0 141 5 0 0 20 0 1 0 55416656 223039488 34668 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 54453 34668 4288 2842 0 36147 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 217812 KiB
Current children cumulated memory: 138672 KiB
[startup+3.10557 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=108158168/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=245928 memory=160944 CPUtime=3.05 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 37842 0 1 0 299 6 0 0 20 0 1 0 55416656 251830272 40236 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 61482 40236 4288 2842 0 43176 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 245928 KiB
Current children cumulated memory: 160944 KiB
[startup+6.30011 s]
/proc/loadavg: 2.61 3.77 3.99 5/267 55096
/proc/meminfo: memFree=107627104/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=253976 memory=162992 CPUtime=6.24 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 38359 0 1 0 618 6 0 0 20 0 1 0 55416656 260071424 40748 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 63494 40748 4288 2842 0 45188 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 253976 KiB
Current children cumulated memory: 162992 KiB
[startup+12.7002 s]
/proc/loadavg: 2.80 3.79 3.99 5/266 55096
/proc/meminfo: memFree=107275768/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=282460 memory=191792 CPUtime=12.63 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 45568 0 1 0 1255 8 0 0 20 0 1 0 55416656 289239040 47948 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 70615 47948 4288 2842 0 52309 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 282460 KiB
Current children cumulated memory: 191792 KiB
[startup+25.5001 s]
/proc/loadavg: 3.07 3.80 4.00 5/266 55096
/proc/meminfo: memFree=107208192/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=282460 memory=191920 CPUtime=25.39 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 45605 0 1 0 2531 8 0 0 20 0 1 0 55416656 289239040 47980 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 70615 47980 4288 2842 0 52309 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 282460 KiB
Current children cumulated memory: 191920 KiB
[startup+51.1055 s]
/proc/loadavg: 3.39 3.82 4.00 5/266 55097
/proc/meminfo: memFree=106392752/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=282460 memory=192048 CPUtime=50.92 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 45645 0 1 0 5084 8 0 0 20 0 1 0 55416656 289239040 48012 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 70615 48012 4288 2842 0 52309 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 282460 KiB
Current children cumulated memory: 192048 KiB
[startup+102.3 s]
/proc/loadavg: 3.80 3.86 4.00 5/266 55098
/proc/meminfo: memFree=106364744/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=282460 memory=192432 CPUtime=101.96 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 45743 0 1 0 10188 8 0 0 20 0 1 0 55416656 289239040 48108 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 70615 48108 4288 2842 0 52309 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 282460 KiB
Current children cumulated memory: 192432 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 3.91 4.00 5/267 55101
/proc/meminfo: memFree=106319888/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=307064 memory=206640 CPUtime=161.79 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 49321 0 1 0 16170 9 0 0 20 0 1 0 55416656 314433536 51660 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 76766 51660 4288 2842 0 58460 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 307064 KiB
Current children cumulated memory: 206640 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.94 4.00 5/267 55103
/proc/meminfo: memFree=106273536/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=333368 memory=229996 CPUtime=221.62 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 55549 0 1 0 22152 10 0 0 20 0 1 0 55416656 341368832 57499 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 83342 57499 4288 2842 0 65036 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 333368 KiB
Current children cumulated memory: 229996 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.97 4.00 5/266 55105
/proc/meminfo: memFree=106219140/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=358500 memory=253520 CPUtime=281.44 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 61749 0 1 0 28133 11 0 0 20 0 1 0 55416656 367104000 63380 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 89625 63380 4288 2842 0 71319 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 358500 KiB
Current children cumulated memory: 253520 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.99 4.00 5/264 55107
/proc/meminfo: memFree=106145384/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=397560 memory=294568 CPUtime=341.28 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 66114 0 1 0 34088 40 0 0 20 0 1 0 55416656 407101440 73642 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 99390 73642 4576 2842 0 81084 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 397560 KiB
Current children cumulated memory: 294568 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.02 4.01 5/264 55109
/proc/meminfo: memFree=105965888/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=397560 memory=303016 CPUtime=401.12 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 66216 0 1 0 40033 79 0 0 20 0 1 0 55416656 407101440 75754 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 99390 75754 4576 2842 0 81084 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 397560 KiB
Current children cumulated memory: 303016 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.03 4.01 5/262 55111
/proc/meminfo: memFree=105906780/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=428380 memory=315428 CPUtime=460.97 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 66748 0 1 0 45989 108 0 0 20 0 1 0 55416656 438661120 78857 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 107095 78857 4576 2842 0 88789 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
Current children cumulated memory: 462032 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.07 5/262 55231
/proc/meminfo: memFree=104588756/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=462032 CPUtime=2913.79 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68607 0 1 0 290517 862 0 0 20 0 1 0 55416656 573292544 115508 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 115508 4576 2842 0 121658 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 462032 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/262 55233
/proc/meminfo: memFree=104583768/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=468176 CPUtime=2973.61 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68611 0 1 0 296481 880 0 0 20 0 1 0 55416656 573292544 117044 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 117044 4576 2842 0 121658 0
Current children cumulated CPU time: 2973.61 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 468176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/263 55242
/proc/meminfo: memFree=104559628/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=468176 CPUtime=3033.42 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68611 0 1 0 302444 898 0 0 20 0 1 0 55416656 573292544 117044 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 117044 4576 2842 0 121658 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 468176 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/263 55244
/proc/meminfo: memFree=104559548/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=468176 CPUtime=3093.23 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68611 0 1 0 308411 912 0 0 20 0 1 0 55416656 573292544 117044 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 117044 4576 2842 0 121658 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 468176 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.07 5/263 55246
/proc/meminfo: memFree=104543332/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=484560 CPUtime=3153.05 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68619 0 1 0 314378 927 0 0 20 0 1 0 55416656 573292544 121140 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 121140 4576 2842 0 121658 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 484560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/264 55249
/proc/meminfo: memFree=104485644/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=484560 CPUtime=3212.86 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68619 0 1 0 320342 944 0 0 20 0 1 0 55416656 573292544 121140 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 121140 4576 2842 0 121658 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 484560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/264 55251
/proc/meminfo: memFree=104483504/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=484560 CPUtime=3272.67 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68619 0 1 0 326306 961 0 0 20 0 1 0 55416656 573292544 121140 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 121140 4576 2842 0 121658 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 484560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/264 55253
/proc/meminfo: memFree=104483712/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=484560 CPUtime=3332.49 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68619 0 1 0 332273 976 0 0 20 0 1 0 55416656 573292544 121140 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 121140 4576 2842 0 121658 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 484560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/264 55255
/proc/meminfo: memFree=104459040/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=484560 CPUtime=3392.3 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68619 0 1 0 338237 993 0 0 20 0 1 0 55416656 573292544 121140 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 121140 4576 2842 0 121658 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 484560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.18 4.11 5/264 55257
/proc/meminfo: memFree=104459200/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=484560 CPUtime=3452.12 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68619 0 1 0 344201 1011 0 0 20 0 1 0 55416656 573292544 121140 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 121140 4576 2842 0 121658 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 484560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.24 4.14 5/263 55259
/proc/meminfo: memFree=104459716/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=484560 CPUtime=3511.93 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68619 0 1 0 350169 1024 0 0 20 0 1 0 55416656 573292544 121140 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 121140 4576 2842 0 121658 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 484560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.49 4.29 4.16 5/263 55261
/proc/meminfo: memFree=104454772/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=488656 CPUtime=3571.75 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68621 0 1 0 356141 1034 0 0 20 0 1 0 55416656 573292544 122164 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 122164 4576 2842 0 121658 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 488656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.32 4.26 4.15 3/259 55297
/proc/meminfo: memFree=106305348/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=488656 CPUtime=3600.06 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68621 0 1 0 358966 1040 0 0 20 0 1 0 55416656 573292544 122164 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 122164 4576 2842 0 121658 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 488656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 55077 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.66 s, system=10.4065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.32 4.26 4.15 3/259 55297
/proc/meminfo: memFree=106305348/131249988 swapFree=33010416/33010684
[pid=55077] ppid=55072 vsize=559856 memory=488656 CPUtime=3600.06 cores=0,2
/proc/55077/stat : 55077 (mixed-bag) R 55072 55077 55025 0 -1 4194304 68621 0 1 0 358966 1040 0 0 20 0 1 0 55416656 573292544 122164 18446744073709551615 4235264 15874749 140725323184000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 47677440 140725323192732 140725323192809 140725323192809 140725323198411 0
/proc/55077/statm: 139964 122164 4576 2842 0 121658 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 559856 KiB
Current children cumulated memory: 488656 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.07
CPU user time (s): 3589.66
CPU system time (s): 10.4065
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 559856
Max. memory (cumulated for all children) (KiB): 488656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.66
system time used= 10.4065
maximum resident set size= 489424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68645
page faults= 1
swaps= 0
block input operations= 16
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226
involuntary context switches= 7872
# summary of solver processes directly reported to runsolver:
# pid: 55077
# total CPU time (s): 3600.07
# total CPU user time (s): 3589.66
# total CPU system time (s): 10.4065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80013 second user time and 16.0211 second system time
The end
Begin job on nodeC031 at 2025-07-01 21:16:21
IDJOB=4497689
IDBENCH=148191
IDSOLVER=3340
FILE ID=nodeC031/4497689-1751397381
RUNJOBID= nodeC031-1751397381-55035
SLURM_JOB_ID= 9598276
Free space on /tmp= 432912 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4497689-1751397381/watcher-4497689-1751397381 -o /tmp/evaluation-result-4497689-1751397381/solver-4497689-1751397381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55035 --watchdog 3760 mixed-bag HOME/instance-4497689-1751397381.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1530373866
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3588.833
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.447
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.887
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.653
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.896
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 109890916 kB
MemAvailable: 129627600 kB
Buffers: 2128 kB
Cached: 20423124 kB
SwapCached: 12 kB
Active: 495744 kB
Inactive: 20017312 kB
Active(anon): 95384 kB
Inactive(anon): 10472 kB
Active(file): 400360 kB
Inactive(file): 20006840 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 58320 kB
Writeback: 0 kB
AnonPages: 90872 kB
Mapped: 103476 kB
Shmem: 18052 kB
KReclaimable: 337444 kB
Slab: 428332 kB
SReclaimable: 337444 kB
SUnreclaim: 90888 kB
KernelStack: 4040 kB
PageTables: 2408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 356848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432840 MiB
End job on nodeC031 at 2025-07-01 22:16:32