0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.11 c [STEP] preprocessing with Papilo
0.09/0.18 c [STEP] solving with SCIP
299.34/300.24 c [STEP] preprocessing done, loading into solver
299.34/300.27 c [STEP] solving
299.34/300.27 c #variables 3296 #constraints 6383
299.34/300.27 c SMALL=int, LARGE=long long
299.34/300.27 c bounds - >= 0 @ 299.23
299.34/300.27 c stratification level: 0
341.15/342.15 c #Conflicts: 1000 | #Constraints: 7382
341.15/342.15 c #Conflicts: 2000 | #Constraints: 8382
341.15/342.15 c INPROCESSING
341.15/342.15 c #Conflicts: 3000 | #Constraints: 8397
341.15/342.15 c #Conflicts: 4000 | #Constraints: 9397
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 5000 | #Constraints: 8811
341.15/342.15 c #Conflicts: 6000 | #Constraints: 9811
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 7000 | #Constraints: 8823
341.15/342.15 c #Conflicts: 8000 | #Constraints: 9823
341.15/342.15 c #Conflicts: 9000 | #Constraints: 10823
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 10000 | #Constraints: 9527
341.15/342.15 c #Conflicts: 11000 | #Constraints: 10527
341.15/342.15 c #Conflicts: 12000 | #Constraints: 11527
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 13000 | #Constraints: 9985
341.15/342.15 c #Conflicts: 14000 | #Constraints: 10985
341.15/342.15 c #Conflicts: 15000 | #Constraints: 11985
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 16000 | #Constraints: 10213
341.15/342.15 c #Conflicts: 17000 | #Constraints: 11213
341.15/342.15 c #Conflicts: 18000 | #Constraints: 12213
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 19000 | #Constraints: 10223
341.15/342.15 c #Conflicts: 20000 | #Constraints: 11223
341.15/342.15 c #Conflicts: 21000 | #Constraints: 12223
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 22000 | #Constraints: 10036
341.15/342.15 c #Conflicts: 23000 | #Constraints: 11036
341.15/342.15 c #Conflicts: 24000 | #Constraints: 12036
341.15/342.15 c #Conflicts: 25000 | #Constraints: 13036
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 26000 | #Constraints: 10636
341.15/342.15 c #Conflicts: 27000 | #Constraints: 11636
341.15/342.15 c #Conflicts: 28000 | #Constraints: 12636
341.15/342.15 c #Conflicts: 29000 | #Constraints: 13636
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 30000 | #Constraints: 11038
341.15/342.15 c #Conflicts: 31000 | #Constraints: 12038
341.15/342.15 c #Conflicts: 32000 | #Constraints: 13038
341.15/342.15 c #Conflicts: 33000 | #Constraints: 14038
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 34000 | #Constraints: 11237
341.15/342.15 c #Conflicts: 35000 | #Constraints: 12237
341.15/342.15 c #Conflicts: 36000 | #Constraints: 13237
341.15/342.15 c #Conflicts: 37000 | #Constraints: 14237
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 38000 | #Constraints: 11236
341.15/342.15 c #Conflicts: 39000 | #Constraints: 12236
341.15/342.15 c #Conflicts: 40000 | #Constraints: 13236
341.15/342.15 c #Conflicts: 41000 | #Constraints: 14236
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 42000 | #Constraints: 11037
341.15/342.15 c #Conflicts: 43000 | #Constraints: 12037
341.15/342.15 c #Conflicts: 44000 | #Constraints: 13037
341.15/342.15 c #Conflicts: 45000 | #Constraints: 14037
341.15/342.15 c #Conflicts: 46000 | #Constraints: 15037
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 47000 | #Constraints: 11633
341.15/342.15 c #Conflicts: 48000 | #Constraints: 12633
341.15/342.15 c #Conflicts: 49000 | #Constraints: 13633
341.15/342.15 c #Conflicts: 50000 | #Constraints: 14633
341.15/342.15 c #Conflicts: 51000 | #Constraints: 15633
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 52000 | #Constraints: 12034
341.15/342.15 c #Conflicts: 53000 | #Constraints: 13034
341.15/342.15 c #Conflicts: 54000 | #Constraints: 14034
341.15/342.15 c #Conflicts: 55000 | #Constraints: 15034
341.15/342.15 c #Conflicts: 56000 | #Constraints: 16034
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 57000 | #Constraints: 12235
341.15/342.15 c #Conflicts: 58000 | #Constraints: 13235
341.15/342.15 c #Conflicts: 59000 | #Constraints: 14235
341.15/342.15 c #Conflicts: 60000 | #Constraints: 15235
341.15/342.15 c #Conflicts: 61000 | #Constraints: 16235
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 62000 | #Constraints: 12244
341.15/342.15 c #Conflicts: 63000 | #Constraints: 13244
341.15/342.15 c #Conflicts: 64000 | #Constraints: 14244
341.15/342.15 c #Conflicts: 65000 | #Constraints: 15244
341.15/342.15 c #Conflicts: 66000 | #Constraints: 16244
341.15/342.15 c INPROCESSING
341.15/342.15 c GARBAGE COLLECT
341.15/342.15 c #Conflicts: 67000 | #Constraints: 12043
341.15/342.15 c #Conflicts: 68000 | #Constraints: 13043
410.98/412.15 c #Conflicts: 69000 | #Constraints: 14043
410.98/412.15 c #Conflicts: 70000 | #Constraints: 15043
410.98/412.15 c #Conflicts: 71000 | #Constraints: 16043
410.98/412.15 c #Conflicts: 72000 | #Constraints: 17043
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 73000 | #Constraints: 12647
410.98/412.15 c #Conflicts: 74000 | #Constraints: 13647
410.98/412.15 c #Conflicts: 75000 | #Constraints: 14647
410.98/412.15 c #Conflicts: 76000 | #Constraints: 15647
410.98/412.15 c #Conflicts: 77000 | #Constraints: 16647
410.98/412.15 c #Conflicts: 78000 | #Constraints: 17647
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 79000 | #Constraints: 13047
410.98/412.15 c #Conflicts: 80000 | #Constraints: 14047
410.98/412.15 c #Conflicts: 81000 | #Constraints: 15047
410.98/412.15 c #Conflicts: 82000 | #Constraints: 16047
410.98/412.15 c #Conflicts: 83000 | #Constraints: 17047
410.98/412.15 c #Conflicts: 84000 | #Constraints: 18047
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 85000 | #Constraints: 13247
410.98/412.15 c #Conflicts: 86000 | #Constraints: 14247
410.98/412.15 c #Conflicts: 87000 | #Constraints: 15247
410.98/412.15 c #Conflicts: 88000 | #Constraints: 16247
410.98/412.15 c #Conflicts: 89000 | #Constraints: 17247
410.98/412.15 c #Conflicts: 90000 | #Constraints: 18247
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 91000 | #Constraints: 13257
410.98/412.15 c #Conflicts: 92000 | #Constraints: 14257
410.98/412.15 c #Conflicts: 93000 | #Constraints: 15257
410.98/412.15 c #Conflicts: 94000 | #Constraints: 16257
410.98/412.15 c #Conflicts: 95000 | #Constraints: 17257
410.98/412.15 c #Conflicts: 96000 | #Constraints: 18257
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 97000 | #Constraints: 13049
410.98/412.15 c #Conflicts: 98000 | #Constraints: 14049
410.98/412.15 c #Conflicts: 99000 | #Constraints: 15049
410.98/412.15 c #Conflicts: 100000 | #Constraints: 16049
410.98/412.15 c #Conflicts: 101000 | #Constraints: 17049
410.98/412.15 c #Conflicts: 102000 | #Constraints: 18049
410.98/412.15 c #Conflicts: 103000 | #Constraints: 19049
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 104000 | #Constraints: 13651
410.98/412.15 c #Conflicts: 105000 | #Constraints: 14651
410.98/412.15 c #Conflicts: 106000 | #Constraints: 15651
410.98/412.15 c #Conflicts: 107000 | #Constraints: 16651
410.98/412.15 c #Conflicts: 108000 | #Constraints: 17651
410.98/412.15 c #Conflicts: 109000 | #Constraints: 18651
410.98/412.15 c #Conflicts: 110000 | #Constraints: 19651
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 111000 | #Constraints: 14048
410.98/412.15 c #Conflicts: 112000 | #Constraints: 15048
410.98/412.15 c #Conflicts: 113000 | #Constraints: 16048
410.98/412.15 c #Conflicts: 114000 | #Constraints: 17048
410.98/412.15 c #Conflicts: 115000 | #Constraints: 18048
410.98/412.15 c #Conflicts: 116000 | #Constraints: 19048
410.98/412.15 c #Conflicts: 117000 | #Constraints: 20048
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 118000 | #Constraints: 14259
410.98/412.15 c #Conflicts: 119000 | #Constraints: 15259
410.98/412.15 c #Conflicts: 120000 | #Constraints: 16259
410.98/412.15 c #Conflicts: 121000 | #Constraints: 17259
410.98/412.15 c #Conflicts: 122000 | #Constraints: 18259
410.98/412.15 c #Conflicts: 123000 | #Constraints: 19259
410.98/412.15 c #Conflicts: 124000 | #Constraints: 20259
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 125000 | #Constraints: 14250
410.98/412.15 c #Conflicts: 126000 | #Constraints: 15250
410.98/412.15 c #Conflicts: 127000 | #Constraints: 16250
410.98/412.15 c #Conflicts: 128000 | #Constraints: 17250
410.98/412.15 c #Conflicts: 129000 | #Constraints: 18250
410.98/412.15 c #Conflicts: 130000 | #Constraints: 19250
410.98/412.15 c #Conflicts: 131000 | #Constraints: 20250
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 132000 | #Constraints: 14046
410.98/412.15 c #Conflicts: 133000 | #Constraints: 15046
410.98/412.15 c #Conflicts: 134000 | #Constraints: 16046
410.98/412.15 c #Conflicts: 135000 | #Constraints: 17046
410.98/412.15 c #Conflicts: 136000 | #Constraints: 18046
410.98/412.15 c #Conflicts: 137000 | #Constraints: 19046
410.98/412.15 c #Conflicts: 138000 | #Constraints: 20046
410.98/412.15 c #Conflicts: 139000 | #Constraints: 21046
410.98/412.15 c INPROCESSING
410.98/412.15 c GARBAGE COLLECT
410.98/412.15 c #Conflicts: 140000 | #Constraints: 14651
503.63/505.06 c #Conflicts: 141000 | #Constraints: 15651
503.63/505.06 c #Conflicts: 142000 | #Constraints: 16651
503.63/505.06 c #Conflicts: 143000 | #Constraints: 17651
503.63/505.06 c #Conflicts: 144000 | #Constraints: 18651
503.63/505.06 c #Conflicts: 145000 | #Constraints: 19651
503.63/505.06 c #Conflicts: 146000 | #Constraints: 20651
503.63/505.06 c #Conflicts: 147000 | #Constraints: 21651
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 148000 | #Constraints: 15053
503.63/505.06 c #Conflicts: 149000 | #Constraints: 16053
503.63/505.06 c #Conflicts: 150000 | #Constraints: 17053
503.63/505.06 c #Conflicts: 151000 | #Constraints: 18053
503.63/505.06 c #Conflicts: 152000 | #Constraints: 19053
503.63/505.06 c #Conflicts: 153000 | #Constraints: 20053
503.63/505.06 c #Conflicts: 154000 | #Constraints: 21053
503.63/505.06 c #Conflicts: 155000 | #Constraints: 22053
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 156000 | #Constraints: 15249
503.63/505.06 c #Conflicts: 157000 | #Constraints: 16249
503.63/505.06 c #Conflicts: 158000 | #Constraints: 17249
503.63/505.06 c #Conflicts: 159000 | #Constraints: 18249
503.63/505.06 c #Conflicts: 160000 | #Constraints: 19249
503.63/505.06 c #Conflicts: 161000 | #Constraints: 20249
503.63/505.06 c #Conflicts: 162000 | #Constraints: 21249
503.63/505.06 c #Conflicts: 163000 | #Constraints: 22249
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 164000 | #Constraints: 15249
503.63/505.06 c #Conflicts: 165000 | #Constraints: 16249
503.63/505.06 c #Conflicts: 166000 | #Constraints: 17249
503.63/505.06 c #Conflicts: 167000 | #Constraints: 18249
503.63/505.06 c #Conflicts: 168000 | #Constraints: 19249
503.63/505.06 c #Conflicts: 169000 | #Constraints: 20249
503.63/505.06 c #Conflicts: 170000 | #Constraints: 21249
503.63/505.06 c #Conflicts: 171000 | #Constraints: 22249
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 172000 | #Constraints: 15047
503.63/505.06 c #Conflicts: 173000 | #Constraints: 16047
503.63/505.06 c #Conflicts: 174000 | #Constraints: 17047
503.63/505.06 c #Conflicts: 175000 | #Constraints: 18047
503.63/505.06 c #Conflicts: 176000 | #Constraints: 19047
503.63/505.06 c #Conflicts: 177000 | #Constraints: 20047
503.63/505.06 c #Conflicts: 178000 | #Constraints: 21047
503.63/505.06 c #Conflicts: 179000 | #Constraints: 22047
503.63/505.06 c #Conflicts: 180000 | #Constraints: 23047
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 181000 | #Constraints: 15648
503.63/505.06 c #Conflicts: 182000 | #Constraints: 16648
503.63/505.06 c #Conflicts: 183000 | #Constraints: 17648
503.63/505.06 c #Conflicts: 184000 | #Constraints: 18648
503.63/505.06 c #Conflicts: 185000 | #Constraints: 19648
503.63/505.06 c #Conflicts: 186000 | #Constraints: 20648
503.63/505.06 c #Conflicts: 187000 | #Constraints: 21648
503.63/505.06 c #Conflicts: 188000 | #Constraints: 22648
503.63/505.06 c #Conflicts: 189000 | #Constraints: 23648
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 190000 | #Constraints: 16047
503.63/505.06 c #Conflicts: 191000 | #Constraints: 17047
503.63/505.06 c #Conflicts: 192000 | #Constraints: 18047
503.63/505.06 c #Conflicts: 193000 | #Constraints: 19047
503.63/505.06 c #Conflicts: 194000 | #Constraints: 20047
503.63/505.06 c #Conflicts: 195000 | #Constraints: 21047
503.63/505.06 c #Conflicts: 196000 | #Constraints: 22047
503.63/505.06 c #Conflicts: 197000 | #Constraints: 23047
503.63/505.06 c #Conflicts: 198000 | #Constraints: 24047
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 199000 | #Constraints: 16246
503.63/505.06 c #Conflicts: 200000 | #Constraints: 17246
503.63/505.06 c #Conflicts: 201000 | #Constraints: 18246
503.63/505.06 c #Conflicts: 202000 | #Constraints: 19246
503.63/505.06 c #Conflicts: 203000 | #Constraints: 20246
503.63/505.06 c #Conflicts: 204000 | #Constraints: 21246
503.63/505.06 c #Conflicts: 205000 | #Constraints: 22246
503.63/505.06 c #Conflicts: 206000 | #Constraints: 23246
503.63/505.06 c #Conflicts: 207000 | #Constraints: 24246
503.63/505.06 c INPROCESSING
503.63/505.06 c GARBAGE COLLECT
503.63/505.06 c #Conflicts: 208000 | #Constraints: 16240
503.63/505.06 c #Conflicts: 209000 | #Constraints: 17240
503.63/505.06 c #Conflicts: 210000 | #Constraints: 18240
503.63/505.06 c #Conflicts: 211000 | #Constraints: 19240
503.63/505.06 c #Conflicts: 212000 | #Constraints: 20240
503.63/505.06 c #Conflicts: 213000 | #Constraints: 21240
503.63/505.06 c #Conflicts: 214000 | #Constraints: 22240
618.80/620.53 c #Conflicts: 215000 | #Constraints: 23240
618.80/620.53 c #Conflicts: 216000 | #Constraints: 24240
618.80/620.53 c INPROCESSING
618.80/620.53 c GARBAGE COLLECT
618.80/620.53 c #Conflicts: 217000 | #Constraints: 16047
618.80/620.53 c #Conflicts: 218000 | #Constraints: 17047
618.80/620.53 c #Conflicts: 219000 | #Constraints: 18047
618.80/620.53 c #Conflicts: 220000 | #Constraints: 19047
618.80/620.53 c #Conflicts: 221000 | #Constraints: 20047
618.80/620.53 c #Conflicts: 222000 | #Constraints: 21047
618.80/620.53 c #Conflicts: 223000 | #Constraints: 22047
618.80/620.53 c #Conflicts: 224000 | #Constraints: 23047
618.80/620.53 c #Conflicts: 225000 | #Constraints: 24047
618.80/620.53 c #Conflicts: 226000 | #Constraints: 25047
618.80/620.53 c INPROCESSING
618.80/620.53 c GARBAGE COLLECT
618.80/620.53 c #Conflicts: 227000 | #Constraints: 16647
618.80/620.53 c #Conflicts: 228000 | #Constraints: 17647
618.80/620.53 c #Conflicts: 229000 | #Constraints: 18647
618.80/620.53 c #Conflicts: 230000 | #Constraints: 19647
618.80/620.53 c #Conflicts: 231000 | #Constraints: 20647
618.80/620.53 c #Conflicts: 232000 | #Constraints: 21647
618.80/620.53 c #Conflicts: 233000 | #Constraints: 22647
618.80/620.53 c #Conflicts: 234000 | #Constraints: 23647
618.80/620.53 c #Conflicts: 235000 | #Constraints: 24647
618.80/620.53 c #Conflicts: 236000 | #Constraints: 25647
618.80/620.53 c INPROCESSING
618.80/620.53 c GARBAGE COLLECT
618.80/620.53 c #Conflicts: 237000 | #Constraints: 17050
618.80/620.53 c #Conflicts: 238000 | #Constraints: 18050
618.80/620.53 c #Conflicts: 239000 | #Constraints: 19050
618.80/620.53 c #Conflicts: 240000 | #Constraints: 20050
618.80/620.53 c #Conflicts: 241000 | #Constraints: 21050
618.80/620.53 c #Conflicts: 242000 | #Constraints: 22050
618.80/620.53 c #Conflicts: 243000 | #Constraints: 23050
618.80/620.53 c #Conflicts: 244000 | #Constraints: 24050
618.80/620.53 c #Conflicts: 245000 | #Constraints: 25050
618.80/620.53 c #Conflicts: 246000 | #Constraints: 26050
618.80/620.53 c INPROCESSING
618.80/620.53 c GARBAGE COLLECT
618.80/620.53 c #Conflicts: 247000 | #Constraints: 17264
618.80/620.53 c #Conflicts: 248000 | #Constraints: 18264
618.80/620.53 c #Conflicts: 249000 | #Constraints: 19264
618.80/620.53 c #Conflicts: 250000 | #Constraints: 20264
618.80/620.53 c #Conflicts: 251000 | #Constraints: 21264
618.80/620.53 c #Conflicts: 252000 | #Constraints: 22264
618.80/620.53 c #Conflicts: 253000 | #Constraints: 23264
618.80/620.53 c #Conflicts: 254000 | #Constraints: 24264
618.80/620.53 c #Conflicts: 255000 | #Constraints: 25264
618.80/620.53 c #Conflicts: 256000 | #Constraints: 26264
618.80/620.53 c INPROCESSING
618.80/620.53 c GARBAGE COLLECT
618.80/620.53 c #Conflicts: 257000 | #Constraints: 17263
618.80/620.53 c #Conflicts: 258000 | #Constraints: 18263
618.80/620.53 c #Conflicts: 259000 | #Constraints: 19263
618.80/620.53 c #Conflicts: 260000 | #Constraints: 20263
618.80/620.53 c #Conflicts: 261000 | #Constraints: 21263
618.80/620.53 c #Conflicts: 262000 | #Constraints: 22263
618.80/620.53 c #Conflicts: 263000 | #Constraints: 23263
618.80/620.53 c #Conflicts: 264000 | #Constraints: 24263
618.80/620.53 c #Conflicts: 265000 | #Constraints: 25263
618.80/620.53 c #Conflicts: 266000 | #Constraints: 26263
618.80/620.53 c INPROCESSING
618.80/620.53 c GARBAGE COLLECT
618.80/620.53 c #Conflicts: 267000 | #Constraints: 17061
618.80/620.53 c #Conflicts: 268000 | #Constraints: 18061
618.80/620.53 c #Conflicts: 269000 | #Constraints: 19061
618.80/620.53 c #Conflicts: 270000 | #Constraints: 20061
618.80/620.53 c #Conflicts: 271000 | #Constraints: 21061
618.80/620.53 c #Conflicts: 272000 | #Constraints: 22061
618.80/620.53 c #Conflicts: 273000 | #Constraints: 23061
618.80/620.53 c #Conflicts: 274000 | #Constraints: 24061
618.80/620.53 c #Conflicts: 275000 | #Constraints: 25061
618.80/620.53 c #Conflicts: 276000 | #Constraints: 26061
618.80/620.53 c #Conflicts: 277000 | #Constraints: 27061
618.80/620.53 c INPROCESSING
618.80/620.53 c GARBAGE COLLECT
618.80/620.53 c #Conflicts: 278000 | #Constraints: 17659
618.80/620.53 c #Conflicts: 279000 | #Constraints: 18659
618.80/620.53 c #Conflicts: 280000 | #Constraints: 19659
618.80/620.53 c #Conflicts: 281000 | #Constraints: 20659
618.80/620.53 c #Conflicts: 282000 | #Constraints: 21659
618.80/620.53 c #Conflicts: 283000 | #Constraints: 22659
618.80/620.53 c #Conflicts: 284000 | #Constraints: 23659
618.80/620.53 c #Conflicts: 285000 | #Constraints: 24659
618.80/620.53 c #Conflicts: 286000 | #Constraints: 25659
618.80/620.53 c #Conflicts: 287000 | #Constraints: 26659
618.80/620.53 c #Conflicts: 288000 | #Constraints: 27659
735.21/737.24 c INPROCESSING
735.21/737.24 c GARBAGE COLLECT
735.21/737.24 c #Conflicts: 289000 | #Constraints: 18063
735.21/737.24 c #Conflicts: 290000 | #Constraints: 19063
735.21/737.24 c #Conflicts: 291000 | #Constraints: 20063
735.21/737.24 c #Conflicts: 292000 | #Constraints: 21063
735.21/737.24 c #Conflicts: 293000 | #Constraints: 22063
735.21/737.24 c #Conflicts: 294000 | #Constraints: 23063
735.21/737.24 c #Conflicts: 295000 | #Constraints: 24063
735.21/737.24 c #Conflicts: 296000 | #Constraints: 25063
735.21/737.24 c #Conflicts: 297000 | #Constraints: 26063
735.21/737.24 c #Conflicts: 298000 | #Constraints: 27063
735.21/737.24 c #Conflicts: 299000 | #Constraints: 28063
735.21/737.24 c INPROCESSING
735.21/737.24 c GARBAGE COLLECT
735.21/737.24 c #Conflicts: 300000 | #Constraints: 18263
735.21/737.24 c #Conflicts: 301000 | #Constraints: 19263
735.21/737.24 c #Conflicts: 302000 | #Constraints: 20263
735.21/737.24 c #Conflicts: 303000 | #Constraints: 21263
735.21/737.24 c #Conflicts: 304000 | #Constraints: 22263
735.21/737.24 c #Conflicts: 305000 | #Constraints: 23263
735.21/737.24 c #Conflicts: 306000 | #Constraints: 24263
735.21/737.24 c #Conflicts: 307000 | #Constraints: 25263
735.21/737.24 c #Conflicts: 308000 | #Constraints: 26263
735.21/737.24 c #Conflicts: 309000 | #Constraints: 27263
735.21/737.24 c #Conflicts: 310000 | #Constraints: 28263
735.21/737.24 c INPROCESSING
735.21/737.24 c GARBAGE COLLECT
735.21/737.24 c #Conflicts: 311000 | #Constraints: 18269
735.21/737.24 c #Conflicts: 312000 | #Constraints: 19269
735.21/737.24 c #Conflicts: 313000 | #Constraints: 20269
735.21/737.24 c #Conflicts: 314000 | #Constraints: 21269
735.21/737.24 c #Conflicts: 315000 | #Constraints: 22269
735.21/737.24 c #Conflicts: 316000 | #Constraints: 23269
735.21/737.24 c #Conflicts: 317000 | #Constraints: 24269
735.21/737.24 c #Conflicts: 318000 | #Constraints: 25269
735.21/737.24 c #Conflicts: 319000 | #Constraints: 26269
735.21/737.24 c #Conflicts: 320000 | #Constraints: 27269
735.21/737.24 c #Conflicts: 321000 | #Constraints: 28269
735.21/737.24 c INPROCESSING
735.21/737.24 c GARBAGE COLLECT
735.21/737.24 c #Conflicts: 322000 | #Constraints: 18057
735.21/737.24 c #Conflicts: 323000 | #Constraints: 19057
735.21/737.24 c #Conflicts: 324000 | #Constraints: 20057
735.21/737.24 c #Conflicts: 325000 | #Constraints: 21057
735.21/737.24 c #Conflicts: 326000 | #Constraints: 22057
735.21/737.24 c #Conflicts: 327000 | #Constraints: 23057
735.21/737.24 c #Conflicts: 328000 | #Constraints: 24057
735.21/737.24 c #Conflicts: 329000 | #Constraints: 25057
735.21/737.24 c #Conflicts: 330000 | #Constraints: 26057
735.21/737.24 c #Conflicts: 331000 | #Constraints: 27057
735.21/737.24 c #Conflicts: 332000 | #Constraints: 28057
735.21/737.24 c #Conflicts: 333000 | #Constraints: 29057
735.21/737.24 c INPROCESSING
735.21/737.24 c GARBAGE COLLECT
735.21/737.24 c #Conflicts: 334000 | #Constraints: 18660
735.21/737.24 c #Conflicts: 335000 | #Constraints: 19660
735.21/737.24 c #Conflicts: 336000 | #Constraints: 20660
735.21/737.24 c #Conflicts: 337000 | #Constraints: 21660
735.21/737.24 c #Conflicts: 338000 | #Constraints: 22660
735.21/737.24 c #Conflicts: 339000 | #Constraints: 23660
735.21/737.24 c #Conflicts: 340000 | #Constraints: 24660
735.21/737.24 c #Conflicts: 341000 | #Constraints: 25660
735.21/737.24 c #Conflicts: 342000 | #Constraints: 26660
735.21/737.24 c #Conflicts: 343000 | #Constraints: 27660
735.21/737.24 c #Conflicts: 344000 | #Constraints: 28660
735.21/737.24 c #Conflicts: 345000 | #Constraints: 29660
735.21/737.24 c INPROCESSING
735.21/737.24 c GARBAGE COLLECT
735.21/737.24 c #Conflicts: 346000 | #Constraints: 19067
735.21/737.24 c #Conflicts: 347000 | #Constraints: 20067
735.21/737.24 c #Conflicts: 348000 | #Constraints: 21067
735.21/737.24 c #Conflicts: 349000 | #Constraints: 22067
735.21/737.24 c #Conflicts: 350000 | #Constraints: 23067
735.21/737.24 c #Conflicts: 351000 | #Constraints: 24067
735.21/737.24 c #Conflicts: 352000 | #Constraints: 25067
735.21/737.24 c #Conflicts: 353000 | #Constraints: 26067
735.21/737.24 c #Conflicts: 354000 | #Constraints: 27067
735.21/737.24 c #Conflicts: 355000 | #Constraints: 28067
735.21/737.24 c #Conflicts: 356000 | #Constraints: 29067
735.21/737.24 c #Conflicts: 357000 | #Constraints: 30067
735.21/737.24 c INPROCESSING
735.21/737.24 c GARBAGE COLLECT
735.21/737.24 c #Conflicts: 358000 | #Constraints: 19275
735.21/737.24 c #Conflicts: 359000 | #Constraints: 20275
735.21/737.24 c #Conflicts: 360000 | #Constraints: 21275
735.21/737.24 c #Conflicts: 361000 | #Constraints: 22275
735.21/737.24 c #Conflicts: 362000 | #Constraints: 23275
866.78/869.13 c #Conflicts: 363000 | #Constraints: 24275
866.78/869.13 c #Conflicts: 364000 | #Constraints: 25275
866.78/869.13 c #Conflicts: 365000 | #Constraints: 26275
866.78/869.13 c #Conflicts: 366000 | #Constraints: 27275
866.78/869.13 c #Conflicts: 367000 | #Constraints: 28275
866.78/869.13 c #Conflicts: 368000 | #Constraints: 29275
866.78/869.13 c #Conflicts: 369000 | #Constraints: 30275
866.78/869.13 c INPROCESSING
866.78/869.13 c GARBAGE COLLECT
866.78/869.13 c #Conflicts: 370000 | #Constraints: 19262
866.78/869.13 c #Conflicts: 371000 | #Constraints: 20262
866.78/869.13 c #Conflicts: 372000 | #Constraints: 21262
866.78/869.13 c #Conflicts: 373000 | #Constraints: 22262
866.78/869.13 c #Conflicts: 374000 | #Constraints: 23262
866.78/869.13 c #Conflicts: 375000 | #Constraints: 24262
866.78/869.13 c #Conflicts: 376000 | #Constraints: 25262
866.78/869.13 c #Conflicts: 377000 | #Constraints: 26262
866.78/869.13 c #Conflicts: 378000 | #Constraints: 27262
866.78/869.13 c #Conflicts: 379000 | #Constraints: 28262
866.78/869.13 c #Conflicts: 380000 | #Constraints: 29262
866.78/869.13 c #Conflicts: 381000 | #Constraints: 30262
866.78/869.13 c INPROCESSING
866.78/869.13 c GARBAGE COLLECT
866.78/869.13 c #Conflicts: 382000 | #Constraints: 19052
866.78/869.13 c #Conflicts: 383000 | #Constraints: 20052
866.78/869.13 c #Conflicts: 384000 | #Constraints: 21052
866.78/869.13 c #Conflicts: 385000 | #Constraints: 22052
866.78/869.13 c #Conflicts: 386000 | #Constraints: 23052
866.78/869.13 c #Conflicts: 387000 | #Constraints: 24052
866.78/869.13 c #Conflicts: 388000 | #Constraints: 25052
866.78/869.13 c #Conflicts: 389000 | #Constraints: 26052
866.78/869.13 c #Conflicts: 390000 | #Constraints: 27052
866.78/869.13 c #Conflicts: 391000 | #Constraints: 28052
866.78/869.13 c #Conflicts: 392000 | #Constraints: 29052
866.78/869.13 c #Conflicts: 393000 | #Constraints: 30052
866.78/869.13 c #Conflicts: 394000 | #Constraints: 31052
866.78/869.13 c INPROCESSING
866.78/869.13 c GARBAGE COLLECT
866.78/869.13 c #Conflicts: 395000 | #Constraints: 19647
866.78/869.13 c #Conflicts: 396000 | #Constraints: 20647
866.78/869.13 c #Conflicts: 397000 | #Constraints: 21647
866.78/869.13 c #Conflicts: 398000 | #Constraints: 22647
866.78/869.13 c #Conflicts: 399000 | #Constraints: 23647
866.78/869.13 c #Conflicts: 400000 | #Constraints: 24647
866.78/869.13 c #Conflicts: 401000 | #Constraints: 25647
866.78/869.13 c #Conflicts: 402000 | #Constraints: 26647
866.78/869.13 c #Conflicts: 403000 | #Constraints: 27647
866.78/869.13 c #Conflicts: 404000 | #Constraints: 28647
866.78/869.13 c #Conflicts: 405000 | #Constraints: 29647
866.78/869.13 c #Conflicts: 406000 | #Constraints: 30647
866.78/869.13 c #Conflicts: 407000 | #Constraints: 31647
866.78/869.13 c INPROCESSING
866.78/869.13 c GARBAGE COLLECT
866.78/869.13 c #Conflicts: 408000 | #Constraints: 20057
866.78/869.13 c #Conflicts: 409000 | #Constraints: 21057
866.78/869.13 c #Conflicts: 410000 | #Constraints: 22057
866.78/869.13 c #Conflicts: 411000 | #Constraints: 23057
866.78/869.13 c #Conflicts: 412000 | #Constraints: 24057
866.78/869.13 c #Conflicts: 413000 | #Constraints: 25057
866.78/869.13 c #Conflicts: 414000 | #Constraints: 26057
866.78/869.13 c #Conflicts: 415000 | #Constraints: 27057
866.78/869.13 c #Conflicts: 416000 | #Constraints: 28057
866.78/869.13 c #Conflicts: 417000 | #Constraints: 29057
866.78/869.13 c #Conflicts: 418000 | #Constraints: 30057
866.78/869.13 c #Conflicts: 419000 | #Constraints: 31057
866.78/869.13 c #Conflicts: 420000 | #Constraints: 32057
866.78/869.13 c INPROCESSING
866.78/869.13 c GARBAGE COLLECT
866.78/869.13 c #Conflicts: 421000 | #Constraints: 20258
866.78/869.13 c #Conflicts: 422000 | #Constraints: 21258
866.78/869.13 c #Conflicts: 423000 | #Constraints: 22258
866.78/869.13 c #Conflicts: 424000 | #Constraints: 23258
866.78/869.13 c #Conflicts: 425000 | #Constraints: 24258
866.78/869.13 c #Conflicts: 426000 | #Constraints: 25258
866.78/869.13 c #Conflicts: 427000 | #Constraints: 26258
866.78/869.13 c #Conflicts: 428000 | #Constraints: 27258
866.78/869.13 c #Conflicts: 429000 | #Constraints: 28258
866.78/869.13 c #Conflicts: 430000 | #Constraints: 29258
866.78/869.13 c #Conflicts: 431000 | #Constraints: 30258
866.78/869.13 c #Conflicts: 432000 | #Constraints: 31258
866.78/869.13 c #Conflicts: 433000 | #Constraints: 32258
866.78/869.13 c INPROCESSING
866.78/869.13 c GARBAGE COLLECT
866.78/869.13 c #Conflicts: 434000 | #Constraints: 20261
866.78/869.13 c #Conflicts: 435000 | #Constraints: 21261
866.78/869.13 c #Conflicts: 436000 | #Constraints: 22261
866.78/869.13 c #Conflicts: 437000 | #Constraints: 23261
1013.91/1016.67 c #Conflicts: 438000 | #Constraints: 24261
1013.91/1016.67 c #Conflicts: 439000 | #Constraints: 25261
1013.91/1016.67 c #Conflicts: 440000 | #Constraints: 26261
1013.91/1016.67 c #Conflicts: 441000 | #Constraints: 27261
1013.91/1016.67 c #Conflicts: 442000 | #Constraints: 28261
1013.91/1016.67 c #Conflicts: 443000 | #Constraints: 29261
1013.91/1016.67 c #Conflicts: 444000 | #Constraints: 30261
1013.91/1016.67 c #Conflicts: 445000 | #Constraints: 31261
1013.91/1016.67 c #Conflicts: 446000 | #Constraints: 32261
1013.91/1016.67 c INPROCESSING
1013.91/1016.67 c GARBAGE COLLECT
1013.91/1016.67 c #Conflicts: 447000 | #Constraints: 20056
1013.91/1016.67 c #Conflicts: 448000 | #Constraints: 21056
1013.91/1016.67 c #Conflicts: 449000 | #Constraints: 22056
1013.91/1016.67 c #Conflicts: 450000 | #Constraints: 23056
1013.91/1016.67 c #Conflicts: 451000 | #Constraints: 24056
1013.91/1016.67 c #Conflicts: 452000 | #Constraints: 25056
1013.91/1016.67 c #Conflicts: 453000 | #Constraints: 26056
1013.91/1016.67 c #Conflicts: 454000 | #Constraints: 27056
1013.91/1016.67 c #Conflicts: 455000 | #Constraints: 28056
1013.91/1016.67 c #Conflicts: 456000 | #Constraints: 29056
1013.91/1016.67 c #Conflicts: 457000 | #Constraints: 30056
1013.91/1016.67 c #Conflicts: 458000 | #Constraints: 31056
1013.91/1016.67 c #Conflicts: 459000 | #Constraints: 32056
1013.91/1016.67 c #Conflicts: 460000 | #Constraints: 33056
1013.91/1016.67 c INPROCESSING
1013.91/1016.67 c GARBAGE COLLECT
1013.91/1016.67 c #Conflicts: 461000 | #Constraints: 20661
1013.91/1016.67 c #Conflicts: 462000 | #Constraints: 21661
1013.91/1016.67 c #Conflicts: 463000 | #Constraints: 22661
1013.91/1016.67 c #Conflicts: 464000 | #Constraints: 23661
1013.91/1016.67 c #Conflicts: 465000 | #Constraints: 24661
1013.91/1016.67 c #Conflicts: 466000 | #Constraints: 25661
1013.91/1016.67 c #Conflicts: 467000 | #Constraints: 26661
1013.91/1016.67 c #Conflicts: 468000 | #Constraints: 27661
1013.91/1016.67 c #Conflicts: 469000 | #Constraints: 28661
1013.91/1016.67 c #Conflicts: 470000 | #Constraints: 29661
1013.91/1016.67 c #Conflicts: 471000 | #Constraints: 30661
1013.91/1016.67 c #Conflicts: 472000 | #Constraints: 31661
1013.91/1016.67 c #Conflicts: 473000 | #Constraints: 32661
1013.91/1016.67 c #Conflicts: 474000 | #Constraints: 33661
1013.91/1016.67 c INPROCESSING
1013.91/1016.67 c GARBAGE COLLECT
1013.91/1016.67 c #Conflicts: 475000 | #Constraints: 21067
1013.91/1016.67 c #Conflicts: 476000 | #Constraints: 22067
1013.91/1016.67 c #Conflicts: 477000 | #Constraints: 23067
1013.91/1016.67 c #Conflicts: 478000 | #Constraints: 24067
1013.91/1016.67 c #Conflicts: 479000 | #Constraints: 25067
1013.91/1016.67 c #Conflicts: 480000 | #Constraints: 26067
1013.91/1016.67 c #Conflicts: 481000 | #Constraints: 27067
1013.91/1016.67 c #Conflicts: 482000 | #Constraints: 28067
1013.91/1016.67 c #Conflicts: 483000 | #Constraints: 29067
1013.91/1016.67 c #Conflicts: 484000 | #Constraints: 30067
1013.91/1016.67 c #Conflicts: 485000 | #Constraints: 31067
1013.91/1016.67 c #Conflicts: 486000 | #Constraints: 32067
1013.91/1016.67 c #Conflicts: 487000 | #Constraints: 33067
1013.91/1016.67 c #Conflicts: 488000 | #Constraints: 34067
1013.91/1016.67 c INPROCESSING
1013.91/1016.67 c GARBAGE COLLECT
1013.91/1016.67 c #Conflicts: 489000 | #Constraints: 21273
1013.91/1016.67 c #Conflicts: 490000 | #Constraints: 22273
1013.91/1016.67 c #Conflicts: 491000 | #Constraints: 23273
1013.91/1016.67 c #Conflicts: 492000 | #Constraints: 24273
1013.91/1016.67 c #Conflicts: 493000 | #Constraints: 25273
1013.91/1016.67 c #Conflicts: 494000 | #Constraints: 26273
1013.91/1016.67 c #Conflicts: 495000 | #Constraints: 27273
1013.91/1016.67 c #Conflicts: 496000 | #Constraints: 28273
1013.91/1016.67 c #Conflicts: 497000 | #Constraints: 29273
1013.91/1016.67 c #Conflicts: 498000 | #Constraints: 30273
1013.91/1016.67 c #Conflicts: 499000 | #Constraints: 31273
1013.91/1016.67 c #Conflicts: 500000 | #Constraints: 32273
1013.91/1016.67 c #Conflicts: 501000 | #Constraints: 33273
1013.91/1016.67 c #Conflicts: 502000 | #Constraints: 34273
1013.91/1016.67 c INPROCESSING
1013.91/1016.67 c GARBAGE COLLECT
1013.91/1016.67 c #Conflicts: 503000 | #Constraints: 21270
1013.91/1016.67 c #Conflicts: 504000 | #Constraints: 22270
1013.91/1016.67 c #Conflicts: 505000 | #Constraints: 23270
1013.91/1016.67 c #Conflicts: 506000 | #Constraints: 24270
1013.91/1016.67 c #Conflicts: 507000 | #Constraints: 25270
1013.91/1016.67 c #Conflicts: 508000 | #Constraints: 26270
1013.91/1016.67 c #Conflicts: 509000 | #Constraints: 27270
1013.91/1016.67 c #Conflicts: 510000 | #Constraints: 28270
1013.91/1016.67 c #Conflicts: 511000 | #Constraints: 29270
1013.91/1016.67 c #Conflicts: 512000 | #Constraints: 30270
1013.91/1016.67 c #Conflicts: 513000 | #Constraints: 31270
1174.32/1177.47 c #Conflicts: 514000 | #Constraints: 32270
1174.32/1177.47 c #Conflicts: 515000 | #Constraints: 33270
1174.32/1177.47 c #Conflicts: 516000 | #Constraints: 34270
1174.32/1177.47 c INPROCESSING
1174.32/1177.47 c GARBAGE COLLECT
1174.32/1177.47 c #Conflicts: 517000 | #Constraints: 21068
1174.32/1177.47 c #Conflicts: 518000 | #Constraints: 22068
1174.32/1177.47 c #Conflicts: 519000 | #Constraints: 23068
1174.32/1177.47 c #Conflicts: 520000 | #Constraints: 24068
1174.32/1177.47 c #Conflicts: 521000 | #Constraints: 25068
1174.32/1177.47 c #Conflicts: 522000 | #Constraints: 26068
1174.32/1177.47 c #Conflicts: 523000 | #Constraints: 27068
1174.32/1177.47 c #Conflicts: 524000 | #Constraints: 28068
1174.32/1177.47 c #Conflicts: 525000 | #Constraints: 29068
1174.32/1177.47 c #Conflicts: 526000 | #Constraints: 30068
1174.32/1177.47 c #Conflicts: 527000 | #Constraints: 31068
1174.32/1177.47 c #Conflicts: 528000 | #Constraints: 32068
1174.32/1177.47 c #Conflicts: 529000 | #Constraints: 33068
1174.32/1177.47 c #Conflicts: 530000 | #Constraints: 34068
1174.32/1177.47 c #Conflicts: 531000 | #Constraints: 35068
1174.32/1177.47 c INPROCESSING
1174.32/1177.47 c GARBAGE COLLECT
1174.32/1177.47 c #Conflicts: 532000 | #Constraints: 21668
1174.32/1177.47 c #Conflicts: 533000 | #Constraints: 22668
1174.32/1177.47 c #Conflicts: 534000 | #Constraints: 23668
1174.32/1177.47 c #Conflicts: 535000 | #Constraints: 24668
1174.32/1177.47 c #Conflicts: 536000 | #Constraints: 25668
1174.32/1177.47 c #Conflicts: 537000 | #Constraints: 26668
1174.32/1177.47 c #Conflicts: 538000 | #Constraints: 27668
1174.32/1177.47 c #Conflicts: 539000 | #Constraints: 28668
1174.32/1177.47 c #Conflicts: 540000 | #Constraints: 29668
1174.32/1177.47 c #Conflicts: 541000 | #Constraints: 30668
1174.32/1177.47 c #Conflicts: 542000 | #Constraints: 31668
1174.32/1177.47 c #Conflicts: 543000 | #Constraints: 32668
1174.32/1177.47 c #Conflicts: 544000 | #Constraints: 33668
1174.32/1177.47 c #Conflicts: 545000 | #Constraints: 34668
1174.32/1177.47 c #Conflicts: 546000 | #Constraints: 35668
1174.32/1177.47 c INPROCESSING
1174.32/1177.47 c GARBAGE COLLECT
1174.32/1177.47 c #Conflicts: 547000 | #Constraints: 22065
1174.32/1177.47 c #Conflicts: 548000 | #Constraints: 23065
1174.32/1177.47 c #Conflicts: 549000 | #Constraints: 24065
1174.32/1177.47 c #Conflicts: 550000 | #Constraints: 25065
1174.32/1177.47 c #Conflicts: 551000 | #Constraints: 26065
1174.32/1177.47 c #Conflicts: 552000 | #Constraints: 27065
1174.32/1177.47 c #Conflicts: 553000 | #Constraints: 28065
1174.32/1177.47 c #Conflicts: 554000 | #Constraints: 29065
1174.32/1177.47 c #Conflicts: 555000 | #Constraints: 30065
1174.32/1177.47 c #Conflicts: 556000 | #Constraints: 31065
1174.32/1177.47 c #Conflicts: 557000 | #Constraints: 32065
1174.32/1177.47 c #Conflicts: 558000 | #Constraints: 33065
1174.32/1177.47 c #Conflicts: 559000 | #Constraints: 34065
1174.32/1177.47 c #Conflicts: 560000 | #Constraints: 35065
1174.32/1177.47 c #Conflicts: 561000 | #Constraints: 36065
1174.32/1177.47 c INPROCESSING
1174.32/1177.47 c GARBAGE COLLECT
1174.32/1177.47 c #Conflicts: 562000 | #Constraints: 22276
1174.32/1177.47 c #Conflicts: 563000 | #Constraints: 23276
1174.32/1177.47 c #Conflicts: 564000 | #Constraints: 24276
1174.32/1177.47 c #Conflicts: 565000 | #Constraints: 25276
1174.32/1177.47 c #Conflicts: 566000 | #Constraints: 26276
1174.32/1177.47 c #Conflicts: 567000 | #Constraints: 27276
1174.32/1177.47 c #Conflicts: 568000 | #Constraints: 28276
1174.32/1177.47 c #Conflicts: 569000 | #Constraints: 29276
1174.32/1177.47 c #Conflicts: 570000 | #Constraints: 30276
1174.32/1177.47 c #Conflicts: 571000 | #Constraints: 31276
1174.32/1177.47 c #Conflicts: 572000 | #Constraints: 32276
1174.32/1177.47 c #Conflicts: 573000 | #Constraints: 33276
1174.32/1177.47 c #Conflicts: 574000 | #Constraints: 34276
1174.32/1177.47 c #Conflicts: 575000 | #Constraints: 35276
1174.32/1177.47 c #Conflicts: 576000 | #Constraints: 36276
1174.32/1177.47 c INPROCESSING
1174.32/1177.47 c GARBAGE COLLECT
1174.32/1177.47 c #Conflicts: 577000 | #Constraints: 22274
1174.32/1177.47 c #Conflicts: 578000 | #Constraints: 23274
1174.32/1177.47 c #Conflicts: 579000 | #Constraints: 24274
1174.32/1177.47 c #Conflicts: 580000 | #Constraints: 25274
1174.32/1177.47 c #Conflicts: 581000 | #Constraints: 26274
1174.32/1177.47 c #Conflicts: 582000 | #Constraints: 27274
1174.32/1177.47 c #Conflicts: 583000 | #Constraints: 28274
1174.32/1177.47 c #Conflicts: 584000 | #Constraints: 29274
1174.32/1177.47 c #Conflicts: 585000 | #Constraints: 30274
1174.32/1177.47 c #Conflicts: 586000 | #Constraints: 31274
1174.32/1177.47 c #Conflicts: 587000 | #Constraints: 32274
1174.32/1177.47 c #Conflicts: 588000 | #Constraints: 33274
1352.36/1355.94 c #Conflicts: 589000 | #Constraints: 34274
1352.36/1355.94 c #Conflicts: 590000 | #Constraints: 35274
1352.36/1355.94 c #Conflicts: 591000 | #Constraints: 36274
1352.36/1355.94 c INPROCESSING
1352.36/1355.94 c GARBAGE COLLECT
1352.36/1355.94 c #Conflicts: 592000 | #Constraints: 22067
1352.36/1355.94 c #Conflicts: 593000 | #Constraints: 23067
1352.36/1355.94 c #Conflicts: 594000 | #Constraints: 24067
1352.36/1355.94 c #Conflicts: 595000 | #Constraints: 25067
1352.36/1355.94 c #Conflicts: 596000 | #Constraints: 26067
1352.36/1355.94 c #Conflicts: 597000 | #Constraints: 27067
1352.36/1355.94 c #Conflicts: 598000 | #Constraints: 28067
1352.36/1355.94 c #Conflicts: 599000 | #Constraints: 29067
1352.36/1355.94 c #Conflicts: 600000 | #Constraints: 30067
1352.36/1355.94 c #Conflicts: 601000 | #Constraints: 31067
1352.36/1355.94 c #Conflicts: 602000 | #Constraints: 32067
1352.36/1355.94 c #Conflicts: 603000 | #Constraints: 33067
1352.36/1355.94 c #Conflicts: 604000 | #Constraints: 34067
1352.36/1355.94 c #Conflicts: 605000 | #Constraints: 35067
1352.36/1355.94 c #Conflicts: 606000 | #Constraints: 36067
1352.36/1355.94 c #Conflicts: 607000 | #Constraints: 37067
1352.36/1355.94 c INPROCESSING
1352.36/1355.94 c GARBAGE COLLECT
1352.36/1355.94 c #Conflicts: 608000 | #Constraints: 22668
1352.36/1355.94 c #Conflicts: 609000 | #Constraints: 23668
1352.36/1355.94 c #Conflicts: 610000 | #Constraints: 24668
1352.36/1355.94 c #Conflicts: 611000 | #Constraints: 25668
1352.36/1355.94 c #Conflicts: 612000 | #Constraints: 26668
1352.36/1355.94 c #Conflicts: 613000 | #Constraints: 27668
1352.36/1355.94 c #Conflicts: 614000 | #Constraints: 28668
1352.36/1355.94 c #Conflicts: 615000 | #Constraints: 29668
1352.36/1355.94 c #Conflicts: 616000 | #Constraints: 30668
1352.36/1355.94 c #Conflicts: 617000 | #Constraints: 31668
1352.36/1355.94 c #Conflicts: 618000 | #Constraints: 32668
1352.36/1355.94 c #Conflicts: 619000 | #Constraints: 33668
1352.36/1355.94 c #Conflicts: 620000 | #Constraints: 34668
1352.36/1355.94 c #Conflicts: 621000 | #Constraints: 35668
1352.36/1355.94 c #Conflicts: 622000 | #Constraints: 36668
1352.36/1355.94 c #Conflicts: 623000 | #Constraints: 37668
1352.36/1355.94 c INPROCESSING
1352.36/1355.94 c GARBAGE COLLECT
1352.36/1355.94 c #Conflicts: 624000 | #Constraints: 23073
1352.36/1355.94 c #Conflicts: 625000 | #Constraints: 24073
1352.36/1355.94 c #Conflicts: 626000 | #Constraints: 25073
1352.36/1355.94 c #Conflicts: 627000 | #Constraints: 26073
1352.36/1355.94 c #Conflicts: 628000 | #Constraints: 27073
1352.36/1355.94 c #Conflicts: 629000 | #Constraints: 28073
1352.36/1355.94 c #Conflicts: 630000 | #Constraints: 29073
1352.36/1355.94 c #Conflicts: 631000 | #Constraints: 30073
1352.36/1355.94 c #Conflicts: 632000 | #Constraints: 31073
1352.36/1355.94 c #Conflicts: 633000 | #Constraints: 32073
1352.36/1355.94 c #Conflicts: 634000 | #Constraints: 33073
1352.36/1355.94 c #Conflicts: 635000 | #Constraints: 34073
1352.36/1355.94 c #Conflicts: 636000 | #Constraints: 35073
1352.36/1355.94 c #Conflicts: 637000 | #Constraints: 36073
1352.36/1355.94 c #Conflicts: 638000 | #Constraints: 37073
1352.36/1355.94 c #Conflicts: 639000 | #Constraints: 38073
1352.36/1355.94 c INPROCESSING
1352.36/1355.94 c GARBAGE COLLECT
1352.36/1355.94 c #Conflicts: 640000 | #Constraints: 23274
1352.36/1355.94 c #Conflicts: 641000 | #Constraints: 24274
1352.36/1355.94 c #Conflicts: 642000 | #Constraints: 25274
1352.36/1355.94 c #Conflicts: 643000 | #Constraints: 26274
1352.36/1355.94 c #Conflicts: 644000 | #Constraints: 27274
1352.36/1355.94 c #Conflicts: 645000 | #Constraints: 28274
1352.36/1355.94 c #Conflicts: 646000 | #Constraints: 29274
1352.36/1355.94 c #Conflicts: 647000 | #Constraints: 30274
1352.36/1355.94 c #Conflicts: 648000 | #Constraints: 31274
1352.36/1355.94 c #Conflicts: 649000 | #Constraints: 32274
1352.36/1355.94 c #Conflicts: 650000 | #Constraints: 33274
1352.36/1355.94 c #Conflicts: 651000 | #Constraints: 34274
1352.36/1355.94 c #Conflicts: 652000 | #Constraints: 35274
1352.36/1355.94 c #Conflicts: 653000 | #Constraints: 36274
1352.36/1355.94 c #Conflicts: 654000 | #Constraints: 37274
1352.36/1355.94 c #Conflicts: 655000 | #Constraints: 38274
1352.36/1355.94 c INPROCESSING
1352.36/1355.94 c GARBAGE COLLECT
1352.36/1355.94 c #Conflicts: 656000 | #Constraints: 23275
1352.36/1355.94 c #Conflicts: 657000 | #Constraints: 24275
1352.36/1355.94 c #Conflicts: 658000 | #Constraints: 25275
1352.36/1355.94 c #Conflicts: 659000 | #Constraints: 26275
1352.36/1355.94 c #Conflicts: 660000 | #Constraints: 27275
1352.36/1355.94 c #Conflicts: 661000 | #Constraints: 28275
1352.36/1355.94 c #Conflicts: 662000 | #Constraints: 29275
1352.36/1355.94 c #Conflicts: 663000 | #Constraints: 30275
1352.36/1355.94 c #Conflicts: 664000 | #Constraints: 31275
1741.96/1746.52 c #Conflicts: 665000 | #Constraints: 32275
1741.96/1746.52 c #Conflicts: 666000 | #Constraints: 33275
1741.96/1746.52 c #Conflicts: 667000 | #Constraints: 34275
1741.96/1746.52 c #Conflicts: 668000 | #Constraints: 35275
1741.96/1746.52 c #Conflicts: 669000 | #Constraints: 36275
1741.96/1746.52 c #Conflicts: 670000 | #Constraints: 37275
1741.96/1746.52 c #Conflicts: 671000 | #Constraints: 38275
1741.96/1746.52 c INPROCESSING
1741.96/1746.52 c GARBAGE COLLECT
1741.96/1746.52 c #Conflicts: 672000 | #Constraints: 23085
1741.96/1746.52 c #Conflicts: 673000 | #Constraints: 24085
1741.96/1746.52 c #Conflicts: 674000 | #Constraints: 25085
1741.96/1746.52 c #Conflicts: 675000 | #Constraints: 26085
1741.96/1746.52 c #Conflicts: 676000 | #Constraints: 27085
1741.96/1746.52 c #Conflicts: 677000 | #Constraints: 28085
1741.96/1746.52 c #Conflicts: 678000 | #Constraints: 29085
1741.96/1746.52 c #Conflicts: 679000 | #Constraints: 30085
1741.96/1746.52 c #Conflicts: 680000 | #Constraints: 31085
1741.96/1746.52 c #Conflicts: 681000 | #Constraints: 32085
1741.96/1746.52 c #Conflicts: 682000 | #Constraints: 33085
1741.96/1746.52 c #Conflicts: 683000 | #Constraints: 34085
1741.96/1746.52 c #Conflicts: 684000 | #Constraints: 35085
1741.96/1746.52 c #Conflicts: 685000 | #Constraints: 36085
1741.96/1746.52 c #Conflicts: 686000 | #Constraints: 37085
1741.96/1746.52 c #Conflicts: 687000 | #Constraints: 38085
1741.96/1746.52 c #Conflicts: 688000 | #Constraints: 39085
1741.96/1746.52 c #Conflicts: 689000 | #Constraints: 40085
1741.96/1746.52 c #Conflicts: 690000 | #Constraints: 41085
1741.96/1746.52 c #Conflicts: 691000 | #Constraints: 42085
1741.96/1746.52 c #Conflicts: 692000 | #Constraints: 43085
1741.96/1746.52 c #Conflicts: 693000 | #Constraints: 44085
1741.96/1746.52 c #Conflicts: 694000 | #Constraints: 45085
1741.96/1746.52 c #Conflicts: 695000 | #Constraints: 46085
1741.96/1746.52 c #Conflicts: 696000 | #Constraints: 47085
1741.96/1746.52 c #Conflicts: 697000 | #Constraints: 48085
1741.96/1746.52 c #Conflicts: 698000 | #Constraints: 49085
1741.96/1746.52 c #Conflicts: 699000 | #Constraints: 50085
1741.96/1746.52 c #Conflicts: 700000 | #Constraints: 51085
1741.96/1746.52 c #Conflicts: 701000 | #Constraints: 52085
1741.96/1746.52 c #Conflicts: 702000 | #Constraints: 53085
1741.96/1746.52 c #Conflicts: 703000 | #Constraints: 54085
1741.96/1746.52 c #Conflicts: 704000 | #Constraints: 55085
1741.96/1746.52 c #Conflicts: 705000 | #Constraints: 56085
1741.96/1746.52 c #Conflicts: 706000 | #Constraints: 57085
1741.96/1746.52 c #Conflicts: 707000 | #Constraints: 58085
1741.96/1746.52 c #Conflicts: 708000 | #Constraints: 59085
1741.96/1746.52 c #Conflicts: 709000 | #Constraints: 60085
1741.96/1746.52 c #Conflicts: 710000 | #Constraints: 61085
1741.96/1746.52 c #Conflicts: 711000 | #Constraints: 62085
1741.96/1746.52 c #Conflicts: 712000 | #Constraints: 63085
1741.96/1746.52 c #Conflicts: 713000 | #Constraints: 64085
1741.96/1746.52 c #Conflicts: 714000 | #Constraints: 65085
1741.96/1746.52 c #Conflicts: 715000 | #Constraints: 66085
1741.96/1746.52 c #Conflicts: 716000 | #Constraints: 67085
1741.96/1746.52 c #Conflicts: 717000 | #Constraints: 68085
1741.96/1746.52 c #Conflicts: 718000 | #Constraints: 69085
1741.96/1746.52 c #Conflicts: 719000 | #Constraints: 70085
1741.96/1746.52 c #Conflicts: 720000 | #Constraints: 71085
1741.96/1746.52 c #Conflicts: 721000 | #Constraints: 72085
1741.96/1746.52 c #Conflicts: 722000 | #Constraints: 73085
1741.96/1746.52 c #Conflicts: 723000 | #Constraints: 74085
1741.96/1746.52 c #Conflicts: 724000 | #Constraints: 75085
1741.96/1746.52 c #Conflicts: 725000 | #Constraints: 76085
1741.96/1746.52 c #Conflicts: 726000 | #Constraints: 77085
1741.96/1746.52 c #Conflicts: 727000 | #Constraints: 78085
1741.96/1746.52 c #Conflicts: 728000 | #Constraints: 79085
1741.96/1746.52 c #Conflicts: 729000 | #Constraints: 80085
1741.96/1746.52 c #Conflicts: 730000 | #Constraints: 81085
1741.96/1746.52 c #Conflicts: 731000 | #Constraints: 82085
1741.96/1746.52 c #Conflicts: 732000 | #Constraints: 83085
1741.96/1746.52 c #Conflicts: 733000 | #Constraints: 84085
1741.96/1746.52 c #Conflicts: 734000 | #Constraints: 85085
1741.96/1746.52 c #Conflicts: 735000 | #Constraints: 86085
1741.96/1746.52 c #Conflicts: 736000 | #Constraints: 87085
1741.96/1746.52 c #Conflicts: 737000 | #Constraints: 88085
1741.96/1746.52 c #Conflicts: 738000 | #Constraints: 89085
1741.96/1746.52 c #Conflicts: 739000 | #Constraints: 90085
1741.96/1746.52 c #Conflicts: 740000 | #Constraints: 91085
1741.96/1746.52 c #Conflicts: 741000 | #Constraints: 92085
1741.96/1746.52 c #Conflicts: 742000 | #Constraints: 93085
2195.59/2201.31 c #Conflicts: 743000 | #Constraints: 94085
2195.59/2201.31 c #Conflicts: 744000 | #Constraints: 95085
2195.59/2201.31 c #Conflicts: 745000 | #Constraints: 96085
2195.59/2201.31 c #Conflicts: 746000 | #Constraints: 97085
2195.59/2201.31 c #Conflicts: 747000 | #Constraints: 98085
2195.59/2201.31 c #Conflicts: 748000 | #Constraints: 99085
2195.59/2201.31 c #Conflicts: 749000 | #Constraints: 100085
2195.59/2201.31 c #Conflicts: 750000 | #Constraints: 101085
2195.59/2201.31 c #Conflicts: 751000 | #Constraints: 102085
2195.59/2201.31 c #Conflicts: 752000 | #Constraints: 103085
2195.59/2201.31 c #Conflicts: 753000 | #Constraints: 104085
2195.59/2201.31 c #Conflicts: 754000 | #Constraints: 105085
2195.59/2201.31 c INPROCESSING
2195.59/2201.31 c GARBAGE COLLECT
2195.59/2201.31 c #Conflicts: 755000 | #Constraints: 56410
2195.59/2201.31 c #Conflicts: 756000 | #Constraints: 57410
2195.59/2201.31 c #Conflicts: 757000 | #Constraints: 58410
2195.59/2201.31 c #Conflicts: 758000 | #Constraints: 59410
2195.59/2201.31 c #Conflicts: 759000 | #Constraints: 60410
2195.59/2201.31 c #Conflicts: 760000 | #Constraints: 61410
2195.59/2201.31 c #Conflicts: 761000 | #Constraints: 62410
2195.59/2201.31 c #Conflicts: 762000 | #Constraints: 63410
2195.59/2201.31 c #Conflicts: 763000 | #Constraints: 64410
2195.59/2201.31 c #Conflicts: 764000 | #Constraints: 65410
2195.59/2201.31 c #Conflicts: 765000 | #Constraints: 66410
2195.59/2201.31 c #Conflicts: 766000 | #Constraints: 67410
2195.59/2201.31 c #Conflicts: 767000 | #Constraints: 68410
2195.59/2201.31 c #Conflicts: 768000 | #Constraints: 69410
2195.59/2201.31 c #Conflicts: 769000 | #Constraints: 70410
2195.59/2201.31 c #Conflicts: 770000 | #Constraints: 71410
2195.59/2201.31 c #Conflicts: 771000 | #Constraints: 72410
2195.59/2201.31 c #Conflicts: 772000 | #Constraints: 73410
2195.59/2201.31 c INPROCESSING
2195.59/2201.31 c GARBAGE COLLECT
2195.59/2201.31 c #Conflicts: 773000 | #Constraints: 40702
2195.59/2201.31 c #Conflicts: 774000 | #Constraints: 41702
2195.59/2201.31 c #Conflicts: 775000 | #Constraints: 42702
2195.59/2201.31 c #Conflicts: 776000 | #Constraints: 43702
2195.59/2201.31 c #Conflicts: 777000 | #Constraints: 44702
2195.59/2201.31 c #Conflicts: 778000 | #Constraints: 45702
2195.59/2201.31 c #Conflicts: 779000 | #Constraints: 46702
2195.59/2201.31 c #Conflicts: 780000 | #Constraints: 47702
2195.59/2201.31 c #Conflicts: 781000 | #Constraints: 48702
2195.59/2201.31 c #Conflicts: 782000 | #Constraints: 49702
2195.59/2201.31 c #Conflicts: 783000 | #Constraints: 50702
2195.59/2201.31 c #Conflicts: 784000 | #Constraints: 51702
2195.59/2201.31 c #Conflicts: 785000 | #Constraints: 52702
2195.59/2201.31 c #Conflicts: 786000 | #Constraints: 53702
2195.59/2201.31 c #Conflicts: 787000 | #Constraints: 54702
2195.59/2201.31 c #Conflicts: 788000 | #Constraints: 55702
2195.59/2201.31 c #Conflicts: 789000 | #Constraints: 56702
2195.59/2201.31 c #Conflicts: 790000 | #Constraints: 57702
2195.59/2201.31 c INPROCESSING
2195.59/2201.31 c GARBAGE COLLECT
2195.59/2201.31 c #Conflicts: 791000 | #Constraints: 32896
2195.59/2201.31 c #Conflicts: 792000 | #Constraints: 33896
2195.59/2201.31 c #Conflicts: 793000 | #Constraints: 34896
2195.59/2201.31 c #Conflicts: 794000 | #Constraints: 35896
2195.59/2201.31 c #Conflicts: 795000 | #Constraints: 36896
2195.59/2201.31 c #Conflicts: 796000 | #Constraints: 37896
2195.59/2201.31 c #Conflicts: 797000 | #Constraints: 38896
2195.59/2201.31 c #Conflicts: 798000 | #Constraints: 39896
2195.59/2201.31 c #Conflicts: 799000 | #Constraints: 40896
2195.59/2201.31 c #Conflicts: 800000 | #Constraints: 41896
2195.59/2201.31 c #Conflicts: 801000 | #Constraints: 42896
2195.59/2201.31 c #Conflicts: 802000 | #Constraints: 43896
2195.59/2201.31 c #Conflicts: 803000 | #Constraints: 44896
2195.59/2201.31 c #Conflicts: 804000 | #Constraints: 45896
2195.59/2201.31 c #Conflicts: 805000 | #Constraints: 46896
2195.59/2201.31 c #Conflicts: 806000 | #Constraints: 47896
2195.59/2201.31 c #Conflicts: 807000 | #Constraints: 48896
2195.59/2201.31 c #Conflicts: 808000 | #Constraints: 49896
2195.59/2201.31 c INPROCESSING
2195.59/2201.31 c GARBAGE COLLECT
2195.59/2201.31 c #Conflicts: 809000 | #Constraints: 28942
2195.59/2201.31 c #Conflicts: 810000 | #Constraints: 29942
2195.59/2201.31 c #Conflicts: 811000 | #Constraints: 30942
2195.59/2201.31 c #Conflicts: 812000 | #Constraints: 31942
2195.59/2201.31 c #Conflicts: 813000 | #Constraints: 32942
2195.59/2201.31 c #Conflicts: 814000 | #Constraints: 33942
2195.59/2201.31 c #Conflicts: 815000 | #Constraints: 34942
2195.59/2201.31 c #Conflicts: 816000 | #Constraints: 35942
2195.59/2201.31 c #Conflicts: 817000 | #Constraints: 36942
2195.59/2201.31 c #Conflicts: 818000 | #Constraints: 37942
2528.02/2534.68 c #Conflicts: 819000 | #Constraints: 38942
2528.02/2534.68 c #Conflicts: 820000 | #Constraints: 39942
2528.02/2534.68 c #Conflicts: 821000 | #Constraints: 40942
2528.02/2534.68 c #Conflicts: 822000 | #Constraints: 41942
2528.02/2534.68 c #Conflicts: 823000 | #Constraints: 42942
2528.02/2534.68 c #Conflicts: 824000 | #Constraints: 43942
2528.02/2534.68 c #Conflicts: 825000 | #Constraints: 44942
2528.02/2534.68 c #Conflicts: 826000 | #Constraints: 45942
2528.02/2534.68 c INPROCESSING
2528.02/2534.68 c GARBAGE COLLECT
2528.02/2534.68 c #Conflicts: 827000 | #Constraints: 26807
2528.02/2534.68 c #Conflicts: 828000 | #Constraints: 27807
2528.02/2534.68 c #Conflicts: 829000 | #Constraints: 28807
2528.02/2534.68 c #Conflicts: 830000 | #Constraints: 29807
2528.02/2534.68 c #Conflicts: 831000 | #Constraints: 30807
2528.02/2534.68 c #Conflicts: 832000 | #Constraints: 31807
2528.02/2534.68 c #Conflicts: 833000 | #Constraints: 32807
2528.02/2534.68 c #Conflicts: 834000 | #Constraints: 33807
2528.02/2534.68 c #Conflicts: 835000 | #Constraints: 34807
2528.02/2534.68 c #Conflicts: 836000 | #Constraints: 35807
2528.02/2534.68 c #Conflicts: 837000 | #Constraints: 36807
2528.02/2534.68 c #Conflicts: 838000 | #Constraints: 37807
2528.02/2534.68 c #Conflicts: 839000 | #Constraints: 38807
2528.02/2534.68 c #Conflicts: 840000 | #Constraints: 39807
2528.02/2534.68 c #Conflicts: 841000 | #Constraints: 40807
2528.02/2534.68 c #Conflicts: 842000 | #Constraints: 41807
2528.02/2534.68 c #Conflicts: 843000 | #Constraints: 42807
2528.02/2534.68 c #Conflicts: 844000 | #Constraints: 43807
2528.02/2534.68 c #Conflicts: 845000 | #Constraints: 44807
2528.02/2534.68 c INPROCESSING
2528.02/2534.68 c GARBAGE COLLECT
2528.02/2534.68 c #Conflicts: 846000 | #Constraints: 26487
2528.02/2534.68 c #Conflicts: 847000 | #Constraints: 27487
2528.02/2534.68 c #Conflicts: 848000 | #Constraints: 28487
2528.02/2534.68 c #Conflicts: 849000 | #Constraints: 29487
2528.02/2534.68 c #Conflicts: 850000 | #Constraints: 30487
2528.02/2534.68 c #Conflicts: 851000 | #Constraints: 31487
2528.02/2534.68 c #Conflicts: 852000 | #Constraints: 32487
2528.02/2534.68 c #Conflicts: 853000 | #Constraints: 33487
2528.02/2534.68 c #Conflicts: 854000 | #Constraints: 34487
2528.02/2534.68 c #Conflicts: 855000 | #Constraints: 35487
2528.02/2534.68 c #Conflicts: 856000 | #Constraints: 36487
2528.02/2534.68 c #Conflicts: 857000 | #Constraints: 37487
2528.02/2534.68 c #Conflicts: 858000 | #Constraints: 38487
2528.02/2534.68 c #Conflicts: 859000 | #Constraints: 39487
2528.02/2534.68 c #Conflicts: 860000 | #Constraints: 40487
2528.02/2534.68 c #Conflicts: 861000 | #Constraints: 41487
2528.02/2534.68 c #Conflicts: 862000 | #Constraints: 42487
2528.02/2534.68 c #Conflicts: 863000 | #Constraints: 43487
2528.02/2534.68 c #Conflicts: 864000 | #Constraints: 44487
2528.02/2534.68 c #Conflicts: 865000 | #Constraints: 45487
2528.02/2534.68 c #Conflicts: 866000 | #Constraints: 46487
2528.02/2534.68 c #Conflicts: 867000 | #Constraints: 47487
2528.02/2534.68 c #Conflicts: 868000 | #Constraints: 48487
2528.02/2534.68 c #Conflicts: 869000 | #Constraints: 49487
2528.02/2534.68 c #Conflicts: 870000 | #Constraints: 50487
2528.02/2534.68 c #Conflicts: 871000 | #Constraints: 51487
2528.02/2534.68 c #Conflicts: 872000 | #Constraints: 52487
2528.02/2534.68 c #Conflicts: 873000 | #Constraints: 53487
2528.02/2534.68 c #Conflicts: 874000 | #Constraints: 54487
2528.02/2534.68 c #Conflicts: 875000 | #Constraints: 55487
2528.02/2534.68 c #Conflicts: 876000 | #Constraints: 56487
2528.02/2534.68 c #Conflicts: 877000 | #Constraints: 57487
2528.02/2534.68 c #Conflicts: 878000 | #Constraints: 58487
2528.02/2534.68 c #Conflicts: 879000 | #Constraints: 59487
2528.02/2534.68 c #Conflicts: 880000 | #Constraints: 60487
2528.02/2534.68 c #Conflicts: 881000 | #Constraints: 61487
2528.02/2534.68 c #Conflicts: 882000 | #Constraints: 62487
2528.02/2534.68 c #Conflicts: 883000 | #Constraints: 63487
2528.02/2534.68 c #Conflicts: 884000 | #Constraints: 64487
2528.02/2534.68 c #Conflicts: 885000 | #Constraints: 65487
2528.02/2534.68 c #Conflicts: 886000 | #Constraints: 66487
2528.02/2534.68 c #Conflicts: 887000 | #Constraints: 67487
2528.02/2534.68 c #Conflicts: 888000 | #Constraints: 68487
2528.02/2534.68 c #Conflicts: 889000 | #Constraints: 69487
2528.02/2534.68 c #Conflicts: 890000 | #Constraints: 70487
2528.02/2534.68 c #Conflicts: 891000 | #Constraints: 71487
2528.02/2534.68 c #Conflicts: 892000 | #Constraints: 72487
2528.02/2534.68 c #Conflicts: 893000 | #Constraints: 73487
2528.02/2534.68 c #Conflicts: 894000 | #Constraints: 74487
2528.02/2534.68 c #Conflicts: 895000 | #Constraints: 75487
2528.02/2534.68 c #Conflicts: 896000 | #Constraints: 76487
3189.22/3197.50 c #Conflicts: 897000 | #Constraints: 77487
3189.22/3197.50 c #Conflicts: 898000 | #Constraints: 78487
3189.22/3197.50 c #Conflicts: 899000 | #Constraints: 79487
3189.22/3197.50 c #Conflicts: 900000 | #Constraints: 80487
3189.22/3197.50 c #Conflicts: 901000 | #Constraints: 81487
3189.22/3197.50 c #Conflicts: 902000 | #Constraints: 82487
3189.22/3197.50 c #Conflicts: 903000 | #Constraints: 83487
3189.22/3197.50 c #Conflicts: 904000 | #Constraints: 84487
3189.22/3197.50 c #Conflicts: 905000 | #Constraints: 85487
3189.22/3197.50 c #Conflicts: 906000 | #Constraints: 86487
3189.22/3197.50 c #Conflicts: 907000 | #Constraints: 87487
3189.22/3197.50 c #Conflicts: 908000 | #Constraints: 88487
3189.22/3197.50 c #Conflicts: 909000 | #Constraints: 89487
3189.22/3197.50 c #Conflicts: 910000 | #Constraints: 90487
3189.22/3197.50 c #Conflicts: 911000 | #Constraints: 91487
3189.22/3197.50 c #Conflicts: 912000 | #Constraints: 92487
3189.22/3197.50 c #Conflicts: 913000 | #Constraints: 93487
3189.22/3197.50 c #Conflicts: 914000 | #Constraints: 94487
3189.22/3197.50 c #Conflicts: 915000 | #Constraints: 95487
3189.22/3197.50 c #Conflicts: 916000 | #Constraints: 96487
3189.22/3197.50 c #Conflicts: 917000 | #Constraints: 97487
3189.22/3197.50 c #Conflicts: 918000 | #Constraints: 98487
3189.22/3197.50 c #Conflicts: 919000 | #Constraints: 99487
3189.22/3197.50 c #Conflicts: 920000 | #Constraints: 100487
3189.22/3197.50 c #Conflicts: 921000 | #Constraints: 101487
3189.22/3197.50 c #Conflicts: 922000 | #Constraints: 102487
3189.22/3197.50 c #Conflicts: 923000 | #Constraints: 103487
3189.22/3197.50 c #Conflicts: 924000 | #Constraints: 104487
3189.22/3197.50 c #Conflicts: 925000 | #Constraints: 105487
3189.22/3197.50 c #Conflicts: 926000 | #Constraints: 106487
3189.22/3197.50 c #Conflicts: 927000 | #Constraints: 107487
3189.22/3197.50 c #Conflicts: 928000 | #Constraints: 108487
3189.22/3197.50 c #Conflicts: 929000 | #Constraints: 109487
3189.22/3197.50 c #Conflicts: 930000 | #Constraints: 110487
3189.22/3197.50 c #Conflicts: 931000 | #Constraints: 111487
3189.22/3197.50 c #Conflicts: 932000 | #Constraints: 112487
3189.22/3197.50 c #Conflicts: 933000 | #Constraints: 113487
3189.22/3197.50 c #Conflicts: 934000 | #Constraints: 114487
3189.22/3197.50 c #Conflicts: 935000 | #Constraints: 115487
3189.22/3197.50 c #Conflicts: 936000 | #Constraints: 116487
3189.22/3197.50 c INPROCESSING
3189.22/3197.50 c GARBAGE COLLECT
3189.22/3197.50 c #Conflicts: 937000 | #Constraints: 62514
3189.22/3197.50 c #Conflicts: 938000 | #Constraints: 63514
3189.22/3197.50 c #Conflicts: 939000 | #Constraints: 64514
3189.22/3197.50 c #Conflicts: 940000 | #Constraints: 65514
3189.22/3197.50 c #Conflicts: 941000 | #Constraints: 66514
3189.22/3197.50 c #Conflicts: 942000 | #Constraints: 67514
3189.22/3197.50 c #Conflicts: 943000 | #Constraints: 68514
3189.22/3197.50 c #Conflicts: 944000 | #Constraints: 69514
3189.22/3197.50 c #Conflicts: 945000 | #Constraints: 70514
3189.22/3197.50 c #Conflicts: 946000 | #Constraints: 71514
3189.22/3197.50 c #Conflicts: 947000 | #Constraints: 72514
3189.22/3197.50 c #Conflicts: 948000 | #Constraints: 73514
3189.22/3197.50 c #Conflicts: 949000 | #Constraints: 74514
3189.22/3197.50 c #Conflicts: 950000 | #Constraints: 75514
3189.22/3197.50 c #Conflicts: 951000 | #Constraints: 76514
3189.22/3197.50 c #Conflicts: 952000 | #Constraints: 77514
3189.22/3197.50 c #Conflicts: 953000 | #Constraints: 78514
3189.22/3197.50 c #Conflicts: 954000 | #Constraints: 79514
3189.22/3197.50 c #Conflicts: 955000 | #Constraints: 80514
3189.22/3197.50 c INPROCESSING
3189.22/3197.50 c GARBAGE COLLECT
3189.22/3197.50 c #Conflicts: 956000 | #Constraints: 44132
3189.22/3197.50 c #Conflicts: 957000 | #Constraints: 45132
3189.22/3197.50 c #Conflicts: 958000 | #Constraints: 46132
3189.22/3197.50 c #Conflicts: 959000 | #Constraints: 47132
3189.22/3197.50 c #Conflicts: 960000 | #Constraints: 48132
3189.22/3197.50 c #Conflicts: 961000 | #Constraints: 49132
3189.22/3197.50 c #Conflicts: 962000 | #Constraints: 50132
3189.22/3197.50 c #Conflicts: 963000 | #Constraints: 51132
3189.22/3197.50 c #Conflicts: 964000 | #Constraints: 52132
3189.22/3197.50 c #Conflicts: 965000 | #Constraints: 53132
3189.22/3197.50 c #Conflicts: 966000 | #Constraints: 54132
3189.22/3197.50 c #Conflicts: 967000 | #Constraints: 55132
3189.22/3197.50 c #Conflicts: 968000 | #Constraints: 56132
3189.22/3197.50 c #Conflicts: 969000 | #Constraints: 57132
3189.22/3197.50 c #Conflicts: 970000 | #Constraints: 58132
3189.22/3197.50 c #Conflicts: 971000 | #Constraints: 59132
3189.22/3197.50 c #Conflicts: 972000 | #Constraints: 60132
3189.22/3197.50 c #Conflicts: 973000 | #Constraints: 61132
3556.66/3566.00 c #Conflicts: 974000 | #Constraints: 62132
3556.66/3566.00 c #Conflicts: 975000 | #Constraints: 63132
3556.66/3566.00 c INPROCESSING
3556.66/3566.00 c GARBAGE COLLECT
3556.66/3566.00 c #Conflicts: 976000 | #Constraints: 35429
3556.66/3566.00 c #Conflicts: 977000 | #Constraints: 36429
3556.66/3566.00 c #Conflicts: 978000 | #Constraints: 37429
3556.66/3566.00 c #Conflicts: 979000 | #Constraints: 38429
3556.66/3566.00 c #Conflicts: 980000 | #Constraints: 39429
3556.66/3566.00 c #Conflicts: 981000 | #Constraints: 40429
3556.66/3566.00 c #Conflicts: 982000 | #Constraints: 41429
3556.66/3566.00 c #Conflicts: 983000 | #Constraints: 42429
3556.66/3566.00 c #Conflicts: 984000 | #Constraints: 43429
3556.66/3566.00 c #Conflicts: 985000 | #Constraints: 44429
3556.66/3566.00 c #Conflicts: 986000 | #Constraints: 45429
3556.66/3566.00 c #Conflicts: 987000 | #Constraints: 46429
3556.66/3566.00 c #Conflicts: 988000 | #Constraints: 47429
3556.66/3566.00 c #Conflicts: 989000 | #Constraints: 48429
3556.66/3566.00 c #Conflicts: 990000 | #Constraints: 49429
3556.66/3566.00 c #Conflicts: 991000 | #Constraints: 50429
3556.66/3566.00 c #Conflicts: 992000 | #Constraints: 51429
3556.66/3566.00 c #Conflicts: 993000 | #Constraints: 52429
3556.66/3566.00 c #Conflicts: 994000 | #Constraints: 53429
3556.66/3566.00 c #Conflicts: 995000 | #Constraints: 54429
3556.66/3566.00 c #Conflicts: 996000 | #Constraints: 55429
3556.66/3566.00 c INPROCESSING
3556.66/3566.00 c GARBAGE COLLECT
3556.66/3566.00 c #Conflicts: 997000 | #Constraints: 31961
3556.66/3566.00 c #Conflicts: 998000 | #Constraints: 32961
3556.66/3566.00 c #Conflicts: 999000 | #Constraints: 33961
3556.66/3566.00 c #Conflicts: 1000000 | #Constraints: 34961
3556.66/3566.00 c #Conflicts: 1001000 | #Constraints: 35961
3556.66/3566.00 c #Conflicts: 1002000 | #Constraints: 36961
3556.66/3566.00 c #Conflicts: 1003000 | #Constraints: 37961
3556.66/3566.00 c #Conflicts: 1004000 | #Constraints: 38961
3556.66/3566.00 c #Conflicts: 1005000 | #Constraints: 39961
3556.66/3566.00 c #Conflicts: 1006000 | #Constraints: 40961
3556.66/3566.00 c #Conflicts: 1007000 | #Constraints: 41961
3556.66/3566.00 c #Conflicts: 1008000 | #Constraints: 42961
3556.66/3566.00 c #Conflicts: 1009000 | #Constraints: 43961
3556.66/3566.00 c #Conflicts: 1010000 | #Constraints: 44961
3556.66/3566.00 c #Conflicts: 1011000 | #Constraints: 45961
3556.66/3566.00 c #Conflicts: 1012000 | #Constraints: 46961
3556.66/3566.00 c #Conflicts: 1013000 | #Constraints: 47961
3556.66/3566.00 c #Conflicts: 1014000 | #Constraints: 48961
3556.66/3566.00 c #Conflicts: 1015000 | #Constraints: 49961
3556.66/3566.00 c #Conflicts: 1016000 | #Constraints: 50961
3556.66/3566.00 c INPROCESSING
3556.66/3566.00 c GARBAGE COLLECT
3556.66/3566.00 c #Conflicts: 1017000 | #Constraints: 29528
3556.66/3566.00 c #Conflicts: 1018000 | #Constraints: 30528
3556.66/3566.00 c #Conflicts: 1019000 | #Constraints: 31528
3556.66/3566.00 c #Conflicts: 1020000 | #Constraints: 32528
3556.66/3566.00 c #Conflicts: 1021000 | #Constraints: 33528
3556.66/3566.00 c #Conflicts: 1022000 | #Constraints: 34528
3556.66/3566.00 c #Conflicts: 1023000 | #Constraints: 35528
3556.66/3566.00 c #Conflicts: 1024000 | #Constraints: 36528
3556.66/3566.00 c #Conflicts: 1025000 | #Constraints: 37528
3556.66/3566.00 c #Conflicts: 1026000 | #Constraints: 38528
3556.66/3566.00 c #Conflicts: 1027000 | #Constraints: 39528
3556.66/3566.00 c #Conflicts: 1028000 | #Constraints: 40528
3556.66/3566.00 c #Conflicts: 1029000 | #Constraints: 41528
3556.66/3566.00 c #Conflicts: 1030000 | #Constraints: 42528
3556.66/3566.00 c #Conflicts: 1031000 | #Constraints: 43528
3556.66/3566.00 c #Conflicts: 1032000 | #Constraints: 44528
3556.66/3566.00 c #Conflicts: 1033000 | #Constraints: 45528
3556.66/3566.00 c #Conflicts: 1034000 | #Constraints: 46528
3556.66/3566.00 c #Conflicts: 1035000 | #Constraints: 47528
3556.66/3566.00 c #Conflicts: 1036000 | #Constraints: 48528
3556.66/3566.00 c #Conflicts: 1037000 | #Constraints: 49528
3556.66/3566.00 c #Conflicts: 1038000 | #Constraints: 50528
3556.66/3566.00 c #Conflicts: 1039000 | #Constraints: 51528
3556.66/3566.00 c #Conflicts: 1040000 | #Constraints: 52528
3556.66/3566.00 c #Conflicts: 1041000 | #Constraints: 53528
3556.66/3566.00 c #Conflicts: 1042000 | #Constraints: 54528
3556.66/3566.00 c #Conflicts: 1043000 | #Constraints: 55528
3556.66/3566.00 c #Conflicts: 1044000 | #Constraints: 56528
3556.66/3566.00 c #Conflicts: 1045000 | #Constraints: 57528
3556.66/3566.00 c #Conflicts: 1046000 | #Constraints: 58528
3556.66/3566.00 c #Conflicts: 1047000 | #Constraints: 59528
3556.66/3566.00 c #Conflicts: 1048000 | #Constraints: 60528
3556.66/3566.00 c #Conflicts: 1049000 | #Constraints: 61528
3556.66/3566.00 c #Conflicts: 1050000 | #Constraints: 62528
3600.05/3609.40 c #Conflicts: 1051000 | #Constraints: 63528
3600.05/3609.40 c #Conflicts: 1052000 | #Constraints: 64528
3600.05/3609.40 c #Conflicts: 1053000 | #Constraints: 65528
3600.05/3609.40 c #Conflicts: 1054000 | #Constraints: 66528
3600.05/3609.40 c #Conflicts: 1055000 | #Constraints: 67528
3600.05/3609.40 c #Conflicts: 1056000 | #Constraints: 68528
3600.05/3609.40 c Program interrupted by user.
3600.05/3609.40 c cpu time 3586.77 s
3600.05/3609.40 c deterministic time 321556372563 3.22e+11
3600.05/3609.40 c optimization time 198.57 s
3600.05/3609.40 c total solve time 3088.97 s
3600.05/3609.40 c core-guided solve time 3088.97 s
3600.05/3609.40 c propagation time 3160.16 s
3600.05/3609.40 c conflict analysis time 108.575 s
3600.05/3609.40 c propagations 570583726
3600.05/3609.40 c resolve steps 3969072
3600.05/3609.40 c decisions 6404336
3600.05/3609.40 c conflicts 1056366
3600.05/3609.40 c restarts 2046
3600.05/3609.40 c inprocessing phases 84
3600.05/3609.40 c input clauses 0
3600.05/3609.40 c input cardinalities 0
3600.05/3609.40 c input general constraints 6383
3600.05/3609.40 c input average constraint length 29.25
3600.05/3609.40 c input average constraint degree 443.57
3600.05/3609.40 c learned clauses 330243
3600.05/3609.40 c learned cardinalities 1
3600.05/3609.40 c learned general constraints 726122
3600.05/3609.40 c learned average constraint length 40.88
3600.05/3609.40 c learned average constraint degree 470579.48
3600.05/3609.40 c watched constraints 730245
3600.05/3609.40 c counting constraints 2260
3600.05/3609.40 c gcd simplifications 10182
3600.05/3609.40 c detected cardinalities 1
3600.05/3609.40 c weakened non-implied lits 4179411
3600.05/3609.40 c weakened non-implying lits 1111
3600.05/3609.40 c original variables 3296
3600.05/3609.40 c clausal propagations 575357
3600.05/3609.40 c cardinality propagations 0
3600.05/3609.40 c watched propagations 554453685
3600.05/3609.40 c counting propagations 14959353
3600.05/3609.40 c watch lookups 64816189613
3600.05/3609.40 c watch backjump lookups 62259621708
3600.05/3609.40 c watch checks 103026880833
3600.05/3609.40 c propagation checks 90152733533
3600.05/3609.40 c constraint additions 145914471
3600.05/3609.40 c trail pops 578044342
3600.05/3609.40 c formula constraints 6383
3600.05/3609.40 c learned constraints 1056366
3600.05/3609.40 c bound constraints 0
3600.05/3609.40 c core-guided constraints 0
3600.05/3609.40 c encountered formula constraints 3863905
3600.05/3609.40 c encountered learned constraints 1161533
3600.05/3609.40 c encountered bound constraints 0
3600.05/3609.40 c encountered core-guided constraints 0
3600.05/3609.40 c LP total time 0 s
3600.05/3609.40 c LP solve time 0 s
3600.05/3609.40 c LP constraints added 0
3600.05/3609.40 c LP constraints removed 0
3600.05/3609.40 c LP pivots internal 0
3600.05/3609.40 c LP pivots root 0
3600.05/3609.40 c LP calls 0
3600.05/3609.40 c LP optimalities 0
3600.05/3609.40 c LP no pivot count 0
3600.05/3609.40 c LP infeasibilities 0
3600.05/3609.40 c LP valid Farkas constraints 0
3600.05/3609.40 c LP learned Farkas constraints 0
3600.05/3609.40 c LP basis resets 0
3600.05/3609.40 c LP cycling count 0
3600.05/3609.40 c LP singular count 0
3600.05/3609.40 c LP no primal count 0
3600.05/3609.40 c LP no farkas count 0
3600.05/3609.40 c LP other issue count 0
3600.05/3609.40 c LP Gomory cuts 0
3600.05/3609.40 c LP learned cuts 0
3600.05/3609.40 c LP deleted cuts 0
3600.05/3609.40 c LP encountered Gomory constraints 0
3600.05/3609.40 c LP encountered Farkas constraints 0
3600.05/3609.40 c LP encountered learned Farkas constraints 0
3600.05/3609.40 c CG auxiliary variables introduced 0
3600.05/3609.40 c CG solutions found 0
3600.05/3609.40 c CG cores constructed 0
3600.05/3609.40 c CG core cardinality constraints returned 0
3600.05/3609.40 c CG unit cores 0
3600.05/3609.40 c CG single cores 0
3600.05/3609.40 c CG blocks removed during cardinality reduction 0
3600.05/3609.40 c CG first core best 0
3600.05/3609.40 c CG decision core best 0
3600.05/3609.40 c CG core reduction tie 0
3600.05/3609.40 c CG core degree average 0.00
3600.05/3609.40 c CG core slack average 0.00
3600.05/3609.40 c CG exhausted 0
3600.05/3609.40 c CG exhaust time 0 s
3600.05/3609.40 c CG trimmed 0
3600.05/3609.40 c CG trim time 0 s
3600.05/3609.40 c CG minimized 0
3600.05/3609.40 c CG minimize time 0 s
3600.05/3609.40 c CG am1 prop time 0.000134 s
3600.05/3609.40 c CG # am1s reformulated 0
3600.05/3609.40 c CG lower bound derived from am1s 0
3600.05/3609.40 c CG # clausal cores 0
3600.05/3609.40 c CG # cardinality cores 0
3600.05/3609.40 c CG # pb cores 0
3600.05/3609.40 c CG # pb reforms 0
3600.05/3609.40 c CG # cores discarded because of pb reform 0
3600.05/3609.40 d LOWERBOUND 0
3600.05/3609.40 d NCORES 0
3600.05/3609.40 d NPBCORES 0
3600.05/3609.40 d NPBREFORM 0
3600.05/3609.40 d NTRIMMED 0
3600.05/3609.40 d NEXHAUSTED 0
3600.05/3609.40 d NAM1S 0
3600.05/3609.40 d AM1LB 0
3600.05/3609.40 c [Papilo Statistics]
3600.05/3609.40 c prepro time 0.0668624s
3600.05/3609.40 c # tsx applied 3225
3600.05/3609.40 c # tsx conflicts 0
3600.05/3609.40 c # bound changes 1
3600.05/3609.40 c # side changes 2924
3600.05/3609.40 c # coef changes 420
3600.05/3609.40 c # rounds 3
3600.05/3609.40 c # deted vars 1
3600.05/3609.40 c # deted constrs 2904
3600.05/3609.40 c # consecutive rounds of only bound changes 0
3600.05/3609.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58844 MiB free)
memory of node 1: 64510 MiB (62031 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435479-1721104309/watcher-4435479-1721104309 -o /tmp/evaluation-result-4435479-1721104309/solver-4435479-1721104309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834477 --watchdog 3760 mixed-bag HOME/instance-4435479-1721104309.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=834818, runsolver pid=834815
Current StackSize limit: 8192 KiB
[startup+0.100425 s]*
/proc/loadavg: 3.81 4.03 4.07 5/260 834819
/proc/meminfo: memFree=123743216/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=90180 memory=19488 CPUtime=0.09 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 3450 0 0 0 9 0 0 0 20 0 1 0 162591113 92344320 4872 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 22545 4872 1647 3002 0 6835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90180 KiB
Current children cumulated memory: 19488 KiB
[startup+0.206445 s]*
/proc/loadavg: 3.81 4.03 4.07 5/260 834819
/proc/meminfo: memFree=123701888/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=137004 memory=68172 CPUtime=0.19 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 13192 0 0 0 17 2 0 0 20 0 1 0 162591113 140292096 17043 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 34251 17043 3700 3002 0 18002 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 68172 KiB
[startup+0.305608 s]*
/proc/loadavg: 3.81 4.03 4.07 5/260 834819
/proc/meminfo: memFree=123678592/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=161624 memory=89124 CPUtime=0.29 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 18330 0 0 0 26 3 0 0 20 0 1 0 162591113 165502976 22281 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 40406 22281 3796 3002 0 24157 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 161624 KiB
Current children cumulated memory: 89124 KiB
[startup+0.700209 s]
/proc/loadavg: 3.81 4.03 4.07 5/260 834819
/proc/meminfo: memFree=123612640/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=243832 memory=164012 CPUtime=0.68 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 35303 0 0 0 63 5 0 0 20 0 1 0 162591113 249683968 41003 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 60958 41003 4030 3002 0 44709 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 243832 KiB
Current children cumulated memory: 164012 KiB
[startup+1.50022 s]
/proc/loadavg: 3.81 4.03 4.07 5/260 834819
/proc/meminfo: memFree=123573072/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=318200 memory=232576 CPUtime=1.48 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 51941 0 0 0 140 8 0 0 20 0 1 0 162591113 325836800 58144 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 79550 58144 4061 3002 0 63301 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 318200 KiB
Current children cumulated memory: 232576 KiB
[startup+3.10548 s]
/proc/loadavg: 3.81 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123674724/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=318200 memory=234680 CPUtime=3.08 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 52455 0 0 0 300 8 0 0 20 0 1 0 162591113 325836800 58670 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 79550 58670 4061 3002 0 63301 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 318200 KiB
Current children cumulated memory: 234680 KiB
[startup+6.3002 s]
/proc/loadavg: 3.83 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123585528/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=338552 memory=256476 CPUtime=6.27 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 59455 0 0 0 617 10 0 0 20 0 1 0 162591113 346677248 64119 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 84638 64119 4061 3002 0 68389 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 338552 KiB
Current children cumulated memory: 256476 KiB
[startup+12.7002 s]
/proc/loadavg: 3.76 4.01 4.06 5/260 835237
/proc/meminfo: memFree=123514944/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=349016 memory=267544 CPUtime=12.65 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 62245 0 0 0 1254 11 0 0 20 0 1 0 162591113 357392384 66886 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 87254 66886 4061 3002 0 71005 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 349016 KiB
Current children cumulated memory: 267544 KiB
[startup+25.5002 s]
/proc/loadavg: 3.89 4.02 4.07 5/260 835284
/proc/meminfo: memFree=123581876/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=350748 memory=269284 CPUtime=25.41 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 64869 0 0 0 2530 11 0 0 20 0 1 0 162591113 359165952 67321 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 87687 67321 4061 3002 0 71438 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 350748 KiB
Current children cumulated memory: 269284 KiB
[startup+51.1055 s]
/proc/loadavg: 3.93 4.02 4.06 5/260 835333
/proc/meminfo: memFree=123535924/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=351200 memory=268416 CPUtime=50.95 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 74807 0 0 0 5082 13 0 0 20 0 1 0 162591113 359628800 67104 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 87800 67104 4061 3002 0 71551 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 351200 KiB
Current children cumulated memory: 268416 KiB
[startup+102.3 s]
/proc/loadavg: 4.44 4.14 4.10 5/259 835388
/proc/meminfo: memFree=123130656/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=399544 memory=319280 CPUtime=102.01 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 94425 0 0 0 10184 17 0 0 20 0 1 0 162591113 409133056 79820 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 99886 79820 4061 3002 0 83637 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 399544 KiB
Current children cumulated memory: 319280 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.16 4.11 5/259 835401
/proc/meminfo: memFree=122909216/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=399544 memory=319804 CPUtime=161.81 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 94541 0 0 0 16164 17 0 0 20 0 1 0 162591113 409133056 79951 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 99886 79951 4061 3002 0 83637 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 399544 KiB
Current children cumulated memory: 319804 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/258 835502
/proc/meminfo: memFree=123379220/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=424332 memory=346156 CPUtime=221.65 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 101999 0 0 0 22146 19 0 0 20 0 1 0 162591113 434515968 86539 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 106083 86539 4061 3002 0 89834 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 424332 KiB
Current children cumulated memory: 346156 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/258 835512
/proc/meminfo: memFree=123198144/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=424332 memory=355692 CPUtime=281.49 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 102069 0 0 0 28130 19 0 0 20 0 1 0 162591113 434515968 88923 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 106083 88923 4061 3002 0 89834 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 424332 KiB
Current children cumulated memory: 355692 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 836166
/proc/meminfo: memFree=121252828/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=408164 memory=344748 CPUtime=341.34 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 102935 0 0 0 34061 73 0 0 20 0 1 0 162591113 417959936 86187 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 102041 86187 4173 3002 0 85792 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 408164 KiB
Current children cumulated memory: 344748 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 836176
/proc/meminfo: memFree=120133480/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=408164 memory=349756 CPUtime=401.2 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 103215 0 0 0 39993 127 0 0 20 0 1 0 162591113 417959936 87439 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 102041 87439 4173 3002 0 85792 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 408164 KiB
Current children cumulated memory: 349756 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 836186
/proc/meminfo: memFree=119734132/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=412584 memory=350500 CPUtime=461.04 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 103534 0 0 0 45935 169 0 0 20 0 1 0 162591113 422486016 87625 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 103146 87625 4173 3002 0 86897 0
################
# More data... #
################
Current children cumulated memory: 378304 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 837243
/proc/meminfo: memFree=116850412/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=380352 CPUtime=2854.87 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 108580 0 0 0 284342 1145 0 0 20 0 1 0 162591113 461217792 95088 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95088 4173 3002 0 96353 0
Current children cumulated CPU time: 2854.87 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 380352 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 837257
/proc/meminfo: memFree=116741992/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=2914.72 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 108656 0 0 0 290317 1155 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 837268
/proc/meminfo: memFree=116658856/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=2974.57 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 108727 0 0 0 296291 1166 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/257 837279
/proc/meminfo: memFree=116645644/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3034.42 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 108797 0 0 0 302264 1178 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 837289
/proc/meminfo: memFree=116598660/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3094.27 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 108871 0 0 0 308237 1190 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 837302
/proc/meminfo: memFree=116585524/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3154.11 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 108938 0 0 0 314208 1203 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 837697
/proc/meminfo: memFree=116562696/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3213.96 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109010 0 0 0 320178 1218 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 837707
/proc/meminfo: memFree=116553324/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3273.8 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109078 0 0 0 326144 1236 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/257 837719
/proc/meminfo: memFree=116033952/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3333.64 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109148 0 0 0 332110 1254 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 837899
/proc/meminfo: memFree=116030944/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3393.48 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109215 0 0 0 338077 1271 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 837909
/proc/meminfo: memFree=116029648/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3453.33 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109285 0 0 0 344042 1291 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 837978
/proc/meminfo: memFree=115885924/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3513.17 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109354 0 0 0 350009 1308 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 837989
/proc/meminfo: memFree=115860336/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3573.02 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109423 0 0 0 355979 1323 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 837992
/proc/meminfo: memFree=115859780/131524600 swapFree=131071996/131071996
[pid=834818] ppid=834815 vsize=450408 memory=382400 CPUtime=3600.05 cores=4,6
/proc/834818/stat : 834818 (mixed-bag) R 834815 834818 834466 0 -1 4194304 109431 0 0 0 358677 1328 0 0 20 0 1 0 162591113 461217792 95600 134679101440 4194304 16487941 140726117007632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 39579648 140726117012503 140726117012580 140726117012580 140726117019595 0
/proc/834818/statm: 112602 95600 4173 3002 0 96353 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 450408 KiB
Current children cumulated memory: 382400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 834818 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.78 s, system=13.2893 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.07
CPU user time (s): 3586.78
CPU system time (s): 13.2893
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 450408
Max. memory (cumulated for all children) (KiB): 382400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.78
system time used= 13.2893
maximum resident set size= 383236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109468
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= 50
involuntary context switches= 1435
# summary of solver processes directly reported to runsolver:
# pid: 834818
# total CPU time (s): 3600.07
# total CPU user time (s): 3586.78
# total CPU system time (s): 13.2893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74684 second user time and 17.5335 second system time
The end
Begin job on nodeC015 at 2024-07-16 06:32:01
IDJOB=4435479
IDBENCH=147690
IDSOLVER=3066
FILE ID=nodeC015/4435479-1721104309
RUNJOBID= nodeC015-1721104319-834477
SLURM_JOB_ID= 7505624
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435479-1721104309/watcher-4435479-1721104309 -o /tmp/evaluation-result-4435479-1721104309/solver-4435479-1721104309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834477 --watchdog 3760 mixed-bag HOME/instance-4435479-1721104309.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=871709871
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.635
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3687.657
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.948
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.244
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.647
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3687.640
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123777544 kB
MemAvailable: 129153160 kB
Buffers: 380556 kB
Cached: 5823700 kB
SwapCached: 0 kB
Active: 1233796 kB
Inactive: 5899800 kB
Active(anon): 1548 kB
Inactive(anon): 965512 kB
Active(file): 1232248 kB
Inactive(file): 4934288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 72012 kB
Writeback: 4 kB
AnonPages: 927660 kB
Mapped: 137076 kB
Shmem: 37720 kB
KReclaimable: 97452 kB
Slab: 204352 kB
SReclaimable: 97452 kB
SUnreclaim: 106900 kB
KernelStack: 4160 kB
PageTables: 11072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1358824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 339968 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228052 kB
DirectMap2M: 33099776 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC015 at 2024-07-16 07:32:11