0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.12 c [STEP] preprocessing with Papilo
0.08/0.18 c [STEP] solving with SCIP
299.14/300.24 c [STEP] preprocessing done, loading into solver
299.14/300.28 c [STEP] solving
299.14/300.28 c #variables 3296 #constraints 6383
299.14/300.28 c SMALL=int, LARGE=long long
299.14/300.28 d SCIPUB 128
299.14/300.28 c bounds - >= 0 @ 299.023
299.14/300.28 c stratification level: 0
340.93/342.12 c #Conflicts: 1000 | #Constraints: 7382
340.93/342.12 c #Conflicts: 2000 | #Constraints: 8382
340.93/342.12 c INPROCESSING
340.93/342.12 c #Conflicts: 3000 | #Constraints: 8397
340.93/342.12 c #Conflicts: 4000 | #Constraints: 9397
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 5000 | #Constraints: 8811
340.93/342.12 c #Conflicts: 6000 | #Constraints: 9811
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 7000 | #Constraints: 8823
340.93/342.12 c #Conflicts: 8000 | #Constraints: 9823
340.93/342.12 c #Conflicts: 9000 | #Constraints: 10823
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 10000 | #Constraints: 9527
340.93/342.12 c #Conflicts: 11000 | #Constraints: 10527
340.93/342.12 c #Conflicts: 12000 | #Constraints: 11527
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 13000 | #Constraints: 9985
340.93/342.12 c #Conflicts: 14000 | #Constraints: 10985
340.93/342.12 c #Conflicts: 15000 | #Constraints: 11985
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 16000 | #Constraints: 10213
340.93/342.12 c #Conflicts: 17000 | #Constraints: 11213
340.93/342.12 c #Conflicts: 18000 | #Constraints: 12213
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 19000 | #Constraints: 10223
340.93/342.12 c #Conflicts: 20000 | #Constraints: 11223
340.93/342.12 c #Conflicts: 21000 | #Constraints: 12223
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 22000 | #Constraints: 10036
340.93/342.12 c #Conflicts: 23000 | #Constraints: 11036
340.93/342.12 c #Conflicts: 24000 | #Constraints: 12036
340.93/342.12 c #Conflicts: 25000 | #Constraints: 13036
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 26000 | #Constraints: 10636
340.93/342.12 c #Conflicts: 27000 | #Constraints: 11636
340.93/342.12 c #Conflicts: 28000 | #Constraints: 12636
340.93/342.12 c #Conflicts: 29000 | #Constraints: 13636
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 30000 | #Constraints: 11038
340.93/342.12 c #Conflicts: 31000 | #Constraints: 12038
340.93/342.12 c #Conflicts: 32000 | #Constraints: 13038
340.93/342.12 c #Conflicts: 33000 | #Constraints: 14038
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 34000 | #Constraints: 11237
340.93/342.12 c #Conflicts: 35000 | #Constraints: 12237
340.93/342.12 c #Conflicts: 36000 | #Constraints: 13237
340.93/342.12 c #Conflicts: 37000 | #Constraints: 14237
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 38000 | #Constraints: 11236
340.93/342.12 c #Conflicts: 39000 | #Constraints: 12236
340.93/342.12 c #Conflicts: 40000 | #Constraints: 13236
340.93/342.12 c #Conflicts: 41000 | #Constraints: 14236
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 42000 | #Constraints: 11037
340.93/342.12 c #Conflicts: 43000 | #Constraints: 12037
340.93/342.12 c #Conflicts: 44000 | #Constraints: 13037
340.93/342.12 c #Conflicts: 45000 | #Constraints: 14037
340.93/342.12 c #Conflicts: 46000 | #Constraints: 15037
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 47000 | #Constraints: 11633
340.93/342.12 c #Conflicts: 48000 | #Constraints: 12633
340.93/342.12 c #Conflicts: 49000 | #Constraints: 13633
340.93/342.12 c #Conflicts: 50000 | #Constraints: 14633
340.93/342.12 c #Conflicts: 51000 | #Constraints: 15633
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 52000 | #Constraints: 12034
340.93/342.12 c #Conflicts: 53000 | #Constraints: 13034
340.93/342.12 c #Conflicts: 54000 | #Constraints: 14034
340.93/342.12 c #Conflicts: 55000 | #Constraints: 15034
340.93/342.12 c #Conflicts: 56000 | #Constraints: 16034
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 57000 | #Constraints: 12235
340.93/342.12 c #Conflicts: 58000 | #Constraints: 13235
340.93/342.12 c #Conflicts: 59000 | #Constraints: 14235
340.93/342.12 c #Conflicts: 60000 | #Constraints: 15235
340.93/342.12 c #Conflicts: 61000 | #Constraints: 16235
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 62000 | #Constraints: 12244
340.93/342.12 c #Conflicts: 63000 | #Constraints: 13244
340.93/342.12 c #Conflicts: 64000 | #Constraints: 14244
340.93/342.12 c #Conflicts: 65000 | #Constraints: 15244
340.93/342.12 c #Conflicts: 66000 | #Constraints: 16244
340.93/342.12 c INPROCESSING
340.93/342.12 c GARBAGE COLLECT
340.93/342.12 c #Conflicts: 67000 | #Constraints: 12043
340.93/342.12 c #Conflicts: 68000 | #Constraints: 13043
408.95/410.36 c #Conflicts: 69000 | #Constraints: 14043
408.95/410.36 c #Conflicts: 70000 | #Constraints: 15043
408.95/410.36 c #Conflicts: 71000 | #Constraints: 16043
408.95/410.36 c #Conflicts: 72000 | #Constraints: 17043
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 73000 | #Constraints: 12647
408.95/410.36 c #Conflicts: 74000 | #Constraints: 13647
408.95/410.36 c #Conflicts: 75000 | #Constraints: 14647
408.95/410.36 c #Conflicts: 76000 | #Constraints: 15647
408.95/410.36 c #Conflicts: 77000 | #Constraints: 16647
408.95/410.36 c #Conflicts: 78000 | #Constraints: 17647
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 79000 | #Constraints: 13047
408.95/410.36 c #Conflicts: 80000 | #Constraints: 14047
408.95/410.36 c #Conflicts: 81000 | #Constraints: 15047
408.95/410.36 c #Conflicts: 82000 | #Constraints: 16047
408.95/410.36 c #Conflicts: 83000 | #Constraints: 17047
408.95/410.36 c #Conflicts: 84000 | #Constraints: 18047
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 85000 | #Constraints: 13247
408.95/410.36 c #Conflicts: 86000 | #Constraints: 14247
408.95/410.36 c #Conflicts: 87000 | #Constraints: 15247
408.95/410.36 c #Conflicts: 88000 | #Constraints: 16247
408.95/410.36 c #Conflicts: 89000 | #Constraints: 17247
408.95/410.36 c #Conflicts: 90000 | #Constraints: 18247
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 91000 | #Constraints: 13257
408.95/410.36 c #Conflicts: 92000 | #Constraints: 14257
408.95/410.36 c #Conflicts: 93000 | #Constraints: 15257
408.95/410.36 c #Conflicts: 94000 | #Constraints: 16257
408.95/410.36 c #Conflicts: 95000 | #Constraints: 17257
408.95/410.36 c #Conflicts: 96000 | #Constraints: 18257
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 97000 | #Constraints: 13049
408.95/410.36 c #Conflicts: 98000 | #Constraints: 14049
408.95/410.36 c #Conflicts: 99000 | #Constraints: 15049
408.95/410.36 c #Conflicts: 100000 | #Constraints: 16049
408.95/410.36 c #Conflicts: 101000 | #Constraints: 17049
408.95/410.36 c #Conflicts: 102000 | #Constraints: 18049
408.95/410.36 c #Conflicts: 103000 | #Constraints: 19049
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 104000 | #Constraints: 13651
408.95/410.36 c #Conflicts: 105000 | #Constraints: 14651
408.95/410.36 c #Conflicts: 106000 | #Constraints: 15651
408.95/410.36 c #Conflicts: 107000 | #Constraints: 16651
408.95/410.36 c #Conflicts: 108000 | #Constraints: 17651
408.95/410.36 c #Conflicts: 109000 | #Constraints: 18651
408.95/410.36 c #Conflicts: 110000 | #Constraints: 19651
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 111000 | #Constraints: 14048
408.95/410.36 c #Conflicts: 112000 | #Constraints: 15048
408.95/410.36 c #Conflicts: 113000 | #Constraints: 16048
408.95/410.36 c #Conflicts: 114000 | #Constraints: 17048
408.95/410.36 c #Conflicts: 115000 | #Constraints: 18048
408.95/410.36 c #Conflicts: 116000 | #Constraints: 19048
408.95/410.36 c #Conflicts: 117000 | #Constraints: 20048
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 118000 | #Constraints: 14259
408.95/410.36 c #Conflicts: 119000 | #Constraints: 15259
408.95/410.36 c #Conflicts: 120000 | #Constraints: 16259
408.95/410.36 c #Conflicts: 121000 | #Constraints: 17259
408.95/410.36 c #Conflicts: 122000 | #Constraints: 18259
408.95/410.36 c #Conflicts: 123000 | #Constraints: 19259
408.95/410.36 c #Conflicts: 124000 | #Constraints: 20259
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 125000 | #Constraints: 14250
408.95/410.36 c #Conflicts: 126000 | #Constraints: 15250
408.95/410.36 c #Conflicts: 127000 | #Constraints: 16250
408.95/410.36 c #Conflicts: 128000 | #Constraints: 17250
408.95/410.36 c #Conflicts: 129000 | #Constraints: 18250
408.95/410.36 c #Conflicts: 130000 | #Constraints: 19250
408.95/410.36 c #Conflicts: 131000 | #Constraints: 20250
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 132000 | #Constraints: 14046
408.95/410.36 c #Conflicts: 133000 | #Constraints: 15046
408.95/410.36 c #Conflicts: 134000 | #Constraints: 16046
408.95/410.36 c #Conflicts: 135000 | #Constraints: 17046
408.95/410.36 c #Conflicts: 136000 | #Constraints: 18046
408.95/410.36 c #Conflicts: 137000 | #Constraints: 19046
408.95/410.36 c #Conflicts: 138000 | #Constraints: 20046
408.95/410.36 c #Conflicts: 139000 | #Constraints: 21046
408.95/410.36 c INPROCESSING
408.95/410.36 c GARBAGE COLLECT
408.95/410.36 c #Conflicts: 140000 | #Constraints: 14651
495.30/496.95 c #Conflicts: 141000 | #Constraints: 15651
495.30/496.95 c #Conflicts: 142000 | #Constraints: 16651
495.30/496.95 c #Conflicts: 143000 | #Constraints: 17651
495.30/496.95 c #Conflicts: 144000 | #Constraints: 18651
495.30/496.95 c #Conflicts: 145000 | #Constraints: 19651
495.30/496.95 c #Conflicts: 146000 | #Constraints: 20651
495.30/496.95 c #Conflicts: 147000 | #Constraints: 21651
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 148000 | #Constraints: 15053
495.30/496.95 c #Conflicts: 149000 | #Constraints: 16053
495.30/496.95 c #Conflicts: 150000 | #Constraints: 17053
495.30/496.95 c #Conflicts: 151000 | #Constraints: 18053
495.30/496.95 c #Conflicts: 152000 | #Constraints: 19053
495.30/496.95 c #Conflicts: 153000 | #Constraints: 20053
495.30/496.95 c #Conflicts: 154000 | #Constraints: 21053
495.30/496.95 c #Conflicts: 155000 | #Constraints: 22053
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 156000 | #Constraints: 15249
495.30/496.95 c #Conflicts: 157000 | #Constraints: 16249
495.30/496.95 c #Conflicts: 158000 | #Constraints: 17249
495.30/496.95 c #Conflicts: 159000 | #Constraints: 18249
495.30/496.95 c #Conflicts: 160000 | #Constraints: 19249
495.30/496.95 c #Conflicts: 161000 | #Constraints: 20249
495.30/496.95 c #Conflicts: 162000 | #Constraints: 21249
495.30/496.95 c #Conflicts: 163000 | #Constraints: 22249
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 164000 | #Constraints: 15249
495.30/496.95 c #Conflicts: 165000 | #Constraints: 16249
495.30/496.95 c #Conflicts: 166000 | #Constraints: 17249
495.30/496.95 c #Conflicts: 167000 | #Constraints: 18249
495.30/496.95 c #Conflicts: 168000 | #Constraints: 19249
495.30/496.95 c #Conflicts: 169000 | #Constraints: 20249
495.30/496.95 c #Conflicts: 170000 | #Constraints: 21249
495.30/496.95 c #Conflicts: 171000 | #Constraints: 22249
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 172000 | #Constraints: 15047
495.30/496.95 c #Conflicts: 173000 | #Constraints: 16047
495.30/496.95 c #Conflicts: 174000 | #Constraints: 17047
495.30/496.95 c #Conflicts: 175000 | #Constraints: 18047
495.30/496.95 c #Conflicts: 176000 | #Constraints: 19047
495.30/496.95 c #Conflicts: 177000 | #Constraints: 20047
495.30/496.95 c #Conflicts: 178000 | #Constraints: 21047
495.30/496.95 c #Conflicts: 179000 | #Constraints: 22047
495.30/496.95 c #Conflicts: 180000 | #Constraints: 23047
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 181000 | #Constraints: 15648
495.30/496.95 c #Conflicts: 182000 | #Constraints: 16648
495.30/496.95 c #Conflicts: 183000 | #Constraints: 17648
495.30/496.95 c #Conflicts: 184000 | #Constraints: 18648
495.30/496.95 c #Conflicts: 185000 | #Constraints: 19648
495.30/496.95 c #Conflicts: 186000 | #Constraints: 20648
495.30/496.95 c #Conflicts: 187000 | #Constraints: 21648
495.30/496.95 c #Conflicts: 188000 | #Constraints: 22648
495.30/496.95 c #Conflicts: 189000 | #Constraints: 23648
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 190000 | #Constraints: 16047
495.30/496.95 c #Conflicts: 191000 | #Constraints: 17047
495.30/496.95 c #Conflicts: 192000 | #Constraints: 18047
495.30/496.95 c #Conflicts: 193000 | #Constraints: 19047
495.30/496.95 c #Conflicts: 194000 | #Constraints: 20047
495.30/496.95 c #Conflicts: 195000 | #Constraints: 21047
495.30/496.95 c #Conflicts: 196000 | #Constraints: 22047
495.30/496.95 c #Conflicts: 197000 | #Constraints: 23047
495.30/496.95 c #Conflicts: 198000 | #Constraints: 24047
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 199000 | #Constraints: 16246
495.30/496.95 c #Conflicts: 200000 | #Constraints: 17246
495.30/496.95 c #Conflicts: 201000 | #Constraints: 18246
495.30/496.95 c #Conflicts: 202000 | #Constraints: 19246
495.30/496.95 c #Conflicts: 203000 | #Constraints: 20246
495.30/496.95 c #Conflicts: 204000 | #Constraints: 21246
495.30/496.95 c #Conflicts: 205000 | #Constraints: 22246
495.30/496.95 c #Conflicts: 206000 | #Constraints: 23246
495.30/496.95 c #Conflicts: 207000 | #Constraints: 24246
495.30/496.95 c INPROCESSING
495.30/496.95 c GARBAGE COLLECT
495.30/496.95 c #Conflicts: 208000 | #Constraints: 16240
495.30/496.95 c #Conflicts: 209000 | #Constraints: 17240
495.30/496.95 c #Conflicts: 210000 | #Constraints: 18240
495.30/496.95 c #Conflicts: 211000 | #Constraints: 19240
495.30/496.95 c #Conflicts: 212000 | #Constraints: 20240
495.30/496.95 c #Conflicts: 213000 | #Constraints: 21240
495.30/496.95 c #Conflicts: 214000 | #Constraints: 22240
596.63/598.59 c #Conflicts: 215000 | #Constraints: 23240
596.63/598.59 c #Conflicts: 216000 | #Constraints: 24240
596.63/598.59 c INPROCESSING
596.63/598.59 c GARBAGE COLLECT
596.63/598.59 c #Conflicts: 217000 | #Constraints: 16047
596.63/598.59 c #Conflicts: 218000 | #Constraints: 17047
596.63/598.59 c #Conflicts: 219000 | #Constraints: 18047
596.63/598.59 c #Conflicts: 220000 | #Constraints: 19047
596.63/598.59 c #Conflicts: 221000 | #Constraints: 20047
596.63/598.59 c #Conflicts: 222000 | #Constraints: 21047
596.63/598.59 c #Conflicts: 223000 | #Constraints: 22047
596.63/598.59 c #Conflicts: 224000 | #Constraints: 23047
596.63/598.59 c #Conflicts: 225000 | #Constraints: 24047
596.63/598.59 c #Conflicts: 226000 | #Constraints: 25047
596.63/598.59 c INPROCESSING
596.63/598.59 c GARBAGE COLLECT
596.63/598.59 c #Conflicts: 227000 | #Constraints: 16647
596.63/598.59 c #Conflicts: 228000 | #Constraints: 17647
596.63/598.59 c #Conflicts: 229000 | #Constraints: 18647
596.63/598.59 c #Conflicts: 230000 | #Constraints: 19647
596.63/598.59 c #Conflicts: 231000 | #Constraints: 20647
596.63/598.59 c #Conflicts: 232000 | #Constraints: 21647
596.63/598.59 c #Conflicts: 233000 | #Constraints: 22647
596.63/598.59 c #Conflicts: 234000 | #Constraints: 23647
596.63/598.59 c #Conflicts: 235000 | #Constraints: 24647
596.63/598.59 c #Conflicts: 236000 | #Constraints: 25647
596.63/598.59 c INPROCESSING
596.63/598.59 c GARBAGE COLLECT
596.63/598.59 c #Conflicts: 237000 | #Constraints: 17050
596.63/598.59 c #Conflicts: 238000 | #Constraints: 18050
596.63/598.59 c #Conflicts: 239000 | #Constraints: 19050
596.63/598.59 c #Conflicts: 240000 | #Constraints: 20050
596.63/598.59 c #Conflicts: 241000 | #Constraints: 21050
596.63/598.59 c #Conflicts: 242000 | #Constraints: 22050
596.63/598.59 c #Conflicts: 243000 | #Constraints: 23050
596.63/598.59 c #Conflicts: 244000 | #Constraints: 24050
596.63/598.59 c #Conflicts: 245000 | #Constraints: 25050
596.63/598.59 c #Conflicts: 246000 | #Constraints: 26050
596.63/598.59 c INPROCESSING
596.63/598.59 c GARBAGE COLLECT
596.63/598.59 c #Conflicts: 247000 | #Constraints: 17264
596.63/598.59 c #Conflicts: 248000 | #Constraints: 18264
596.63/598.59 c #Conflicts: 249000 | #Constraints: 19264
596.63/598.59 c #Conflicts: 250000 | #Constraints: 20264
596.63/598.59 c #Conflicts: 251000 | #Constraints: 21264
596.63/598.59 c #Conflicts: 252000 | #Constraints: 22264
596.63/598.59 c #Conflicts: 253000 | #Constraints: 23264
596.63/598.59 c #Conflicts: 254000 | #Constraints: 24264
596.63/598.59 c #Conflicts: 255000 | #Constraints: 25264
596.63/598.59 c #Conflicts: 256000 | #Constraints: 26264
596.63/598.59 c INPROCESSING
596.63/598.59 c GARBAGE COLLECT
596.63/598.59 c #Conflicts: 257000 | #Constraints: 17263
596.63/598.59 c #Conflicts: 258000 | #Constraints: 18263
596.63/598.59 c #Conflicts: 259000 | #Constraints: 19263
596.63/598.59 c #Conflicts: 260000 | #Constraints: 20263
596.63/598.59 c #Conflicts: 261000 | #Constraints: 21263
596.63/598.59 c #Conflicts: 262000 | #Constraints: 22263
596.63/598.59 c #Conflicts: 263000 | #Constraints: 23263
596.63/598.59 c #Conflicts: 264000 | #Constraints: 24263
596.63/598.59 c #Conflicts: 265000 | #Constraints: 25263
596.63/598.59 c #Conflicts: 266000 | #Constraints: 26263
596.63/598.59 c INPROCESSING
596.63/598.59 c GARBAGE COLLECT
596.63/598.59 c #Conflicts: 267000 | #Constraints: 17061
596.63/598.59 c #Conflicts: 268000 | #Constraints: 18061
596.63/598.59 c #Conflicts: 269000 | #Constraints: 19061
596.63/598.59 c #Conflicts: 270000 | #Constraints: 20061
596.63/598.59 c #Conflicts: 271000 | #Constraints: 21061
596.63/598.59 c #Conflicts: 272000 | #Constraints: 22061
596.63/598.59 c #Conflicts: 273000 | #Constraints: 23061
596.63/598.59 c #Conflicts: 274000 | #Constraints: 24061
596.63/598.59 c #Conflicts: 275000 | #Constraints: 25061
596.63/598.59 c #Conflicts: 276000 | #Constraints: 26061
596.63/598.59 c #Conflicts: 277000 | #Constraints: 27061
596.63/598.59 c INPROCESSING
596.63/598.59 c GARBAGE COLLECT
596.63/598.59 c #Conflicts: 278000 | #Constraints: 17659
596.63/598.59 c #Conflicts: 279000 | #Constraints: 18659
596.63/598.59 c #Conflicts: 280000 | #Constraints: 19659
596.63/598.59 c #Conflicts: 281000 | #Constraints: 20659
596.63/598.59 c #Conflicts: 282000 | #Constraints: 21659
596.63/598.59 c #Conflicts: 283000 | #Constraints: 22659
596.63/598.59 c #Conflicts: 284000 | #Constraints: 23659
596.63/598.59 c #Conflicts: 285000 | #Constraints: 24659
596.63/598.59 c #Conflicts: 286000 | #Constraints: 25659
596.63/598.59 c #Conflicts: 287000 | #Constraints: 26659
596.63/598.59 c #Conflicts: 288000 | #Constraints: 27659
706.05/708.29 c INPROCESSING
706.05/708.29 c GARBAGE COLLECT
706.05/708.29 c #Conflicts: 289000 | #Constraints: 18063
706.05/708.29 c #Conflicts: 290000 | #Constraints: 19063
706.05/708.29 c #Conflicts: 291000 | #Constraints: 20063
706.05/708.29 c #Conflicts: 292000 | #Constraints: 21063
706.05/708.29 c #Conflicts: 293000 | #Constraints: 22063
706.05/708.29 c #Conflicts: 294000 | #Constraints: 23063
706.05/708.29 c #Conflicts: 295000 | #Constraints: 24063
706.05/708.29 c #Conflicts: 296000 | #Constraints: 25063
706.05/708.29 c #Conflicts: 297000 | #Constraints: 26063
706.05/708.29 c #Conflicts: 298000 | #Constraints: 27063
706.05/708.29 c #Conflicts: 299000 | #Constraints: 28063
706.05/708.29 c INPROCESSING
706.05/708.29 c GARBAGE COLLECT
706.05/708.29 c #Conflicts: 300000 | #Constraints: 18263
706.05/708.29 c #Conflicts: 301000 | #Constraints: 19263
706.05/708.29 c #Conflicts: 302000 | #Constraints: 20263
706.05/708.29 c #Conflicts: 303000 | #Constraints: 21263
706.05/708.29 c #Conflicts: 304000 | #Constraints: 22263
706.05/708.29 c #Conflicts: 305000 | #Constraints: 23263
706.05/708.29 c #Conflicts: 306000 | #Constraints: 24263
706.05/708.29 c #Conflicts: 307000 | #Constraints: 25263
706.05/708.29 c #Conflicts: 308000 | #Constraints: 26263
706.05/708.29 c #Conflicts: 309000 | #Constraints: 27263
706.05/708.29 c #Conflicts: 310000 | #Constraints: 28263
706.05/708.29 c INPROCESSING
706.05/708.29 c GARBAGE COLLECT
706.05/708.29 c #Conflicts: 311000 | #Constraints: 18269
706.05/708.29 c #Conflicts: 312000 | #Constraints: 19269
706.05/708.29 c #Conflicts: 313000 | #Constraints: 20269
706.05/708.29 c #Conflicts: 314000 | #Constraints: 21269
706.05/708.29 c #Conflicts: 315000 | #Constraints: 22269
706.05/708.29 c #Conflicts: 316000 | #Constraints: 23269
706.05/708.29 c #Conflicts: 317000 | #Constraints: 24269
706.05/708.29 c #Conflicts: 318000 | #Constraints: 25269
706.05/708.29 c #Conflicts: 319000 | #Constraints: 26269
706.05/708.29 c #Conflicts: 320000 | #Constraints: 27269
706.05/708.29 c #Conflicts: 321000 | #Constraints: 28269
706.05/708.29 c INPROCESSING
706.05/708.29 c GARBAGE COLLECT
706.05/708.29 c #Conflicts: 322000 | #Constraints: 18057
706.05/708.29 c #Conflicts: 323000 | #Constraints: 19057
706.05/708.29 c #Conflicts: 324000 | #Constraints: 20057
706.05/708.29 c #Conflicts: 325000 | #Constraints: 21057
706.05/708.29 c #Conflicts: 326000 | #Constraints: 22057
706.05/708.29 c #Conflicts: 327000 | #Constraints: 23057
706.05/708.29 c #Conflicts: 328000 | #Constraints: 24057
706.05/708.29 c #Conflicts: 329000 | #Constraints: 25057
706.05/708.29 c #Conflicts: 330000 | #Constraints: 26057
706.05/708.29 c #Conflicts: 331000 | #Constraints: 27057
706.05/708.29 c #Conflicts: 332000 | #Constraints: 28057
706.05/708.29 c #Conflicts: 333000 | #Constraints: 29057
706.05/708.29 c INPROCESSING
706.05/708.29 c GARBAGE COLLECT
706.05/708.29 c #Conflicts: 334000 | #Constraints: 18660
706.05/708.29 c #Conflicts: 335000 | #Constraints: 19660
706.05/708.29 c #Conflicts: 336000 | #Constraints: 20660
706.05/708.29 c #Conflicts: 337000 | #Constraints: 21660
706.05/708.29 c #Conflicts: 338000 | #Constraints: 22660
706.05/708.29 c #Conflicts: 339000 | #Constraints: 23660
706.05/708.29 c #Conflicts: 340000 | #Constraints: 24660
706.05/708.29 c #Conflicts: 341000 | #Constraints: 25660
706.05/708.29 c #Conflicts: 342000 | #Constraints: 26660
706.05/708.29 c #Conflicts: 343000 | #Constraints: 27660
706.05/708.29 c #Conflicts: 344000 | #Constraints: 28660
706.05/708.29 c #Conflicts: 345000 | #Constraints: 29660
706.05/708.29 c INPROCESSING
706.05/708.29 c GARBAGE COLLECT
706.05/708.29 c #Conflicts: 346000 | #Constraints: 19067
706.05/708.29 c #Conflicts: 347000 | #Constraints: 20067
706.05/708.29 c #Conflicts: 348000 | #Constraints: 21067
706.05/708.29 c #Conflicts: 349000 | #Constraints: 22067
706.05/708.29 c #Conflicts: 350000 | #Constraints: 23067
706.05/708.29 c #Conflicts: 351000 | #Constraints: 24067
706.05/708.29 c #Conflicts: 352000 | #Constraints: 25067
706.05/708.29 c #Conflicts: 353000 | #Constraints: 26067
706.05/708.29 c #Conflicts: 354000 | #Constraints: 27067
706.05/708.29 c #Conflicts: 355000 | #Constraints: 28067
706.05/708.29 c #Conflicts: 356000 | #Constraints: 29067
706.05/708.29 c #Conflicts: 357000 | #Constraints: 30067
706.05/708.29 c INPROCESSING
706.05/708.29 c GARBAGE COLLECT
706.05/708.29 c #Conflicts: 358000 | #Constraints: 19275
706.05/708.29 c #Conflicts: 359000 | #Constraints: 20275
706.05/708.29 c #Conflicts: 360000 | #Constraints: 21275
706.05/708.29 c #Conflicts: 361000 | #Constraints: 22275
706.05/708.29 c #Conflicts: 362000 | #Constraints: 23275
830.64/833.13 c #Conflicts: 363000 | #Constraints: 24275
830.64/833.13 c #Conflicts: 364000 | #Constraints: 25275
830.64/833.13 c #Conflicts: 365000 | #Constraints: 26275
830.64/833.13 c #Conflicts: 366000 | #Constraints: 27275
830.64/833.13 c #Conflicts: 367000 | #Constraints: 28275
830.64/833.13 c #Conflicts: 368000 | #Constraints: 29275
830.64/833.13 c #Conflicts: 369000 | #Constraints: 30275
830.64/833.13 c INPROCESSING
830.64/833.13 c GARBAGE COLLECT
830.64/833.13 c #Conflicts: 370000 | #Constraints: 19262
830.64/833.13 c #Conflicts: 371000 | #Constraints: 20262
830.64/833.13 c #Conflicts: 372000 | #Constraints: 21262
830.64/833.13 c #Conflicts: 373000 | #Constraints: 22262
830.64/833.13 c #Conflicts: 374000 | #Constraints: 23262
830.64/833.13 c #Conflicts: 375000 | #Constraints: 24262
830.64/833.13 c #Conflicts: 376000 | #Constraints: 25262
830.64/833.13 c #Conflicts: 377000 | #Constraints: 26262
830.64/833.13 c #Conflicts: 378000 | #Constraints: 27262
830.64/833.13 c #Conflicts: 379000 | #Constraints: 28262
830.64/833.13 c #Conflicts: 380000 | #Constraints: 29262
830.64/833.13 c #Conflicts: 381000 | #Constraints: 30262
830.64/833.13 c INPROCESSING
830.64/833.13 c GARBAGE COLLECT
830.64/833.13 c #Conflicts: 382000 | #Constraints: 19052
830.64/833.13 c #Conflicts: 383000 | #Constraints: 20052
830.64/833.13 c #Conflicts: 384000 | #Constraints: 21052
830.64/833.13 c #Conflicts: 385000 | #Constraints: 22052
830.64/833.13 c #Conflicts: 386000 | #Constraints: 23052
830.64/833.13 c #Conflicts: 387000 | #Constraints: 24052
830.64/833.13 c #Conflicts: 388000 | #Constraints: 25052
830.64/833.13 c #Conflicts: 389000 | #Constraints: 26052
830.64/833.13 c #Conflicts: 390000 | #Constraints: 27052
830.64/833.13 c #Conflicts: 391000 | #Constraints: 28052
830.64/833.13 c #Conflicts: 392000 | #Constraints: 29052
830.64/833.13 c #Conflicts: 393000 | #Constraints: 30052
830.64/833.13 c #Conflicts: 394000 | #Constraints: 31052
830.64/833.13 c INPROCESSING
830.64/833.13 c GARBAGE COLLECT
830.64/833.13 c #Conflicts: 395000 | #Constraints: 19647
830.64/833.13 c #Conflicts: 396000 | #Constraints: 20647
830.64/833.13 c #Conflicts: 397000 | #Constraints: 21647
830.64/833.13 c #Conflicts: 398000 | #Constraints: 22647
830.64/833.13 c #Conflicts: 399000 | #Constraints: 23647
830.64/833.13 c #Conflicts: 400000 | #Constraints: 24647
830.64/833.13 c #Conflicts: 401000 | #Constraints: 25647
830.64/833.13 c #Conflicts: 402000 | #Constraints: 26647
830.64/833.13 c #Conflicts: 403000 | #Constraints: 27647
830.64/833.13 c #Conflicts: 404000 | #Constraints: 28647
830.64/833.13 c #Conflicts: 405000 | #Constraints: 29647
830.64/833.13 c #Conflicts: 406000 | #Constraints: 30647
830.64/833.13 c #Conflicts: 407000 | #Constraints: 31647
830.64/833.13 c INPROCESSING
830.64/833.13 c GARBAGE COLLECT
830.64/833.13 c #Conflicts: 408000 | #Constraints: 20057
830.64/833.13 c #Conflicts: 409000 | #Constraints: 21057
830.64/833.13 c #Conflicts: 410000 | #Constraints: 22057
830.64/833.13 c #Conflicts: 411000 | #Constraints: 23057
830.64/833.13 c #Conflicts: 412000 | #Constraints: 24057
830.64/833.13 c #Conflicts: 413000 | #Constraints: 25057
830.64/833.13 c #Conflicts: 414000 | #Constraints: 26057
830.64/833.13 c #Conflicts: 415000 | #Constraints: 27057
830.64/833.13 c #Conflicts: 416000 | #Constraints: 28057
830.64/833.13 c #Conflicts: 417000 | #Constraints: 29057
830.64/833.13 c #Conflicts: 418000 | #Constraints: 30057
830.64/833.13 c #Conflicts: 419000 | #Constraints: 31057
830.64/833.13 c #Conflicts: 420000 | #Constraints: 32057
830.64/833.13 c INPROCESSING
830.64/833.13 c GARBAGE COLLECT
830.64/833.13 c #Conflicts: 421000 | #Constraints: 20258
830.64/833.13 c #Conflicts: 422000 | #Constraints: 21258
830.64/833.13 c #Conflicts: 423000 | #Constraints: 22258
830.64/833.13 c #Conflicts: 424000 | #Constraints: 23258
830.64/833.13 c #Conflicts: 425000 | #Constraints: 24258
830.64/833.13 c #Conflicts: 426000 | #Constraints: 25258
830.64/833.13 c #Conflicts: 427000 | #Constraints: 26258
830.64/833.13 c #Conflicts: 428000 | #Constraints: 27258
830.64/833.13 c #Conflicts: 429000 | #Constraints: 28258
830.64/833.13 c #Conflicts: 430000 | #Constraints: 29258
830.64/833.13 c #Conflicts: 431000 | #Constraints: 30258
830.64/833.13 c #Conflicts: 432000 | #Constraints: 31258
830.64/833.13 c #Conflicts: 433000 | #Constraints: 32258
830.64/833.13 c INPROCESSING
830.64/833.13 c GARBAGE COLLECT
830.64/833.13 c #Conflicts: 434000 | #Constraints: 20261
830.64/833.13 c #Conflicts: 435000 | #Constraints: 21261
830.64/833.13 c #Conflicts: 436000 | #Constraints: 22261
830.64/833.13 c #Conflicts: 437000 | #Constraints: 23261
972.08/974.92 c #Conflicts: 438000 | #Constraints: 24261
972.08/974.92 c #Conflicts: 439000 | #Constraints: 25261
972.08/974.92 c #Conflicts: 440000 | #Constraints: 26261
972.08/974.92 c #Conflicts: 441000 | #Constraints: 27261
972.08/974.92 c #Conflicts: 442000 | #Constraints: 28261
972.08/974.92 c #Conflicts: 443000 | #Constraints: 29261
972.08/974.92 c #Conflicts: 444000 | #Constraints: 30261
972.08/974.92 c #Conflicts: 445000 | #Constraints: 31261
972.08/974.92 c #Conflicts: 446000 | #Constraints: 32261
972.08/974.92 c INPROCESSING
972.08/974.92 c GARBAGE COLLECT
972.08/974.92 c #Conflicts: 447000 | #Constraints: 20056
972.08/974.92 c #Conflicts: 448000 | #Constraints: 21056
972.08/974.92 c #Conflicts: 449000 | #Constraints: 22056
972.08/974.92 c #Conflicts: 450000 | #Constraints: 23056
972.08/974.92 c #Conflicts: 451000 | #Constraints: 24056
972.08/974.92 c #Conflicts: 452000 | #Constraints: 25056
972.08/974.92 c #Conflicts: 453000 | #Constraints: 26056
972.08/974.92 c #Conflicts: 454000 | #Constraints: 27056
972.08/974.92 c #Conflicts: 455000 | #Constraints: 28056
972.08/974.92 c #Conflicts: 456000 | #Constraints: 29056
972.08/974.92 c #Conflicts: 457000 | #Constraints: 30056
972.08/974.92 c #Conflicts: 458000 | #Constraints: 31056
972.08/974.92 c #Conflicts: 459000 | #Constraints: 32056
972.08/974.92 c #Conflicts: 460000 | #Constraints: 33056
972.08/974.92 c INPROCESSING
972.08/974.92 c GARBAGE COLLECT
972.08/974.92 c #Conflicts: 461000 | #Constraints: 20661
972.08/974.92 c #Conflicts: 462000 | #Constraints: 21661
972.08/974.92 c #Conflicts: 463000 | #Constraints: 22661
972.08/974.92 c #Conflicts: 464000 | #Constraints: 23661
972.08/974.92 c #Conflicts: 465000 | #Constraints: 24661
972.08/974.92 c #Conflicts: 466000 | #Constraints: 25661
972.08/974.92 c #Conflicts: 467000 | #Constraints: 26661
972.08/974.92 c #Conflicts: 468000 | #Constraints: 27661
972.08/974.92 c #Conflicts: 469000 | #Constraints: 28661
972.08/974.92 c #Conflicts: 470000 | #Constraints: 29661
972.08/974.92 c #Conflicts: 471000 | #Constraints: 30661
972.08/974.92 c #Conflicts: 472000 | #Constraints: 31661
972.08/974.92 c #Conflicts: 473000 | #Constraints: 32661
972.08/974.92 c #Conflicts: 474000 | #Constraints: 33661
972.08/974.92 c INPROCESSING
972.08/974.92 c GARBAGE COLLECT
972.08/974.92 c #Conflicts: 475000 | #Constraints: 21067
972.08/974.92 c #Conflicts: 476000 | #Constraints: 22067
972.08/974.92 c #Conflicts: 477000 | #Constraints: 23067
972.08/974.92 c #Conflicts: 478000 | #Constraints: 24067
972.08/974.92 c #Conflicts: 479000 | #Constraints: 25067
972.08/974.92 c #Conflicts: 480000 | #Constraints: 26067
972.08/974.92 c #Conflicts: 481000 | #Constraints: 27067
972.08/974.92 c #Conflicts: 482000 | #Constraints: 28067
972.08/974.92 c #Conflicts: 483000 | #Constraints: 29067
972.08/974.92 c #Conflicts: 484000 | #Constraints: 30067
972.08/974.92 c #Conflicts: 485000 | #Constraints: 31067
972.08/974.92 c #Conflicts: 486000 | #Constraints: 32067
972.08/974.92 c #Conflicts: 487000 | #Constraints: 33067
972.08/974.92 c #Conflicts: 488000 | #Constraints: 34067
972.08/974.92 c INPROCESSING
972.08/974.92 c GARBAGE COLLECT
972.08/974.92 c #Conflicts: 489000 | #Constraints: 21273
972.08/974.92 c #Conflicts: 490000 | #Constraints: 22273
972.08/974.92 c #Conflicts: 491000 | #Constraints: 23273
972.08/974.92 c #Conflicts: 492000 | #Constraints: 24273
972.08/974.92 c #Conflicts: 493000 | #Constraints: 25273
972.08/974.92 c #Conflicts: 494000 | #Constraints: 26273
972.08/974.92 c #Conflicts: 495000 | #Constraints: 27273
972.08/974.92 c #Conflicts: 496000 | #Constraints: 28273
972.08/974.92 c #Conflicts: 497000 | #Constraints: 29273
972.08/974.92 c #Conflicts: 498000 | #Constraints: 30273
972.08/974.92 c #Conflicts: 499000 | #Constraints: 31273
972.08/974.92 c #Conflicts: 500000 | #Constraints: 32273
972.08/974.92 c #Conflicts: 501000 | #Constraints: 33273
972.08/974.92 c #Conflicts: 502000 | #Constraints: 34273
972.08/974.92 c INPROCESSING
972.08/974.92 c GARBAGE COLLECT
972.08/974.92 c #Conflicts: 503000 | #Constraints: 21270
972.08/974.92 c #Conflicts: 504000 | #Constraints: 22270
972.08/974.92 c #Conflicts: 505000 | #Constraints: 23270
972.08/974.92 c #Conflicts: 506000 | #Constraints: 24270
972.08/974.92 c #Conflicts: 507000 | #Constraints: 25270
972.08/974.92 c #Conflicts: 508000 | #Constraints: 26270
972.08/974.92 c #Conflicts: 509000 | #Constraints: 27270
972.08/974.92 c #Conflicts: 510000 | #Constraints: 28270
972.08/974.92 c #Conflicts: 511000 | #Constraints: 29270
972.08/974.92 c #Conflicts: 512000 | #Constraints: 30270
972.08/974.92 c #Conflicts: 513000 | #Constraints: 31270
1131.58/1134.83 c #Conflicts: 514000 | #Constraints: 32270
1131.58/1134.83 c #Conflicts: 515000 | #Constraints: 33270
1131.58/1134.83 c #Conflicts: 516000 | #Constraints: 34270
1131.58/1134.83 c INPROCESSING
1131.58/1134.83 c GARBAGE COLLECT
1131.58/1134.83 c #Conflicts: 517000 | #Constraints: 21068
1131.58/1134.83 c #Conflicts: 518000 | #Constraints: 22068
1131.58/1134.83 c #Conflicts: 519000 | #Constraints: 23068
1131.58/1134.83 c #Conflicts: 520000 | #Constraints: 24068
1131.58/1134.83 c #Conflicts: 521000 | #Constraints: 25068
1131.58/1134.83 c #Conflicts: 522000 | #Constraints: 26068
1131.58/1134.83 c #Conflicts: 523000 | #Constraints: 27068
1131.58/1134.83 c #Conflicts: 524000 | #Constraints: 28068
1131.58/1134.83 c #Conflicts: 525000 | #Constraints: 29068
1131.58/1134.83 c #Conflicts: 526000 | #Constraints: 30068
1131.58/1134.83 c #Conflicts: 527000 | #Constraints: 31068
1131.58/1134.83 c #Conflicts: 528000 | #Constraints: 32068
1131.58/1134.83 c #Conflicts: 529000 | #Constraints: 33068
1131.58/1134.83 c #Conflicts: 530000 | #Constraints: 34068
1131.58/1134.83 c #Conflicts: 531000 | #Constraints: 35068
1131.58/1134.83 c INPROCESSING
1131.58/1134.83 c GARBAGE COLLECT
1131.58/1134.83 c #Conflicts: 532000 | #Constraints: 21668
1131.58/1134.83 c #Conflicts: 533000 | #Constraints: 22668
1131.58/1134.83 c #Conflicts: 534000 | #Constraints: 23668
1131.58/1134.83 c #Conflicts: 535000 | #Constraints: 24668
1131.58/1134.83 c #Conflicts: 536000 | #Constraints: 25668
1131.58/1134.83 c #Conflicts: 537000 | #Constraints: 26668
1131.58/1134.83 c #Conflicts: 538000 | #Constraints: 27668
1131.58/1134.83 c #Conflicts: 539000 | #Constraints: 28668
1131.58/1134.83 c #Conflicts: 540000 | #Constraints: 29668
1131.58/1134.83 c #Conflicts: 541000 | #Constraints: 30668
1131.58/1134.83 c #Conflicts: 542000 | #Constraints: 31668
1131.58/1134.83 c #Conflicts: 543000 | #Constraints: 32668
1131.58/1134.83 c #Conflicts: 544000 | #Constraints: 33668
1131.58/1134.83 c #Conflicts: 545000 | #Constraints: 34668
1131.58/1134.83 c #Conflicts: 546000 | #Constraints: 35668
1131.58/1134.83 c INPROCESSING
1131.58/1134.83 c GARBAGE COLLECT
1131.58/1134.83 c #Conflicts: 547000 | #Constraints: 22065
1131.58/1134.83 c #Conflicts: 548000 | #Constraints: 23065
1131.58/1134.83 c #Conflicts: 549000 | #Constraints: 24065
1131.58/1134.83 c #Conflicts: 550000 | #Constraints: 25065
1131.58/1134.83 c #Conflicts: 551000 | #Constraints: 26065
1131.58/1134.83 c #Conflicts: 552000 | #Constraints: 27065
1131.58/1134.83 c #Conflicts: 553000 | #Constraints: 28065
1131.58/1134.83 c #Conflicts: 554000 | #Constraints: 29065
1131.58/1134.83 c #Conflicts: 555000 | #Constraints: 30065
1131.58/1134.83 c #Conflicts: 556000 | #Constraints: 31065
1131.58/1134.83 c #Conflicts: 557000 | #Constraints: 32065
1131.58/1134.83 c #Conflicts: 558000 | #Constraints: 33065
1131.58/1134.83 c #Conflicts: 559000 | #Constraints: 34065
1131.58/1134.83 c #Conflicts: 560000 | #Constraints: 35065
1131.58/1134.83 c #Conflicts: 561000 | #Constraints: 36065
1131.58/1134.83 c INPROCESSING
1131.58/1134.83 c GARBAGE COLLECT
1131.58/1134.83 c #Conflicts: 562000 | #Constraints: 22276
1131.58/1134.83 c #Conflicts: 563000 | #Constraints: 23276
1131.58/1134.83 c #Conflicts: 564000 | #Constraints: 24276
1131.58/1134.83 c #Conflicts: 565000 | #Constraints: 25276
1131.58/1134.83 c #Conflicts: 566000 | #Constraints: 26276
1131.58/1134.83 c #Conflicts: 567000 | #Constraints: 27276
1131.58/1134.83 c #Conflicts: 568000 | #Constraints: 28276
1131.58/1134.83 c #Conflicts: 569000 | #Constraints: 29276
1131.58/1134.83 c #Conflicts: 570000 | #Constraints: 30276
1131.58/1134.83 c #Conflicts: 571000 | #Constraints: 31276
1131.58/1134.83 c #Conflicts: 572000 | #Constraints: 32276
1131.58/1134.83 c #Conflicts: 573000 | #Constraints: 33276
1131.58/1134.83 c #Conflicts: 574000 | #Constraints: 34276
1131.58/1134.83 c #Conflicts: 575000 | #Constraints: 35276
1131.58/1134.83 c #Conflicts: 576000 | #Constraints: 36276
1131.58/1134.83 c INPROCESSING
1131.58/1134.83 c GARBAGE COLLECT
1131.58/1134.83 c #Conflicts: 577000 | #Constraints: 22274
1131.58/1134.83 c #Conflicts: 578000 | #Constraints: 23274
1131.58/1134.83 c #Conflicts: 579000 | #Constraints: 24274
1131.58/1134.83 c #Conflicts: 580000 | #Constraints: 25274
1131.58/1134.83 c #Conflicts: 581000 | #Constraints: 26274
1131.58/1134.83 c #Conflicts: 582000 | #Constraints: 27274
1131.58/1134.83 c #Conflicts: 583000 | #Constraints: 28274
1131.58/1134.83 c #Conflicts: 584000 | #Constraints: 29274
1131.58/1134.83 c #Conflicts: 585000 | #Constraints: 30274
1131.58/1134.83 c #Conflicts: 586000 | #Constraints: 31274
1131.58/1134.83 c #Conflicts: 587000 | #Constraints: 32274
1131.58/1134.83 c #Conflicts: 588000 | #Constraints: 33274
1318.10/1321.88 c #Conflicts: 589000 | #Constraints: 34274
1318.10/1321.88 c #Conflicts: 590000 | #Constraints: 35274
1318.10/1321.88 c #Conflicts: 591000 | #Constraints: 36274
1318.10/1321.88 c INPROCESSING
1318.10/1321.88 c GARBAGE COLLECT
1318.10/1321.88 c #Conflicts: 592000 | #Constraints: 22067
1318.10/1321.88 c #Conflicts: 593000 | #Constraints: 23067
1318.10/1321.88 c #Conflicts: 594000 | #Constraints: 24067
1318.10/1321.88 c #Conflicts: 595000 | #Constraints: 25067
1318.10/1321.88 c #Conflicts: 596000 | #Constraints: 26067
1318.10/1321.88 c #Conflicts: 597000 | #Constraints: 27067
1318.10/1321.88 c #Conflicts: 598000 | #Constraints: 28067
1318.10/1321.88 c #Conflicts: 599000 | #Constraints: 29067
1318.10/1321.88 c #Conflicts: 600000 | #Constraints: 30067
1318.10/1321.88 c #Conflicts: 601000 | #Constraints: 31067
1318.10/1321.88 c #Conflicts: 602000 | #Constraints: 32067
1318.10/1321.88 c #Conflicts: 603000 | #Constraints: 33067
1318.10/1321.88 c #Conflicts: 604000 | #Constraints: 34067
1318.10/1321.88 c #Conflicts: 605000 | #Constraints: 35067
1318.10/1321.88 c #Conflicts: 606000 | #Constraints: 36067
1318.10/1321.88 c #Conflicts: 607000 | #Constraints: 37067
1318.10/1321.88 c INPROCESSING
1318.10/1321.88 c GARBAGE COLLECT
1318.10/1321.88 c #Conflicts: 608000 | #Constraints: 22668
1318.10/1321.88 c #Conflicts: 609000 | #Constraints: 23668
1318.10/1321.88 c #Conflicts: 610000 | #Constraints: 24668
1318.10/1321.88 c #Conflicts: 611000 | #Constraints: 25668
1318.10/1321.88 c #Conflicts: 612000 | #Constraints: 26668
1318.10/1321.88 c #Conflicts: 613000 | #Constraints: 27668
1318.10/1321.88 c #Conflicts: 614000 | #Constraints: 28668
1318.10/1321.88 c #Conflicts: 615000 | #Constraints: 29668
1318.10/1321.88 c #Conflicts: 616000 | #Constraints: 30668
1318.10/1321.88 c #Conflicts: 617000 | #Constraints: 31668
1318.10/1321.88 c #Conflicts: 618000 | #Constraints: 32668
1318.10/1321.88 c #Conflicts: 619000 | #Constraints: 33668
1318.10/1321.88 c #Conflicts: 620000 | #Constraints: 34668
1318.10/1321.88 c #Conflicts: 621000 | #Constraints: 35668
1318.10/1321.88 c #Conflicts: 622000 | #Constraints: 36668
1318.10/1321.88 c #Conflicts: 623000 | #Constraints: 37668
1318.10/1321.88 c INPROCESSING
1318.10/1321.88 c GARBAGE COLLECT
1318.10/1321.88 c #Conflicts: 624000 | #Constraints: 23073
1318.10/1321.88 c #Conflicts: 625000 | #Constraints: 24073
1318.10/1321.88 c #Conflicts: 626000 | #Constraints: 25073
1318.10/1321.88 c #Conflicts: 627000 | #Constraints: 26073
1318.10/1321.88 c #Conflicts: 628000 | #Constraints: 27073
1318.10/1321.88 c #Conflicts: 629000 | #Constraints: 28073
1318.10/1321.88 c #Conflicts: 630000 | #Constraints: 29073
1318.10/1321.88 c #Conflicts: 631000 | #Constraints: 30073
1318.10/1321.88 c #Conflicts: 632000 | #Constraints: 31073
1318.10/1321.88 c #Conflicts: 633000 | #Constraints: 32073
1318.10/1321.88 c #Conflicts: 634000 | #Constraints: 33073
1318.10/1321.88 c #Conflicts: 635000 | #Constraints: 34073
1318.10/1321.88 c #Conflicts: 636000 | #Constraints: 35073
1318.10/1321.88 c #Conflicts: 637000 | #Constraints: 36073
1318.10/1321.88 c #Conflicts: 638000 | #Constraints: 37073
1318.10/1321.88 c #Conflicts: 639000 | #Constraints: 38073
1318.10/1321.88 c INPROCESSING
1318.10/1321.88 c GARBAGE COLLECT
1318.10/1321.88 c #Conflicts: 640000 | #Constraints: 23274
1318.10/1321.88 c #Conflicts: 641000 | #Constraints: 24274
1318.10/1321.88 c #Conflicts: 642000 | #Constraints: 25274
1318.10/1321.88 c #Conflicts: 643000 | #Constraints: 26274
1318.10/1321.88 c #Conflicts: 644000 | #Constraints: 27274
1318.10/1321.88 c #Conflicts: 645000 | #Constraints: 28274
1318.10/1321.88 c #Conflicts: 646000 | #Constraints: 29274
1318.10/1321.88 c #Conflicts: 647000 | #Constraints: 30274
1318.10/1321.88 c #Conflicts: 648000 | #Constraints: 31274
1318.10/1321.88 c #Conflicts: 649000 | #Constraints: 32274
1318.10/1321.88 c #Conflicts: 650000 | #Constraints: 33274
1318.10/1321.88 c #Conflicts: 651000 | #Constraints: 34274
1318.10/1321.88 c #Conflicts: 652000 | #Constraints: 35274
1318.10/1321.88 c #Conflicts: 653000 | #Constraints: 36274
1318.10/1321.88 c #Conflicts: 654000 | #Constraints: 37274
1318.10/1321.88 c #Conflicts: 655000 | #Constraints: 38274
1318.10/1321.88 c INPROCESSING
1318.10/1321.88 c GARBAGE COLLECT
1318.10/1321.88 c #Conflicts: 656000 | #Constraints: 23275
1318.10/1321.88 c #Conflicts: 657000 | #Constraints: 24275
1318.10/1321.88 c #Conflicts: 658000 | #Constraints: 25275
1318.10/1321.88 c #Conflicts: 659000 | #Constraints: 26275
1318.10/1321.88 c #Conflicts: 660000 | #Constraints: 27275
1318.10/1321.88 c #Conflicts: 661000 | #Constraints: 28275
1318.10/1321.88 c #Conflicts: 662000 | #Constraints: 29275
1318.10/1321.88 c #Conflicts: 663000 | #Constraints: 30275
1318.10/1321.88 c #Conflicts: 664000 | #Constraints: 31275
1723.49/1728.37 c #Conflicts: 665000 | #Constraints: 32275
1723.49/1728.37 c #Conflicts: 666000 | #Constraints: 33275
1723.49/1728.37 c #Conflicts: 667000 | #Constraints: 34275
1723.49/1728.37 c #Conflicts: 668000 | #Constraints: 35275
1723.49/1728.37 c #Conflicts: 669000 | #Constraints: 36275
1723.49/1728.37 c #Conflicts: 670000 | #Constraints: 37275
1723.49/1728.37 c #Conflicts: 671000 | #Constraints: 38275
1723.49/1728.37 c INPROCESSING
1723.49/1728.37 c GARBAGE COLLECT
1723.49/1728.37 c #Conflicts: 672000 | #Constraints: 23085
1723.49/1728.37 c #Conflicts: 673000 | #Constraints: 24085
1723.49/1728.37 c #Conflicts: 674000 | #Constraints: 25085
1723.49/1728.37 c #Conflicts: 675000 | #Constraints: 26085
1723.49/1728.37 c #Conflicts: 676000 | #Constraints: 27085
1723.49/1728.37 c #Conflicts: 677000 | #Constraints: 28085
1723.49/1728.37 c #Conflicts: 678000 | #Constraints: 29085
1723.49/1728.37 c #Conflicts: 679000 | #Constraints: 30085
1723.49/1728.37 c #Conflicts: 680000 | #Constraints: 31085
1723.49/1728.37 c #Conflicts: 681000 | #Constraints: 32085
1723.49/1728.37 c #Conflicts: 682000 | #Constraints: 33085
1723.49/1728.37 c #Conflicts: 683000 | #Constraints: 34085
1723.49/1728.37 c #Conflicts: 684000 | #Constraints: 35085
1723.49/1728.37 c #Conflicts: 685000 | #Constraints: 36085
1723.49/1728.37 c #Conflicts: 686000 | #Constraints: 37085
1723.49/1728.37 c #Conflicts: 687000 | #Constraints: 38085
1723.49/1728.37 c #Conflicts: 688000 | #Constraints: 39085
1723.49/1728.37 c #Conflicts: 689000 | #Constraints: 40085
1723.49/1728.37 c #Conflicts: 690000 | #Constraints: 41085
1723.49/1728.37 c #Conflicts: 691000 | #Constraints: 42085
1723.49/1728.37 c #Conflicts: 692000 | #Constraints: 43085
1723.49/1728.37 c #Conflicts: 693000 | #Constraints: 44085
1723.49/1728.37 c #Conflicts: 694000 | #Constraints: 45085
1723.49/1728.37 c #Conflicts: 695000 | #Constraints: 46085
1723.49/1728.37 c #Conflicts: 696000 | #Constraints: 47085
1723.49/1728.37 c #Conflicts: 697000 | #Constraints: 48085
1723.49/1728.37 c #Conflicts: 698000 | #Constraints: 49085
1723.49/1728.37 c #Conflicts: 699000 | #Constraints: 50085
1723.49/1728.37 c #Conflicts: 700000 | #Constraints: 51085
1723.49/1728.37 c #Conflicts: 701000 | #Constraints: 52085
1723.49/1728.37 c #Conflicts: 702000 | #Constraints: 53085
1723.49/1728.37 c #Conflicts: 703000 | #Constraints: 54085
1723.49/1728.37 c #Conflicts: 704000 | #Constraints: 55085
1723.49/1728.37 c #Conflicts: 705000 | #Constraints: 56085
1723.49/1728.37 c #Conflicts: 706000 | #Constraints: 57085
1723.49/1728.37 c #Conflicts: 707000 | #Constraints: 58085
1723.49/1728.37 c #Conflicts: 708000 | #Constraints: 59085
1723.49/1728.37 c #Conflicts: 709000 | #Constraints: 60085
1723.49/1728.37 c #Conflicts: 710000 | #Constraints: 61085
1723.49/1728.37 c #Conflicts: 711000 | #Constraints: 62085
1723.49/1728.37 c #Conflicts: 712000 | #Constraints: 63085
1723.49/1728.37 c #Conflicts: 713000 | #Constraints: 64085
1723.49/1728.37 c #Conflicts: 714000 | #Constraints: 65085
1723.49/1728.37 c #Conflicts: 715000 | #Constraints: 66085
1723.49/1728.37 c #Conflicts: 716000 | #Constraints: 67085
1723.49/1728.37 c #Conflicts: 717000 | #Constraints: 68085
1723.49/1728.37 c #Conflicts: 718000 | #Constraints: 69085
1723.49/1728.37 c #Conflicts: 719000 | #Constraints: 70085
1723.49/1728.37 c #Conflicts: 720000 | #Constraints: 71085
1723.49/1728.37 c #Conflicts: 721000 | #Constraints: 72085
1723.49/1728.37 c #Conflicts: 722000 | #Constraints: 73085
1723.49/1728.37 c #Conflicts: 723000 | #Constraints: 74085
1723.49/1728.37 c #Conflicts: 724000 | #Constraints: 75085
1723.49/1728.37 c #Conflicts: 725000 | #Constraints: 76085
1723.49/1728.37 c #Conflicts: 726000 | #Constraints: 77085
1723.49/1728.37 c #Conflicts: 727000 | #Constraints: 78085
1723.49/1728.37 c #Conflicts: 728000 | #Constraints: 79085
1723.49/1728.37 c #Conflicts: 729000 | #Constraints: 80085
1723.49/1728.37 c #Conflicts: 730000 | #Constraints: 81085
1723.49/1728.37 c #Conflicts: 731000 | #Constraints: 82085
1723.49/1728.37 c #Conflicts: 732000 | #Constraints: 83085
1723.49/1728.37 c #Conflicts: 733000 | #Constraints: 84085
1723.49/1728.37 c #Conflicts: 734000 | #Constraints: 85085
1723.49/1728.37 c #Conflicts: 735000 | #Constraints: 86085
1723.49/1728.37 c #Conflicts: 736000 | #Constraints: 87085
1723.49/1728.37 c #Conflicts: 737000 | #Constraints: 88085
1723.49/1728.37 c #Conflicts: 738000 | #Constraints: 89085
1723.49/1728.37 c #Conflicts: 739000 | #Constraints: 90085
1723.49/1728.37 c #Conflicts: 740000 | #Constraints: 91085
1723.49/1728.37 c #Conflicts: 741000 | #Constraints: 92085
1723.49/1728.37 c #Conflicts: 742000 | #Constraints: 93085
2211.92/2218.10 c #Conflicts: 743000 | #Constraints: 94085
2211.92/2218.10 c #Conflicts: 744000 | #Constraints: 95085
2211.92/2218.10 c #Conflicts: 745000 | #Constraints: 96085
2211.92/2218.10 c #Conflicts: 746000 | #Constraints: 97085
2211.92/2218.10 c #Conflicts: 747000 | #Constraints: 98085
2211.92/2218.10 c #Conflicts: 748000 | #Constraints: 99085
2211.92/2218.10 c #Conflicts: 749000 | #Constraints: 100085
2211.92/2218.10 c #Conflicts: 750000 | #Constraints: 101085
2211.92/2218.10 c #Conflicts: 751000 | #Constraints: 102085
2211.92/2218.10 c #Conflicts: 752000 | #Constraints: 103085
2211.92/2218.10 c #Conflicts: 753000 | #Constraints: 104085
2211.92/2218.10 c #Conflicts: 754000 | #Constraints: 105085
2211.92/2218.10 c INPROCESSING
2211.92/2218.10 c GARBAGE COLLECT
2211.92/2218.10 c #Conflicts: 755000 | #Constraints: 56410
2211.92/2218.10 c #Conflicts: 756000 | #Constraints: 57410
2211.92/2218.10 c #Conflicts: 757000 | #Constraints: 58410
2211.92/2218.10 c #Conflicts: 758000 | #Constraints: 59410
2211.92/2218.10 c #Conflicts: 759000 | #Constraints: 60410
2211.92/2218.10 c #Conflicts: 760000 | #Constraints: 61410
2211.92/2218.10 c #Conflicts: 761000 | #Constraints: 62410
2211.92/2218.10 c #Conflicts: 762000 | #Constraints: 63410
2211.92/2218.10 c #Conflicts: 763000 | #Constraints: 64410
2211.92/2218.10 c #Conflicts: 764000 | #Constraints: 65410
2211.92/2218.10 c #Conflicts: 765000 | #Constraints: 66410
2211.92/2218.10 c #Conflicts: 766000 | #Constraints: 67410
2211.92/2218.10 c #Conflicts: 767000 | #Constraints: 68410
2211.92/2218.10 c #Conflicts: 768000 | #Constraints: 69410
2211.92/2218.10 c #Conflicts: 769000 | #Constraints: 70410
2211.92/2218.10 c #Conflicts: 770000 | #Constraints: 71410
2211.92/2218.10 c #Conflicts: 771000 | #Constraints: 72410
2211.92/2218.10 c #Conflicts: 772000 | #Constraints: 73410
2211.92/2218.10 c INPROCESSING
2211.92/2218.10 c GARBAGE COLLECT
2211.92/2218.10 c #Conflicts: 773000 | #Constraints: 40702
2211.92/2218.10 c #Conflicts: 774000 | #Constraints: 41702
2211.92/2218.10 c #Conflicts: 775000 | #Constraints: 42702
2211.92/2218.10 c #Conflicts: 776000 | #Constraints: 43702
2211.92/2218.10 c #Conflicts: 777000 | #Constraints: 44702
2211.92/2218.10 c #Conflicts: 778000 | #Constraints: 45702
2211.92/2218.10 c #Conflicts: 779000 | #Constraints: 46702
2211.92/2218.10 c #Conflicts: 780000 | #Constraints: 47702
2211.92/2218.10 c #Conflicts: 781000 | #Constraints: 48702
2211.92/2218.10 c #Conflicts: 782000 | #Constraints: 49702
2211.92/2218.10 c #Conflicts: 783000 | #Constraints: 50702
2211.92/2218.10 c #Conflicts: 784000 | #Constraints: 51702
2211.92/2218.10 c #Conflicts: 785000 | #Constraints: 52702
2211.92/2218.10 c #Conflicts: 786000 | #Constraints: 53702
2211.92/2218.10 c #Conflicts: 787000 | #Constraints: 54702
2211.92/2218.10 c #Conflicts: 788000 | #Constraints: 55702
2211.92/2218.10 c #Conflicts: 789000 | #Constraints: 56702
2211.92/2218.10 c #Conflicts: 790000 | #Constraints: 57702
2211.92/2218.10 c INPROCESSING
2211.92/2218.10 c GARBAGE COLLECT
2211.92/2218.10 c #Conflicts: 791000 | #Constraints: 32896
2211.92/2218.10 c #Conflicts: 792000 | #Constraints: 33896
2211.92/2218.10 c #Conflicts: 793000 | #Constraints: 34896
2211.92/2218.10 c #Conflicts: 794000 | #Constraints: 35896
2211.92/2218.10 c #Conflicts: 795000 | #Constraints: 36896
2211.92/2218.10 c #Conflicts: 796000 | #Constraints: 37896
2211.92/2218.10 c #Conflicts: 797000 | #Constraints: 38896
2211.92/2218.10 c #Conflicts: 798000 | #Constraints: 39896
2211.92/2218.10 c #Conflicts: 799000 | #Constraints: 40896
2211.92/2218.10 c #Conflicts: 800000 | #Constraints: 41896
2211.92/2218.10 c #Conflicts: 801000 | #Constraints: 42896
2211.92/2218.10 c #Conflicts: 802000 | #Constraints: 43896
2211.92/2218.10 c #Conflicts: 803000 | #Constraints: 44896
2211.92/2218.10 c #Conflicts: 804000 | #Constraints: 45896
2211.92/2218.10 c #Conflicts: 805000 | #Constraints: 46896
2211.92/2218.10 c #Conflicts: 806000 | #Constraints: 47896
2211.92/2218.10 c #Conflicts: 807000 | #Constraints: 48896
2211.92/2218.10 c #Conflicts: 808000 | #Constraints: 49896
2211.92/2218.10 c INPROCESSING
2211.92/2218.10 c GARBAGE COLLECT
2211.92/2218.10 c #Conflicts: 809000 | #Constraints: 28942
2211.92/2218.10 c #Conflicts: 810000 | #Constraints: 29942
2211.92/2218.10 c #Conflicts: 811000 | #Constraints: 30942
2211.92/2218.10 c #Conflicts: 812000 | #Constraints: 31942
2211.92/2218.10 c #Conflicts: 813000 | #Constraints: 32942
2211.92/2218.10 c #Conflicts: 814000 | #Constraints: 33942
2211.92/2218.10 c #Conflicts: 815000 | #Constraints: 34942
2211.92/2218.10 c #Conflicts: 816000 | #Constraints: 35942
2211.92/2218.10 c #Conflicts: 817000 | #Constraints: 36942
2211.92/2218.10 c #Conflicts: 818000 | #Constraints: 37942
2566.17/2573.29 c #Conflicts: 819000 | #Constraints: 38942
2566.17/2573.29 c #Conflicts: 820000 | #Constraints: 39942
2566.17/2573.29 c #Conflicts: 821000 | #Constraints: 40942
2566.17/2573.29 c #Conflicts: 822000 | #Constraints: 41942
2566.17/2573.29 c #Conflicts: 823000 | #Constraints: 42942
2566.17/2573.29 c #Conflicts: 824000 | #Constraints: 43942
2566.17/2573.29 c #Conflicts: 825000 | #Constraints: 44942
2566.17/2573.29 c #Conflicts: 826000 | #Constraints: 45942
2566.17/2573.29 c INPROCESSING
2566.17/2573.29 c GARBAGE COLLECT
2566.17/2573.29 c #Conflicts: 827000 | #Constraints: 26807
2566.17/2573.29 c #Conflicts: 828000 | #Constraints: 27807
2566.17/2573.29 c #Conflicts: 829000 | #Constraints: 28807
2566.17/2573.29 c #Conflicts: 830000 | #Constraints: 29807
2566.17/2573.29 c #Conflicts: 831000 | #Constraints: 30807
2566.17/2573.29 c #Conflicts: 832000 | #Constraints: 31807
2566.17/2573.29 c #Conflicts: 833000 | #Constraints: 32807
2566.17/2573.29 c #Conflicts: 834000 | #Constraints: 33807
2566.17/2573.29 c #Conflicts: 835000 | #Constraints: 34807
2566.17/2573.29 c #Conflicts: 836000 | #Constraints: 35807
2566.17/2573.29 c #Conflicts: 837000 | #Constraints: 36807
2566.17/2573.30 c #Conflicts: 838000 | #Constraints: 37807
2566.17/2573.30 c #Conflicts: 839000 | #Constraints: 38807
2566.17/2573.30 c #Conflicts: 840000 | #Constraints: 39807
2566.17/2573.30 c #Conflicts: 841000 | #Constraints: 40807
2566.17/2573.30 c #Conflicts: 842000 | #Constraints: 41807
2566.17/2573.30 c #Conflicts: 843000 | #Constraints: 42807
2566.17/2573.30 c #Conflicts: 844000 | #Constraints: 43807
2566.17/2573.30 c #Conflicts: 845000 | #Constraints: 44807
2566.17/2573.30 c INPROCESSING
2566.17/2573.30 c GARBAGE COLLECT
2566.17/2573.30 c #Conflicts: 846000 | #Constraints: 26487
2566.17/2573.30 c #Conflicts: 847000 | #Constraints: 27487
2566.17/2573.30 c #Conflicts: 848000 | #Constraints: 28487
2566.17/2573.30 c #Conflicts: 849000 | #Constraints: 29487
2566.17/2573.30 c #Conflicts: 850000 | #Constraints: 30487
2566.17/2573.30 c #Conflicts: 851000 | #Constraints: 31487
2566.17/2573.30 c #Conflicts: 852000 | #Constraints: 32487
2566.17/2573.30 c #Conflicts: 853000 | #Constraints: 33487
2566.17/2573.30 c #Conflicts: 854000 | #Constraints: 34487
2566.17/2573.30 c #Conflicts: 855000 | #Constraints: 35487
2566.17/2573.30 c #Conflicts: 856000 | #Constraints: 36487
2566.17/2573.30 c #Conflicts: 857000 | #Constraints: 37487
2566.17/2573.30 c #Conflicts: 858000 | #Constraints: 38487
2566.17/2573.30 c #Conflicts: 859000 | #Constraints: 39487
2566.17/2573.30 c #Conflicts: 860000 | #Constraints: 40487
2566.17/2573.30 c #Conflicts: 861000 | #Constraints: 41487
2566.17/2573.30 c #Conflicts: 862000 | #Constraints: 42487
2566.17/2573.30 c #Conflicts: 863000 | #Constraints: 43487
2566.17/2573.30 c #Conflicts: 864000 | #Constraints: 44487
2566.17/2573.30 c #Conflicts: 865000 | #Constraints: 45487
2566.17/2573.30 c #Conflicts: 866000 | #Constraints: 46487
2566.17/2573.30 c #Conflicts: 867000 | #Constraints: 47487
2566.17/2573.30 c #Conflicts: 868000 | #Constraints: 48487
2566.17/2573.30 c #Conflicts: 869000 | #Constraints: 49487
2566.17/2573.30 c #Conflicts: 870000 | #Constraints: 50487
2566.17/2573.30 c #Conflicts: 871000 | #Constraints: 51487
2566.17/2573.30 c #Conflicts: 872000 | #Constraints: 52487
2566.17/2573.30 c #Conflicts: 873000 | #Constraints: 53487
2566.17/2573.30 c #Conflicts: 874000 | #Constraints: 54487
2566.17/2573.30 c #Conflicts: 875000 | #Constraints: 55487
2566.17/2573.30 c #Conflicts: 876000 | #Constraints: 56487
2566.17/2573.30 c #Conflicts: 877000 | #Constraints: 57487
2566.17/2573.30 c #Conflicts: 878000 | #Constraints: 58487
2566.17/2573.30 c #Conflicts: 879000 | #Constraints: 59487
2566.17/2573.30 c #Conflicts: 880000 | #Constraints: 60487
2566.17/2573.30 c #Conflicts: 881000 | #Constraints: 61487
2566.17/2573.30 c #Conflicts: 882000 | #Constraints: 62487
2566.17/2573.30 c #Conflicts: 883000 | #Constraints: 63487
2566.17/2573.30 c #Conflicts: 884000 | #Constraints: 64487
2566.17/2573.30 c #Conflicts: 885000 | #Constraints: 65487
2566.17/2573.30 c #Conflicts: 886000 | #Constraints: 66487
2566.17/2573.30 c #Conflicts: 887000 | #Constraints: 67487
2566.17/2573.30 c #Conflicts: 888000 | #Constraints: 68487
2566.17/2573.30 c #Conflicts: 889000 | #Constraints: 69487
2566.17/2573.30 c #Conflicts: 890000 | #Constraints: 70487
2566.17/2573.30 c #Conflicts: 891000 | #Constraints: 71487
2566.17/2573.30 c #Conflicts: 892000 | #Constraints: 72487
2566.17/2573.30 c #Conflicts: 893000 | #Constraints: 73487
2566.17/2573.30 c #Conflicts: 894000 | #Constraints: 74487
2566.17/2573.30 c #Conflicts: 895000 | #Constraints: 75487
2566.17/2573.30 c #Conflicts: 896000 | #Constraints: 76487
3237.09/3245.94 c #Conflicts: 897000 | #Constraints: 77487
3237.09/3245.94 c #Conflicts: 898000 | #Constraints: 78487
3237.09/3245.94 c #Conflicts: 899000 | #Constraints: 79487
3237.09/3245.94 c #Conflicts: 900000 | #Constraints: 80487
3237.09/3245.94 c #Conflicts: 901000 | #Constraints: 81487
3237.09/3245.94 c #Conflicts: 902000 | #Constraints: 82487
3237.09/3245.94 c #Conflicts: 903000 | #Constraints: 83487
3237.09/3245.94 c #Conflicts: 904000 | #Constraints: 84487
3237.09/3245.94 c #Conflicts: 905000 | #Constraints: 85487
3237.09/3245.94 c #Conflicts: 906000 | #Constraints: 86487
3237.09/3245.94 c #Conflicts: 907000 | #Constraints: 87487
3237.09/3245.94 c #Conflicts: 908000 | #Constraints: 88487
3237.09/3245.94 c #Conflicts: 909000 | #Constraints: 89487
3237.09/3245.94 c #Conflicts: 910000 | #Constraints: 90487
3237.09/3245.94 c #Conflicts: 911000 | #Constraints: 91487
3237.09/3245.94 c #Conflicts: 912000 | #Constraints: 92487
3237.09/3245.94 c #Conflicts: 913000 | #Constraints: 93487
3237.09/3245.94 c #Conflicts: 914000 | #Constraints: 94487
3237.09/3245.94 c #Conflicts: 915000 | #Constraints: 95487
3237.09/3245.94 c #Conflicts: 916000 | #Constraints: 96487
3237.09/3245.94 c #Conflicts: 917000 | #Constraints: 97487
3237.09/3245.94 c #Conflicts: 918000 | #Constraints: 98487
3237.09/3245.94 c #Conflicts: 919000 | #Constraints: 99487
3237.09/3245.94 c #Conflicts: 920000 | #Constraints: 100487
3237.09/3245.94 c #Conflicts: 921000 | #Constraints: 101487
3237.09/3245.94 c #Conflicts: 922000 | #Constraints: 102487
3237.09/3245.94 c #Conflicts: 923000 | #Constraints: 103487
3237.09/3245.94 c #Conflicts: 924000 | #Constraints: 104487
3237.09/3245.94 c #Conflicts: 925000 | #Constraints: 105487
3237.09/3245.94 c #Conflicts: 926000 | #Constraints: 106487
3237.09/3245.94 c #Conflicts: 927000 | #Constraints: 107487
3237.09/3245.94 c #Conflicts: 928000 | #Constraints: 108487
3237.09/3245.94 c #Conflicts: 929000 | #Constraints: 109487
3237.09/3245.94 c #Conflicts: 930000 | #Constraints: 110487
3237.09/3245.94 c #Conflicts: 931000 | #Constraints: 111487
3237.09/3245.94 c #Conflicts: 932000 | #Constraints: 112487
3237.09/3245.94 c #Conflicts: 933000 | #Constraints: 113487
3237.09/3245.94 c #Conflicts: 934000 | #Constraints: 114487
3237.09/3245.94 c #Conflicts: 935000 | #Constraints: 115487
3237.09/3245.94 c #Conflicts: 936000 | #Constraints: 116487
3237.09/3245.94 c INPROCESSING
3237.09/3245.94 c GARBAGE COLLECT
3237.09/3245.94 c #Conflicts: 937000 | #Constraints: 62514
3237.09/3245.94 c #Conflicts: 938000 | #Constraints: 63514
3237.09/3245.94 c #Conflicts: 939000 | #Constraints: 64514
3237.09/3245.94 c #Conflicts: 940000 | #Constraints: 65514
3237.09/3245.94 c #Conflicts: 941000 | #Constraints: 66514
3237.09/3245.94 c #Conflicts: 942000 | #Constraints: 67514
3237.09/3245.94 c #Conflicts: 943000 | #Constraints: 68514
3237.09/3245.94 c #Conflicts: 944000 | #Constraints: 69514
3237.09/3245.94 c #Conflicts: 945000 | #Constraints: 70514
3237.09/3245.94 c #Conflicts: 946000 | #Constraints: 71514
3237.09/3245.94 c #Conflicts: 947000 | #Constraints: 72514
3237.09/3245.94 c #Conflicts: 948000 | #Constraints: 73514
3237.09/3245.94 c #Conflicts: 949000 | #Constraints: 74514
3237.09/3245.94 c #Conflicts: 950000 | #Constraints: 75514
3237.09/3245.94 c #Conflicts: 951000 | #Constraints: 76514
3237.09/3245.94 c #Conflicts: 952000 | #Constraints: 77514
3237.09/3245.94 c #Conflicts: 953000 | #Constraints: 78514
3237.09/3245.94 c #Conflicts: 954000 | #Constraints: 79514
3237.09/3245.94 c #Conflicts: 955000 | #Constraints: 80514
3237.09/3245.94 c INPROCESSING
3237.09/3245.94 c GARBAGE COLLECT
3237.09/3245.94 c #Conflicts: 956000 | #Constraints: 44132
3237.09/3245.94 c #Conflicts: 957000 | #Constraints: 45132
3237.09/3245.94 c #Conflicts: 958000 | #Constraints: 46132
3237.09/3245.94 c #Conflicts: 959000 | #Constraints: 47132
3237.09/3245.94 c #Conflicts: 960000 | #Constraints: 48132
3237.09/3245.94 c #Conflicts: 961000 | #Constraints: 49132
3237.09/3245.94 c #Conflicts: 962000 | #Constraints: 50132
3237.09/3245.94 c #Conflicts: 963000 | #Constraints: 51132
3237.09/3245.94 c #Conflicts: 964000 | #Constraints: 52132
3237.09/3245.94 c #Conflicts: 965000 | #Constraints: 53132
3237.09/3245.94 c #Conflicts: 966000 | #Constraints: 54132
3237.09/3245.94 c #Conflicts: 967000 | #Constraints: 55132
3237.09/3245.94 c #Conflicts: 968000 | #Constraints: 56132
3237.09/3245.94 c #Conflicts: 969000 | #Constraints: 57132
3237.09/3245.94 c #Conflicts: 970000 | #Constraints: 58132
3237.09/3245.94 c #Conflicts: 971000 | #Constraints: 59132
3237.09/3245.94 c #Conflicts: 972000 | #Constraints: 60132
3237.09/3245.94 c #Conflicts: 973000 | #Constraints: 61132
3600.00/3609.80 c #Conflicts: 974000 | #Constraints: 62132
3600.00/3609.80 c #Conflicts: 975000 | #Constraints: 63132
3600.00/3609.80 c INPROCESSING
3600.00/3609.80 c GARBAGE COLLECT
3600.00/3609.80 c #Conflicts: 976000 | #Constraints: 35429
3600.00/3609.80 c #Conflicts: 977000 | #Constraints: 36429
3600.00/3609.80 c #Conflicts: 978000 | #Constraints: 37429
3600.00/3609.80 c #Conflicts: 979000 | #Constraints: 38429
3600.00/3609.80 c #Conflicts: 980000 | #Constraints: 39429
3600.00/3609.80 c #Conflicts: 981000 | #Constraints: 40429
3600.00/3609.80 c #Conflicts: 982000 | #Constraints: 41429
3600.00/3609.80 c #Conflicts: 983000 | #Constraints: 42429
3600.00/3609.80 c #Conflicts: 984000 | #Constraints: 43429
3600.00/3609.80 c #Conflicts: 985000 | #Constraints: 44429
3600.00/3609.80 c #Conflicts: 986000 | #Constraints: 45429
3600.00/3609.80 c #Conflicts: 987000 | #Constraints: 46429
3600.00/3609.80 c #Conflicts: 988000 | #Constraints: 47429
3600.00/3609.80 c #Conflicts: 989000 | #Constraints: 48429
3600.00/3609.80 c #Conflicts: 990000 | #Constraints: 49429
3600.00/3609.80 c #Conflicts: 991000 | #Constraints: 50429
3600.00/3609.80 c #Conflicts: 992000 | #Constraints: 51429
3600.00/3609.80 c #Conflicts: 993000 | #Constraints: 52429
3600.00/3609.80 c #Conflicts: 994000 | #Constraints: 53429
3600.00/3609.80 c #Conflicts: 995000 | #Constraints: 54429
3600.00/3609.80 c #Conflicts: 996000 | #Constraints: 55429
3600.00/3609.80 c INPROCESSING
3600.00/3609.80 c GARBAGE COLLECT
3600.00/3609.80 c #Conflicts: 997000 | #Constraints: 31961
3600.00/3609.80 c #Conflicts: 998000 | #Constraints: 32961
3600.00/3609.80 c #Conflicts: 999000 | #Constraints: 33961
3600.00/3609.80 c #Conflicts: 1000000 | #Constraints: 34961
3600.00/3609.80 c #Conflicts: 1001000 | #Constraints: 35961
3600.00/3609.80 c #Conflicts: 1002000 | #Constraints: 36961
3600.00/3609.80 c #Conflicts: 1003000 | #Constraints: 37961
3600.00/3609.80 c #Conflicts: 1004000 | #Constraints: 38961
3600.00/3609.80 c #Conflicts: 1005000 | #Constraints: 39961
3600.00/3609.80 c #Conflicts: 1006000 | #Constraints: 40961
3600.00/3609.80 c #Conflicts: 1007000 | #Constraints: 41961
3600.00/3609.80 c #Conflicts: 1008000 | #Constraints: 42961
3600.00/3609.80 c #Conflicts: 1009000 | #Constraints: 43961
3600.00/3609.80 c #Conflicts: 1010000 | #Constraints: 44961
3600.00/3609.80 c #Conflicts: 1011000 | #Constraints: 45961
3600.00/3609.80 c #Conflicts: 1012000 | #Constraints: 46961
3600.00/3609.80 c #Conflicts: 1013000 | #Constraints: 47961
3600.00/3609.80 c #Conflicts: 1014000 | #Constraints: 48961
3600.00/3609.80 c #Conflicts: 1015000 | #Constraints: 49961
3600.00/3609.80 c #Conflicts: 1016000 | #Constraints: 50961
3600.00/3609.80 c INPROCESSING
3600.00/3609.80 c GARBAGE COLLECT
3600.00/3609.80 c #Conflicts: 1017000 | #Constraints: 29528
3600.00/3609.80 c #Conflicts: 1018000 | #Constraints: 30528
3600.00/3609.80 c #Conflicts: 1019000 | #Constraints: 31528
3600.00/3609.80 c #Conflicts: 1020000 | #Constraints: 32528
3600.00/3609.80 c #Conflicts: 1021000 | #Constraints: 33528
3600.00/3609.80 c #Conflicts: 1022000 | #Constraints: 34528
3600.00/3609.80 c #Conflicts: 1023000 | #Constraints: 35528
3600.00/3609.80 c #Conflicts: 1024000 | #Constraints: 36528
3600.00/3609.80 c #Conflicts: 1025000 | #Constraints: 37528
3600.00/3609.80 c #Conflicts: 1026000 | #Constraints: 38528
3600.00/3609.80 c #Conflicts: 1027000 | #Constraints: 39528
3600.00/3609.80 c #Conflicts: 1028000 | #Constraints: 40528
3600.00/3609.80 c #Conflicts: 1029000 | #Constraints: 41528
3600.00/3609.80 c #Conflicts: 1030000 | #Constraints: 42528
3600.00/3609.80 c #Conflicts: 1031000 | #Constraints: 43528
3600.00/3609.80 c #Conflicts: 1032000 | #Constraints: 44528
3600.00/3609.80 c #Conflicts: 1033000 | #Constraints: 45528
3600.00/3609.80 c #Conflicts: 1034000 | #Constraints: 46528
3600.00/3609.80 c #Conflicts: 1035000 | #Constraints: 47528
3600.00/3609.80 c #Conflicts: 1036000 | #Constraints: 48528
3600.00/3609.80 c #Conflicts: 1037000 | #Constraints: 49528
3600.00/3609.80 c #Conflicts: 1038000 | #Constraints: 50528
3600.00/3609.80 c #Conflicts: 1039000 | #Constraints: 51528
3600.00/3609.80 c #Conflicts: 1040000 | #Constraints: 52528
3600.00/3609.80 c #Conflicts: 1041000 | #Constraints: 53528
3600.00/3609.80 c #Conflicts: 1042000 | #Constraints: 54528
3600.00/3609.80 c #Conflicts: 1043000 | #Constraints: 55528
3600.00/3609.80 c #Conflicts: 1044000 | #Constraints: 56528
3600.00/3609.80 c #Conflicts: 1045000 | #Constraints: 57528
3600.00/3609.80 c #Conflicts: 1046000 | #Constraints: 58528
3600.00/3609.80 c #Conflicts: 1047000 | #Constraints: 59528
3600.00/3609.80 c Program interrupted by user.
3600.00/3609.80 c cpu time 3589.63 s
3600.00/3609.80 c deterministic time 316981243364 3.17e+11
3600.00/3609.80 c optimization time 145.558 s
3600.00/3609.80 c total solve time 3145.04 s
3600.00/3609.80 c core-guided solve time 3145.04 s
3600.00/3609.80 c propagation time 3159.68 s
3600.00/3609.80 c conflict analysis time 112.982 s
3600.00/3609.80 c propagations 566135893
3600.00/3609.80 c resolve steps 3936926
3600.00/3609.80 c decisions 6352657
3600.00/3609.80 c conflicts 1047975
3600.00/3609.80 c restarts 2046
3600.00/3609.80 c inprocessing phases 84
3600.00/3609.80 c input clauses 0
3600.00/3609.80 c input cardinalities 0
3600.00/3609.80 c input general constraints 6383
3600.00/3609.80 c input average constraint length 29.25
3600.00/3609.80 c input average constraint degree 443.57
3600.00/3609.80 c learned clauses 327613
3600.00/3609.80 c learned cardinalities 1
3600.00/3609.80 c learned general constraints 720360
3600.00/3609.80 c learned average constraint length 40.88
3600.00/3609.80 c learned average constraint degree 469338.18
3600.00/3609.80 c watched constraints 724497
3600.00/3609.80 c counting constraints 2246
3600.00/3609.80 c gcd simplifications 10091
3600.00/3609.80 c detected cardinalities 1
3600.00/3609.80 c weakened non-implied lits 4147448
3600.00/3609.80 c weakened non-implying lits 1101
3600.00/3609.80 c original variables 3296
3600.00/3609.80 c clausal propagations 570131
3600.00/3609.80 c cardinality propagations 0
3600.00/3609.80 c watched propagations 550143389
3600.00/3609.80 c counting propagations 14831708
3600.00/3609.80 c watch lookups 63903625601
3600.00/3609.80 c watch backjump lookups 61389329802
3600.00/3609.80 c watch checks 101463941885
3600.00/3609.80 c propagation checks 88933595717
3600.00/3609.80 c constraint additions 144728213
3600.00/3609.80 c trail pops 573533595
3600.00/3609.80 c formula constraints 6383
3600.00/3609.80 c learned constraints 1047974
3600.00/3609.80 c bound constraints 0
3600.00/3609.80 c core-guided constraints 0
3600.00/3609.80 c encountered formula constraints 3833230
3600.00/3609.80 c encountered learned constraints 1151671
3600.00/3609.80 c encountered bound constraints 0
3600.00/3609.80 c encountered core-guided constraints 0
3600.00/3609.80 c LP total time 0 s
3600.00/3609.80 c LP solve time 0 s
3600.00/3609.80 c LP constraints added 0
3600.00/3609.80 c LP constraints removed 0
3600.00/3609.80 c LP pivots internal 0
3600.00/3609.80 c LP pivots root 0
3600.00/3609.80 c LP calls 0
3600.00/3609.80 c LP optimalities 0
3600.00/3609.80 c LP no pivot count 0
3600.00/3609.80 c LP infeasibilities 0
3600.00/3609.80 c LP valid Farkas constraints 0
3600.00/3609.80 c LP learned Farkas constraints 0
3600.00/3609.80 c LP basis resets 0
3600.00/3609.80 c LP cycling count 0
3600.00/3609.80 c LP singular count 0
3600.00/3609.80 c LP no primal count 0
3600.00/3609.80 c LP no farkas count 0
3600.00/3609.80 c LP other issue count 0
3600.00/3609.80 c LP Gomory cuts 0
3600.00/3609.80 c LP learned cuts 0
3600.00/3609.80 c LP deleted cuts 0
3600.00/3609.80 c LP encountered Gomory constraints 0
3600.00/3609.80 c LP encountered Farkas constraints 0
3600.00/3609.80 c LP encountered learned Farkas constraints 0
3600.00/3609.80 c CG auxiliary variables introduced 0
3600.00/3609.80 c CG solutions found 0
3600.00/3609.80 c CG cores constructed 0
3600.00/3609.80 c CG core cardinality constraints returned 0
3600.00/3609.80 c CG unit cores 0
3600.00/3609.80 c CG single cores 0
3600.00/3609.80 c CG blocks removed during cardinality reduction 0
3600.00/3609.80 c CG first core best 0
3600.00/3609.80 c CG decision core best 0
3600.00/3609.80 c CG core reduction tie 0
3600.00/3609.80 c CG core degree average 0.00
3600.00/3609.80 c CG core slack average 0.00
3600.00/3609.80 c CG exhausted 0
3600.00/3609.80 c CG exhaust time 0 s
3600.00/3609.80 c CG trimmed 0
3600.00/3609.80 c CG trim time 0 s
3600.00/3609.80 c CG minimized 0
3600.00/3609.80 c CG minimize time 0 s
3600.00/3609.80 c CG am1 prop time 0 s
3600.00/3609.80 c CG # am1s reformulated 0
3600.00/3609.80 c CG lower bound derived from am1s 0
3600.00/3609.80 c CG # clausal cores 0
3600.00/3609.80 c CG # cardinality cores 0
3600.00/3609.80 c CG # pb cores 0
3600.00/3609.80 c CG # pb reforms 0
3600.00/3609.80 c CG # cores discarded because of pb reform 0
3600.00/3609.80 d LOWERBOUND 0
3600.00/3609.80 d NCORES 0
3600.00/3609.80 d NPBCORES 0
3600.00/3609.80 d NPBREFORM 0
3600.00/3609.80 d NTRIMMED 0
3600.00/3609.80 d NEXHAUSTED 0
3600.00/3609.80 d NAM1S 0
3600.00/3609.80 d AM1LB 0
3600.00/3609.80 c [Papilo Statistics]
3600.00/3609.80 c prepro time 0.0507788s
3600.00/3609.80 c # tsx applied 3225
3600.00/3609.80 c # tsx conflicts 0
3600.00/3609.80 c # bound changes 1
3600.00/3609.80 c # side changes 2924
3600.00/3609.80 c # coef changes 420
3600.00/3609.80 c # rounds 3
3600.00/3609.80 c # deted vars 1
3600.00/3609.80 c # deted constrs 2904
3600.00/3609.80 c # consecutive rounds of only bound changes 0
3600.00/3609.80 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 (61195 MiB free)
memory of node 1: 64465 MiB (62394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491199-1751379391/watcher-4491199-1751379391 -o /tmp/evaluation-result-4491199-1751379391/solver-4491199-1751379391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60451 --watchdog 3760 mixed-bag HOME/instance-4491199-1751379391.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=61147, runsolver pid=61144
[startup+0.100059 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 61148
/proc/meminfo: memFree=126556664/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=90680 memory=16048 CPUtime=0.08 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 2587 0 0 0 7 1 0 0 20 0 1 0 53617909 92856320 4012 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 22670 4012 2176 2842 0 4903 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90680 KiB
Current children cumulated memory: 16048 KiB
[startup+0.205502 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 61148
/proc/meminfo: memFree=126513004/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=144860 memory=70564 CPUtime=0.17 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 12986 0 0 0 15 2 0 0 20 0 1 0 53617909 148336640 17641 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 36215 17641 4000 2842 0 17909 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 144860 KiB
Current children cumulated memory: 70564 KiB
[startup+0.305608 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 61148
/proc/meminfo: memFree=126492780/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=169900 memory=91972 CPUtime=0.27 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 17719 0 0 0 24 3 0 0 20 0 1 0 53617909 173977600 22993 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 42475 22993 4096 2842 0 24169 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 169900 KiB
Current children cumulated memory: 91972 KiB
[startup+0.700169 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 61148
/proc/meminfo: memFree=126448616/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=252092 memory=164552 CPUtime=0.66 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 34689 0 0 0 60 6 0 0 20 0 1 0 53617909 258142208 41138 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 63023 41138 4288 2842 0 44717 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 252092 KiB
Current children cumulated memory: 164552 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 61148
/proc/meminfo: memFree=126412356/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=326472 memory=232964 CPUtime=1.46 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 50846 0 0 0 137 9 0 0 20 0 1 0 53617909 334307328 58241 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 81618 58241 4288 2842 0 63312 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 326472 KiB
Current children cumulated memory: 232964 KiB
[startup+3.10561 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 61148
/proc/meminfo: memFree=126348208/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=326472 memory=234884 CPUtime=3.06 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 51330 0 0 0 297 9 0 0 20 0 1 0 53617909 334307328 58721 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 81618 58721 4288 2842 0 63312 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 326472 KiB
Current children cumulated memory: 234884 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 61148
/proc/meminfo: memFree=126284204/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=346832 memory=256596 CPUtime=6.25 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 58832 0 0 0 614 11 0 0 20 0 1 0 53617909 355155968 64149 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 86708 64149 4288 2842 0 68402 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 346832 KiB
Current children cumulated memory: 256596 KiB
[startup+12.7002 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126297524/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=357360 memory=267688 CPUtime=12.63 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 64157 0 0 0 1251 12 0 0 20 0 1 0 53617909 365936640 66922 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 89340 66922 4288 2842 0 71034 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 357360 KiB
Current children cumulated memory: 267688 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 61285
/proc/meminfo: memFree=126250292/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=355672 memory=266228 CPUtime=25.4 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 70302 0 0 0 2527 13 0 0 20 0 1 0 53617909 364208128 66557 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 88918 66557 4288 2842 0 70612 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 355672 KiB
Current children cumulated memory: 266228 KiB
[startup+51.1056 s]
/proc/loadavg: 4.05 4.07 4.08 5/265 61285
/proc/meminfo: memFree=126172224/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=367828 memory=278232 CPUtime=50.93 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 83510 0 0 0 5078 15 0 0 20 0 1 0 53617909 376655872 69558 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 91957 69558 4288 2842 0 73651 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 367828 KiB
Current children cumulated memory: 278232 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 61287
/proc/meminfo: memFree=126088976/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=395904 memory=307784 CPUtime=101.94 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 99754 0 0 0 10176 18 0 0 20 0 1 0 53617909 405405696 76946 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 98976 76946 4288 2842 0 80670 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 395904 KiB
Current children cumulated memory: 307784 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.07 4.09 5/265 61289
/proc/meminfo: memFree=125997160/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=395904 memory=308168 CPUtime=161.72 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 99864 0 0 0 16154 18 0 0 20 0 1 0 53617909 405405696 77042 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 98976 77042 4288 2842 0 80670 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 395904 KiB
Current children cumulated memory: 308168 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.07 4.09 5/265 61291
/proc/meminfo: memFree=125889332/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=427048 memory=338232 CPUtime=221.51 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 110004 0 0 0 22131 20 0 0 20 0 1 0 53617909 437297152 84558 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 106762 84558 4288 2842 0 88456 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 427048 KiB
Current children cumulated memory: 338232 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.07 4.09 5/264 61293
/proc/meminfo: memFree=125808556/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=427048 memory=338232 CPUtime=281.3 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 110013 0 0 0 28110 20 0 0 20 0 1 0 53617909 437297152 84558 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 106762 84558 4288 2842 0 88456 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 427048 KiB
Current children cumulated memory: 338232 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.07 4.09 5/262 61295
/proc/meminfo: memFree=125809724/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=410880 memory=328140 CPUtime=341.12 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 110286 0 0 0 34042 70 0 0 20 0 1 0 53617909 420741120 82035 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 102720 82035 4448 2842 0 84414 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 410880 KiB
Current children cumulated memory: 328140 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.07 4.09 6/263 61298
/proc/meminfo: memFree=125767372/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=410880 memory=332108 CPUtime=400.96 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 110644 0 0 0 39975 121 0 0 20 0 1 0 53617909 420741120 83027 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 102720 83027 4448 2842 0 84414 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 410880 KiB
Current children cumulated memory: 332108 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 61302
/proc/meminfo: memFree=125767560/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=415300 memory=342348 CPUtime=460.8 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 110858 0 0 0 45913 167 0 0 20 0 1 0 53617909 425267200 85587 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 103825 85587 4448 2842 0 85519 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
Current children cumulated memory: 374108 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 61430
/proc/meminfo: memFree=125731704/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=376156 CPUtime=2854.51 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112751 0 0 0 284530 921 0 0 20 0 1 0 53617909 463998976 94039 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94039 4448 2842 0 94975 0
Current children cumulated CPU time: 2854.51 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 376156 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 61433
/proc/meminfo: memFree=125732552/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=376156 CPUtime=2914.35 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112752 0 0 0 290508 927 0 0 20 0 1 0 53617909 463998976 94039 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94039 4448 2842 0 94975 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 376156 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 61442
/proc/meminfo: memFree=125728940/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=2974.19 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112753 0 0 0 296485 934 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 61444
/proc/meminfo: memFree=125728792/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3034.04 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112753 0 0 0 302463 941 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 61446
/proc/meminfo: memFree=125728632/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3093.88 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112753 0 0 0 308440 948 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 61448
/proc/meminfo: memFree=125728532/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3153.71 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112815 0 0 0 314416 955 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 61451
/proc/meminfo: memFree=125728604/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3213.55 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112835 0 0 0 320391 964 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 61454
/proc/meminfo: memFree=125728476/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3273.39 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112851 0 0 0 326366 973 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 61456
/proc/meminfo: memFree=125728316/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3333.23 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112851 0 0 0 332340 983 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 61458
/proc/meminfo: memFree=125728392/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3393.07 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112851 0 0 0 338312 995 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 61461
/proc/meminfo: memFree=125722816/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3452.91 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112851 0 0 0 344284 1007 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 61463
/proc/meminfo: memFree=125723912/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3512.74 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112851 0 0 0 350253 1021 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 61472
/proc/meminfo: memFree=125723768/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3572.58 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112851 0 0 0 356224 1034 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 3.99 4.06 4.08 5/266 61834
/proc/meminfo: memFree=125718288/131249992 swapFree=33010684/33010684
[pid=61147] ppid=61144 vsize=453124 memory=378204 CPUtime=3600 cores=5,7
/proc/61147/stat : 61147 (mixed-bag) R 61144 61147 60438 0 -1 4194304 112851 0 0 0 358962 1038 0 0 20 0 1 0 53617909 463998976 94551 18446744073709551615 4235264 15874749 140722084485344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 54734848 140722084493724 140722084493801 140722084493801 140722084499403 0
/proc/61147/statm: 113281 94551 4448 2842 0 94975 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 453124 KiB
Current children cumulated memory: 378204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 61147 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.63 s, system=10.3907 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.02
CPU user time (s): 3589.63
CPU system time (s): 10.3907
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 453124
Max. memory (cumulated for all children) (KiB): 378204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.63
system time used= 10.3907
maximum resident set size= 378844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186
involuntary context switches= 1383
# summary of solver processes directly reported to runsolver:
# pid: 61147
# total CPU time (s): 3600.02
# total CPU user time (s): 3589.63
# total CPU system time (s): 10.3907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57823 second user time and 16.7238 second system time
The end
Begin job on nodeC025 at 2025-07-01 16:16:31
IDJOB=4491199
IDBENCH=147690
IDSOLVER=3340
FILE ID=nodeC025/4491199-1751379391
RUNJOBID= nodeC025-1751375766-60451
SLURM_JOB_ID= 9598215
Free space on /tmp= 433016 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491199-1751379391/watcher-4491199-1751379391 -o /tmp/evaluation-result-4491199-1751379391/solver-4491199-1751379391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60451 --watchdog 3760 mixed-bag HOME/instance-4491199-1751379391.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=817198814
nodeC025 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.830
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.67
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.805
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.67
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 : 3580.092
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.67
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 : 3602.059
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.67
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.862
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.67
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 : 3602.059
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.67
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 : 3597.754
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.67
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.841
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126556848 kB
MemAvailable: 129352148 kB
Buffers: 3280 kB
Cached: 3593404 kB
SwapCached: 0 kB
Active: 790508 kB
Inactive: 3253708 kB
Active(anon): 465620 kB
Inactive(anon): 0 kB
Active(file): 324888 kB
Inactive(file): 3253708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32300 kB
Writeback: 0 kB
AnonPages: 450664 kB
Mapped: 136980 kB
Shmem: 18084 kB
KReclaimable: 111888 kB
Slab: 200748 kB
SReclaimable: 111888 kB
SUnreclaim: 88860 kB
KernelStack: 4284 kB
PageTables: 4268 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 855432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC025 at 2025-07-01 17:16:41