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.17 c [STEP] solving with SCIP
299.32/300.27 c [STEP] preprocessing done, loading into solver
299.42/300.30 c [STEP] solving
299.42/300.30 c #variables 3296 #constraints 6383
299.42/300.30 c SMALL=int, LARGE=long long
299.42/300.30 d SCIPUB 128
299.42/300.30 c bounds - >= 0 @ 299.175
299.42/300.30 c stratification level: 0
340.63/341.68 c #Conflicts: 1000 | #Constraints: 7382
340.63/341.68 c #Conflicts: 2000 | #Constraints: 8382
340.63/341.68 c INPROCESSING
340.63/341.68 c #Conflicts: 3000 | #Constraints: 8397
340.63/341.68 c #Conflicts: 4000 | #Constraints: 9397
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 5000 | #Constraints: 8811
340.63/341.68 c #Conflicts: 6000 | #Constraints: 9811
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 7000 | #Constraints: 8823
340.63/341.68 c #Conflicts: 8000 | #Constraints: 9823
340.63/341.68 c #Conflicts: 9000 | #Constraints: 10823
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 10000 | #Constraints: 9527
340.63/341.68 c #Conflicts: 11000 | #Constraints: 10527
340.63/341.68 c #Conflicts: 12000 | #Constraints: 11527
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 13000 | #Constraints: 9985
340.63/341.68 c #Conflicts: 14000 | #Constraints: 10985
340.63/341.68 c #Conflicts: 15000 | #Constraints: 11985
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 16000 | #Constraints: 10213
340.63/341.68 c #Conflicts: 17000 | #Constraints: 11213
340.63/341.68 c #Conflicts: 18000 | #Constraints: 12213
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 19000 | #Constraints: 10223
340.63/341.68 c #Conflicts: 20000 | #Constraints: 11223
340.63/341.68 c #Conflicts: 21000 | #Constraints: 12223
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 22000 | #Constraints: 10036
340.63/341.68 c #Conflicts: 23000 | #Constraints: 11036
340.63/341.68 c #Conflicts: 24000 | #Constraints: 12036
340.63/341.68 c #Conflicts: 25000 | #Constraints: 13036
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 26000 | #Constraints: 10636
340.63/341.68 c #Conflicts: 27000 | #Constraints: 11636
340.63/341.68 c #Conflicts: 28000 | #Constraints: 12636
340.63/341.68 c #Conflicts: 29000 | #Constraints: 13636
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 30000 | #Constraints: 11038
340.63/341.68 c #Conflicts: 31000 | #Constraints: 12038
340.63/341.68 c #Conflicts: 32000 | #Constraints: 13038
340.63/341.68 c #Conflicts: 33000 | #Constraints: 14038
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 34000 | #Constraints: 11237
340.63/341.68 c #Conflicts: 35000 | #Constraints: 12237
340.63/341.68 c #Conflicts: 36000 | #Constraints: 13237
340.63/341.68 c #Conflicts: 37000 | #Constraints: 14237
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 38000 | #Constraints: 11236
340.63/341.68 c #Conflicts: 39000 | #Constraints: 12236
340.63/341.68 c #Conflicts: 40000 | #Constraints: 13236
340.63/341.68 c #Conflicts: 41000 | #Constraints: 14236
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 42000 | #Constraints: 11037
340.63/341.68 c #Conflicts: 43000 | #Constraints: 12037
340.63/341.68 c #Conflicts: 44000 | #Constraints: 13037
340.63/341.68 c #Conflicts: 45000 | #Constraints: 14037
340.63/341.68 c #Conflicts: 46000 | #Constraints: 15037
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 47000 | #Constraints: 11633
340.63/341.68 c #Conflicts: 48000 | #Constraints: 12633
340.63/341.68 c #Conflicts: 49000 | #Constraints: 13633
340.63/341.68 c #Conflicts: 50000 | #Constraints: 14633
340.63/341.68 c #Conflicts: 51000 | #Constraints: 15633
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 52000 | #Constraints: 12034
340.63/341.68 c #Conflicts: 53000 | #Constraints: 13034
340.63/341.68 c #Conflicts: 54000 | #Constraints: 14034
340.63/341.68 c #Conflicts: 55000 | #Constraints: 15034
340.63/341.68 c #Conflicts: 56000 | #Constraints: 16034
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 57000 | #Constraints: 12235
340.63/341.68 c #Conflicts: 58000 | #Constraints: 13235
340.63/341.68 c #Conflicts: 59000 | #Constraints: 14235
340.63/341.68 c #Conflicts: 60000 | #Constraints: 15235
340.63/341.68 c #Conflicts: 61000 | #Constraints: 16235
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 62000 | #Constraints: 12244
340.63/341.68 c #Conflicts: 63000 | #Constraints: 13244
340.63/341.68 c #Conflicts: 64000 | #Constraints: 14244
340.63/341.68 c #Conflicts: 65000 | #Constraints: 15244
340.63/341.68 c #Conflicts: 66000 | #Constraints: 16244
340.63/341.68 c INPROCESSING
340.63/341.68 c GARBAGE COLLECT
340.63/341.68 c #Conflicts: 67000 | #Constraints: 12043
340.63/341.68 c #Conflicts: 68000 | #Constraints: 13043
407.77/408.92 c #Conflicts: 69000 | #Constraints: 14043
407.77/408.92 c #Conflicts: 70000 | #Constraints: 15043
407.77/408.92 c #Conflicts: 71000 | #Constraints: 16043
407.77/408.92 c #Conflicts: 72000 | #Constraints: 17043
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 73000 | #Constraints: 12647
407.77/408.92 c #Conflicts: 74000 | #Constraints: 13647
407.77/408.92 c #Conflicts: 75000 | #Constraints: 14647
407.77/408.92 c #Conflicts: 76000 | #Constraints: 15647
407.77/408.92 c #Conflicts: 77000 | #Constraints: 16647
407.77/408.92 c #Conflicts: 78000 | #Constraints: 17647
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 79000 | #Constraints: 13047
407.77/408.92 c #Conflicts: 80000 | #Constraints: 14047
407.77/408.92 c #Conflicts: 81000 | #Constraints: 15047
407.77/408.92 c #Conflicts: 82000 | #Constraints: 16047
407.77/408.92 c #Conflicts: 83000 | #Constraints: 17047
407.77/408.92 c #Conflicts: 84000 | #Constraints: 18047
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 85000 | #Constraints: 13247
407.77/408.92 c #Conflicts: 86000 | #Constraints: 14247
407.77/408.92 c #Conflicts: 87000 | #Constraints: 15247
407.77/408.92 c #Conflicts: 88000 | #Constraints: 16247
407.77/408.92 c #Conflicts: 89000 | #Constraints: 17247
407.77/408.92 c #Conflicts: 90000 | #Constraints: 18247
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 91000 | #Constraints: 13257
407.77/408.92 c #Conflicts: 92000 | #Constraints: 14257
407.77/408.92 c #Conflicts: 93000 | #Constraints: 15257
407.77/408.92 c #Conflicts: 94000 | #Constraints: 16257
407.77/408.92 c #Conflicts: 95000 | #Constraints: 17257
407.77/408.92 c #Conflicts: 96000 | #Constraints: 18257
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 97000 | #Constraints: 13049
407.77/408.92 c #Conflicts: 98000 | #Constraints: 14049
407.77/408.92 c #Conflicts: 99000 | #Constraints: 15049
407.77/408.92 c #Conflicts: 100000 | #Constraints: 16049
407.77/408.92 c #Conflicts: 101000 | #Constraints: 17049
407.77/408.92 c #Conflicts: 102000 | #Constraints: 18049
407.77/408.92 c #Conflicts: 103000 | #Constraints: 19049
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 104000 | #Constraints: 13651
407.77/408.92 c #Conflicts: 105000 | #Constraints: 14651
407.77/408.92 c #Conflicts: 106000 | #Constraints: 15651
407.77/408.92 c #Conflicts: 107000 | #Constraints: 16651
407.77/408.92 c #Conflicts: 108000 | #Constraints: 17651
407.77/408.92 c #Conflicts: 109000 | #Constraints: 18651
407.77/408.92 c #Conflicts: 110000 | #Constraints: 19651
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 111000 | #Constraints: 14048
407.77/408.92 c #Conflicts: 112000 | #Constraints: 15048
407.77/408.92 c #Conflicts: 113000 | #Constraints: 16048
407.77/408.92 c #Conflicts: 114000 | #Constraints: 17048
407.77/408.92 c #Conflicts: 115000 | #Constraints: 18048
407.77/408.92 c #Conflicts: 116000 | #Constraints: 19048
407.77/408.92 c #Conflicts: 117000 | #Constraints: 20048
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 118000 | #Constraints: 14259
407.77/408.92 c #Conflicts: 119000 | #Constraints: 15259
407.77/408.92 c #Conflicts: 120000 | #Constraints: 16259
407.77/408.92 c #Conflicts: 121000 | #Constraints: 17259
407.77/408.92 c #Conflicts: 122000 | #Constraints: 18259
407.77/408.92 c #Conflicts: 123000 | #Constraints: 19259
407.77/408.92 c #Conflicts: 124000 | #Constraints: 20259
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 125000 | #Constraints: 14250
407.77/408.92 c #Conflicts: 126000 | #Constraints: 15250
407.77/408.92 c #Conflicts: 127000 | #Constraints: 16250
407.77/408.92 c #Conflicts: 128000 | #Constraints: 17250
407.77/408.92 c #Conflicts: 129000 | #Constraints: 18250
407.77/408.92 c #Conflicts: 130000 | #Constraints: 19250
407.77/408.92 c #Conflicts: 131000 | #Constraints: 20250
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 132000 | #Constraints: 14046
407.77/408.92 c #Conflicts: 133000 | #Constraints: 15046
407.77/408.92 c #Conflicts: 134000 | #Constraints: 16046
407.77/408.92 c #Conflicts: 135000 | #Constraints: 17046
407.77/408.92 c #Conflicts: 136000 | #Constraints: 18046
407.77/408.92 c #Conflicts: 137000 | #Constraints: 19046
407.77/408.92 c #Conflicts: 138000 | #Constraints: 20046
407.77/408.92 c #Conflicts: 139000 | #Constraints: 21046
407.77/408.92 c INPROCESSING
407.77/408.92 c GARBAGE COLLECT
407.77/408.92 c #Conflicts: 140000 | #Constraints: 14651
493.06/494.42 c #Conflicts: 141000 | #Constraints: 15651
493.06/494.42 c #Conflicts: 142000 | #Constraints: 16651
493.06/494.42 c #Conflicts: 143000 | #Constraints: 17651
493.06/494.42 c #Conflicts: 144000 | #Constraints: 18651
493.06/494.42 c #Conflicts: 145000 | #Constraints: 19651
493.06/494.42 c #Conflicts: 146000 | #Constraints: 20651
493.06/494.42 c #Conflicts: 147000 | #Constraints: 21651
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 148000 | #Constraints: 15053
493.06/494.42 c #Conflicts: 149000 | #Constraints: 16053
493.06/494.42 c #Conflicts: 150000 | #Constraints: 17053
493.06/494.42 c #Conflicts: 151000 | #Constraints: 18053
493.06/494.42 c #Conflicts: 152000 | #Constraints: 19053
493.06/494.42 c #Conflicts: 153000 | #Constraints: 20053
493.06/494.42 c #Conflicts: 154000 | #Constraints: 21053
493.06/494.42 c #Conflicts: 155000 | #Constraints: 22053
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 156000 | #Constraints: 15249
493.06/494.42 c #Conflicts: 157000 | #Constraints: 16249
493.06/494.42 c #Conflicts: 158000 | #Constraints: 17249
493.06/494.42 c #Conflicts: 159000 | #Constraints: 18249
493.06/494.42 c #Conflicts: 160000 | #Constraints: 19249
493.06/494.42 c #Conflicts: 161000 | #Constraints: 20249
493.06/494.42 c #Conflicts: 162000 | #Constraints: 21249
493.06/494.42 c #Conflicts: 163000 | #Constraints: 22249
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 164000 | #Constraints: 15249
493.06/494.42 c #Conflicts: 165000 | #Constraints: 16249
493.06/494.42 c #Conflicts: 166000 | #Constraints: 17249
493.06/494.42 c #Conflicts: 167000 | #Constraints: 18249
493.06/494.42 c #Conflicts: 168000 | #Constraints: 19249
493.06/494.42 c #Conflicts: 169000 | #Constraints: 20249
493.06/494.42 c #Conflicts: 170000 | #Constraints: 21249
493.06/494.42 c #Conflicts: 171000 | #Constraints: 22249
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 172000 | #Constraints: 15047
493.06/494.42 c #Conflicts: 173000 | #Constraints: 16047
493.06/494.42 c #Conflicts: 174000 | #Constraints: 17047
493.06/494.42 c #Conflicts: 175000 | #Constraints: 18047
493.06/494.42 c #Conflicts: 176000 | #Constraints: 19047
493.06/494.42 c #Conflicts: 177000 | #Constraints: 20047
493.06/494.42 c #Conflicts: 178000 | #Constraints: 21047
493.06/494.42 c #Conflicts: 179000 | #Constraints: 22047
493.06/494.42 c #Conflicts: 180000 | #Constraints: 23047
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 181000 | #Constraints: 15648
493.06/494.42 c #Conflicts: 182000 | #Constraints: 16648
493.06/494.42 c #Conflicts: 183000 | #Constraints: 17648
493.06/494.42 c #Conflicts: 184000 | #Constraints: 18648
493.06/494.42 c #Conflicts: 185000 | #Constraints: 19648
493.06/494.42 c #Conflicts: 186000 | #Constraints: 20648
493.06/494.42 c #Conflicts: 187000 | #Constraints: 21648
493.06/494.42 c #Conflicts: 188000 | #Constraints: 22648
493.06/494.42 c #Conflicts: 189000 | #Constraints: 23648
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 190000 | #Constraints: 16047
493.06/494.42 c #Conflicts: 191000 | #Constraints: 17047
493.06/494.42 c #Conflicts: 192000 | #Constraints: 18047
493.06/494.42 c #Conflicts: 193000 | #Constraints: 19047
493.06/494.42 c #Conflicts: 194000 | #Constraints: 20047
493.06/494.42 c #Conflicts: 195000 | #Constraints: 21047
493.06/494.42 c #Conflicts: 196000 | #Constraints: 22047
493.06/494.42 c #Conflicts: 197000 | #Constraints: 23047
493.06/494.42 c #Conflicts: 198000 | #Constraints: 24047
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 199000 | #Constraints: 16246
493.06/494.42 c #Conflicts: 200000 | #Constraints: 17246
493.06/494.42 c #Conflicts: 201000 | #Constraints: 18246
493.06/494.42 c #Conflicts: 202000 | #Constraints: 19246
493.06/494.42 c #Conflicts: 203000 | #Constraints: 20246
493.06/494.42 c #Conflicts: 204000 | #Constraints: 21246
493.06/494.42 c #Conflicts: 205000 | #Constraints: 22246
493.06/494.42 c #Conflicts: 206000 | #Constraints: 23246
493.06/494.42 c #Conflicts: 207000 | #Constraints: 24246
493.06/494.42 c INPROCESSING
493.06/494.42 c GARBAGE COLLECT
493.06/494.42 c #Conflicts: 208000 | #Constraints: 16240
493.06/494.42 c #Conflicts: 209000 | #Constraints: 17240
493.06/494.42 c #Conflicts: 210000 | #Constraints: 18240
493.06/494.42 c #Conflicts: 211000 | #Constraints: 19240
493.06/494.42 c #Conflicts: 212000 | #Constraints: 20240
493.06/494.42 c #Conflicts: 213000 | #Constraints: 21240
493.06/494.42 c #Conflicts: 214000 | #Constraints: 22240
596.20/597.86 c #Conflicts: 215000 | #Constraints: 23240
596.20/597.86 c #Conflicts: 216000 | #Constraints: 24240
596.20/597.86 c INPROCESSING
596.20/597.86 c GARBAGE COLLECT
596.20/597.86 c #Conflicts: 217000 | #Constraints: 16047
596.20/597.86 c #Conflicts: 218000 | #Constraints: 17047
596.20/597.86 c #Conflicts: 219000 | #Constraints: 18047
596.20/597.86 c #Conflicts: 220000 | #Constraints: 19047
596.20/597.86 c #Conflicts: 221000 | #Constraints: 20047
596.20/597.86 c #Conflicts: 222000 | #Constraints: 21047
596.20/597.86 c #Conflicts: 223000 | #Constraints: 22047
596.20/597.86 c #Conflicts: 224000 | #Constraints: 23047
596.20/597.86 c #Conflicts: 225000 | #Constraints: 24047
596.20/597.86 c #Conflicts: 226000 | #Constraints: 25047
596.20/597.86 c INPROCESSING
596.20/597.86 c GARBAGE COLLECT
596.20/597.86 c #Conflicts: 227000 | #Constraints: 16647
596.20/597.86 c #Conflicts: 228000 | #Constraints: 17647
596.20/597.86 c #Conflicts: 229000 | #Constraints: 18647
596.20/597.86 c #Conflicts: 230000 | #Constraints: 19647
596.20/597.86 c #Conflicts: 231000 | #Constraints: 20647
596.20/597.86 c #Conflicts: 232000 | #Constraints: 21647
596.20/597.86 c #Conflicts: 233000 | #Constraints: 22647
596.20/597.86 c #Conflicts: 234000 | #Constraints: 23647
596.20/597.86 c #Conflicts: 235000 | #Constraints: 24647
596.20/597.86 c #Conflicts: 236000 | #Constraints: 25647
596.20/597.86 c INPROCESSING
596.20/597.86 c GARBAGE COLLECT
596.20/597.86 c #Conflicts: 237000 | #Constraints: 17050
596.20/597.86 c #Conflicts: 238000 | #Constraints: 18050
596.20/597.86 c #Conflicts: 239000 | #Constraints: 19050
596.20/597.86 c #Conflicts: 240000 | #Constraints: 20050
596.20/597.86 c #Conflicts: 241000 | #Constraints: 21050
596.20/597.86 c #Conflicts: 242000 | #Constraints: 22050
596.20/597.86 c #Conflicts: 243000 | #Constraints: 23050
596.20/597.86 c #Conflicts: 244000 | #Constraints: 24050
596.20/597.86 c #Conflicts: 245000 | #Constraints: 25050
596.20/597.86 c #Conflicts: 246000 | #Constraints: 26050
596.20/597.86 c INPROCESSING
596.20/597.86 c GARBAGE COLLECT
596.20/597.86 c #Conflicts: 247000 | #Constraints: 17264
596.20/597.86 c #Conflicts: 248000 | #Constraints: 18264
596.20/597.86 c #Conflicts: 249000 | #Constraints: 19264
596.20/597.86 c #Conflicts: 250000 | #Constraints: 20264
596.20/597.86 c #Conflicts: 251000 | #Constraints: 21264
596.20/597.86 c #Conflicts: 252000 | #Constraints: 22264
596.20/597.86 c #Conflicts: 253000 | #Constraints: 23264
596.20/597.86 c #Conflicts: 254000 | #Constraints: 24264
596.20/597.86 c #Conflicts: 255000 | #Constraints: 25264
596.20/597.86 c #Conflicts: 256000 | #Constraints: 26264
596.20/597.86 c INPROCESSING
596.20/597.86 c GARBAGE COLLECT
596.20/597.86 c #Conflicts: 257000 | #Constraints: 17263
596.20/597.86 c #Conflicts: 258000 | #Constraints: 18263
596.20/597.86 c #Conflicts: 259000 | #Constraints: 19263
596.20/597.86 c #Conflicts: 260000 | #Constraints: 20263
596.20/597.86 c #Conflicts: 261000 | #Constraints: 21263
596.20/597.86 c #Conflicts: 262000 | #Constraints: 22263
596.20/597.86 c #Conflicts: 263000 | #Constraints: 23263
596.20/597.86 c #Conflicts: 264000 | #Constraints: 24263
596.20/597.86 c #Conflicts: 265000 | #Constraints: 25263
596.20/597.86 c #Conflicts: 266000 | #Constraints: 26263
596.20/597.86 c INPROCESSING
596.20/597.86 c GARBAGE COLLECT
596.20/597.86 c #Conflicts: 267000 | #Constraints: 17061
596.20/597.86 c #Conflicts: 268000 | #Constraints: 18061
596.20/597.86 c #Conflicts: 269000 | #Constraints: 19061
596.20/597.86 c #Conflicts: 270000 | #Constraints: 20061
596.20/597.86 c #Conflicts: 271000 | #Constraints: 21061
596.20/597.86 c #Conflicts: 272000 | #Constraints: 22061
596.20/597.86 c #Conflicts: 273000 | #Constraints: 23061
596.20/597.86 c #Conflicts: 274000 | #Constraints: 24061
596.20/597.86 c #Conflicts: 275000 | #Constraints: 25061
596.20/597.86 c #Conflicts: 276000 | #Constraints: 26061
596.20/597.86 c #Conflicts: 277000 | #Constraints: 27061
596.20/597.86 c INPROCESSING
596.20/597.86 c GARBAGE COLLECT
596.20/597.86 c #Conflicts: 278000 | #Constraints: 17659
596.20/597.86 c #Conflicts: 279000 | #Constraints: 18659
596.20/597.86 c #Conflicts: 280000 | #Constraints: 19659
596.20/597.86 c #Conflicts: 281000 | #Constraints: 20659
596.20/597.86 c #Conflicts: 282000 | #Constraints: 21659
596.20/597.86 c #Conflicts: 283000 | #Constraints: 22659
596.20/597.86 c #Conflicts: 284000 | #Constraints: 23659
596.20/597.86 c #Conflicts: 285000 | #Constraints: 24659
596.20/597.86 c #Conflicts: 286000 | #Constraints: 25659
596.20/597.86 c #Conflicts: 287000 | #Constraints: 26659
596.20/597.86 c #Conflicts: 288000 | #Constraints: 27659
711.19/713.15 c INPROCESSING
711.19/713.15 c GARBAGE COLLECT
711.19/713.15 c #Conflicts: 289000 | #Constraints: 18063
711.19/713.15 c #Conflicts: 290000 | #Constraints: 19063
711.19/713.15 c #Conflicts: 291000 | #Constraints: 20063
711.19/713.15 c #Conflicts: 292000 | #Constraints: 21063
711.19/713.15 c #Conflicts: 293000 | #Constraints: 22063
711.19/713.15 c #Conflicts: 294000 | #Constraints: 23063
711.19/713.15 c #Conflicts: 295000 | #Constraints: 24063
711.19/713.15 c #Conflicts: 296000 | #Constraints: 25063
711.19/713.15 c #Conflicts: 297000 | #Constraints: 26063
711.19/713.15 c #Conflicts: 298000 | #Constraints: 27063
711.19/713.15 c #Conflicts: 299000 | #Constraints: 28063
711.19/713.15 c INPROCESSING
711.19/713.15 c GARBAGE COLLECT
711.19/713.15 c #Conflicts: 300000 | #Constraints: 18263
711.19/713.15 c #Conflicts: 301000 | #Constraints: 19263
711.19/713.15 c #Conflicts: 302000 | #Constraints: 20263
711.19/713.15 c #Conflicts: 303000 | #Constraints: 21263
711.19/713.15 c #Conflicts: 304000 | #Constraints: 22263
711.19/713.15 c #Conflicts: 305000 | #Constraints: 23263
711.19/713.15 c #Conflicts: 306000 | #Constraints: 24263
711.19/713.15 c #Conflicts: 307000 | #Constraints: 25263
711.19/713.15 c #Conflicts: 308000 | #Constraints: 26263
711.19/713.15 c #Conflicts: 309000 | #Constraints: 27263
711.19/713.15 c #Conflicts: 310000 | #Constraints: 28263
711.19/713.15 c INPROCESSING
711.19/713.15 c GARBAGE COLLECT
711.19/713.15 c #Conflicts: 311000 | #Constraints: 18269
711.19/713.15 c #Conflicts: 312000 | #Constraints: 19269
711.19/713.15 c #Conflicts: 313000 | #Constraints: 20269
711.19/713.15 c #Conflicts: 314000 | #Constraints: 21269
711.19/713.15 c #Conflicts: 315000 | #Constraints: 22269
711.19/713.15 c #Conflicts: 316000 | #Constraints: 23269
711.19/713.15 c #Conflicts: 317000 | #Constraints: 24269
711.19/713.15 c #Conflicts: 318000 | #Constraints: 25269
711.19/713.15 c #Conflicts: 319000 | #Constraints: 26269
711.19/713.15 c #Conflicts: 320000 | #Constraints: 27269
711.19/713.15 c #Conflicts: 321000 | #Constraints: 28269
711.19/713.15 c INPROCESSING
711.19/713.15 c GARBAGE COLLECT
711.19/713.15 c #Conflicts: 322000 | #Constraints: 18057
711.19/713.15 c #Conflicts: 323000 | #Constraints: 19057
711.19/713.15 c #Conflicts: 324000 | #Constraints: 20057
711.19/713.15 c #Conflicts: 325000 | #Constraints: 21057
711.19/713.15 c #Conflicts: 326000 | #Constraints: 22057
711.19/713.15 c #Conflicts: 327000 | #Constraints: 23057
711.19/713.15 c #Conflicts: 328000 | #Constraints: 24057
711.19/713.15 c #Conflicts: 329000 | #Constraints: 25057
711.19/713.15 c #Conflicts: 330000 | #Constraints: 26057
711.19/713.15 c #Conflicts: 331000 | #Constraints: 27057
711.19/713.15 c #Conflicts: 332000 | #Constraints: 28057
711.19/713.15 c #Conflicts: 333000 | #Constraints: 29057
711.19/713.15 c INPROCESSING
711.19/713.15 c GARBAGE COLLECT
711.19/713.15 c #Conflicts: 334000 | #Constraints: 18660
711.19/713.15 c #Conflicts: 335000 | #Constraints: 19660
711.19/713.15 c #Conflicts: 336000 | #Constraints: 20660
711.19/713.15 c #Conflicts: 337000 | #Constraints: 21660
711.19/713.15 c #Conflicts: 338000 | #Constraints: 22660
711.19/713.15 c #Conflicts: 339000 | #Constraints: 23660
711.19/713.15 c #Conflicts: 340000 | #Constraints: 24660
711.19/713.15 c #Conflicts: 341000 | #Constraints: 25660
711.19/713.15 c #Conflicts: 342000 | #Constraints: 26660
711.19/713.15 c #Conflicts: 343000 | #Constraints: 27660
711.19/713.15 c #Conflicts: 344000 | #Constraints: 28660
711.19/713.15 c #Conflicts: 345000 | #Constraints: 29660
711.19/713.15 c INPROCESSING
711.19/713.15 c GARBAGE COLLECT
711.19/713.15 c #Conflicts: 346000 | #Constraints: 19067
711.19/713.15 c #Conflicts: 347000 | #Constraints: 20067
711.19/713.15 c #Conflicts: 348000 | #Constraints: 21067
711.19/713.15 c #Conflicts: 349000 | #Constraints: 22067
711.19/713.15 c #Conflicts: 350000 | #Constraints: 23067
711.19/713.15 c #Conflicts: 351000 | #Constraints: 24067
711.19/713.15 c #Conflicts: 352000 | #Constraints: 25067
711.19/713.15 c #Conflicts: 353000 | #Constraints: 26067
711.19/713.15 c #Conflicts: 354000 | #Constraints: 27067
711.19/713.15 c #Conflicts: 355000 | #Constraints: 28067
711.19/713.15 c #Conflicts: 356000 | #Constraints: 29067
711.19/713.15 c #Conflicts: 357000 | #Constraints: 30067
711.19/713.15 c INPROCESSING
711.19/713.15 c GARBAGE COLLECT
711.19/713.15 c #Conflicts: 358000 | #Constraints: 19275
711.19/713.15 c #Conflicts: 359000 | #Constraints: 20275
711.19/713.15 c #Conflicts: 360000 | #Constraints: 21275
711.19/713.15 c #Conflicts: 361000 | #Constraints: 22275
711.19/713.15 c #Conflicts: 362000 | #Constraints: 23275
843.54/845.81 c #Conflicts: 363000 | #Constraints: 24275
843.54/845.81 c #Conflicts: 364000 | #Constraints: 25275
843.54/845.81 c #Conflicts: 365000 | #Constraints: 26275
843.54/845.81 c #Conflicts: 366000 | #Constraints: 27275
843.54/845.81 c #Conflicts: 367000 | #Constraints: 28275
843.54/845.81 c #Conflicts: 368000 | #Constraints: 29275
843.54/845.81 c #Conflicts: 369000 | #Constraints: 30275
843.54/845.81 c INPROCESSING
843.54/845.81 c GARBAGE COLLECT
843.54/845.81 c #Conflicts: 370000 | #Constraints: 19262
843.54/845.81 c #Conflicts: 371000 | #Constraints: 20262
843.54/845.81 c #Conflicts: 372000 | #Constraints: 21262
843.54/845.81 c #Conflicts: 373000 | #Constraints: 22262
843.54/845.81 c #Conflicts: 374000 | #Constraints: 23262
843.54/845.81 c #Conflicts: 375000 | #Constraints: 24262
843.54/845.81 c #Conflicts: 376000 | #Constraints: 25262
843.54/845.81 c #Conflicts: 377000 | #Constraints: 26262
843.54/845.81 c #Conflicts: 378000 | #Constraints: 27262
843.54/845.81 c #Conflicts: 379000 | #Constraints: 28262
843.54/845.81 c #Conflicts: 380000 | #Constraints: 29262
843.54/845.81 c #Conflicts: 381000 | #Constraints: 30262
843.54/845.81 c INPROCESSING
843.54/845.81 c GARBAGE COLLECT
843.54/845.81 c #Conflicts: 382000 | #Constraints: 19052
843.54/845.81 c #Conflicts: 383000 | #Constraints: 20052
843.54/845.81 c #Conflicts: 384000 | #Constraints: 21052
843.54/845.81 c #Conflicts: 385000 | #Constraints: 22052
843.54/845.81 c #Conflicts: 386000 | #Constraints: 23052
843.54/845.81 c #Conflicts: 387000 | #Constraints: 24052
843.54/845.81 c #Conflicts: 388000 | #Constraints: 25052
843.54/845.81 c #Conflicts: 389000 | #Constraints: 26052
843.54/845.81 c #Conflicts: 390000 | #Constraints: 27052
843.54/845.81 c #Conflicts: 391000 | #Constraints: 28052
843.54/845.81 c #Conflicts: 392000 | #Constraints: 29052
843.54/845.81 c #Conflicts: 393000 | #Constraints: 30052
843.54/845.81 c #Conflicts: 394000 | #Constraints: 31052
843.54/845.81 c INPROCESSING
843.54/845.81 c GARBAGE COLLECT
843.54/845.81 c #Conflicts: 395000 | #Constraints: 19647
843.54/845.81 c #Conflicts: 396000 | #Constraints: 20647
843.54/845.81 c #Conflicts: 397000 | #Constraints: 21647
843.54/845.81 c #Conflicts: 398000 | #Constraints: 22647
843.54/845.81 c #Conflicts: 399000 | #Constraints: 23647
843.54/845.81 c #Conflicts: 400000 | #Constraints: 24647
843.54/845.81 c #Conflicts: 401000 | #Constraints: 25647
843.54/845.81 c #Conflicts: 402000 | #Constraints: 26647
843.54/845.81 c #Conflicts: 403000 | #Constraints: 27647
843.54/845.81 c #Conflicts: 404000 | #Constraints: 28647
843.54/845.81 c #Conflicts: 405000 | #Constraints: 29647
843.54/845.81 c #Conflicts: 406000 | #Constraints: 30647
843.54/845.81 c #Conflicts: 407000 | #Constraints: 31647
843.54/845.81 c INPROCESSING
843.54/845.81 c GARBAGE COLLECT
843.54/845.81 c #Conflicts: 408000 | #Constraints: 20057
843.54/845.81 c #Conflicts: 409000 | #Constraints: 21057
843.54/845.81 c #Conflicts: 410000 | #Constraints: 22057
843.54/845.81 c #Conflicts: 411000 | #Constraints: 23057
843.54/845.81 c #Conflicts: 412000 | #Constraints: 24057
843.54/845.81 c #Conflicts: 413000 | #Constraints: 25057
843.54/845.81 c #Conflicts: 414000 | #Constraints: 26057
843.54/845.81 c #Conflicts: 415000 | #Constraints: 27057
843.54/845.81 c #Conflicts: 416000 | #Constraints: 28057
843.54/845.81 c #Conflicts: 417000 | #Constraints: 29057
843.54/845.81 c #Conflicts: 418000 | #Constraints: 30057
843.54/845.81 c #Conflicts: 419000 | #Constraints: 31057
843.54/845.81 c #Conflicts: 420000 | #Constraints: 32057
843.54/845.81 c INPROCESSING
843.54/845.81 c GARBAGE COLLECT
843.54/845.81 c #Conflicts: 421000 | #Constraints: 20258
843.54/845.81 c #Conflicts: 422000 | #Constraints: 21258
843.54/845.81 c #Conflicts: 423000 | #Constraints: 22258
843.54/845.81 c #Conflicts: 424000 | #Constraints: 23258
843.54/845.81 c #Conflicts: 425000 | #Constraints: 24258
843.54/845.81 c #Conflicts: 426000 | #Constraints: 25258
843.54/845.81 c #Conflicts: 427000 | #Constraints: 26258
843.54/845.81 c #Conflicts: 428000 | #Constraints: 27258
843.54/845.81 c #Conflicts: 429000 | #Constraints: 28258
843.54/845.81 c #Conflicts: 430000 | #Constraints: 29258
843.54/845.81 c #Conflicts: 431000 | #Constraints: 30258
843.54/845.81 c #Conflicts: 432000 | #Constraints: 31258
843.54/845.81 c #Conflicts: 433000 | #Constraints: 32258
843.54/845.81 c INPROCESSING
843.54/845.81 c GARBAGE COLLECT
843.54/845.81 c #Conflicts: 434000 | #Constraints: 20261
843.54/845.81 c #Conflicts: 435000 | #Constraints: 21261
843.54/845.81 c #Conflicts: 436000 | #Constraints: 22261
843.54/845.81 c #Conflicts: 437000 | #Constraints: 23261
995.14/997.84 c #Conflicts: 438000 | #Constraints: 24261
995.14/997.84 c #Conflicts: 439000 | #Constraints: 25261
995.14/997.84 c #Conflicts: 440000 | #Constraints: 26261
995.14/997.84 c #Conflicts: 441000 | #Constraints: 27261
995.14/997.84 c #Conflicts: 442000 | #Constraints: 28261
995.14/997.84 c #Conflicts: 443000 | #Constraints: 29261
995.14/997.84 c #Conflicts: 444000 | #Constraints: 30261
995.14/997.84 c #Conflicts: 445000 | #Constraints: 31261
995.14/997.84 c #Conflicts: 446000 | #Constraints: 32261
995.14/997.84 c INPROCESSING
995.14/997.84 c GARBAGE COLLECT
995.14/997.84 c #Conflicts: 447000 | #Constraints: 20056
995.14/997.84 c #Conflicts: 448000 | #Constraints: 21056
995.14/997.84 c #Conflicts: 449000 | #Constraints: 22056
995.14/997.84 c #Conflicts: 450000 | #Constraints: 23056
995.14/997.84 c #Conflicts: 451000 | #Constraints: 24056
995.14/997.84 c #Conflicts: 452000 | #Constraints: 25056
995.14/997.84 c #Conflicts: 453000 | #Constraints: 26056
995.14/997.84 c #Conflicts: 454000 | #Constraints: 27056
995.14/997.84 c #Conflicts: 455000 | #Constraints: 28056
995.14/997.84 c #Conflicts: 456000 | #Constraints: 29056
995.14/997.84 c #Conflicts: 457000 | #Constraints: 30056
995.14/997.84 c #Conflicts: 458000 | #Constraints: 31056
995.14/997.84 c #Conflicts: 459000 | #Constraints: 32056
995.14/997.84 c #Conflicts: 460000 | #Constraints: 33056
995.14/997.84 c INPROCESSING
995.14/997.84 c GARBAGE COLLECT
995.14/997.84 c #Conflicts: 461000 | #Constraints: 20661
995.14/997.84 c #Conflicts: 462000 | #Constraints: 21661
995.14/997.84 c #Conflicts: 463000 | #Constraints: 22661
995.14/997.84 c #Conflicts: 464000 | #Constraints: 23661
995.14/997.84 c #Conflicts: 465000 | #Constraints: 24661
995.14/997.84 c #Conflicts: 466000 | #Constraints: 25661
995.14/997.84 c #Conflicts: 467000 | #Constraints: 26661
995.14/997.84 c #Conflicts: 468000 | #Constraints: 27661
995.14/997.84 c #Conflicts: 469000 | #Constraints: 28661
995.14/997.84 c #Conflicts: 470000 | #Constraints: 29661
995.14/997.84 c #Conflicts: 471000 | #Constraints: 30661
995.14/997.84 c #Conflicts: 472000 | #Constraints: 31661
995.14/997.84 c #Conflicts: 473000 | #Constraints: 32661
995.14/997.84 c #Conflicts: 474000 | #Constraints: 33661
995.14/997.84 c INPROCESSING
995.14/997.84 c GARBAGE COLLECT
995.14/997.84 c #Conflicts: 475000 | #Constraints: 21067
995.14/997.84 c #Conflicts: 476000 | #Constraints: 22067
995.14/997.84 c #Conflicts: 477000 | #Constraints: 23067
995.14/997.84 c #Conflicts: 478000 | #Constraints: 24067
995.14/997.84 c #Conflicts: 479000 | #Constraints: 25067
995.14/997.84 c #Conflicts: 480000 | #Constraints: 26067
995.14/997.84 c #Conflicts: 481000 | #Constraints: 27067
995.14/997.84 c #Conflicts: 482000 | #Constraints: 28067
995.14/997.84 c #Conflicts: 483000 | #Constraints: 29067
995.14/997.84 c #Conflicts: 484000 | #Constraints: 30067
995.14/997.84 c #Conflicts: 485000 | #Constraints: 31067
995.14/997.84 c #Conflicts: 486000 | #Constraints: 32067
995.14/997.84 c #Conflicts: 487000 | #Constraints: 33067
995.14/997.84 c #Conflicts: 488000 | #Constraints: 34067
995.14/997.84 c INPROCESSING
995.14/997.84 c GARBAGE COLLECT
995.14/997.84 c #Conflicts: 489000 | #Constraints: 21273
995.14/997.84 c #Conflicts: 490000 | #Constraints: 22273
995.14/997.84 c #Conflicts: 491000 | #Constraints: 23273
995.14/997.84 c #Conflicts: 492000 | #Constraints: 24273
995.14/997.84 c #Conflicts: 493000 | #Constraints: 25273
995.14/997.84 c #Conflicts: 494000 | #Constraints: 26273
995.14/997.84 c #Conflicts: 495000 | #Constraints: 27273
995.14/997.84 c #Conflicts: 496000 | #Constraints: 28273
995.14/997.84 c #Conflicts: 497000 | #Constraints: 29273
995.14/997.84 c #Conflicts: 498000 | #Constraints: 30273
995.14/997.84 c #Conflicts: 499000 | #Constraints: 31273
995.14/997.84 c #Conflicts: 500000 | #Constraints: 32273
995.14/997.84 c #Conflicts: 501000 | #Constraints: 33273
995.14/997.84 c #Conflicts: 502000 | #Constraints: 34273
995.14/997.84 c INPROCESSING
995.14/997.84 c GARBAGE COLLECT
995.14/997.84 c #Conflicts: 503000 | #Constraints: 21270
995.14/997.84 c #Conflicts: 504000 | #Constraints: 22270
995.14/997.84 c #Conflicts: 505000 | #Constraints: 23270
995.14/997.84 c #Conflicts: 506000 | #Constraints: 24270
995.14/997.84 c #Conflicts: 507000 | #Constraints: 25270
995.14/997.84 c #Conflicts: 508000 | #Constraints: 26270
995.14/997.84 c #Conflicts: 509000 | #Constraints: 27270
995.14/997.84 c #Conflicts: 510000 | #Constraints: 28270
995.14/997.84 c #Conflicts: 511000 | #Constraints: 29270
995.14/997.84 c #Conflicts: 512000 | #Constraints: 30270
995.14/997.84 c #Conflicts: 513000 | #Constraints: 31270
1162.59/1165.72 c #Conflicts: 514000 | #Constraints: 32270
1162.59/1165.72 c #Conflicts: 515000 | #Constraints: 33270
1162.59/1165.72 c #Conflicts: 516000 | #Constraints: 34270
1162.59/1165.72 c INPROCESSING
1162.59/1165.72 c GARBAGE COLLECT
1162.59/1165.72 c #Conflicts: 517000 | #Constraints: 21068
1162.59/1165.72 c #Conflicts: 518000 | #Constraints: 22068
1162.59/1165.72 c #Conflicts: 519000 | #Constraints: 23068
1162.59/1165.72 c #Conflicts: 520000 | #Constraints: 24068
1162.59/1165.72 c #Conflicts: 521000 | #Constraints: 25068
1162.59/1165.72 c #Conflicts: 522000 | #Constraints: 26068
1162.59/1165.72 c #Conflicts: 523000 | #Constraints: 27068
1162.59/1165.72 c #Conflicts: 524000 | #Constraints: 28068
1162.59/1165.72 c #Conflicts: 525000 | #Constraints: 29068
1162.59/1165.72 c #Conflicts: 526000 | #Constraints: 30068
1162.59/1165.72 c #Conflicts: 527000 | #Constraints: 31068
1162.59/1165.72 c #Conflicts: 528000 | #Constraints: 32068
1162.59/1165.72 c #Conflicts: 529000 | #Constraints: 33068
1162.59/1165.72 c #Conflicts: 530000 | #Constraints: 34068
1162.59/1165.72 c #Conflicts: 531000 | #Constraints: 35068
1162.59/1165.72 c INPROCESSING
1162.59/1165.72 c GARBAGE COLLECT
1162.59/1165.72 c #Conflicts: 532000 | #Constraints: 21668
1162.59/1165.72 c #Conflicts: 533000 | #Constraints: 22668
1162.59/1165.72 c #Conflicts: 534000 | #Constraints: 23668
1162.59/1165.72 c #Conflicts: 535000 | #Constraints: 24668
1162.59/1165.72 c #Conflicts: 536000 | #Constraints: 25668
1162.59/1165.72 c #Conflicts: 537000 | #Constraints: 26668
1162.59/1165.72 c #Conflicts: 538000 | #Constraints: 27668
1162.59/1165.72 c #Conflicts: 539000 | #Constraints: 28668
1162.59/1165.72 c #Conflicts: 540000 | #Constraints: 29668
1162.59/1165.72 c #Conflicts: 541000 | #Constraints: 30668
1162.59/1165.72 c #Conflicts: 542000 | #Constraints: 31668
1162.59/1165.72 c #Conflicts: 543000 | #Constraints: 32668
1162.59/1165.72 c #Conflicts: 544000 | #Constraints: 33668
1162.59/1165.72 c #Conflicts: 545000 | #Constraints: 34668
1162.59/1165.72 c #Conflicts: 546000 | #Constraints: 35668
1162.59/1165.72 c INPROCESSING
1162.59/1165.72 c GARBAGE COLLECT
1162.59/1165.72 c #Conflicts: 547000 | #Constraints: 22065
1162.59/1165.72 c #Conflicts: 548000 | #Constraints: 23065
1162.59/1165.72 c #Conflicts: 549000 | #Constraints: 24065
1162.59/1165.72 c #Conflicts: 550000 | #Constraints: 25065
1162.59/1165.72 c #Conflicts: 551000 | #Constraints: 26065
1162.59/1165.72 c #Conflicts: 552000 | #Constraints: 27065
1162.59/1165.72 c #Conflicts: 553000 | #Constraints: 28065
1162.59/1165.72 c #Conflicts: 554000 | #Constraints: 29065
1162.59/1165.72 c #Conflicts: 555000 | #Constraints: 30065
1162.59/1165.72 c #Conflicts: 556000 | #Constraints: 31065
1162.59/1165.72 c #Conflicts: 557000 | #Constraints: 32065
1162.59/1165.72 c #Conflicts: 558000 | #Constraints: 33065
1162.59/1165.72 c #Conflicts: 559000 | #Constraints: 34065
1162.59/1165.72 c #Conflicts: 560000 | #Constraints: 35065
1162.59/1165.72 c #Conflicts: 561000 | #Constraints: 36065
1162.59/1165.72 c INPROCESSING
1162.59/1165.72 c GARBAGE COLLECT
1162.59/1165.72 c #Conflicts: 562000 | #Constraints: 22276
1162.59/1165.72 c #Conflicts: 563000 | #Constraints: 23276
1162.59/1165.72 c #Conflicts: 564000 | #Constraints: 24276
1162.59/1165.72 c #Conflicts: 565000 | #Constraints: 25276
1162.59/1165.72 c #Conflicts: 566000 | #Constraints: 26276
1162.59/1165.72 c #Conflicts: 567000 | #Constraints: 27276
1162.59/1165.72 c #Conflicts: 568000 | #Constraints: 28276
1162.59/1165.72 c #Conflicts: 569000 | #Constraints: 29276
1162.59/1165.72 c #Conflicts: 570000 | #Constraints: 30276
1162.59/1165.72 c #Conflicts: 571000 | #Constraints: 31276
1162.59/1165.72 c #Conflicts: 572000 | #Constraints: 32276
1162.59/1165.72 c #Conflicts: 573000 | #Constraints: 33276
1162.59/1165.72 c #Conflicts: 574000 | #Constraints: 34276
1162.59/1165.72 c #Conflicts: 575000 | #Constraints: 35276
1162.59/1165.72 c #Conflicts: 576000 | #Constraints: 36276
1162.59/1165.72 c INPROCESSING
1162.59/1165.72 c GARBAGE COLLECT
1162.59/1165.72 c #Conflicts: 577000 | #Constraints: 22274
1162.59/1165.72 c #Conflicts: 578000 | #Constraints: 23274
1162.59/1165.72 c #Conflicts: 579000 | #Constraints: 24274
1162.59/1165.72 c #Conflicts: 580000 | #Constraints: 25274
1162.59/1165.72 c #Conflicts: 581000 | #Constraints: 26274
1162.59/1165.72 c #Conflicts: 582000 | #Constraints: 27274
1162.59/1165.72 c #Conflicts: 583000 | #Constraints: 28274
1162.59/1165.72 c #Conflicts: 584000 | #Constraints: 29274
1162.59/1165.72 c #Conflicts: 585000 | #Constraints: 30274
1162.59/1165.72 c #Conflicts: 586000 | #Constraints: 31274
1162.59/1165.72 c #Conflicts: 587000 | #Constraints: 32274
1162.59/1165.72 c #Conflicts: 588000 | #Constraints: 33274
1339.14/1342.76 c #Conflicts: 589000 | #Constraints: 34274
1339.14/1342.76 c #Conflicts: 590000 | #Constraints: 35274
1339.14/1342.76 c #Conflicts: 591000 | #Constraints: 36274
1339.14/1342.76 c INPROCESSING
1339.14/1342.76 c GARBAGE COLLECT
1339.14/1342.76 c #Conflicts: 592000 | #Constraints: 22067
1339.14/1342.76 c #Conflicts: 593000 | #Constraints: 23067
1339.14/1342.76 c #Conflicts: 594000 | #Constraints: 24067
1339.14/1342.76 c #Conflicts: 595000 | #Constraints: 25067
1339.14/1342.76 c #Conflicts: 596000 | #Constraints: 26067
1339.14/1342.76 c #Conflicts: 597000 | #Constraints: 27067
1339.14/1342.76 c #Conflicts: 598000 | #Constraints: 28067
1339.14/1342.76 c #Conflicts: 599000 | #Constraints: 29067
1339.14/1342.76 c #Conflicts: 600000 | #Constraints: 30067
1339.14/1342.76 c #Conflicts: 601000 | #Constraints: 31067
1339.14/1342.76 c #Conflicts: 602000 | #Constraints: 32067
1339.14/1342.76 c #Conflicts: 603000 | #Constraints: 33067
1339.14/1342.76 c #Conflicts: 604000 | #Constraints: 34067
1339.14/1342.76 c #Conflicts: 605000 | #Constraints: 35067
1339.14/1342.76 c #Conflicts: 606000 | #Constraints: 36067
1339.14/1342.76 c #Conflicts: 607000 | #Constraints: 37067
1339.14/1342.76 c INPROCESSING
1339.14/1342.76 c GARBAGE COLLECT
1339.14/1342.76 c #Conflicts: 608000 | #Constraints: 22668
1339.14/1342.76 c #Conflicts: 609000 | #Constraints: 23668
1339.14/1342.76 c #Conflicts: 610000 | #Constraints: 24668
1339.14/1342.76 c #Conflicts: 611000 | #Constraints: 25668
1339.14/1342.76 c #Conflicts: 612000 | #Constraints: 26668
1339.14/1342.76 c #Conflicts: 613000 | #Constraints: 27668
1339.14/1342.76 c #Conflicts: 614000 | #Constraints: 28668
1339.14/1342.76 c #Conflicts: 615000 | #Constraints: 29668
1339.14/1342.76 c #Conflicts: 616000 | #Constraints: 30668
1339.14/1342.76 c #Conflicts: 617000 | #Constraints: 31668
1339.14/1342.76 c #Conflicts: 618000 | #Constraints: 32668
1339.14/1342.76 c #Conflicts: 619000 | #Constraints: 33668
1339.14/1342.76 c #Conflicts: 620000 | #Constraints: 34668
1339.14/1342.76 c #Conflicts: 621000 | #Constraints: 35668
1339.14/1342.76 c #Conflicts: 622000 | #Constraints: 36668
1339.14/1342.76 c #Conflicts: 623000 | #Constraints: 37668
1339.14/1342.76 c INPROCESSING
1339.14/1342.76 c GARBAGE COLLECT
1339.14/1342.76 c #Conflicts: 624000 | #Constraints: 23073
1339.14/1342.76 c #Conflicts: 625000 | #Constraints: 24073
1339.14/1342.76 c #Conflicts: 626000 | #Constraints: 25073
1339.14/1342.76 c #Conflicts: 627000 | #Constraints: 26073
1339.14/1342.76 c #Conflicts: 628000 | #Constraints: 27073
1339.14/1342.76 c #Conflicts: 629000 | #Constraints: 28073
1339.14/1342.76 c #Conflicts: 630000 | #Constraints: 29073
1339.14/1342.76 c #Conflicts: 631000 | #Constraints: 30073
1339.14/1342.76 c #Conflicts: 632000 | #Constraints: 31073
1339.14/1342.76 c #Conflicts: 633000 | #Constraints: 32073
1339.14/1342.76 c #Conflicts: 634000 | #Constraints: 33073
1339.14/1342.76 c #Conflicts: 635000 | #Constraints: 34073
1339.14/1342.76 c #Conflicts: 636000 | #Constraints: 35073
1339.14/1342.76 c #Conflicts: 637000 | #Constraints: 36073
1339.14/1342.76 c #Conflicts: 638000 | #Constraints: 37073
1339.14/1342.76 c #Conflicts: 639000 | #Constraints: 38073
1339.14/1342.76 c INPROCESSING
1339.14/1342.76 c GARBAGE COLLECT
1339.14/1342.76 c #Conflicts: 640000 | #Constraints: 23274
1339.14/1342.76 c #Conflicts: 641000 | #Constraints: 24274
1339.14/1342.76 c #Conflicts: 642000 | #Constraints: 25274
1339.14/1342.76 c #Conflicts: 643000 | #Constraints: 26274
1339.14/1342.76 c #Conflicts: 644000 | #Constraints: 27274
1339.14/1342.76 c #Conflicts: 645000 | #Constraints: 28274
1339.14/1342.76 c #Conflicts: 646000 | #Constraints: 29274
1339.14/1342.76 c #Conflicts: 647000 | #Constraints: 30274
1339.14/1342.76 c #Conflicts: 648000 | #Constraints: 31274
1339.14/1342.76 c #Conflicts: 649000 | #Constraints: 32274
1339.14/1342.76 c #Conflicts: 650000 | #Constraints: 33274
1339.14/1342.76 c #Conflicts: 651000 | #Constraints: 34274
1339.14/1342.76 c #Conflicts: 652000 | #Constraints: 35274
1339.14/1342.76 c #Conflicts: 653000 | #Constraints: 36274
1339.14/1342.76 c #Conflicts: 654000 | #Constraints: 37274
1339.14/1342.76 c #Conflicts: 655000 | #Constraints: 38274
1339.14/1342.76 c INPROCESSING
1339.14/1342.76 c GARBAGE COLLECT
1339.14/1342.76 c #Conflicts: 656000 | #Constraints: 23275
1339.14/1342.76 c #Conflicts: 657000 | #Constraints: 24275
1339.14/1342.76 c #Conflicts: 658000 | #Constraints: 25275
1339.14/1342.76 c #Conflicts: 659000 | #Constraints: 26275
1339.14/1342.76 c #Conflicts: 660000 | #Constraints: 27275
1339.14/1342.76 c #Conflicts: 661000 | #Constraints: 28275
1339.14/1342.76 c #Conflicts: 662000 | #Constraints: 29275
1339.14/1342.76 c #Conflicts: 663000 | #Constraints: 30275
1339.14/1342.76 c #Conflicts: 664000 | #Constraints: 31275
1739.20/1743.80 c #Conflicts: 665000 | #Constraints: 32275
1739.20/1743.80 c #Conflicts: 666000 | #Constraints: 33275
1739.20/1743.80 c #Conflicts: 667000 | #Constraints: 34275
1739.20/1743.80 c #Conflicts: 668000 | #Constraints: 35275
1739.20/1743.80 c #Conflicts: 669000 | #Constraints: 36275
1739.20/1743.80 c #Conflicts: 670000 | #Constraints: 37275
1739.20/1743.80 c #Conflicts: 671000 | #Constraints: 38275
1739.20/1743.80 c INPROCESSING
1739.20/1743.80 c GARBAGE COLLECT
1739.20/1743.80 c #Conflicts: 672000 | #Constraints: 23085
1739.20/1743.80 c #Conflicts: 673000 | #Constraints: 24085
1739.20/1743.80 c #Conflicts: 674000 | #Constraints: 25085
1739.20/1743.80 c #Conflicts: 675000 | #Constraints: 26085
1739.20/1743.80 c #Conflicts: 676000 | #Constraints: 27085
1739.20/1743.80 c #Conflicts: 677000 | #Constraints: 28085
1739.20/1743.80 c #Conflicts: 678000 | #Constraints: 29085
1739.20/1743.80 c #Conflicts: 679000 | #Constraints: 30085
1739.20/1743.80 c #Conflicts: 680000 | #Constraints: 31085
1739.20/1743.80 c #Conflicts: 681000 | #Constraints: 32085
1739.20/1743.80 c #Conflicts: 682000 | #Constraints: 33085
1739.20/1743.80 c #Conflicts: 683000 | #Constraints: 34085
1739.20/1743.80 c #Conflicts: 684000 | #Constraints: 35085
1739.20/1743.80 c #Conflicts: 685000 | #Constraints: 36085
1739.20/1743.80 c #Conflicts: 686000 | #Constraints: 37085
1739.20/1743.80 c #Conflicts: 687000 | #Constraints: 38085
1739.20/1743.80 c #Conflicts: 688000 | #Constraints: 39085
1739.20/1743.80 c #Conflicts: 689000 | #Constraints: 40085
1739.20/1743.80 c #Conflicts: 690000 | #Constraints: 41085
1739.20/1743.80 c #Conflicts: 691000 | #Constraints: 42085
1739.20/1743.80 c #Conflicts: 692000 | #Constraints: 43085
1739.20/1743.80 c #Conflicts: 693000 | #Constraints: 44085
1739.20/1743.80 c #Conflicts: 694000 | #Constraints: 45085
1739.20/1743.80 c #Conflicts: 695000 | #Constraints: 46085
1739.20/1743.80 c #Conflicts: 696000 | #Constraints: 47085
1739.20/1743.80 c #Conflicts: 697000 | #Constraints: 48085
1739.20/1743.80 c #Conflicts: 698000 | #Constraints: 49085
1739.20/1743.80 c #Conflicts: 699000 | #Constraints: 50085
1739.20/1743.80 c #Conflicts: 700000 | #Constraints: 51085
1739.20/1743.80 c #Conflicts: 701000 | #Constraints: 52085
1739.20/1743.80 c #Conflicts: 702000 | #Constraints: 53085
1739.20/1743.80 c #Conflicts: 703000 | #Constraints: 54085
1739.20/1743.80 c #Conflicts: 704000 | #Constraints: 55085
1739.20/1743.80 c #Conflicts: 705000 | #Constraints: 56085
1739.20/1743.80 c #Conflicts: 706000 | #Constraints: 57085
1739.20/1743.80 c #Conflicts: 707000 | #Constraints: 58085
1739.20/1743.80 c #Conflicts: 708000 | #Constraints: 59085
1739.20/1743.80 c #Conflicts: 709000 | #Constraints: 60085
1739.20/1743.80 c #Conflicts: 710000 | #Constraints: 61085
1739.20/1743.80 c #Conflicts: 711000 | #Constraints: 62085
1739.20/1743.80 c #Conflicts: 712000 | #Constraints: 63085
1739.20/1743.80 c #Conflicts: 713000 | #Constraints: 64085
1739.20/1743.80 c #Conflicts: 714000 | #Constraints: 65085
1739.20/1743.80 c #Conflicts: 715000 | #Constraints: 66085
1739.20/1743.80 c #Conflicts: 716000 | #Constraints: 67085
1739.20/1743.80 c #Conflicts: 717000 | #Constraints: 68085
1739.20/1743.80 c #Conflicts: 718000 | #Constraints: 69085
1739.20/1743.80 c #Conflicts: 719000 | #Constraints: 70085
1739.20/1743.80 c #Conflicts: 720000 | #Constraints: 71085
1739.20/1743.80 c #Conflicts: 721000 | #Constraints: 72085
1739.20/1743.80 c #Conflicts: 722000 | #Constraints: 73085
1739.20/1743.80 c #Conflicts: 723000 | #Constraints: 74085
1739.20/1743.80 c #Conflicts: 724000 | #Constraints: 75085
1739.20/1743.80 c #Conflicts: 725000 | #Constraints: 76085
1739.20/1743.80 c #Conflicts: 726000 | #Constraints: 77085
1739.20/1743.80 c #Conflicts: 727000 | #Constraints: 78085
1739.20/1743.80 c #Conflicts: 728000 | #Constraints: 79085
1739.20/1743.80 c #Conflicts: 729000 | #Constraints: 80085
1739.20/1743.80 c #Conflicts: 730000 | #Constraints: 81085
1739.20/1743.80 c #Conflicts: 731000 | #Constraints: 82085
1739.20/1743.80 c #Conflicts: 732000 | #Constraints: 83085
1739.20/1743.80 c #Conflicts: 733000 | #Constraints: 84085
1739.20/1743.80 c #Conflicts: 734000 | #Constraints: 85085
1739.20/1743.80 c #Conflicts: 735000 | #Constraints: 86085
1739.20/1743.80 c #Conflicts: 736000 | #Constraints: 87085
1739.20/1743.80 c #Conflicts: 737000 | #Constraints: 88085
1739.20/1743.80 c #Conflicts: 738000 | #Constraints: 89085
1739.20/1743.80 c #Conflicts: 739000 | #Constraints: 90085
1739.20/1743.80 c #Conflicts: 740000 | #Constraints: 91085
1739.20/1743.80 c #Conflicts: 741000 | #Constraints: 92085
1739.20/1743.80 c #Conflicts: 742000 | #Constraints: 93085
2220.91/2226.86 c #Conflicts: 743000 | #Constraints: 94085
2220.91/2226.86 c #Conflicts: 744000 | #Constraints: 95085
2220.91/2226.86 c #Conflicts: 745000 | #Constraints: 96085
2220.91/2226.86 c #Conflicts: 746000 | #Constraints: 97085
2220.91/2226.86 c #Conflicts: 747000 | #Constraints: 98085
2220.91/2226.86 c #Conflicts: 748000 | #Constraints: 99085
2220.91/2226.86 c #Conflicts: 749000 | #Constraints: 100085
2220.91/2226.86 c #Conflicts: 750000 | #Constraints: 101085
2220.91/2226.86 c #Conflicts: 751000 | #Constraints: 102085
2220.91/2226.86 c #Conflicts: 752000 | #Constraints: 103085
2220.91/2226.86 c #Conflicts: 753000 | #Constraints: 104085
2220.91/2226.86 c #Conflicts: 754000 | #Constraints: 105085
2220.91/2226.86 c INPROCESSING
2220.91/2226.86 c GARBAGE COLLECT
2220.91/2226.86 c #Conflicts: 755000 | #Constraints: 56410
2220.91/2226.86 c #Conflicts: 756000 | #Constraints: 57410
2220.91/2226.86 c #Conflicts: 757000 | #Constraints: 58410
2220.91/2226.86 c #Conflicts: 758000 | #Constraints: 59410
2220.91/2226.86 c #Conflicts: 759000 | #Constraints: 60410
2220.91/2226.86 c #Conflicts: 760000 | #Constraints: 61410
2220.91/2226.86 c #Conflicts: 761000 | #Constraints: 62410
2220.91/2226.86 c #Conflicts: 762000 | #Constraints: 63410
2220.91/2226.86 c #Conflicts: 763000 | #Constraints: 64410
2220.91/2226.86 c #Conflicts: 764000 | #Constraints: 65410
2220.91/2226.86 c #Conflicts: 765000 | #Constraints: 66410
2220.91/2226.86 c #Conflicts: 766000 | #Constraints: 67410
2220.91/2226.86 c #Conflicts: 767000 | #Constraints: 68410
2220.91/2226.86 c #Conflicts: 768000 | #Constraints: 69410
2220.91/2226.86 c #Conflicts: 769000 | #Constraints: 70410
2220.91/2226.86 c #Conflicts: 770000 | #Constraints: 71410
2220.91/2226.86 c #Conflicts: 771000 | #Constraints: 72410
2220.91/2226.86 c #Conflicts: 772000 | #Constraints: 73410
2220.91/2226.86 c INPROCESSING
2220.91/2226.86 c GARBAGE COLLECT
2220.91/2226.86 c #Conflicts: 773000 | #Constraints: 40702
2220.91/2226.86 c #Conflicts: 774000 | #Constraints: 41702
2220.91/2226.86 c #Conflicts: 775000 | #Constraints: 42702
2220.91/2226.86 c #Conflicts: 776000 | #Constraints: 43702
2220.91/2226.86 c #Conflicts: 777000 | #Constraints: 44702
2220.91/2226.86 c #Conflicts: 778000 | #Constraints: 45702
2220.91/2226.86 c #Conflicts: 779000 | #Constraints: 46702
2220.91/2226.86 c #Conflicts: 780000 | #Constraints: 47702
2220.91/2226.86 c #Conflicts: 781000 | #Constraints: 48702
2220.91/2226.86 c #Conflicts: 782000 | #Constraints: 49702
2220.91/2226.86 c #Conflicts: 783000 | #Constraints: 50702
2220.91/2226.86 c #Conflicts: 784000 | #Constraints: 51702
2220.91/2226.86 c #Conflicts: 785000 | #Constraints: 52702
2220.91/2226.86 c #Conflicts: 786000 | #Constraints: 53702
2220.91/2226.86 c #Conflicts: 787000 | #Constraints: 54702
2220.91/2226.86 c #Conflicts: 788000 | #Constraints: 55702
2220.91/2226.86 c #Conflicts: 789000 | #Constraints: 56702
2220.91/2226.86 c #Conflicts: 790000 | #Constraints: 57702
2220.91/2226.86 c INPROCESSING
2220.91/2226.86 c GARBAGE COLLECT
2220.91/2226.86 c #Conflicts: 791000 | #Constraints: 32896
2220.91/2226.86 c #Conflicts: 792000 | #Constraints: 33896
2220.91/2226.86 c #Conflicts: 793000 | #Constraints: 34896
2220.91/2226.86 c #Conflicts: 794000 | #Constraints: 35896
2220.91/2226.86 c #Conflicts: 795000 | #Constraints: 36896
2220.91/2226.86 c #Conflicts: 796000 | #Constraints: 37896
2220.91/2226.86 c #Conflicts: 797000 | #Constraints: 38896
2220.91/2226.86 c #Conflicts: 798000 | #Constraints: 39896
2220.91/2226.86 c #Conflicts: 799000 | #Constraints: 40896
2220.91/2226.86 c #Conflicts: 800000 | #Constraints: 41896
2220.91/2226.86 c #Conflicts: 801000 | #Constraints: 42896
2220.91/2226.86 c #Conflicts: 802000 | #Constraints: 43896
2220.91/2226.86 c #Conflicts: 803000 | #Constraints: 44896
2220.91/2226.86 c #Conflicts: 804000 | #Constraints: 45896
2220.91/2226.86 c #Conflicts: 805000 | #Constraints: 46896
2220.91/2226.86 c #Conflicts: 806000 | #Constraints: 47896
2220.91/2226.86 c #Conflicts: 807000 | #Constraints: 48896
2220.91/2226.86 c #Conflicts: 808000 | #Constraints: 49896
2220.91/2226.86 c INPROCESSING
2220.91/2226.86 c GARBAGE COLLECT
2220.91/2226.86 c #Conflicts: 809000 | #Constraints: 28942
2220.91/2226.86 c #Conflicts: 810000 | #Constraints: 29942
2220.91/2226.86 c #Conflicts: 811000 | #Constraints: 30942
2220.91/2226.86 c #Conflicts: 812000 | #Constraints: 31942
2220.91/2226.86 c #Conflicts: 813000 | #Constraints: 32942
2220.91/2226.86 c #Conflicts: 814000 | #Constraints: 33942
2220.91/2226.86 c #Conflicts: 815000 | #Constraints: 34942
2220.91/2226.86 c #Conflicts: 816000 | #Constraints: 35942
2220.91/2226.86 c #Conflicts: 817000 | #Constraints: 36942
2220.91/2226.86 c #Conflicts: 818000 | #Constraints: 37942
2568.53/2575.31 c #Conflicts: 819000 | #Constraints: 38942
2568.53/2575.31 c #Conflicts: 820000 | #Constraints: 39942
2568.53/2575.31 c #Conflicts: 821000 | #Constraints: 40942
2568.53/2575.31 c #Conflicts: 822000 | #Constraints: 41942
2568.53/2575.31 c #Conflicts: 823000 | #Constraints: 42942
2568.53/2575.31 c #Conflicts: 824000 | #Constraints: 43942
2568.53/2575.31 c #Conflicts: 825000 | #Constraints: 44942
2568.53/2575.31 c #Conflicts: 826000 | #Constraints: 45942
2568.53/2575.31 c INPROCESSING
2568.53/2575.31 c GARBAGE COLLECT
2568.53/2575.31 c #Conflicts: 827000 | #Constraints: 26807
2568.53/2575.31 c #Conflicts: 828000 | #Constraints: 27807
2568.53/2575.31 c #Conflicts: 829000 | #Constraints: 28807
2568.53/2575.31 c #Conflicts: 830000 | #Constraints: 29807
2568.53/2575.31 c #Conflicts: 831000 | #Constraints: 30807
2568.53/2575.31 c #Conflicts: 832000 | #Constraints: 31807
2568.53/2575.31 c #Conflicts: 833000 | #Constraints: 32807
2568.53/2575.31 c #Conflicts: 834000 | #Constraints: 33807
2568.53/2575.31 c #Conflicts: 835000 | #Constraints: 34807
2568.53/2575.31 c #Conflicts: 836000 | #Constraints: 35807
2568.53/2575.31 c #Conflicts: 837000 | #Constraints: 36807
2568.53/2575.31 c #Conflicts: 838000 | #Constraints: 37807
2568.53/2575.31 c #Conflicts: 839000 | #Constraints: 38807
2568.53/2575.31 c #Conflicts: 840000 | #Constraints: 39807
2568.53/2575.31 c #Conflicts: 841000 | #Constraints: 40807
2568.53/2575.31 c #Conflicts: 842000 | #Constraints: 41807
2568.53/2575.31 c #Conflicts: 843000 | #Constraints: 42807
2568.53/2575.31 c #Conflicts: 844000 | #Constraints: 43807
2568.53/2575.31 c #Conflicts: 845000 | #Constraints: 44807
2568.53/2575.31 c INPROCESSING
2568.53/2575.31 c GARBAGE COLLECT
2568.53/2575.31 c #Conflicts: 846000 | #Constraints: 26487
2568.53/2575.31 c #Conflicts: 847000 | #Constraints: 27487
2568.53/2575.31 c #Conflicts: 848000 | #Constraints: 28487
2568.53/2575.31 c #Conflicts: 849000 | #Constraints: 29487
2568.53/2575.31 c #Conflicts: 850000 | #Constraints: 30487
2568.53/2575.31 c #Conflicts: 851000 | #Constraints: 31487
2568.53/2575.31 c #Conflicts: 852000 | #Constraints: 32487
2568.53/2575.31 c #Conflicts: 853000 | #Constraints: 33487
2568.53/2575.31 c #Conflicts: 854000 | #Constraints: 34487
2568.53/2575.31 c #Conflicts: 855000 | #Constraints: 35487
2568.53/2575.31 c #Conflicts: 856000 | #Constraints: 36487
2568.53/2575.31 c #Conflicts: 857000 | #Constraints: 37487
2568.53/2575.31 c #Conflicts: 858000 | #Constraints: 38487
2568.53/2575.31 c #Conflicts: 859000 | #Constraints: 39487
2568.53/2575.31 c #Conflicts: 860000 | #Constraints: 40487
2568.53/2575.31 c #Conflicts: 861000 | #Constraints: 41487
2568.53/2575.31 c #Conflicts: 862000 | #Constraints: 42487
2568.53/2575.31 c #Conflicts: 863000 | #Constraints: 43487
2568.53/2575.31 c #Conflicts: 864000 | #Constraints: 44487
2568.53/2575.31 c #Conflicts: 865000 | #Constraints: 45487
2568.53/2575.31 c #Conflicts: 866000 | #Constraints: 46487
2568.53/2575.31 c #Conflicts: 867000 | #Constraints: 47487
2568.53/2575.31 c #Conflicts: 868000 | #Constraints: 48487
2568.53/2575.31 c #Conflicts: 869000 | #Constraints: 49487
2568.53/2575.31 c #Conflicts: 870000 | #Constraints: 50487
2568.53/2575.31 c #Conflicts: 871000 | #Constraints: 51487
2568.53/2575.31 c #Conflicts: 872000 | #Constraints: 52487
2568.53/2575.31 c #Conflicts: 873000 | #Constraints: 53487
2568.53/2575.31 c #Conflicts: 874000 | #Constraints: 54487
2568.53/2575.31 c #Conflicts: 875000 | #Constraints: 55487
2568.53/2575.31 c #Conflicts: 876000 | #Constraints: 56487
2568.53/2575.31 c #Conflicts: 877000 | #Constraints: 57487
2568.53/2575.31 c #Conflicts: 878000 | #Constraints: 58487
2568.53/2575.31 c #Conflicts: 879000 | #Constraints: 59487
2568.53/2575.31 c #Conflicts: 880000 | #Constraints: 60487
2568.53/2575.31 c #Conflicts: 881000 | #Constraints: 61487
2568.53/2575.31 c #Conflicts: 882000 | #Constraints: 62487
2568.53/2575.31 c #Conflicts: 883000 | #Constraints: 63487
2568.53/2575.31 c #Conflicts: 884000 | #Constraints: 64487
2568.53/2575.31 c #Conflicts: 885000 | #Constraints: 65487
2568.53/2575.31 c #Conflicts: 886000 | #Constraints: 66487
2568.53/2575.31 c #Conflicts: 887000 | #Constraints: 67487
2568.53/2575.31 c #Conflicts: 888000 | #Constraints: 68487
2568.53/2575.31 c #Conflicts: 889000 | #Constraints: 69487
2568.53/2575.31 c #Conflicts: 890000 | #Constraints: 70487
2568.53/2575.31 c #Conflicts: 891000 | #Constraints: 71487
2568.53/2575.31 c #Conflicts: 892000 | #Constraints: 72487
2568.53/2575.31 c #Conflicts: 893000 | #Constraints: 73487
2568.53/2575.31 c #Conflicts: 894000 | #Constraints: 74487
2568.53/2575.31 c #Conflicts: 895000 | #Constraints: 75487
2568.53/2575.31 c #Conflicts: 896000 | #Constraints: 76487
3239.81/3248.33 c #Conflicts: 897000 | #Constraints: 77487
3239.81/3248.33 c #Conflicts: 898000 | #Constraints: 78487
3239.81/3248.33 c #Conflicts: 899000 | #Constraints: 79487
3239.81/3248.33 c #Conflicts: 900000 | #Constraints: 80487
3239.81/3248.33 c #Conflicts: 901000 | #Constraints: 81487
3239.81/3248.33 c #Conflicts: 902000 | #Constraints: 82487
3239.81/3248.33 c #Conflicts: 903000 | #Constraints: 83487
3239.81/3248.33 c #Conflicts: 904000 | #Constraints: 84487
3239.81/3248.33 c #Conflicts: 905000 | #Constraints: 85487
3239.81/3248.33 c #Conflicts: 906000 | #Constraints: 86487
3239.81/3248.33 c #Conflicts: 907000 | #Constraints: 87487
3239.81/3248.33 c #Conflicts: 908000 | #Constraints: 88487
3239.81/3248.33 c #Conflicts: 909000 | #Constraints: 89487
3239.81/3248.33 c #Conflicts: 910000 | #Constraints: 90487
3239.81/3248.33 c #Conflicts: 911000 | #Constraints: 91487
3239.81/3248.33 c #Conflicts: 912000 | #Constraints: 92487
3239.81/3248.33 c #Conflicts: 913000 | #Constraints: 93487
3239.81/3248.33 c #Conflicts: 914000 | #Constraints: 94487
3239.81/3248.33 c #Conflicts: 915000 | #Constraints: 95487
3239.81/3248.33 c #Conflicts: 916000 | #Constraints: 96487
3239.81/3248.33 c #Conflicts: 917000 | #Constraints: 97487
3239.81/3248.33 c #Conflicts: 918000 | #Constraints: 98487
3239.81/3248.33 c #Conflicts: 919000 | #Constraints: 99487
3239.81/3248.33 c #Conflicts: 920000 | #Constraints: 100487
3239.81/3248.33 c #Conflicts: 921000 | #Constraints: 101487
3239.81/3248.33 c #Conflicts: 922000 | #Constraints: 102487
3239.81/3248.33 c #Conflicts: 923000 | #Constraints: 103487
3239.81/3248.33 c #Conflicts: 924000 | #Constraints: 104487
3239.81/3248.33 c #Conflicts: 925000 | #Constraints: 105487
3239.81/3248.33 c #Conflicts: 926000 | #Constraints: 106487
3239.81/3248.33 c #Conflicts: 927000 | #Constraints: 107487
3239.81/3248.33 c #Conflicts: 928000 | #Constraints: 108487
3239.81/3248.33 c #Conflicts: 929000 | #Constraints: 109487
3239.81/3248.33 c #Conflicts: 930000 | #Constraints: 110487
3239.81/3248.33 c #Conflicts: 931000 | #Constraints: 111487
3239.81/3248.33 c #Conflicts: 932000 | #Constraints: 112487
3239.81/3248.33 c #Conflicts: 933000 | #Constraints: 113487
3239.81/3248.33 c #Conflicts: 934000 | #Constraints: 114487
3239.81/3248.33 c #Conflicts: 935000 | #Constraints: 115487
3239.81/3248.33 c #Conflicts: 936000 | #Constraints: 116487
3239.81/3248.33 c INPROCESSING
3239.81/3248.33 c GARBAGE COLLECT
3239.81/3248.33 c #Conflicts: 937000 | #Constraints: 62514
3239.81/3248.33 c #Conflicts: 938000 | #Constraints: 63514
3239.81/3248.33 c #Conflicts: 939000 | #Constraints: 64514
3239.81/3248.33 c #Conflicts: 940000 | #Constraints: 65514
3239.81/3248.33 c #Conflicts: 941000 | #Constraints: 66514
3239.81/3248.33 c #Conflicts: 942000 | #Constraints: 67514
3239.81/3248.33 c #Conflicts: 943000 | #Constraints: 68514
3239.81/3248.33 c #Conflicts: 944000 | #Constraints: 69514
3239.81/3248.33 c #Conflicts: 945000 | #Constraints: 70514
3239.81/3248.33 c #Conflicts: 946000 | #Constraints: 71514
3239.81/3248.33 c #Conflicts: 947000 | #Constraints: 72514
3239.81/3248.33 c #Conflicts: 948000 | #Constraints: 73514
3239.81/3248.33 c #Conflicts: 949000 | #Constraints: 74514
3239.81/3248.33 c #Conflicts: 950000 | #Constraints: 75514
3239.81/3248.33 c #Conflicts: 951000 | #Constraints: 76514
3239.81/3248.33 c #Conflicts: 952000 | #Constraints: 77514
3239.81/3248.33 c #Conflicts: 953000 | #Constraints: 78514
3239.81/3248.33 c #Conflicts: 954000 | #Constraints: 79514
3239.81/3248.33 c #Conflicts: 955000 | #Constraints: 80514
3239.81/3248.33 c INPROCESSING
3239.81/3248.33 c GARBAGE COLLECT
3239.81/3248.33 c #Conflicts: 956000 | #Constraints: 44132
3239.81/3248.33 c #Conflicts: 957000 | #Constraints: 45132
3239.81/3248.33 c #Conflicts: 958000 | #Constraints: 46132
3239.81/3248.33 c #Conflicts: 959000 | #Constraints: 47132
3239.81/3248.33 c #Conflicts: 960000 | #Constraints: 48132
3239.81/3248.33 c #Conflicts: 961000 | #Constraints: 49132
3239.81/3248.33 c #Conflicts: 962000 | #Constraints: 50132
3239.81/3248.33 c #Conflicts: 963000 | #Constraints: 51132
3239.81/3248.33 c #Conflicts: 964000 | #Constraints: 52132
3239.81/3248.33 c #Conflicts: 965000 | #Constraints: 53132
3239.81/3248.33 c #Conflicts: 966000 | #Constraints: 54132
3239.81/3248.33 c #Conflicts: 967000 | #Constraints: 55132
3239.81/3248.33 c #Conflicts: 968000 | #Constraints: 56132
3239.81/3248.33 c #Conflicts: 969000 | #Constraints: 57132
3239.81/3248.33 c #Conflicts: 970000 | #Constraints: 58132
3239.81/3248.33 c #Conflicts: 971000 | #Constraints: 59132
3239.81/3248.33 c #Conflicts: 972000 | #Constraints: 60132
3239.81/3248.33 c #Conflicts: 973000 | #Constraints: 61132
3600.02/3609.50 c #Conflicts: 974000 | #Constraints: 62132
3600.02/3609.50 c #Conflicts: 975000 | #Constraints: 63132
3600.02/3609.50 c INPROCESSING
3600.02/3609.50 c GARBAGE COLLECT
3600.02/3609.50 c #Conflicts: 976000 | #Constraints: 35429
3600.02/3609.50 c #Conflicts: 977000 | #Constraints: 36429
3600.02/3609.50 c #Conflicts: 978000 | #Constraints: 37429
3600.02/3609.50 c #Conflicts: 979000 | #Constraints: 38429
3600.02/3609.50 c #Conflicts: 980000 | #Constraints: 39429
3600.02/3609.50 c #Conflicts: 981000 | #Constraints: 40429
3600.02/3609.50 c #Conflicts: 982000 | #Constraints: 41429
3600.02/3609.50 c #Conflicts: 983000 | #Constraints: 42429
3600.02/3609.50 c #Conflicts: 984000 | #Constraints: 43429
3600.02/3609.50 c #Conflicts: 985000 | #Constraints: 44429
3600.02/3609.50 c #Conflicts: 986000 | #Constraints: 45429
3600.02/3609.50 c #Conflicts: 987000 | #Constraints: 46429
3600.02/3609.50 c #Conflicts: 988000 | #Constraints: 47429
3600.02/3609.50 c #Conflicts: 989000 | #Constraints: 48429
3600.02/3609.50 c #Conflicts: 990000 | #Constraints: 49429
3600.02/3609.50 c #Conflicts: 991000 | #Constraints: 50429
3600.02/3609.50 c #Conflicts: 992000 | #Constraints: 51429
3600.02/3609.50 c #Conflicts: 993000 | #Constraints: 52429
3600.02/3609.50 c #Conflicts: 994000 | #Constraints: 53429
3600.02/3609.50 c #Conflicts: 995000 | #Constraints: 54429
3600.02/3609.50 c #Conflicts: 996000 | #Constraints: 55429
3600.02/3609.50 c INPROCESSING
3600.02/3609.50 c GARBAGE COLLECT
3600.02/3609.50 c #Conflicts: 997000 | #Constraints: 31961
3600.02/3609.50 c #Conflicts: 998000 | #Constraints: 32961
3600.02/3609.50 c #Conflicts: 999000 | #Constraints: 33961
3600.02/3609.50 c #Conflicts: 1000000 | #Constraints: 34961
3600.02/3609.50 c #Conflicts: 1001000 | #Constraints: 35961
3600.02/3609.50 c #Conflicts: 1002000 | #Constraints: 36961
3600.02/3609.50 c #Conflicts: 1003000 | #Constraints: 37961
3600.02/3609.50 c #Conflicts: 1004000 | #Constraints: 38961
3600.02/3609.50 c #Conflicts: 1005000 | #Constraints: 39961
3600.02/3609.50 c #Conflicts: 1006000 | #Constraints: 40961
3600.02/3609.50 c #Conflicts: 1007000 | #Constraints: 41961
3600.02/3609.50 c #Conflicts: 1008000 | #Constraints: 42961
3600.02/3609.50 c #Conflicts: 1009000 | #Constraints: 43961
3600.02/3609.50 c #Conflicts: 1010000 | #Constraints: 44961
3600.02/3609.50 c #Conflicts: 1011000 | #Constraints: 45961
3600.02/3609.50 c #Conflicts: 1012000 | #Constraints: 46961
3600.02/3609.50 c #Conflicts: 1013000 | #Constraints: 47961
3600.02/3609.50 c #Conflicts: 1014000 | #Constraints: 48961
3600.02/3609.50 c #Conflicts: 1015000 | #Constraints: 49961
3600.02/3609.50 c #Conflicts: 1016000 | #Constraints: 50961
3600.02/3609.50 c INPROCESSING
3600.02/3609.50 c GARBAGE COLLECT
3600.02/3609.50 c #Conflicts: 1017000 | #Constraints: 29528
3600.02/3609.50 c #Conflicts: 1018000 | #Constraints: 30528
3600.02/3609.50 c #Conflicts: 1019000 | #Constraints: 31528
3600.02/3609.50 c #Conflicts: 1020000 | #Constraints: 32528
3600.02/3609.50 c #Conflicts: 1021000 | #Constraints: 33528
3600.02/3609.50 c #Conflicts: 1022000 | #Constraints: 34528
3600.02/3609.50 c #Conflicts: 1023000 | #Constraints: 35528
3600.02/3609.50 c #Conflicts: 1024000 | #Constraints: 36528
3600.02/3609.50 c #Conflicts: 1025000 | #Constraints: 37528
3600.02/3609.50 c #Conflicts: 1026000 | #Constraints: 38528
3600.02/3609.50 c #Conflicts: 1027000 | #Constraints: 39528
3600.02/3609.50 c #Conflicts: 1028000 | #Constraints: 40528
3600.02/3609.50 c #Conflicts: 1029000 | #Constraints: 41528
3600.02/3609.50 c #Conflicts: 1030000 | #Constraints: 42528
3600.02/3609.50 c #Conflicts: 1031000 | #Constraints: 43528
3600.02/3609.50 c #Conflicts: 1032000 | #Constraints: 44528
3600.02/3609.50 c #Conflicts: 1033000 | #Constraints: 45528
3600.02/3609.50 c #Conflicts: 1034000 | #Constraints: 46528
3600.02/3609.50 c #Conflicts: 1035000 | #Constraints: 47528
3600.02/3609.50 c #Conflicts: 1036000 | #Constraints: 48528
3600.02/3609.50 c #Conflicts: 1037000 | #Constraints: 49528
3600.02/3609.50 c #Conflicts: 1038000 | #Constraints: 50528
3600.02/3609.50 c #Conflicts: 1039000 | #Constraints: 51528
3600.02/3609.50 c #Conflicts: 1040000 | #Constraints: 52528
3600.02/3609.50 c #Conflicts: 1041000 | #Constraints: 53528
3600.02/3609.50 c #Conflicts: 1042000 | #Constraints: 54528
3600.02/3609.50 c #Conflicts: 1043000 | #Constraints: 55528
3600.02/3609.50 c #Conflicts: 1044000 | #Constraints: 56528
3600.02/3609.50 c #Conflicts: 1045000 | #Constraints: 57528
3600.02/3609.50 c #Conflicts: 1046000 | #Constraints: 58528
3600.02/3609.50 c #Conflicts: 1047000 | #Constraints: 59528
3600.02/3609.50 c Program interrupted by user.
3600.02/3609.50 c cpu time 3589.85 s
3600.02/3609.50 c deterministic time 316911842835 3.17e+11
3600.02/3609.50 c optimization time 144.689 s
3600.02/3609.50 c total solve time 3145.99 s
3600.02/3609.50 c core-guided solve time 3145.99 s
3600.02/3609.50 c propagation time 3160.55 s
3600.02/3609.50 c conflict analysis time 112.542 s
3600.02/3609.50 c propagations 566051435
3600.02/3609.50 c resolve steps 3936457
3600.02/3609.50 c decisions 6351859
3600.02/3609.50 c conflicts 1047858
3600.02/3609.50 c restarts 2046
3600.02/3609.50 c inprocessing phases 84
3600.02/3609.50 c input clauses 0
3600.02/3609.50 c input cardinalities 0
3600.02/3609.50 c input general constraints 6383
3600.02/3609.50 c input average constraint length 29.25
3600.02/3609.50 c input average constraint degree 443.57
3600.02/3609.50 c learned clauses 327585
3600.02/3609.50 c learned cardinalities 1
3600.02/3609.50 c learned general constraints 720271
3600.02/3609.50 c learned average constraint length 40.88
3600.02/3609.50 c learned average constraint degree 469303.85
3600.02/3609.50 c watched constraints 724408
3600.02/3609.50 c counting constraints 2246
3600.02/3609.50 c gcd simplifications 10091
3600.02/3609.50 c detected cardinalities 1
3600.02/3609.50 c weakened non-implied lits 4147038
3600.02/3609.50 c weakened non-implying lits 1101
3600.02/3609.50 c original variables 3296
3600.02/3609.50 c clausal propagations 570032
3600.02/3609.50 c cardinality propagations 0
3600.02/3609.50 c watched propagations 550061202
3600.02/3609.50 c counting propagations 14829596
3600.02/3609.50 c watch lookups 63889470192
3600.02/3609.50 c watch backjump lookups 61375902707
3600.02/3609.50 c watch checks 101439709703
3600.02/3609.50 c propagation checks 88916196885
3600.02/3609.50 c constraint additions 144711087
3600.02/3609.50 c trail pops 573448966
3600.02/3609.50 c formula constraints 6383
3600.02/3609.50 c learned constraints 1047857
3600.02/3609.50 c bound constraints 0
3600.02/3609.50 c core-guided constraints 0
3600.02/3609.50 c encountered formula constraints 3832799
3600.02/3609.50 c encountered learned constraints 1151516
3600.02/3609.50 c encountered bound constraints 0
3600.02/3609.50 c encountered core-guided constraints 0
3600.02/3609.50 c LP total time 0 s
3600.02/3609.50 c LP solve time 0 s
3600.02/3609.50 c LP constraints added 0
3600.02/3609.50 c LP constraints removed 0
3600.02/3609.50 c LP pivots internal 0
3600.02/3609.50 c LP pivots root 0
3600.02/3609.50 c LP calls 0
3600.02/3609.50 c LP optimalities 0
3600.02/3609.50 c LP no pivot count 0
3600.02/3609.50 c LP infeasibilities 0
3600.02/3609.50 c LP valid Farkas constraints 0
3600.02/3609.50 c LP learned Farkas constraints 0
3600.02/3609.50 c LP basis resets 0
3600.02/3609.50 c LP cycling count 0
3600.02/3609.50 c LP singular count 0
3600.02/3609.50 c LP no primal count 0
3600.02/3609.50 c LP no farkas count 0
3600.02/3609.50 c LP other issue count 0
3600.02/3609.50 c LP Gomory cuts 0
3600.02/3609.50 c LP learned cuts 0
3600.02/3609.50 c LP deleted cuts 0
3600.02/3609.50 c LP encountered Gomory constraints 0
3600.02/3609.50 c LP encountered Farkas constraints 0
3600.02/3609.50 c LP encountered learned Farkas constraints 0
3600.02/3609.50 c CG auxiliary variables introduced 0
3600.02/3609.50 c CG solutions found 0
3600.02/3609.50 c CG cores constructed 0
3600.02/3609.50 c CG core cardinality constraints returned 0
3600.02/3609.50 c CG unit cores 0
3600.02/3609.50 c CG single cores 0
3600.02/3609.50 c CG blocks removed during cardinality reduction 0
3600.02/3609.50 c CG first core best 0
3600.02/3609.50 c CG decision core best 0
3600.02/3609.50 c CG core reduction tie 0
3600.02/3609.50 c CG core degree average 0.00
3600.02/3609.50 c CG core slack average 0.00
3600.02/3609.50 c CG exhausted 0
3600.02/3609.50 c CG exhaust time 0 s
3600.02/3609.50 c CG trimmed 0
3600.02/3609.50 c CG trim time 0 s
3600.02/3609.50 c CG minimized 0
3600.02/3609.50 c CG minimize time 0 s
3600.02/3609.50 c CG am1 prop time 0.000305 s
3600.02/3609.50 c CG # am1s reformulated 0
3600.02/3609.50 c CG lower bound derived from am1s 0
3600.02/3609.50 c CG # clausal cores 0
3600.02/3609.50 c CG # cardinality cores 0
3600.02/3609.50 c CG # pb cores 0
3600.02/3609.50 c CG # pb reforms 0
3600.02/3609.50 c CG # cores discarded because of pb reform 0
3600.02/3609.50 d LOWERBOUND 0
3600.02/3609.50 d NCORES 0
3600.02/3609.50 d NPBCORES 0
3600.02/3609.50 d NPBREFORM 0
3600.02/3609.50 d NTRIMMED 0
3600.02/3609.50 d NEXHAUSTED 0
3600.02/3609.50 d NAM1S 0
3600.02/3609.50 d AM1LB 0
3600.02/3609.50 c [Papilo Statistics]
3600.02/3609.50 c prepro time 0.0516937s
3600.02/3609.50 c # tsx applied 3225
3600.02/3609.50 c # tsx conflicts 0
3600.02/3609.50 c # bound changes 1
3600.02/3609.50 c # side changes 2924
3600.02/3609.50 c # coef changes 420
3600.02/3609.50 c # rounds 3
3600.02/3609.50 c # deted vars 1
3600.02/3609.50 c # deted constrs 2904
3600.02/3609.50 c # consecutive rounds of only bound changes 0
3600.02/3609.50 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 (46106 MiB free)
memory of node 1: 64465 MiB (62910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528941-1752257913/watcher-4528941-1752257913 -o /tmp/evaluation-result-4528941-1752257913/solver-4528941-1752257913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122192 --watchdog 3760 mixed-bag HOME/instance-4528941-1752257913.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=122711, runsolver pid=122707
[startup+0.100061 s]*
/proc/loadavg: 4.15 3.84 3.87 4/262 122716
/proc/meminfo: memFree=111632656/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=88516 memory=17948 CPUtime=0.08 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 2560 0 0 0 8 0 0 0 20 0 1 0 141467936 90640384 4487 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 22129 4487 2144 2834 0 4881 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88516 KiB
Current children cumulated memory: 17948 KiB
[startup+0.205392 s]*
/proc/loadavg: 4.15 3.84 3.87 5/260 122724
/proc/meminfo: memFree=111596872/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=148604 memory=74980 CPUtime=0.18 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 14071 0 0 0 16 2 0 0 20 0 1 0 141467936 152170496 18745 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 37151 18745 4000 2834 0 19356 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 148604 KiB
Current children cumulated memory: 74980 KiB
[startup+0.305392 s]*
/proc/loadavg: 4.15 3.84 3.87 4/260 122724
/proc/meminfo: memFree=111579496/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=167776 memory=91620 CPUtime=0.28 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 18202 0 0 0 25 3 0 0 20 0 1 0 141467936 171802624 22905 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 41944 22905 4032 2834 0 24149 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 167776 KiB
Current children cumulated memory: 91620 KiB
[startup+0.70017 s]
/proc/loadavg: 4.15 3.84 3.87 5/260 122724
/proc/meminfo: memFree=111535812/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=250764 memory=164980 CPUtime=0.66 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 35364 0 0 0 61 5 0 0 20 0 1 0 141467936 256782336 41245 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 62691 41245 4256 2834 0 44896 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 250764 KiB
Current children cumulated memory: 164980 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 3.84 3.87 4/260 122734
/proc/meminfo: memFree=111508584/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=324352 memory=232208 CPUtime=1.45 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 51692 0 0 0 138 7 0 0 20 0 1 0 141467936 332136448 58052 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 81088 58052 4256 2834 0 63293 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 324352 KiB
Current children cumulated memory: 232208 KiB
[startup+3.10536 s]
/proc/loadavg: 4.15 3.84 3.87 5/265 122807
/proc/meminfo: memFree=111445904/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=324352 memory=234896 CPUtime=3.06 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 52371 0 0 0 298 8 0 0 20 0 1 0 141467936 332136448 58724 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 81088 58724 4256 2834 0 63293 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 324352 KiB
Current children cumulated memory: 234896 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111286372/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=351200 memory=262928 CPUtime=6.24 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 59385 0 0 0 615 9 0 0 20 0 1 0 141467936 359628800 65732 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 87800 65732 4256 2834 0 70005 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 351200 KiB
Current children cumulated memory: 262928 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111276704/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=354416 memory=266896 CPUtime=12.62 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 60390 0 0 0 1253 9 0 0 20 0 1 0 141467936 362921984 66724 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 88604 66724 4256 2834 0 70809 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 354416 KiB
Current children cumulated memory: 266896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 3.86 3.87 5/265 122807
/proc/meminfo: memFree=111267472/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=357064 memory=269584 CPUtime=25.39 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 61053 0 0 0 2530 9 0 0 20 0 1 0 141467936 365633536 67396 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 89266 67396 4256 2834 0 71471 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 357064 KiB
Current children cumulated memory: 269584 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 3.89 3.88 5/265 122807
/proc/meminfo: memFree=111212368/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=384124 memory=296652 CPUtime=50.93 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 69852 0 0 0 5082 11 0 0 20 0 1 0 141467936 393342976 74163 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 96031 74163 4256 2834 0 78236 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 384124 KiB
Current children cumulated memory: 296652 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 3.94 3.90 5/264 122809
/proc/meminfo: memFree=111138624/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=405100 memory=321352 CPUtime=101.98 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 78025 0 0 0 10186 12 0 0 20 0 1 0 141467936 414822400 80338 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 101275 80338 4288 2834 0 83480 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 405100 KiB
Current children cumulated memory: 321352 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.02 3.94 5/264 122811
/proc/meminfo: memFree=111091092/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=417132 memory=343820 CPUtime=161.81 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 84889 0 0 0 16167 14 0 0 20 0 1 0 141467936 427143168 85955 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 104283 85955 4288 2834 0 86488 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 417132 KiB
Current children cumulated memory: 343820 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.04 3.95 5/265 122814
/proc/meminfo: memFree=111012956/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=441044 memory=366376 CPUtime=221.63 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 100085 0 0 0 22147 16 0 0 20 0 1 0 141467936 451629056 91594 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 110261 91594 4288 2834 0 92466 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 441044 KiB
Current children cumulated memory: 366376 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.05 3.97 5/265 122816
/proc/meminfo: memFree=110942372/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=472044 memory=395856 CPUtime=281.48 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 137048 0 0 0 28125 23 0 0 20 0 1 0 141467936 483373056 98964 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 118011 98964 4288 2834 0 100216 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 472044 KiB
Current children cumulated memory: 395856 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.07 3.98 5/264 122818
/proc/meminfo: memFree=110913076/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=470136 memory=401868 CPUtime=341.32 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 158085 0 0 0 34058 74 0 0 20 0 1 0 141467936 481419264 100467 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 117534 100467 4480 2834 0 99739 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 470136 KiB
Current children cumulated memory: 401868 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.08 4.00 5/264 122820
/proc/meminfo: memFree=110910924/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=470136 memory=403276 CPUtime=401.19 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 158433 0 0 0 39992 127 0 0 20 0 1 0 141467936 481419264 100819 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 117534 100819 4480 2834 0 99739 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 470136 KiB
Current children cumulated memory: 403276 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.08 4.00 5/264 122822
/proc/meminfo: memFree=110910476/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=474556 memory=404044 CPUtime=461.03 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 158706 0 0 0 45927 176 0 0 20 0 1 0 141467936 485945344 101011 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 118639 101011 4480 2834 0 100844 0
################
# More data... #
################
Current children cumulated memory: 436236 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 122953
/proc/meminfo: memFree=110897740/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=438284 CPUtime=2914.65 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160718 0 0 0 290551 914 0 0 20 0 1 0 141467936 524677120 109571 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 109571 4480 2834 0 110300 0
Current children cumulated CPU time: 2914.65 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 438284 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 122961
/proc/meminfo: memFree=110897924/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=2974.49 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160719 0 0 0 296529 920 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 2974.49 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 122963
/proc/meminfo: memFree=110898448/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3034.33 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160719 0 0 0 302506 927 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 122965
/proc/meminfo: memFree=110898576/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3094.18 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160719 0 0 0 308484 934 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3094.18 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 122968
/proc/meminfo: memFree=110898416/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3154.03 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160719 0 0 0 314462 941 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 122970
/proc/meminfo: memFree=110898288/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3213.87 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160719 0 0 0 320438 949 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 122972
/proc/meminfo: memFree=110898408/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3273.72 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160735 0 0 0 326414 958 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 4/259 123026
/proc/meminfo: memFree=110877912/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3333.56 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160735 0 0 0 332389 967 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 123064
/proc/meminfo: memFree=108333064/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3393.39 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160825 0 0 0 338361 978 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 123066
/proc/meminfo: memFree=108341648/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3453.22 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160827 0 0 0 344334 988 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 123068
/proc/meminfo: memFree=107023236/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3513.06 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160828 0 0 0 350303 1003 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/263 123070
/proc/meminfo: memFree=106999792/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3572.89 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160828 0 0 0 356276 1013 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 123078
/proc/meminfo: memFree=106830360/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3600.02 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160829 0 0 0 358985 1017 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 122711 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.86 s, system=10.1737 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 123078
/proc/meminfo: memFree=106830360/131250000 swapFree=33008356/33010684
[pid=122711] ppid=122707 vsize=512380 memory=440332 CPUtime=3600.02 cores=5,7
/proc/122711/stat : 122711 (mixed-bag) R 122707 122711 122179 0 -1 4194304 160829 0 0 0 358985 1017 0 0 20 0 1 0 141467936 524677120 110083 18446744073709551615 4235264 15840557 140737430675840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48021504 140737430677914 140737430677991 140737430677991 140737430683595 0
/proc/122711/statm: 128095 110083 4480 2834 0 110300 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 512380 KiB
Current children cumulated memory: 440332 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.03
CPU user time (s): 3589.86
CPU system time (s): 10.1737
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 512380
Max. memory (cumulated for all children) (KiB): 440332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.86
system time used= 10.1737
maximum resident set size= 441100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160866
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= 176
involuntary context switches= 1450
# summary of solver processes directly reported to runsolver:
# pid: 122711
# total CPU time (s): 3600.03
# total CPU user time (s): 3589.86
# total CPU system time (s): 10.1737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70283 second user time and 16.7324 second system time
The end
Begin job on nodeC014 at 2025-07-11 20:18:33
IDJOB=4528941
IDBENCH=147690
IDSOLVER=3386
FILE ID=nodeC014/4528941-1752257913
RUNJOBID= nodeC014-1752257588-122192
SLURM_JOB_ID= 9682608
Free space on /tmp= 430484 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4528941-1752257913/watcher-4528941-1752257913 -o /tmp/evaluation-result-4528941-1752257913/solver-4528941-1752257913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122192 --watchdog 3760 mixed-bag HOME/instance-4528941-1752257913.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=882617419
nodeC014 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 : 3600.122
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.901
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3728.384
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.156
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.115
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3576.162
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3602.550
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 111632316 kB
MemAvailable: 129140124 kB
Buffers: 696 kB
Cached: 18257752 kB
SwapCached: 1628 kB
Active: 906760 kB
Inactive: 17887076 kB
Active(anon): 528972 kB
Inactive(anon): 31012 kB
Active(file): 377788 kB
Inactive(file): 17856064 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32216 kB
Writeback: 40 kB
AnonPages: 537124 kB
Mapped: 130080 kB
Shmem: 24596 kB
KReclaimable: 226388 kB
Slab: 320964 kB
SReclaimable: 226388 kB
SUnreclaim: 94576 kB
KernelStack: 4192 kB
PageTables: 4148 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 893460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 331776 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430420 MiB
End job on nodeC014 at 2025-07-11 21:18:43