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.21/0.32 c [STEP] preprocessing with Papilo
0.50/0.52 c [STEP] solving with SCIP
299.41/300.59 c [STEP] preprocessing done, loading into solver
299.51/300.62 c [STEP] solving
299.51/300.62 c #variables 3296 #constraints 6383
299.51/300.62 c SMALL=int, LARGE=long long
299.51/300.62 d SCIPUB 128
299.51/300.62 c bounds - >= 0 @ 299.316
299.51/300.62 c stratification level: 0
340.57/341.81 c #Conflicts: 1000 | #Constraints: 7382
340.57/341.81 c #Conflicts: 2000 | #Constraints: 8382
340.57/341.81 c INPROCESSING
340.57/341.81 c #Conflicts: 3000 | #Constraints: 8397
340.57/341.81 c #Conflicts: 4000 | #Constraints: 9397
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 5000 | #Constraints: 8811
340.57/341.81 c #Conflicts: 6000 | #Constraints: 9811
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 7000 | #Constraints: 8823
340.57/341.81 c #Conflicts: 8000 | #Constraints: 9823
340.57/341.81 c #Conflicts: 9000 | #Constraints: 10823
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 10000 | #Constraints: 9527
340.57/341.81 c #Conflicts: 11000 | #Constraints: 10527
340.57/341.81 c #Conflicts: 12000 | #Constraints: 11527
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 13000 | #Constraints: 9985
340.57/341.81 c #Conflicts: 14000 | #Constraints: 10985
340.57/341.81 c #Conflicts: 15000 | #Constraints: 11985
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 16000 | #Constraints: 10213
340.57/341.81 c #Conflicts: 17000 | #Constraints: 11213
340.57/341.81 c #Conflicts: 18000 | #Constraints: 12213
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 19000 | #Constraints: 10223
340.57/341.81 c #Conflicts: 20000 | #Constraints: 11223
340.57/341.81 c #Conflicts: 21000 | #Constraints: 12223
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 22000 | #Constraints: 10036
340.57/341.81 c #Conflicts: 23000 | #Constraints: 11036
340.57/341.81 c #Conflicts: 24000 | #Constraints: 12036
340.57/341.81 c #Conflicts: 25000 | #Constraints: 13036
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 26000 | #Constraints: 10636
340.57/341.81 c #Conflicts: 27000 | #Constraints: 11636
340.57/341.81 c #Conflicts: 28000 | #Constraints: 12636
340.57/341.81 c #Conflicts: 29000 | #Constraints: 13636
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 30000 | #Constraints: 11038
340.57/341.81 c #Conflicts: 31000 | #Constraints: 12038
340.57/341.81 c #Conflicts: 32000 | #Constraints: 13038
340.57/341.81 c #Conflicts: 33000 | #Constraints: 14038
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 34000 | #Constraints: 11237
340.57/341.81 c #Conflicts: 35000 | #Constraints: 12237
340.57/341.81 c #Conflicts: 36000 | #Constraints: 13237
340.57/341.81 c #Conflicts: 37000 | #Constraints: 14237
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 38000 | #Constraints: 11236
340.57/341.81 c #Conflicts: 39000 | #Constraints: 12236
340.57/341.81 c #Conflicts: 40000 | #Constraints: 13236
340.57/341.81 c #Conflicts: 41000 | #Constraints: 14236
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 42000 | #Constraints: 11037
340.57/341.81 c #Conflicts: 43000 | #Constraints: 12037
340.57/341.81 c #Conflicts: 44000 | #Constraints: 13037
340.57/341.81 c #Conflicts: 45000 | #Constraints: 14037
340.57/341.81 c #Conflicts: 46000 | #Constraints: 15037
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 47000 | #Constraints: 11633
340.57/341.81 c #Conflicts: 48000 | #Constraints: 12633
340.57/341.81 c #Conflicts: 49000 | #Constraints: 13633
340.57/341.81 c #Conflicts: 50000 | #Constraints: 14633
340.57/341.81 c #Conflicts: 51000 | #Constraints: 15633
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 52000 | #Constraints: 12034
340.57/341.81 c #Conflicts: 53000 | #Constraints: 13034
340.57/341.81 c #Conflicts: 54000 | #Constraints: 14034
340.57/341.81 c #Conflicts: 55000 | #Constraints: 15034
340.57/341.81 c #Conflicts: 56000 | #Constraints: 16034
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 57000 | #Constraints: 12235
340.57/341.81 c #Conflicts: 58000 | #Constraints: 13235
340.57/341.81 c #Conflicts: 59000 | #Constraints: 14235
340.57/341.81 c #Conflicts: 60000 | #Constraints: 15235
340.57/341.81 c #Conflicts: 61000 | #Constraints: 16235
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 62000 | #Constraints: 12244
340.57/341.81 c #Conflicts: 63000 | #Constraints: 13244
340.57/341.81 c #Conflicts: 64000 | #Constraints: 14244
340.57/341.81 c #Conflicts: 65000 | #Constraints: 15244
340.57/341.81 c #Conflicts: 66000 | #Constraints: 16244
340.57/341.81 c INPROCESSING
340.57/341.81 c GARBAGE COLLECT
340.57/341.81 c #Conflicts: 67000 | #Constraints: 12043
340.57/341.81 c #Conflicts: 68000 | #Constraints: 13043
409.94/411.40 c #Conflicts: 69000 | #Constraints: 14043
409.94/411.40 c #Conflicts: 70000 | #Constraints: 15043
409.94/411.40 c #Conflicts: 71000 | #Constraints: 16043
409.94/411.40 c #Conflicts: 72000 | #Constraints: 17043
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 73000 | #Constraints: 12647
409.94/411.40 c #Conflicts: 74000 | #Constraints: 13647
409.94/411.40 c #Conflicts: 75000 | #Constraints: 14647
409.94/411.40 c #Conflicts: 76000 | #Constraints: 15647
409.94/411.40 c #Conflicts: 77000 | #Constraints: 16647
409.94/411.40 c #Conflicts: 78000 | #Constraints: 17647
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 79000 | #Constraints: 13047
409.94/411.40 c #Conflicts: 80000 | #Constraints: 14047
409.94/411.40 c #Conflicts: 81000 | #Constraints: 15047
409.94/411.40 c #Conflicts: 82000 | #Constraints: 16047
409.94/411.40 c #Conflicts: 83000 | #Constraints: 17047
409.94/411.40 c #Conflicts: 84000 | #Constraints: 18047
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 85000 | #Constraints: 13247
409.94/411.40 c #Conflicts: 86000 | #Constraints: 14247
409.94/411.40 c #Conflicts: 87000 | #Constraints: 15247
409.94/411.40 c #Conflicts: 88000 | #Constraints: 16247
409.94/411.40 c #Conflicts: 89000 | #Constraints: 17247
409.94/411.40 c #Conflicts: 90000 | #Constraints: 18247
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 91000 | #Constraints: 13257
409.94/411.40 c #Conflicts: 92000 | #Constraints: 14257
409.94/411.40 c #Conflicts: 93000 | #Constraints: 15257
409.94/411.40 c #Conflicts: 94000 | #Constraints: 16257
409.94/411.40 c #Conflicts: 95000 | #Constraints: 17257
409.94/411.40 c #Conflicts: 96000 | #Constraints: 18257
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 97000 | #Constraints: 13049
409.94/411.40 c #Conflicts: 98000 | #Constraints: 14049
409.94/411.40 c #Conflicts: 99000 | #Constraints: 15049
409.94/411.40 c #Conflicts: 100000 | #Constraints: 16049
409.94/411.40 c #Conflicts: 101000 | #Constraints: 17049
409.94/411.40 c #Conflicts: 102000 | #Constraints: 18049
409.94/411.40 c #Conflicts: 103000 | #Constraints: 19049
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 104000 | #Constraints: 13651
409.94/411.40 c #Conflicts: 105000 | #Constraints: 14651
409.94/411.40 c #Conflicts: 106000 | #Constraints: 15651
409.94/411.40 c #Conflicts: 107000 | #Constraints: 16651
409.94/411.40 c #Conflicts: 108000 | #Constraints: 17651
409.94/411.40 c #Conflicts: 109000 | #Constraints: 18651
409.94/411.40 c #Conflicts: 110000 | #Constraints: 19651
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 111000 | #Constraints: 14048
409.94/411.40 c #Conflicts: 112000 | #Constraints: 15048
409.94/411.40 c #Conflicts: 113000 | #Constraints: 16048
409.94/411.40 c #Conflicts: 114000 | #Constraints: 17048
409.94/411.40 c #Conflicts: 115000 | #Constraints: 18048
409.94/411.40 c #Conflicts: 116000 | #Constraints: 19048
409.94/411.40 c #Conflicts: 117000 | #Constraints: 20048
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 118000 | #Constraints: 14259
409.94/411.40 c #Conflicts: 119000 | #Constraints: 15259
409.94/411.40 c #Conflicts: 120000 | #Constraints: 16259
409.94/411.40 c #Conflicts: 121000 | #Constraints: 17259
409.94/411.40 c #Conflicts: 122000 | #Constraints: 18259
409.94/411.40 c #Conflicts: 123000 | #Constraints: 19259
409.94/411.40 c #Conflicts: 124000 | #Constraints: 20259
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 125000 | #Constraints: 14250
409.94/411.40 c #Conflicts: 126000 | #Constraints: 15250
409.94/411.40 c #Conflicts: 127000 | #Constraints: 16250
409.94/411.40 c #Conflicts: 128000 | #Constraints: 17250
409.94/411.40 c #Conflicts: 129000 | #Constraints: 18250
409.94/411.40 c #Conflicts: 130000 | #Constraints: 19250
409.94/411.40 c #Conflicts: 131000 | #Constraints: 20250
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 132000 | #Constraints: 14046
409.94/411.40 c #Conflicts: 133000 | #Constraints: 15046
409.94/411.40 c #Conflicts: 134000 | #Constraints: 16046
409.94/411.40 c #Conflicts: 135000 | #Constraints: 17046
409.94/411.40 c #Conflicts: 136000 | #Constraints: 18046
409.94/411.40 c #Conflicts: 137000 | #Constraints: 19046
409.94/411.40 c #Conflicts: 138000 | #Constraints: 20046
409.94/411.40 c #Conflicts: 139000 | #Constraints: 21046
409.94/411.40 c INPROCESSING
409.94/411.40 c GARBAGE COLLECT
409.94/411.40 c #Conflicts: 140000 | #Constraints: 14651
501.92/503.79 c #Conflicts: 141000 | #Constraints: 15651
501.92/503.79 c #Conflicts: 142000 | #Constraints: 16651
501.92/503.79 c #Conflicts: 143000 | #Constraints: 17651
501.92/503.79 c #Conflicts: 144000 | #Constraints: 18651
501.92/503.79 c #Conflicts: 145000 | #Constraints: 19651
501.92/503.79 c #Conflicts: 146000 | #Constraints: 20651
501.92/503.79 c #Conflicts: 147000 | #Constraints: 21651
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 148000 | #Constraints: 15053
501.92/503.79 c #Conflicts: 149000 | #Constraints: 16053
501.92/503.79 c #Conflicts: 150000 | #Constraints: 17053
501.92/503.79 c #Conflicts: 151000 | #Constraints: 18053
501.92/503.79 c #Conflicts: 152000 | #Constraints: 19053
501.92/503.79 c #Conflicts: 153000 | #Constraints: 20053
501.92/503.79 c #Conflicts: 154000 | #Constraints: 21053
501.92/503.79 c #Conflicts: 155000 | #Constraints: 22053
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 156000 | #Constraints: 15249
501.92/503.79 c #Conflicts: 157000 | #Constraints: 16249
501.92/503.79 c #Conflicts: 158000 | #Constraints: 17249
501.92/503.79 c #Conflicts: 159000 | #Constraints: 18249
501.92/503.79 c #Conflicts: 160000 | #Constraints: 19249
501.92/503.79 c #Conflicts: 161000 | #Constraints: 20249
501.92/503.79 c #Conflicts: 162000 | #Constraints: 21249
501.92/503.79 c #Conflicts: 163000 | #Constraints: 22249
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 164000 | #Constraints: 15249
501.92/503.79 c #Conflicts: 165000 | #Constraints: 16249
501.92/503.79 c #Conflicts: 166000 | #Constraints: 17249
501.92/503.79 c #Conflicts: 167000 | #Constraints: 18249
501.92/503.79 c #Conflicts: 168000 | #Constraints: 19249
501.92/503.79 c #Conflicts: 169000 | #Constraints: 20249
501.92/503.79 c #Conflicts: 170000 | #Constraints: 21249
501.92/503.79 c #Conflicts: 171000 | #Constraints: 22249
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 172000 | #Constraints: 15047
501.92/503.79 c #Conflicts: 173000 | #Constraints: 16047
501.92/503.79 c #Conflicts: 174000 | #Constraints: 17047
501.92/503.79 c #Conflicts: 175000 | #Constraints: 18047
501.92/503.79 c #Conflicts: 176000 | #Constraints: 19047
501.92/503.79 c #Conflicts: 177000 | #Constraints: 20047
501.92/503.79 c #Conflicts: 178000 | #Constraints: 21047
501.92/503.79 c #Conflicts: 179000 | #Constraints: 22047
501.92/503.79 c #Conflicts: 180000 | #Constraints: 23047
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 181000 | #Constraints: 15648
501.92/503.79 c #Conflicts: 182000 | #Constraints: 16648
501.92/503.79 c #Conflicts: 183000 | #Constraints: 17648
501.92/503.79 c #Conflicts: 184000 | #Constraints: 18648
501.92/503.79 c #Conflicts: 185000 | #Constraints: 19648
501.92/503.79 c #Conflicts: 186000 | #Constraints: 20648
501.92/503.79 c #Conflicts: 187000 | #Constraints: 21648
501.92/503.79 c #Conflicts: 188000 | #Constraints: 22648
501.92/503.79 c #Conflicts: 189000 | #Constraints: 23648
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 190000 | #Constraints: 16047
501.92/503.79 c #Conflicts: 191000 | #Constraints: 17047
501.92/503.79 c #Conflicts: 192000 | #Constraints: 18047
501.92/503.79 c #Conflicts: 193000 | #Constraints: 19047
501.92/503.79 c #Conflicts: 194000 | #Constraints: 20047
501.92/503.79 c #Conflicts: 195000 | #Constraints: 21047
501.92/503.79 c #Conflicts: 196000 | #Constraints: 22047
501.92/503.79 c #Conflicts: 197000 | #Constraints: 23047
501.92/503.79 c #Conflicts: 198000 | #Constraints: 24047
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 199000 | #Constraints: 16246
501.92/503.79 c #Conflicts: 200000 | #Constraints: 17246
501.92/503.79 c #Conflicts: 201000 | #Constraints: 18246
501.92/503.79 c #Conflicts: 202000 | #Constraints: 19246
501.92/503.79 c #Conflicts: 203000 | #Constraints: 20246
501.92/503.79 c #Conflicts: 204000 | #Constraints: 21246
501.92/503.79 c #Conflicts: 205000 | #Constraints: 22246
501.92/503.79 c #Conflicts: 206000 | #Constraints: 23246
501.92/503.79 c #Conflicts: 207000 | #Constraints: 24246
501.92/503.79 c INPROCESSING
501.92/503.79 c GARBAGE COLLECT
501.92/503.79 c #Conflicts: 208000 | #Constraints: 16240
501.92/503.79 c #Conflicts: 209000 | #Constraints: 17240
501.92/503.79 c #Conflicts: 210000 | #Constraints: 18240
501.92/503.79 c #Conflicts: 211000 | #Constraints: 19240
501.92/503.79 c #Conflicts: 212000 | #Constraints: 20240
501.92/503.79 c #Conflicts: 213000 | #Constraints: 21240
501.92/503.79 c #Conflicts: 214000 | #Constraints: 22240
617.99/620.25 c #Conflicts: 215000 | #Constraints: 23240
617.99/620.25 c #Conflicts: 216000 | #Constraints: 24240
617.99/620.25 c INPROCESSING
617.99/620.25 c GARBAGE COLLECT
617.99/620.25 c #Conflicts: 217000 | #Constraints: 16047
617.99/620.25 c #Conflicts: 218000 | #Constraints: 17047
617.99/620.25 c #Conflicts: 219000 | #Constraints: 18047
617.99/620.25 c #Conflicts: 220000 | #Constraints: 19047
617.99/620.25 c #Conflicts: 221000 | #Constraints: 20047
617.99/620.25 c #Conflicts: 222000 | #Constraints: 21047
617.99/620.25 c #Conflicts: 223000 | #Constraints: 22047
617.99/620.25 c #Conflicts: 224000 | #Constraints: 23047
617.99/620.25 c #Conflicts: 225000 | #Constraints: 24047
617.99/620.25 c #Conflicts: 226000 | #Constraints: 25047
617.99/620.25 c INPROCESSING
617.99/620.25 c GARBAGE COLLECT
617.99/620.25 c #Conflicts: 227000 | #Constraints: 16647
617.99/620.25 c #Conflicts: 228000 | #Constraints: 17647
617.99/620.25 c #Conflicts: 229000 | #Constraints: 18647
617.99/620.25 c #Conflicts: 230000 | #Constraints: 19647
617.99/620.25 c #Conflicts: 231000 | #Constraints: 20647
617.99/620.25 c #Conflicts: 232000 | #Constraints: 21647
617.99/620.25 c #Conflicts: 233000 | #Constraints: 22647
617.99/620.25 c #Conflicts: 234000 | #Constraints: 23647
617.99/620.25 c #Conflicts: 235000 | #Constraints: 24647
617.99/620.25 c #Conflicts: 236000 | #Constraints: 25647
617.99/620.25 c INPROCESSING
617.99/620.25 c GARBAGE COLLECT
617.99/620.25 c #Conflicts: 237000 | #Constraints: 17050
617.99/620.25 c #Conflicts: 238000 | #Constraints: 18050
617.99/620.25 c #Conflicts: 239000 | #Constraints: 19050
617.99/620.25 c #Conflicts: 240000 | #Constraints: 20050
617.99/620.25 c #Conflicts: 241000 | #Constraints: 21050
617.99/620.25 c #Conflicts: 242000 | #Constraints: 22050
617.99/620.25 c #Conflicts: 243000 | #Constraints: 23050
617.99/620.25 c #Conflicts: 244000 | #Constraints: 24050
617.99/620.25 c #Conflicts: 245000 | #Constraints: 25050
617.99/620.25 c #Conflicts: 246000 | #Constraints: 26050
617.99/620.25 c INPROCESSING
617.99/620.25 c GARBAGE COLLECT
617.99/620.25 c #Conflicts: 247000 | #Constraints: 17264
617.99/620.25 c #Conflicts: 248000 | #Constraints: 18264
617.99/620.25 c #Conflicts: 249000 | #Constraints: 19264
617.99/620.25 c #Conflicts: 250000 | #Constraints: 20264
617.99/620.25 c #Conflicts: 251000 | #Constraints: 21264
617.99/620.25 c #Conflicts: 252000 | #Constraints: 22264
617.99/620.25 c #Conflicts: 253000 | #Constraints: 23264
617.99/620.25 c #Conflicts: 254000 | #Constraints: 24264
617.99/620.25 c #Conflicts: 255000 | #Constraints: 25264
617.99/620.25 c #Conflicts: 256000 | #Constraints: 26264
617.99/620.25 c INPROCESSING
617.99/620.25 c GARBAGE COLLECT
617.99/620.25 c #Conflicts: 257000 | #Constraints: 17263
617.99/620.25 c #Conflicts: 258000 | #Constraints: 18263
617.99/620.25 c #Conflicts: 259000 | #Constraints: 19263
617.99/620.25 c #Conflicts: 260000 | #Constraints: 20263
617.99/620.25 c #Conflicts: 261000 | #Constraints: 21263
617.99/620.25 c #Conflicts: 262000 | #Constraints: 22263
617.99/620.25 c #Conflicts: 263000 | #Constraints: 23263
617.99/620.25 c #Conflicts: 264000 | #Constraints: 24263
617.99/620.25 c #Conflicts: 265000 | #Constraints: 25263
617.99/620.25 c #Conflicts: 266000 | #Constraints: 26263
617.99/620.25 c INPROCESSING
617.99/620.25 c GARBAGE COLLECT
617.99/620.25 c #Conflicts: 267000 | #Constraints: 17061
617.99/620.25 c #Conflicts: 268000 | #Constraints: 18061
617.99/620.25 c #Conflicts: 269000 | #Constraints: 19061
617.99/620.25 c #Conflicts: 270000 | #Constraints: 20061
617.99/620.25 c #Conflicts: 271000 | #Constraints: 21061
617.99/620.25 c #Conflicts: 272000 | #Constraints: 22061
617.99/620.25 c #Conflicts: 273000 | #Constraints: 23061
617.99/620.25 c #Conflicts: 274000 | #Constraints: 24061
617.99/620.25 c #Conflicts: 275000 | #Constraints: 25061
617.99/620.25 c #Conflicts: 276000 | #Constraints: 26061
617.99/620.25 c #Conflicts: 277000 | #Constraints: 27061
617.99/620.25 c INPROCESSING
617.99/620.25 c GARBAGE COLLECT
617.99/620.25 c #Conflicts: 278000 | #Constraints: 17659
617.99/620.25 c #Conflicts: 279000 | #Constraints: 18659
617.99/620.25 c #Conflicts: 280000 | #Constraints: 19659
617.99/620.25 c #Conflicts: 281000 | #Constraints: 20659
617.99/620.25 c #Conflicts: 282000 | #Constraints: 21659
617.99/620.25 c #Conflicts: 283000 | #Constraints: 22659
617.99/620.25 c #Conflicts: 284000 | #Constraints: 23659
617.99/620.25 c #Conflicts: 285000 | #Constraints: 24659
617.99/620.25 c #Conflicts: 286000 | #Constraints: 25659
617.99/620.25 c #Conflicts: 287000 | #Constraints: 26659
617.99/620.25 c #Conflicts: 288000 | #Constraints: 27659
736.88/739.54 c INPROCESSING
736.88/739.54 c GARBAGE COLLECT
736.88/739.54 c #Conflicts: 289000 | #Constraints: 18063
736.88/739.54 c #Conflicts: 290000 | #Constraints: 19063
736.88/739.54 c #Conflicts: 291000 | #Constraints: 20063
736.88/739.54 c #Conflicts: 292000 | #Constraints: 21063
736.88/739.54 c #Conflicts: 293000 | #Constraints: 22063
736.88/739.54 c #Conflicts: 294000 | #Constraints: 23063
736.88/739.54 c #Conflicts: 295000 | #Constraints: 24063
736.88/739.54 c #Conflicts: 296000 | #Constraints: 25063
736.88/739.54 c #Conflicts: 297000 | #Constraints: 26063
736.88/739.54 c #Conflicts: 298000 | #Constraints: 27063
736.88/739.54 c #Conflicts: 299000 | #Constraints: 28063
736.88/739.54 c INPROCESSING
736.88/739.54 c GARBAGE COLLECT
736.88/739.54 c #Conflicts: 300000 | #Constraints: 18263
736.88/739.54 c #Conflicts: 301000 | #Constraints: 19263
736.88/739.54 c #Conflicts: 302000 | #Constraints: 20263
736.88/739.54 c #Conflicts: 303000 | #Constraints: 21263
736.88/739.54 c #Conflicts: 304000 | #Constraints: 22263
736.88/739.54 c #Conflicts: 305000 | #Constraints: 23263
736.88/739.54 c #Conflicts: 306000 | #Constraints: 24263
736.88/739.54 c #Conflicts: 307000 | #Constraints: 25263
736.88/739.54 c #Conflicts: 308000 | #Constraints: 26263
736.88/739.54 c #Conflicts: 309000 | #Constraints: 27263
736.88/739.54 c #Conflicts: 310000 | #Constraints: 28263
736.88/739.54 c INPROCESSING
736.88/739.54 c GARBAGE COLLECT
736.88/739.54 c #Conflicts: 311000 | #Constraints: 18269
736.88/739.54 c #Conflicts: 312000 | #Constraints: 19269
736.88/739.54 c #Conflicts: 313000 | #Constraints: 20269
736.88/739.54 c #Conflicts: 314000 | #Constraints: 21269
736.88/739.54 c #Conflicts: 315000 | #Constraints: 22269
736.88/739.54 c #Conflicts: 316000 | #Constraints: 23269
736.88/739.54 c #Conflicts: 317000 | #Constraints: 24269
736.88/739.54 c #Conflicts: 318000 | #Constraints: 25269
736.88/739.54 c #Conflicts: 319000 | #Constraints: 26269
736.88/739.54 c #Conflicts: 320000 | #Constraints: 27269
736.88/739.54 c #Conflicts: 321000 | #Constraints: 28269
736.88/739.54 c INPROCESSING
736.88/739.54 c GARBAGE COLLECT
736.88/739.54 c #Conflicts: 322000 | #Constraints: 18057
736.88/739.54 c #Conflicts: 323000 | #Constraints: 19057
736.88/739.54 c #Conflicts: 324000 | #Constraints: 20057
736.88/739.54 c #Conflicts: 325000 | #Constraints: 21057
736.88/739.54 c #Conflicts: 326000 | #Constraints: 22057
736.88/739.54 c #Conflicts: 327000 | #Constraints: 23057
736.88/739.54 c #Conflicts: 328000 | #Constraints: 24057
736.88/739.54 c #Conflicts: 329000 | #Constraints: 25057
736.88/739.54 c #Conflicts: 330000 | #Constraints: 26057
736.88/739.54 c #Conflicts: 331000 | #Constraints: 27057
736.88/739.54 c #Conflicts: 332000 | #Constraints: 28057
736.88/739.54 c #Conflicts: 333000 | #Constraints: 29057
736.88/739.54 c INPROCESSING
736.88/739.54 c GARBAGE COLLECT
736.88/739.54 c #Conflicts: 334000 | #Constraints: 18660
736.88/739.54 c #Conflicts: 335000 | #Constraints: 19660
736.88/739.54 c #Conflicts: 336000 | #Constraints: 20660
736.88/739.54 c #Conflicts: 337000 | #Constraints: 21660
736.88/739.54 c #Conflicts: 338000 | #Constraints: 22660
736.88/739.54 c #Conflicts: 339000 | #Constraints: 23660
736.88/739.54 c #Conflicts: 340000 | #Constraints: 24660
736.88/739.54 c #Conflicts: 341000 | #Constraints: 25660
736.88/739.54 c #Conflicts: 342000 | #Constraints: 26660
736.88/739.54 c #Conflicts: 343000 | #Constraints: 27660
736.88/739.54 c #Conflicts: 344000 | #Constraints: 28660
736.88/739.54 c #Conflicts: 345000 | #Constraints: 29660
736.88/739.54 c INPROCESSING
736.88/739.54 c GARBAGE COLLECT
736.88/739.54 c #Conflicts: 346000 | #Constraints: 19067
736.88/739.54 c #Conflicts: 347000 | #Constraints: 20067
736.88/739.54 c #Conflicts: 348000 | #Constraints: 21067
736.88/739.54 c #Conflicts: 349000 | #Constraints: 22067
736.88/739.54 c #Conflicts: 350000 | #Constraints: 23067
736.88/739.54 c #Conflicts: 351000 | #Constraints: 24067
736.88/739.54 c #Conflicts: 352000 | #Constraints: 25067
736.88/739.54 c #Conflicts: 353000 | #Constraints: 26067
736.88/739.54 c #Conflicts: 354000 | #Constraints: 27067
736.88/739.54 c #Conflicts: 355000 | #Constraints: 28067
736.88/739.54 c #Conflicts: 356000 | #Constraints: 29067
736.88/739.54 c #Conflicts: 357000 | #Constraints: 30067
736.88/739.54 c INPROCESSING
736.88/739.54 c GARBAGE COLLECT
736.88/739.54 c #Conflicts: 358000 | #Constraints: 19275
736.88/739.54 c #Conflicts: 359000 | #Constraints: 20275
736.88/739.54 c #Conflicts: 360000 | #Constraints: 21275
736.88/739.54 c #Conflicts: 361000 | #Constraints: 22275
736.88/739.54 c #Conflicts: 362000 | #Constraints: 23275
869.95/873.04 c #Conflicts: 363000 | #Constraints: 24275
869.95/873.04 c #Conflicts: 364000 | #Constraints: 25275
869.95/873.04 c #Conflicts: 365000 | #Constraints: 26275
869.95/873.04 c #Conflicts: 366000 | #Constraints: 27275
869.95/873.04 c #Conflicts: 367000 | #Constraints: 28275
869.95/873.04 c #Conflicts: 368000 | #Constraints: 29275
869.95/873.04 c #Conflicts: 369000 | #Constraints: 30275
869.95/873.04 c INPROCESSING
869.95/873.04 c GARBAGE COLLECT
869.95/873.04 c #Conflicts: 370000 | #Constraints: 19262
869.95/873.04 c #Conflicts: 371000 | #Constraints: 20262
869.95/873.04 c #Conflicts: 372000 | #Constraints: 21262
869.95/873.04 c #Conflicts: 373000 | #Constraints: 22262
869.95/873.04 c #Conflicts: 374000 | #Constraints: 23262
869.95/873.04 c #Conflicts: 375000 | #Constraints: 24262
869.95/873.04 c #Conflicts: 376000 | #Constraints: 25262
869.95/873.04 c #Conflicts: 377000 | #Constraints: 26262
869.95/873.04 c #Conflicts: 378000 | #Constraints: 27262
869.95/873.04 c #Conflicts: 379000 | #Constraints: 28262
869.95/873.04 c #Conflicts: 380000 | #Constraints: 29262
869.95/873.04 c #Conflicts: 381000 | #Constraints: 30262
869.95/873.04 c INPROCESSING
869.95/873.04 c GARBAGE COLLECT
869.95/873.04 c #Conflicts: 382000 | #Constraints: 19052
869.95/873.04 c #Conflicts: 383000 | #Constraints: 20052
869.95/873.04 c #Conflicts: 384000 | #Constraints: 21052
869.95/873.04 c #Conflicts: 385000 | #Constraints: 22052
869.95/873.04 c #Conflicts: 386000 | #Constraints: 23052
869.95/873.04 c #Conflicts: 387000 | #Constraints: 24052
869.95/873.04 c #Conflicts: 388000 | #Constraints: 25052
869.95/873.04 c #Conflicts: 389000 | #Constraints: 26052
869.95/873.04 c #Conflicts: 390000 | #Constraints: 27052
869.95/873.04 c #Conflicts: 391000 | #Constraints: 28052
869.95/873.04 c #Conflicts: 392000 | #Constraints: 29052
869.95/873.04 c #Conflicts: 393000 | #Constraints: 30052
869.95/873.04 c #Conflicts: 394000 | #Constraints: 31052
869.95/873.04 c INPROCESSING
869.95/873.04 c GARBAGE COLLECT
869.95/873.04 c #Conflicts: 395000 | #Constraints: 19647
869.95/873.04 c #Conflicts: 396000 | #Constraints: 20647
869.95/873.04 c #Conflicts: 397000 | #Constraints: 21647
869.95/873.04 c #Conflicts: 398000 | #Constraints: 22647
869.95/873.04 c #Conflicts: 399000 | #Constraints: 23647
869.95/873.04 c #Conflicts: 400000 | #Constraints: 24647
869.95/873.04 c #Conflicts: 401000 | #Constraints: 25647
869.95/873.04 c #Conflicts: 402000 | #Constraints: 26647
869.95/873.04 c #Conflicts: 403000 | #Constraints: 27647
869.95/873.04 c #Conflicts: 404000 | #Constraints: 28647
869.95/873.04 c #Conflicts: 405000 | #Constraints: 29647
869.95/873.04 c #Conflicts: 406000 | #Constraints: 30647
869.95/873.04 c #Conflicts: 407000 | #Constraints: 31647
869.95/873.04 c INPROCESSING
869.95/873.04 c GARBAGE COLLECT
869.95/873.04 c #Conflicts: 408000 | #Constraints: 20057
869.95/873.04 c #Conflicts: 409000 | #Constraints: 21057
869.95/873.04 c #Conflicts: 410000 | #Constraints: 22057
869.95/873.04 c #Conflicts: 411000 | #Constraints: 23057
869.95/873.04 c #Conflicts: 412000 | #Constraints: 24057
869.95/873.04 c #Conflicts: 413000 | #Constraints: 25057
869.95/873.04 c #Conflicts: 414000 | #Constraints: 26057
869.95/873.04 c #Conflicts: 415000 | #Constraints: 27057
869.95/873.04 c #Conflicts: 416000 | #Constraints: 28057
869.95/873.04 c #Conflicts: 417000 | #Constraints: 29057
869.95/873.04 c #Conflicts: 418000 | #Constraints: 30057
869.95/873.04 c #Conflicts: 419000 | #Constraints: 31057
869.95/873.04 c #Conflicts: 420000 | #Constraints: 32057
869.95/873.04 c INPROCESSING
869.95/873.04 c GARBAGE COLLECT
869.95/873.04 c #Conflicts: 421000 | #Constraints: 20258
869.95/873.04 c #Conflicts: 422000 | #Constraints: 21258
869.95/873.04 c #Conflicts: 423000 | #Constraints: 22258
869.95/873.04 c #Conflicts: 424000 | #Constraints: 23258
869.95/873.04 c #Conflicts: 425000 | #Constraints: 24258
869.95/873.04 c #Conflicts: 426000 | #Constraints: 25258
869.95/873.04 c #Conflicts: 427000 | #Constraints: 26258
869.95/873.04 c #Conflicts: 428000 | #Constraints: 27258
869.95/873.04 c #Conflicts: 429000 | #Constraints: 28258
869.95/873.04 c #Conflicts: 430000 | #Constraints: 29258
869.95/873.04 c #Conflicts: 431000 | #Constraints: 30258
869.95/873.04 c #Conflicts: 432000 | #Constraints: 31258
869.95/873.04 c #Conflicts: 433000 | #Constraints: 32258
869.95/873.04 c INPROCESSING
869.95/873.04 c GARBAGE COLLECT
869.95/873.04 c #Conflicts: 434000 | #Constraints: 20261
869.95/873.04 c #Conflicts: 435000 | #Constraints: 21261
869.95/873.04 c #Conflicts: 436000 | #Constraints: 22261
869.95/873.04 c #Conflicts: 437000 | #Constraints: 23261
1018.93/1022.58 c #Conflicts: 438000 | #Constraints: 24261
1018.93/1022.58 c #Conflicts: 439000 | #Constraints: 25261
1018.93/1022.58 c #Conflicts: 440000 | #Constraints: 26261
1018.93/1022.58 c #Conflicts: 441000 | #Constraints: 27261
1018.93/1022.58 c #Conflicts: 442000 | #Constraints: 28261
1018.93/1022.58 c #Conflicts: 443000 | #Constraints: 29261
1018.93/1022.58 c #Conflicts: 444000 | #Constraints: 30261
1018.93/1022.58 c #Conflicts: 445000 | #Constraints: 31261
1018.93/1022.58 c #Conflicts: 446000 | #Constraints: 32261
1018.93/1022.58 c INPROCESSING
1018.93/1022.58 c GARBAGE COLLECT
1018.93/1022.58 c #Conflicts: 447000 | #Constraints: 20056
1018.93/1022.58 c #Conflicts: 448000 | #Constraints: 21056
1018.93/1022.58 c #Conflicts: 449000 | #Constraints: 22056
1018.93/1022.58 c #Conflicts: 450000 | #Constraints: 23056
1018.93/1022.58 c #Conflicts: 451000 | #Constraints: 24056
1018.93/1022.58 c #Conflicts: 452000 | #Constraints: 25056
1018.93/1022.58 c #Conflicts: 453000 | #Constraints: 26056
1018.93/1022.58 c #Conflicts: 454000 | #Constraints: 27056
1018.93/1022.58 c #Conflicts: 455000 | #Constraints: 28056
1018.93/1022.58 c #Conflicts: 456000 | #Constraints: 29056
1018.93/1022.58 c #Conflicts: 457000 | #Constraints: 30056
1018.93/1022.58 c #Conflicts: 458000 | #Constraints: 31056
1018.93/1022.58 c #Conflicts: 459000 | #Constraints: 32056
1018.93/1022.58 c #Conflicts: 460000 | #Constraints: 33056
1018.93/1022.58 c INPROCESSING
1018.93/1022.58 c GARBAGE COLLECT
1018.93/1022.58 c #Conflicts: 461000 | #Constraints: 20661
1018.93/1022.58 c #Conflicts: 462000 | #Constraints: 21661
1018.93/1022.58 c #Conflicts: 463000 | #Constraints: 22661
1018.93/1022.58 c #Conflicts: 464000 | #Constraints: 23661
1018.93/1022.58 c #Conflicts: 465000 | #Constraints: 24661
1018.93/1022.58 c #Conflicts: 466000 | #Constraints: 25661
1018.93/1022.58 c #Conflicts: 467000 | #Constraints: 26661
1018.93/1022.58 c #Conflicts: 468000 | #Constraints: 27661
1018.93/1022.58 c #Conflicts: 469000 | #Constraints: 28661
1018.93/1022.58 c #Conflicts: 470000 | #Constraints: 29661
1018.93/1022.58 c #Conflicts: 471000 | #Constraints: 30661
1018.93/1022.58 c #Conflicts: 472000 | #Constraints: 31661
1018.93/1022.58 c #Conflicts: 473000 | #Constraints: 32661
1018.93/1022.58 c #Conflicts: 474000 | #Constraints: 33661
1018.93/1022.58 c INPROCESSING
1018.93/1022.58 c GARBAGE COLLECT
1018.93/1022.58 c #Conflicts: 475000 | #Constraints: 21067
1018.93/1022.58 c #Conflicts: 476000 | #Constraints: 22067
1018.93/1022.58 c #Conflicts: 477000 | #Constraints: 23067
1018.93/1022.58 c #Conflicts: 478000 | #Constraints: 24067
1018.93/1022.58 c #Conflicts: 479000 | #Constraints: 25067
1018.93/1022.58 c #Conflicts: 480000 | #Constraints: 26067
1018.93/1022.58 c #Conflicts: 481000 | #Constraints: 27067
1018.93/1022.58 c #Conflicts: 482000 | #Constraints: 28067
1018.93/1022.58 c #Conflicts: 483000 | #Constraints: 29067
1018.93/1022.58 c #Conflicts: 484000 | #Constraints: 30067
1018.93/1022.58 c #Conflicts: 485000 | #Constraints: 31067
1018.93/1022.58 c #Conflicts: 486000 | #Constraints: 32067
1018.93/1022.58 c #Conflicts: 487000 | #Constraints: 33067
1018.93/1022.58 c #Conflicts: 488000 | #Constraints: 34067
1018.93/1022.58 c INPROCESSING
1018.93/1022.58 c GARBAGE COLLECT
1018.93/1022.58 c #Conflicts: 489000 | #Constraints: 21273
1018.93/1022.58 c #Conflicts: 490000 | #Constraints: 22273
1018.93/1022.58 c #Conflicts: 491000 | #Constraints: 23273
1018.93/1022.58 c #Conflicts: 492000 | #Constraints: 24273
1018.93/1022.58 c #Conflicts: 493000 | #Constraints: 25273
1018.93/1022.58 c #Conflicts: 494000 | #Constraints: 26273
1018.93/1022.58 c #Conflicts: 495000 | #Constraints: 27273
1018.93/1022.58 c #Conflicts: 496000 | #Constraints: 28273
1018.93/1022.58 c #Conflicts: 497000 | #Constraints: 29273
1018.93/1022.58 c #Conflicts: 498000 | #Constraints: 30273
1018.93/1022.58 c #Conflicts: 499000 | #Constraints: 31273
1018.93/1022.58 c #Conflicts: 500000 | #Constraints: 32273
1018.93/1022.58 c #Conflicts: 501000 | #Constraints: 33273
1018.93/1022.58 c #Conflicts: 502000 | #Constraints: 34273
1018.93/1022.58 c INPROCESSING
1018.93/1022.58 c GARBAGE COLLECT
1018.93/1022.58 c #Conflicts: 503000 | #Constraints: 21270
1018.93/1022.58 c #Conflicts: 504000 | #Constraints: 22270
1018.93/1022.58 c #Conflicts: 505000 | #Constraints: 23270
1018.93/1022.58 c #Conflicts: 506000 | #Constraints: 24270
1018.93/1022.58 c #Conflicts: 507000 | #Constraints: 25270
1018.93/1022.58 c #Conflicts: 508000 | #Constraints: 26270
1018.93/1022.58 c #Conflicts: 509000 | #Constraints: 27270
1018.93/1022.58 c #Conflicts: 510000 | #Constraints: 28270
1018.93/1022.58 c #Conflicts: 511000 | #Constraints: 29270
1018.93/1022.58 c #Conflicts: 512000 | #Constraints: 30270
1018.93/1022.58 c #Conflicts: 513000 | #Constraints: 31270
1182.27/1186.46 c #Conflicts: 514000 | #Constraints: 32270
1182.27/1186.46 c #Conflicts: 515000 | #Constraints: 33270
1182.27/1186.46 c #Conflicts: 516000 | #Constraints: 34270
1182.27/1186.46 c INPROCESSING
1182.27/1186.46 c GARBAGE COLLECT
1182.27/1186.46 c #Conflicts: 517000 | #Constraints: 21068
1182.27/1186.46 c #Conflicts: 518000 | #Constraints: 22068
1182.27/1186.46 c #Conflicts: 519000 | #Constraints: 23068
1182.27/1186.46 c #Conflicts: 520000 | #Constraints: 24068
1182.27/1186.46 c #Conflicts: 521000 | #Constraints: 25068
1182.27/1186.46 c #Conflicts: 522000 | #Constraints: 26068
1182.27/1186.46 c #Conflicts: 523000 | #Constraints: 27068
1182.27/1186.46 c #Conflicts: 524000 | #Constraints: 28068
1182.27/1186.46 c #Conflicts: 525000 | #Constraints: 29068
1182.27/1186.46 c #Conflicts: 526000 | #Constraints: 30068
1182.27/1186.46 c #Conflicts: 527000 | #Constraints: 31068
1182.27/1186.46 c #Conflicts: 528000 | #Constraints: 32068
1182.27/1186.46 c #Conflicts: 529000 | #Constraints: 33068
1182.27/1186.46 c #Conflicts: 530000 | #Constraints: 34068
1182.27/1186.46 c #Conflicts: 531000 | #Constraints: 35068
1182.27/1186.46 c INPROCESSING
1182.27/1186.46 c GARBAGE COLLECT
1182.27/1186.46 c #Conflicts: 532000 | #Constraints: 21668
1182.27/1186.46 c #Conflicts: 533000 | #Constraints: 22668
1182.27/1186.46 c #Conflicts: 534000 | #Constraints: 23668
1182.27/1186.46 c #Conflicts: 535000 | #Constraints: 24668
1182.27/1186.46 c #Conflicts: 536000 | #Constraints: 25668
1182.27/1186.46 c #Conflicts: 537000 | #Constraints: 26668
1182.27/1186.46 c #Conflicts: 538000 | #Constraints: 27668
1182.27/1186.46 c #Conflicts: 539000 | #Constraints: 28668
1182.27/1186.46 c #Conflicts: 540000 | #Constraints: 29668
1182.27/1186.46 c #Conflicts: 541000 | #Constraints: 30668
1182.27/1186.46 c #Conflicts: 542000 | #Constraints: 31668
1182.27/1186.46 c #Conflicts: 543000 | #Constraints: 32668
1182.27/1186.46 c #Conflicts: 544000 | #Constraints: 33668
1182.27/1186.46 c #Conflicts: 545000 | #Constraints: 34668
1182.27/1186.46 c #Conflicts: 546000 | #Constraints: 35668
1182.27/1186.46 c INPROCESSING
1182.27/1186.46 c GARBAGE COLLECT
1182.27/1186.46 c #Conflicts: 547000 | #Constraints: 22065
1182.27/1186.46 c #Conflicts: 548000 | #Constraints: 23065
1182.27/1186.46 c #Conflicts: 549000 | #Constraints: 24065
1182.27/1186.46 c #Conflicts: 550000 | #Constraints: 25065
1182.27/1186.46 c #Conflicts: 551000 | #Constraints: 26065
1182.27/1186.46 c #Conflicts: 552000 | #Constraints: 27065
1182.27/1186.46 c #Conflicts: 553000 | #Constraints: 28065
1182.27/1186.46 c #Conflicts: 554000 | #Constraints: 29065
1182.27/1186.46 c #Conflicts: 555000 | #Constraints: 30065
1182.27/1186.46 c #Conflicts: 556000 | #Constraints: 31065
1182.27/1186.46 c #Conflicts: 557000 | #Constraints: 32065
1182.27/1186.46 c #Conflicts: 558000 | #Constraints: 33065
1182.27/1186.46 c #Conflicts: 559000 | #Constraints: 34065
1182.27/1186.46 c #Conflicts: 560000 | #Constraints: 35065
1182.27/1186.46 c #Conflicts: 561000 | #Constraints: 36065
1182.27/1186.46 c INPROCESSING
1182.27/1186.46 c GARBAGE COLLECT
1182.27/1186.46 c #Conflicts: 562000 | #Constraints: 22276
1182.27/1186.46 c #Conflicts: 563000 | #Constraints: 23276
1182.27/1186.46 c #Conflicts: 564000 | #Constraints: 24276
1182.27/1186.46 c #Conflicts: 565000 | #Constraints: 25276
1182.27/1186.46 c #Conflicts: 566000 | #Constraints: 26276
1182.27/1186.46 c #Conflicts: 567000 | #Constraints: 27276
1182.27/1186.46 c #Conflicts: 568000 | #Constraints: 28276
1182.27/1186.46 c #Conflicts: 569000 | #Constraints: 29276
1182.27/1186.46 c #Conflicts: 570000 | #Constraints: 30276
1182.27/1186.46 c #Conflicts: 571000 | #Constraints: 31276
1182.27/1186.46 c #Conflicts: 572000 | #Constraints: 32276
1182.27/1186.46 c #Conflicts: 573000 | #Constraints: 33276
1182.27/1186.46 c #Conflicts: 574000 | #Constraints: 34276
1182.27/1186.46 c #Conflicts: 575000 | #Constraints: 35276
1182.27/1186.46 c #Conflicts: 576000 | #Constraints: 36276
1182.27/1186.46 c INPROCESSING
1182.27/1186.46 c GARBAGE COLLECT
1182.27/1186.46 c #Conflicts: 577000 | #Constraints: 22274
1182.27/1186.46 c #Conflicts: 578000 | #Constraints: 23274
1182.27/1186.46 c #Conflicts: 579000 | #Constraints: 24274
1182.27/1186.46 c #Conflicts: 580000 | #Constraints: 25274
1182.27/1186.46 c #Conflicts: 581000 | #Constraints: 26274
1182.27/1186.46 c #Conflicts: 582000 | #Constraints: 27274
1182.27/1186.46 c #Conflicts: 583000 | #Constraints: 28274
1182.27/1186.46 c #Conflicts: 584000 | #Constraints: 29274
1182.27/1186.46 c #Conflicts: 585000 | #Constraints: 30274
1182.27/1186.46 c #Conflicts: 586000 | #Constraints: 31274
1182.27/1186.46 c #Conflicts: 587000 | #Constraints: 32274
1182.27/1186.46 c #Conflicts: 588000 | #Constraints: 33274
1364.05/1368.82 c #Conflicts: 589000 | #Constraints: 34274
1364.05/1368.82 c #Conflicts: 590000 | #Constraints: 35274
1364.05/1368.82 c #Conflicts: 591000 | #Constraints: 36274
1364.05/1368.82 c INPROCESSING
1364.05/1368.82 c GARBAGE COLLECT
1364.05/1368.82 c #Conflicts: 592000 | #Constraints: 22067
1364.05/1368.82 c #Conflicts: 593000 | #Constraints: 23067
1364.05/1368.82 c #Conflicts: 594000 | #Constraints: 24067
1364.05/1368.82 c #Conflicts: 595000 | #Constraints: 25067
1364.05/1368.82 c #Conflicts: 596000 | #Constraints: 26067
1364.05/1368.82 c #Conflicts: 597000 | #Constraints: 27067
1364.05/1368.82 c #Conflicts: 598000 | #Constraints: 28067
1364.05/1368.82 c #Conflicts: 599000 | #Constraints: 29067
1364.05/1368.82 c #Conflicts: 600000 | #Constraints: 30067
1364.05/1368.82 c #Conflicts: 601000 | #Constraints: 31067
1364.05/1368.82 c #Conflicts: 602000 | #Constraints: 32067
1364.05/1368.82 c #Conflicts: 603000 | #Constraints: 33067
1364.05/1368.82 c #Conflicts: 604000 | #Constraints: 34067
1364.05/1368.82 c #Conflicts: 605000 | #Constraints: 35067
1364.05/1368.82 c #Conflicts: 606000 | #Constraints: 36067
1364.05/1368.82 c #Conflicts: 607000 | #Constraints: 37067
1364.05/1368.82 c INPROCESSING
1364.05/1368.82 c GARBAGE COLLECT
1364.05/1368.82 c #Conflicts: 608000 | #Constraints: 22668
1364.05/1368.82 c #Conflicts: 609000 | #Constraints: 23668
1364.05/1368.82 c #Conflicts: 610000 | #Constraints: 24668
1364.05/1368.82 c #Conflicts: 611000 | #Constraints: 25668
1364.05/1368.82 c #Conflicts: 612000 | #Constraints: 26668
1364.05/1368.82 c #Conflicts: 613000 | #Constraints: 27668
1364.05/1368.82 c #Conflicts: 614000 | #Constraints: 28668
1364.05/1368.82 c #Conflicts: 615000 | #Constraints: 29668
1364.05/1368.82 c #Conflicts: 616000 | #Constraints: 30668
1364.05/1368.82 c #Conflicts: 617000 | #Constraints: 31668
1364.05/1368.82 c #Conflicts: 618000 | #Constraints: 32668
1364.05/1368.82 c #Conflicts: 619000 | #Constraints: 33668
1364.05/1368.82 c #Conflicts: 620000 | #Constraints: 34668
1364.05/1368.82 c #Conflicts: 621000 | #Constraints: 35668
1364.05/1368.82 c #Conflicts: 622000 | #Constraints: 36668
1364.05/1368.82 c #Conflicts: 623000 | #Constraints: 37668
1364.05/1368.82 c INPROCESSING
1364.05/1368.82 c GARBAGE COLLECT
1364.05/1368.82 c #Conflicts: 624000 | #Constraints: 23073
1364.05/1368.82 c #Conflicts: 625000 | #Constraints: 24073
1364.05/1368.82 c #Conflicts: 626000 | #Constraints: 25073
1364.05/1368.82 c #Conflicts: 627000 | #Constraints: 26073
1364.05/1368.82 c #Conflicts: 628000 | #Constraints: 27073
1364.05/1368.82 c #Conflicts: 629000 | #Constraints: 28073
1364.05/1368.82 c #Conflicts: 630000 | #Constraints: 29073
1364.05/1368.82 c #Conflicts: 631000 | #Constraints: 30073
1364.05/1368.82 c #Conflicts: 632000 | #Constraints: 31073
1364.05/1368.82 c #Conflicts: 633000 | #Constraints: 32073
1364.05/1368.82 c #Conflicts: 634000 | #Constraints: 33073
1364.05/1368.82 c #Conflicts: 635000 | #Constraints: 34073
1364.05/1368.82 c #Conflicts: 636000 | #Constraints: 35073
1364.05/1368.82 c #Conflicts: 637000 | #Constraints: 36073
1364.05/1368.82 c #Conflicts: 638000 | #Constraints: 37073
1364.05/1368.82 c #Conflicts: 639000 | #Constraints: 38073
1364.05/1368.82 c INPROCESSING
1364.05/1368.82 c GARBAGE COLLECT
1364.05/1368.82 c #Conflicts: 640000 | #Constraints: 23274
1364.05/1368.82 c #Conflicts: 641000 | #Constraints: 24274
1364.05/1368.82 c #Conflicts: 642000 | #Constraints: 25274
1364.05/1368.82 c #Conflicts: 643000 | #Constraints: 26274
1364.05/1368.82 c #Conflicts: 644000 | #Constraints: 27274
1364.05/1368.82 c #Conflicts: 645000 | #Constraints: 28274
1364.05/1368.82 c #Conflicts: 646000 | #Constraints: 29274
1364.05/1368.82 c #Conflicts: 647000 | #Constraints: 30274
1364.05/1368.82 c #Conflicts: 648000 | #Constraints: 31274
1364.05/1368.82 c #Conflicts: 649000 | #Constraints: 32274
1364.05/1368.82 c #Conflicts: 650000 | #Constraints: 33274
1364.05/1368.82 c #Conflicts: 651000 | #Constraints: 34274
1364.05/1368.82 c #Conflicts: 652000 | #Constraints: 35274
1364.05/1368.82 c #Conflicts: 653000 | #Constraints: 36274
1364.05/1368.82 c #Conflicts: 654000 | #Constraints: 37274
1364.05/1368.82 c #Conflicts: 655000 | #Constraints: 38274
1364.05/1368.82 c INPROCESSING
1364.05/1368.82 c GARBAGE COLLECT
1364.05/1368.82 c #Conflicts: 656000 | #Constraints: 23275
1364.05/1368.82 c #Conflicts: 657000 | #Constraints: 24275
1364.05/1368.82 c #Conflicts: 658000 | #Constraints: 25275
1364.05/1368.82 c #Conflicts: 659000 | #Constraints: 26275
1364.05/1368.82 c #Conflicts: 660000 | #Constraints: 27275
1364.05/1368.82 c #Conflicts: 661000 | #Constraints: 28275
1364.05/1368.82 c #Conflicts: 662000 | #Constraints: 29275
1364.05/1368.82 c #Conflicts: 663000 | #Constraints: 30275
1364.05/1368.82 c #Conflicts: 664000 | #Constraints: 31275
1765.64/1771.89 c #Conflicts: 665000 | #Constraints: 32275
1765.64/1771.89 c #Conflicts: 666000 | #Constraints: 33275
1765.64/1771.89 c #Conflicts: 667000 | #Constraints: 34275
1765.64/1771.89 c #Conflicts: 668000 | #Constraints: 35275
1765.64/1771.89 c #Conflicts: 669000 | #Constraints: 36275
1765.64/1771.89 c #Conflicts: 670000 | #Constraints: 37275
1765.64/1771.89 c #Conflicts: 671000 | #Constraints: 38275
1765.64/1771.89 c INPROCESSING
1765.64/1771.89 c GARBAGE COLLECT
1765.64/1771.89 c #Conflicts: 672000 | #Constraints: 23085
1765.64/1771.89 c #Conflicts: 673000 | #Constraints: 24085
1765.64/1771.89 c #Conflicts: 674000 | #Constraints: 25085
1765.64/1771.89 c #Conflicts: 675000 | #Constraints: 26085
1765.64/1771.89 c #Conflicts: 676000 | #Constraints: 27085
1765.64/1771.89 c #Conflicts: 677000 | #Constraints: 28085
1765.64/1771.89 c #Conflicts: 678000 | #Constraints: 29085
1765.64/1771.89 c #Conflicts: 679000 | #Constraints: 30085
1765.64/1771.89 c #Conflicts: 680000 | #Constraints: 31085
1765.64/1771.89 c #Conflicts: 681000 | #Constraints: 32085
1765.64/1771.89 c #Conflicts: 682000 | #Constraints: 33085
1765.64/1771.89 c #Conflicts: 683000 | #Constraints: 34085
1765.64/1771.89 c #Conflicts: 684000 | #Constraints: 35085
1765.64/1771.89 c #Conflicts: 685000 | #Constraints: 36085
1765.64/1771.89 c #Conflicts: 686000 | #Constraints: 37085
1765.64/1771.89 c #Conflicts: 687000 | #Constraints: 38085
1765.64/1771.89 c #Conflicts: 688000 | #Constraints: 39085
1765.64/1771.89 c #Conflicts: 689000 | #Constraints: 40085
1765.64/1771.89 c #Conflicts: 690000 | #Constraints: 41085
1765.64/1771.89 c #Conflicts: 691000 | #Constraints: 42085
1765.64/1771.89 c #Conflicts: 692000 | #Constraints: 43085
1765.64/1771.89 c #Conflicts: 693000 | #Constraints: 44085
1765.64/1771.89 c #Conflicts: 694000 | #Constraints: 45085
1765.64/1771.89 c #Conflicts: 695000 | #Constraints: 46085
1765.64/1771.89 c #Conflicts: 696000 | #Constraints: 47085
1765.64/1771.89 c #Conflicts: 697000 | #Constraints: 48085
1765.64/1771.89 c #Conflicts: 698000 | #Constraints: 49085
1765.64/1771.89 c #Conflicts: 699000 | #Constraints: 50085
1765.64/1771.89 c #Conflicts: 700000 | #Constraints: 51085
1765.64/1771.89 c #Conflicts: 701000 | #Constraints: 52085
1765.64/1771.89 c #Conflicts: 702000 | #Constraints: 53085
1765.64/1771.89 c #Conflicts: 703000 | #Constraints: 54085
1765.64/1771.89 c #Conflicts: 704000 | #Constraints: 55085
1765.64/1771.89 c #Conflicts: 705000 | #Constraints: 56085
1765.64/1771.89 c #Conflicts: 706000 | #Constraints: 57085
1765.64/1771.89 c #Conflicts: 707000 | #Constraints: 58085
1765.64/1771.89 c #Conflicts: 708000 | #Constraints: 59085
1765.64/1771.89 c #Conflicts: 709000 | #Constraints: 60085
1765.64/1771.89 c #Conflicts: 710000 | #Constraints: 61085
1765.64/1771.89 c #Conflicts: 711000 | #Constraints: 62085
1765.64/1771.89 c #Conflicts: 712000 | #Constraints: 63085
1765.64/1771.89 c #Conflicts: 713000 | #Constraints: 64085
1765.64/1771.89 c #Conflicts: 714000 | #Constraints: 65085
1765.64/1771.89 c #Conflicts: 715000 | #Constraints: 66085
1765.64/1771.89 c #Conflicts: 716000 | #Constraints: 67085
1765.64/1771.89 c #Conflicts: 717000 | #Constraints: 68085
1765.64/1771.89 c #Conflicts: 718000 | #Constraints: 69085
1765.64/1771.89 c #Conflicts: 719000 | #Constraints: 70085
1765.64/1771.89 c #Conflicts: 720000 | #Constraints: 71085
1765.64/1771.89 c #Conflicts: 721000 | #Constraints: 72085
1765.64/1771.89 c #Conflicts: 722000 | #Constraints: 73085
1765.64/1771.89 c #Conflicts: 723000 | #Constraints: 74085
1765.64/1771.89 c #Conflicts: 724000 | #Constraints: 75085
1765.64/1771.89 c #Conflicts: 725000 | #Constraints: 76085
1765.64/1771.89 c #Conflicts: 726000 | #Constraints: 77085
1765.64/1771.89 c #Conflicts: 727000 | #Constraints: 78085
1765.64/1771.89 c #Conflicts: 728000 | #Constraints: 79085
1765.64/1771.89 c #Conflicts: 729000 | #Constraints: 80085
1765.64/1771.89 c #Conflicts: 730000 | #Constraints: 81085
1765.64/1771.89 c #Conflicts: 731000 | #Constraints: 82085
1765.64/1771.89 c #Conflicts: 732000 | #Constraints: 83085
1765.64/1771.89 c #Conflicts: 733000 | #Constraints: 84085
1765.64/1771.89 c #Conflicts: 734000 | #Constraints: 85085
1765.64/1771.89 c #Conflicts: 735000 | #Constraints: 86085
1765.64/1771.89 c #Conflicts: 736000 | #Constraints: 87085
1765.64/1771.89 c #Conflicts: 737000 | #Constraints: 88085
1765.64/1771.89 c #Conflicts: 738000 | #Constraints: 89085
1765.64/1771.89 c #Conflicts: 739000 | #Constraints: 90085
1765.64/1771.89 c #Conflicts: 740000 | #Constraints: 91085
1765.64/1771.89 c #Conflicts: 741000 | #Constraints: 92085
1765.64/1771.89 c #Conflicts: 742000 | #Constraints: 93085
2232.62/2240.42 c #Conflicts: 743000 | #Constraints: 94085
2232.62/2240.42 c #Conflicts: 744000 | #Constraints: 95085
2232.62/2240.42 c #Conflicts: 745000 | #Constraints: 96085
2232.62/2240.42 c #Conflicts: 746000 | #Constraints: 97085
2232.62/2240.42 c #Conflicts: 747000 | #Constraints: 98085
2232.62/2240.42 c #Conflicts: 748000 | #Constraints: 99085
2232.62/2240.42 c #Conflicts: 749000 | #Constraints: 100085
2232.62/2240.42 c #Conflicts: 750000 | #Constraints: 101085
2232.62/2240.42 c #Conflicts: 751000 | #Constraints: 102085
2232.62/2240.42 c #Conflicts: 752000 | #Constraints: 103085
2232.62/2240.42 c #Conflicts: 753000 | #Constraints: 104085
2232.62/2240.42 c #Conflicts: 754000 | #Constraints: 105085
2232.62/2240.42 c INPROCESSING
2232.62/2240.42 c GARBAGE COLLECT
2232.62/2240.42 c #Conflicts: 755000 | #Constraints: 56410
2232.62/2240.42 c #Conflicts: 756000 | #Constraints: 57410
2232.62/2240.42 c #Conflicts: 757000 | #Constraints: 58410
2232.62/2240.42 c #Conflicts: 758000 | #Constraints: 59410
2232.62/2240.42 c #Conflicts: 759000 | #Constraints: 60410
2232.62/2240.42 c #Conflicts: 760000 | #Constraints: 61410
2232.62/2240.42 c #Conflicts: 761000 | #Constraints: 62410
2232.62/2240.42 c #Conflicts: 762000 | #Constraints: 63410
2232.62/2240.42 c #Conflicts: 763000 | #Constraints: 64410
2232.62/2240.42 c #Conflicts: 764000 | #Constraints: 65410
2232.62/2240.42 c #Conflicts: 765000 | #Constraints: 66410
2232.62/2240.42 c #Conflicts: 766000 | #Constraints: 67410
2232.62/2240.42 c #Conflicts: 767000 | #Constraints: 68410
2232.62/2240.42 c #Conflicts: 768000 | #Constraints: 69410
2232.62/2240.42 c #Conflicts: 769000 | #Constraints: 70410
2232.62/2240.42 c #Conflicts: 770000 | #Constraints: 71410
2232.62/2240.42 c #Conflicts: 771000 | #Constraints: 72410
2232.62/2240.42 c #Conflicts: 772000 | #Constraints: 73410
2232.62/2240.42 c INPROCESSING
2232.62/2240.42 c GARBAGE COLLECT
2232.62/2240.42 c #Conflicts: 773000 | #Constraints: 40702
2232.62/2240.42 c #Conflicts: 774000 | #Constraints: 41702
2232.62/2240.42 c #Conflicts: 775000 | #Constraints: 42702
2232.62/2240.42 c #Conflicts: 776000 | #Constraints: 43702
2232.62/2240.42 c #Conflicts: 777000 | #Constraints: 44702
2232.62/2240.42 c #Conflicts: 778000 | #Constraints: 45702
2232.62/2240.42 c #Conflicts: 779000 | #Constraints: 46702
2232.62/2240.42 c #Conflicts: 780000 | #Constraints: 47702
2232.62/2240.42 c #Conflicts: 781000 | #Constraints: 48702
2232.62/2240.42 c #Conflicts: 782000 | #Constraints: 49702
2232.62/2240.42 c #Conflicts: 783000 | #Constraints: 50702
2232.62/2240.42 c #Conflicts: 784000 | #Constraints: 51702
2232.62/2240.42 c #Conflicts: 785000 | #Constraints: 52702
2232.62/2240.42 c #Conflicts: 786000 | #Constraints: 53702
2232.62/2240.42 c #Conflicts: 787000 | #Constraints: 54702
2232.62/2240.42 c #Conflicts: 788000 | #Constraints: 55702
2232.62/2240.42 c #Conflicts: 789000 | #Constraints: 56702
2232.62/2240.42 c #Conflicts: 790000 | #Constraints: 57702
2232.62/2240.42 c INPROCESSING
2232.62/2240.42 c GARBAGE COLLECT
2232.62/2240.42 c #Conflicts: 791000 | #Constraints: 32896
2232.62/2240.42 c #Conflicts: 792000 | #Constraints: 33896
2232.62/2240.42 c #Conflicts: 793000 | #Constraints: 34896
2232.62/2240.42 c #Conflicts: 794000 | #Constraints: 35896
2232.62/2240.42 c #Conflicts: 795000 | #Constraints: 36896
2232.62/2240.42 c #Conflicts: 796000 | #Constraints: 37896
2232.62/2240.42 c #Conflicts: 797000 | #Constraints: 38896
2232.62/2240.42 c #Conflicts: 798000 | #Constraints: 39896
2232.62/2240.42 c #Conflicts: 799000 | #Constraints: 40896
2232.62/2240.42 c #Conflicts: 800000 | #Constraints: 41896
2232.62/2240.42 c #Conflicts: 801000 | #Constraints: 42896
2232.62/2240.42 c #Conflicts: 802000 | #Constraints: 43896
2232.62/2240.42 c #Conflicts: 803000 | #Constraints: 44896
2232.62/2240.42 c #Conflicts: 804000 | #Constraints: 45896
2232.62/2240.42 c #Conflicts: 805000 | #Constraints: 46896
2232.62/2240.42 c #Conflicts: 806000 | #Constraints: 47896
2232.62/2240.42 c #Conflicts: 807000 | #Constraints: 48896
2232.62/2240.42 c #Conflicts: 808000 | #Constraints: 49896
2232.62/2240.42 c INPROCESSING
2232.62/2240.42 c GARBAGE COLLECT
2232.62/2240.42 c #Conflicts: 809000 | #Constraints: 28942
2232.62/2240.42 c #Conflicts: 810000 | #Constraints: 29942
2232.62/2240.42 c #Conflicts: 811000 | #Constraints: 30942
2232.62/2240.42 c #Conflicts: 812000 | #Constraints: 31942
2232.62/2240.42 c #Conflicts: 813000 | #Constraints: 32942
2232.62/2240.42 c #Conflicts: 814000 | #Constraints: 33942
2232.62/2240.42 c #Conflicts: 815000 | #Constraints: 34942
2232.62/2240.42 c #Conflicts: 816000 | #Constraints: 35942
2232.62/2240.42 c #Conflicts: 817000 | #Constraints: 36942
2232.62/2240.42 c #Conflicts: 818000 | #Constraints: 37942
2573.92/2582.91 c #Conflicts: 819000 | #Constraints: 38942
2573.92/2582.91 c #Conflicts: 820000 | #Constraints: 39942
2573.92/2582.91 c #Conflicts: 821000 | #Constraints: 40942
2573.92/2582.91 c #Conflicts: 822000 | #Constraints: 41942
2573.92/2582.91 c #Conflicts: 823000 | #Constraints: 42942
2573.92/2582.91 c #Conflicts: 824000 | #Constraints: 43942
2573.92/2582.91 c #Conflicts: 825000 | #Constraints: 44942
2573.92/2582.91 c #Conflicts: 826000 | #Constraints: 45942
2573.92/2582.91 c INPROCESSING
2573.92/2582.91 c GARBAGE COLLECT
2573.92/2582.91 c #Conflicts: 827000 | #Constraints: 26807
2573.92/2582.91 c #Conflicts: 828000 | #Constraints: 27807
2573.92/2582.91 c #Conflicts: 829000 | #Constraints: 28807
2573.92/2582.91 c #Conflicts: 830000 | #Constraints: 29807
2573.92/2582.91 c #Conflicts: 831000 | #Constraints: 30807
2573.92/2582.91 c #Conflicts: 832000 | #Constraints: 31807
2573.92/2582.91 c #Conflicts: 833000 | #Constraints: 32807
2573.92/2582.91 c #Conflicts: 834000 | #Constraints: 33807
2573.92/2582.91 c #Conflicts: 835000 | #Constraints: 34807
2573.92/2582.91 c #Conflicts: 836000 | #Constraints: 35807
2573.92/2582.91 c #Conflicts: 837000 | #Constraints: 36807
2573.92/2582.92 c #Conflicts: 838000 | #Constraints: 37807
2573.92/2582.92 c #Conflicts: 839000 | #Constraints: 38807
2573.92/2582.92 c #Conflicts: 840000 | #Constraints: 39807
2573.92/2582.92 c #Conflicts: 841000 | #Constraints: 40807
2573.92/2582.92 c #Conflicts: 842000 | #Constraints: 41807
2573.92/2582.92 c #Conflicts: 843000 | #Constraints: 42807
2573.92/2582.92 c #Conflicts: 844000 | #Constraints: 43807
2573.92/2582.92 c #Conflicts: 845000 | #Constraints: 44807
2573.92/2582.92 c INPROCESSING
2573.92/2582.92 c GARBAGE COLLECT
2573.92/2582.92 c #Conflicts: 846000 | #Constraints: 26487
2573.92/2582.92 c #Conflicts: 847000 | #Constraints: 27487
2573.92/2582.92 c #Conflicts: 848000 | #Constraints: 28487
2573.92/2582.92 c #Conflicts: 849000 | #Constraints: 29487
2573.92/2582.92 c #Conflicts: 850000 | #Constraints: 30487
2573.92/2582.92 c #Conflicts: 851000 | #Constraints: 31487
2573.92/2582.92 c #Conflicts: 852000 | #Constraints: 32487
2573.92/2582.92 c #Conflicts: 853000 | #Constraints: 33487
2573.92/2582.92 c #Conflicts: 854000 | #Constraints: 34487
2573.92/2582.92 c #Conflicts: 855000 | #Constraints: 35487
2573.92/2582.92 c #Conflicts: 856000 | #Constraints: 36487
2573.92/2582.92 c #Conflicts: 857000 | #Constraints: 37487
2573.92/2582.92 c #Conflicts: 858000 | #Constraints: 38487
2573.92/2582.92 c #Conflicts: 859000 | #Constraints: 39487
2573.92/2582.92 c #Conflicts: 860000 | #Constraints: 40487
2573.92/2582.92 c #Conflicts: 861000 | #Constraints: 41487
2573.92/2582.92 c #Conflicts: 862000 | #Constraints: 42487
2573.92/2582.92 c #Conflicts: 863000 | #Constraints: 43487
2573.92/2582.92 c #Conflicts: 864000 | #Constraints: 44487
2573.92/2582.92 c #Conflicts: 865000 | #Constraints: 45487
2573.92/2582.92 c #Conflicts: 866000 | #Constraints: 46487
2573.92/2582.92 c #Conflicts: 867000 | #Constraints: 47487
2573.92/2582.92 c #Conflicts: 868000 | #Constraints: 48487
2573.92/2582.92 c #Conflicts: 869000 | #Constraints: 49487
2573.92/2582.92 c #Conflicts: 870000 | #Constraints: 50487
2573.92/2582.92 c #Conflicts: 871000 | #Constraints: 51487
2573.92/2582.92 c #Conflicts: 872000 | #Constraints: 52487
2573.92/2582.92 c #Conflicts: 873000 | #Constraints: 53487
2573.92/2582.92 c #Conflicts: 874000 | #Constraints: 54487
2573.92/2582.92 c #Conflicts: 875000 | #Constraints: 55487
2573.92/2582.92 c #Conflicts: 876000 | #Constraints: 56487
2573.92/2582.92 c #Conflicts: 877000 | #Constraints: 57487
2573.92/2582.92 c #Conflicts: 878000 | #Constraints: 58487
2573.92/2582.92 c #Conflicts: 879000 | #Constraints: 59487
2573.92/2582.92 c #Conflicts: 880000 | #Constraints: 60487
2573.92/2582.92 c #Conflicts: 881000 | #Constraints: 61487
2573.92/2582.92 c #Conflicts: 882000 | #Constraints: 62487
2573.92/2582.92 c #Conflicts: 883000 | #Constraints: 63487
2573.92/2582.92 c #Conflicts: 884000 | #Constraints: 64487
2573.92/2582.92 c #Conflicts: 885000 | #Constraints: 65487
2573.92/2582.92 c #Conflicts: 886000 | #Constraints: 66487
2573.92/2582.92 c #Conflicts: 887000 | #Constraints: 67487
2573.92/2582.92 c #Conflicts: 888000 | #Constraints: 68487
2573.92/2582.92 c #Conflicts: 889000 | #Constraints: 69487
2573.92/2582.92 c #Conflicts: 890000 | #Constraints: 70487
2573.92/2582.92 c #Conflicts: 891000 | #Constraints: 71487
2573.92/2582.92 c #Conflicts: 892000 | #Constraints: 72487
2573.92/2582.92 c #Conflicts: 893000 | #Constraints: 73487
2573.92/2582.92 c #Conflicts: 894000 | #Constraints: 74487
2573.92/2582.92 c #Conflicts: 895000 | #Constraints: 75487
2573.92/2582.92 c #Conflicts: 896000 | #Constraints: 76487
3238.73/3250.02 c #Conflicts: 897000 | #Constraints: 77487
3238.73/3250.02 c #Conflicts: 898000 | #Constraints: 78487
3238.73/3250.02 c #Conflicts: 899000 | #Constraints: 79487
3238.73/3250.02 c #Conflicts: 900000 | #Constraints: 80487
3238.73/3250.02 c #Conflicts: 901000 | #Constraints: 81487
3238.73/3250.02 c #Conflicts: 902000 | #Constraints: 82487
3238.73/3250.02 c #Conflicts: 903000 | #Constraints: 83487
3238.73/3250.02 c #Conflicts: 904000 | #Constraints: 84487
3238.73/3250.02 c #Conflicts: 905000 | #Constraints: 85487
3238.73/3250.02 c #Conflicts: 906000 | #Constraints: 86487
3238.73/3250.02 c #Conflicts: 907000 | #Constraints: 87487
3238.73/3250.02 c #Conflicts: 908000 | #Constraints: 88487
3238.73/3250.02 c #Conflicts: 909000 | #Constraints: 89487
3238.73/3250.02 c #Conflicts: 910000 | #Constraints: 90487
3238.73/3250.02 c #Conflicts: 911000 | #Constraints: 91487
3238.73/3250.02 c #Conflicts: 912000 | #Constraints: 92487
3238.73/3250.02 c #Conflicts: 913000 | #Constraints: 93487
3238.73/3250.02 c #Conflicts: 914000 | #Constraints: 94487
3238.73/3250.02 c #Conflicts: 915000 | #Constraints: 95487
3238.73/3250.02 c #Conflicts: 916000 | #Constraints: 96487
3238.73/3250.02 c #Conflicts: 917000 | #Constraints: 97487
3238.73/3250.02 c #Conflicts: 918000 | #Constraints: 98487
3238.73/3250.02 c #Conflicts: 919000 | #Constraints: 99487
3238.73/3250.02 c #Conflicts: 920000 | #Constraints: 100487
3238.73/3250.02 c #Conflicts: 921000 | #Constraints: 101487
3238.73/3250.02 c #Conflicts: 922000 | #Constraints: 102487
3238.73/3250.02 c #Conflicts: 923000 | #Constraints: 103487
3238.73/3250.02 c #Conflicts: 924000 | #Constraints: 104487
3238.73/3250.02 c #Conflicts: 925000 | #Constraints: 105487
3238.73/3250.02 c #Conflicts: 926000 | #Constraints: 106487
3238.73/3250.02 c #Conflicts: 927000 | #Constraints: 107487
3238.73/3250.02 c #Conflicts: 928000 | #Constraints: 108487
3238.73/3250.02 c #Conflicts: 929000 | #Constraints: 109487
3238.73/3250.02 c #Conflicts: 930000 | #Constraints: 110487
3238.73/3250.02 c #Conflicts: 931000 | #Constraints: 111487
3238.73/3250.02 c #Conflicts: 932000 | #Constraints: 112487
3238.73/3250.02 c #Conflicts: 933000 | #Constraints: 113487
3238.73/3250.02 c #Conflicts: 934000 | #Constraints: 114487
3238.73/3250.02 c #Conflicts: 935000 | #Constraints: 115487
3238.73/3250.02 c #Conflicts: 936000 | #Constraints: 116487
3238.73/3250.02 c INPROCESSING
3238.73/3250.02 c GARBAGE COLLECT
3238.73/3250.02 c #Conflicts: 937000 | #Constraints: 62514
3238.73/3250.02 c #Conflicts: 938000 | #Constraints: 63514
3238.73/3250.02 c #Conflicts: 939000 | #Constraints: 64514
3238.73/3250.02 c #Conflicts: 940000 | #Constraints: 65514
3238.73/3250.02 c #Conflicts: 941000 | #Constraints: 66514
3238.73/3250.02 c #Conflicts: 942000 | #Constraints: 67514
3238.73/3250.02 c #Conflicts: 943000 | #Constraints: 68514
3238.73/3250.02 c #Conflicts: 944000 | #Constraints: 69514
3238.73/3250.02 c #Conflicts: 945000 | #Constraints: 70514
3238.73/3250.02 c #Conflicts: 946000 | #Constraints: 71514
3238.73/3250.02 c #Conflicts: 947000 | #Constraints: 72514
3238.73/3250.02 c #Conflicts: 948000 | #Constraints: 73514
3238.73/3250.02 c #Conflicts: 949000 | #Constraints: 74514
3238.73/3250.02 c #Conflicts: 950000 | #Constraints: 75514
3238.73/3250.02 c #Conflicts: 951000 | #Constraints: 76514
3238.73/3250.02 c #Conflicts: 952000 | #Constraints: 77514
3238.73/3250.02 c #Conflicts: 953000 | #Constraints: 78514
3238.73/3250.02 c #Conflicts: 954000 | #Constraints: 79514
3238.73/3250.02 c #Conflicts: 955000 | #Constraints: 80514
3238.73/3250.02 c INPROCESSING
3238.73/3250.02 c GARBAGE COLLECT
3238.73/3250.02 c #Conflicts: 956000 | #Constraints: 44132
3238.73/3250.02 c #Conflicts: 957000 | #Constraints: 45132
3238.73/3250.02 c #Conflicts: 958000 | #Constraints: 46132
3238.73/3250.02 c #Conflicts: 959000 | #Constraints: 47132
3238.73/3250.02 c #Conflicts: 960000 | #Constraints: 48132
3238.73/3250.02 c #Conflicts: 961000 | #Constraints: 49132
3238.73/3250.02 c #Conflicts: 962000 | #Constraints: 50132
3238.73/3250.02 c #Conflicts: 963000 | #Constraints: 51132
3238.73/3250.02 c #Conflicts: 964000 | #Constraints: 52132
3238.73/3250.02 c #Conflicts: 965000 | #Constraints: 53132
3238.73/3250.02 c #Conflicts: 966000 | #Constraints: 54132
3238.73/3250.02 c #Conflicts: 967000 | #Constraints: 55132
3238.73/3250.02 c #Conflicts: 968000 | #Constraints: 56132
3238.73/3250.02 c #Conflicts: 969000 | #Constraints: 57132
3238.73/3250.02 c #Conflicts: 970000 | #Constraints: 58132
3238.73/3250.02 c #Conflicts: 971000 | #Constraints: 59132
3238.73/3250.02 c #Conflicts: 972000 | #Constraints: 60132
3238.73/3250.02 c #Conflicts: 973000 | #Constraints: 61132
3585.13/3597.64 c #Conflicts: 974000 | #Constraints: 62132
3585.13/3597.64 c #Conflicts: 975000 | #Constraints: 63132
3585.13/3597.64 c INPROCESSING
3585.13/3597.64 c GARBAGE COLLECT
3585.13/3597.64 c #Conflicts: 976000 | #Constraints: 35429
3585.13/3597.64 c #Conflicts: 977000 | #Constraints: 36429
3585.13/3597.64 c #Conflicts: 978000 | #Constraints: 37429
3585.13/3597.64 c #Conflicts: 979000 | #Constraints: 38429
3585.13/3597.64 c #Conflicts: 980000 | #Constraints: 39429
3585.13/3597.64 c #Conflicts: 981000 | #Constraints: 40429
3585.13/3597.64 c #Conflicts: 982000 | #Constraints: 41429
3585.13/3597.64 c #Conflicts: 983000 | #Constraints: 42429
3585.13/3597.64 c #Conflicts: 984000 | #Constraints: 43429
3585.13/3597.64 c #Conflicts: 985000 | #Constraints: 44429
3585.13/3597.64 c #Conflicts: 986000 | #Constraints: 45429
3585.13/3597.64 c #Conflicts: 987000 | #Constraints: 46429
3585.13/3597.64 c #Conflicts: 988000 | #Constraints: 47429
3585.13/3597.64 c #Conflicts: 989000 | #Constraints: 48429
3585.13/3597.64 c #Conflicts: 990000 | #Constraints: 49429
3585.13/3597.64 c #Conflicts: 991000 | #Constraints: 50429
3585.13/3597.64 c #Conflicts: 992000 | #Constraints: 51429
3585.13/3597.64 c #Conflicts: 993000 | #Constraints: 52429
3585.13/3597.64 c #Conflicts: 994000 | #Constraints: 53429
3585.13/3597.64 c #Conflicts: 995000 | #Constraints: 54429
3585.13/3597.64 c #Conflicts: 996000 | #Constraints: 55429
3585.13/3597.64 c INPROCESSING
3585.13/3597.64 c GARBAGE COLLECT
3585.13/3597.64 c #Conflicts: 997000 | #Constraints: 31961
3585.13/3597.64 c #Conflicts: 998000 | #Constraints: 32961
3585.13/3597.64 c #Conflicts: 999000 | #Constraints: 33961
3585.13/3597.64 c #Conflicts: 1000000 | #Constraints: 34961
3585.13/3597.64 c #Conflicts: 1001000 | #Constraints: 35961
3585.13/3597.64 c #Conflicts: 1002000 | #Constraints: 36961
3585.13/3597.64 c #Conflicts: 1003000 | #Constraints: 37961
3585.13/3597.64 c #Conflicts: 1004000 | #Constraints: 38961
3585.13/3597.64 c #Conflicts: 1005000 | #Constraints: 39961
3585.13/3597.64 c #Conflicts: 1006000 | #Constraints: 40961
3585.13/3597.64 c #Conflicts: 1007000 | #Constraints: 41961
3585.13/3597.64 c #Conflicts: 1008000 | #Constraints: 42961
3585.13/3597.64 c #Conflicts: 1009000 | #Constraints: 43961
3585.13/3597.64 c #Conflicts: 1010000 | #Constraints: 44961
3585.13/3597.64 c #Conflicts: 1011000 | #Constraints: 45961
3585.13/3597.64 c #Conflicts: 1012000 | #Constraints: 46961
3585.13/3597.64 c #Conflicts: 1013000 | #Constraints: 47961
3585.13/3597.64 c #Conflicts: 1014000 | #Constraints: 48961
3585.13/3597.64 c #Conflicts: 1015000 | #Constraints: 49961
3585.13/3597.64 c #Conflicts: 1016000 | #Constraints: 50961
3585.13/3597.64 c INPROCESSING
3585.13/3597.64 c GARBAGE COLLECT
3585.13/3597.64 c #Conflicts: 1017000 | #Constraints: 29528
3585.13/3597.64 c #Conflicts: 1018000 | #Constraints: 30528
3585.13/3597.64 c #Conflicts: 1019000 | #Constraints: 31528
3585.13/3597.64 c #Conflicts: 1020000 | #Constraints: 32528
3585.13/3597.64 c #Conflicts: 1021000 | #Constraints: 33528
3585.13/3597.64 c #Conflicts: 1022000 | #Constraints: 34528
3585.13/3597.64 c #Conflicts: 1023000 | #Constraints: 35528
3585.13/3597.64 c #Conflicts: 1024000 | #Constraints: 36528
3585.13/3597.64 c #Conflicts: 1025000 | #Constraints: 37528
3585.13/3597.64 c #Conflicts: 1026000 | #Constraints: 38528
3585.13/3597.64 c #Conflicts: 1027000 | #Constraints: 39528
3585.13/3597.64 c #Conflicts: 1028000 | #Constraints: 40528
3585.13/3597.64 c #Conflicts: 1029000 | #Constraints: 41528
3585.13/3597.64 c #Conflicts: 1030000 | #Constraints: 42528
3585.13/3597.64 c #Conflicts: 1031000 | #Constraints: 43528
3585.13/3597.64 c #Conflicts: 1032000 | #Constraints: 44528
3585.13/3597.64 c #Conflicts: 1033000 | #Constraints: 45528
3585.13/3597.64 c #Conflicts: 1034000 | #Constraints: 46528
3585.13/3597.64 c #Conflicts: 1035000 | #Constraints: 47528
3585.13/3597.64 c #Conflicts: 1036000 | #Constraints: 48528
3585.13/3597.64 c #Conflicts: 1037000 | #Constraints: 49528
3585.13/3597.64 c #Conflicts: 1038000 | #Constraints: 50528
3585.13/3597.64 c #Conflicts: 1039000 | #Constraints: 51528
3585.13/3597.64 c #Conflicts: 1040000 | #Constraints: 52528
3585.13/3597.64 c #Conflicts: 1041000 | #Constraints: 53528
3585.13/3597.64 c #Conflicts: 1042000 | #Constraints: 54528
3585.13/3597.64 c #Conflicts: 1043000 | #Constraints: 55528
3585.13/3597.64 c #Conflicts: 1044000 | #Constraints: 56528
3585.13/3597.64 c #Conflicts: 1045000 | #Constraints: 57528
3585.13/3597.64 c #Conflicts: 1046000 | #Constraints: 58528
3585.13/3597.64 c #Conflicts: 1047000 | #Constraints: 59528
3585.13/3597.64 c #Conflicts: 1048000 | #Constraints: 60528
3585.13/3597.64 c #Conflicts: 1049000 | #Constraints: 61528
3585.13/3597.64 c #Conflicts: 1050000 | #Constraints: 62528
3600.08/3612.60 c #Conflicts: 1051000 | #Constraints: 63528
3600.08/3612.60 c #Conflicts: 1052000 | #Constraints: 64528
3600.08/3612.60 c Program interrupted by user.
3600.08/3612.60 c cpu time 3586.44 s
3600.08/3612.60 c deterministic time 319256087766 3.19e+11
3600.08/3612.60 c optimization time 164.344 s
3600.08/3612.60 c total solve time 3122.78 s
3600.08/3612.60 c core-guided solve time 3122.78 s
3600.08/3612.60 c propagation time 3160.15 s
3600.08/3612.60 c conflict analysis time 107.7 s
3600.08/3612.60 c propagations 568445657
3600.08/3612.60 c resolve steps 3953592
3600.08/3612.60 c decisions 6379080
3600.08/3612.60 c conflicts 1052354
3600.08/3612.60 c restarts 2046
3600.08/3612.60 c inprocessing phases 84
3600.08/3612.60 c input clauses 0
3600.08/3612.60 c input cardinalities 0
3600.08/3612.60 c input general constraints 6383
3600.08/3612.60 c input average constraint length 29.25
3600.08/3612.60 c input average constraint degree 443.57
3600.08/3612.60 c learned clauses 328994
3600.08/3612.60 c learned cardinalities 1
3600.08/3612.60 c learned general constraints 723358
3600.08/3612.60 c learned average constraint length 40.88
3600.08/3612.60 c learned average constraint degree 469156.71
3600.08/3612.60 c watched constraints 727489
3600.08/3612.60 c counting constraints 2252
3600.08/3612.60 c gcd simplifications 10144
3600.08/3612.60 c detected cardinalities 1
3600.08/3612.60 c weakened non-implied lits 4164798
3600.08/3612.60 c weakened non-implying lits 1105
3600.08/3612.60 c original variables 3296
3600.08/3612.60 c clausal propagations 572758
3600.08/3612.60 c cardinality propagations 0
3600.08/3612.60 c watched propagations 552383619
3600.08/3612.60 c counting propagations 14896129
3600.08/3612.60 c watch lookups 64359090681
3600.08/3612.60 c watch backjump lookups 61823541151
3600.08/3612.60 c watch checks 102229778240
3600.08/3612.60 c propagation checks 89547638096
3600.08/3612.60 c constraint additions 145339229
3600.08/3612.60 c trail pops 575875631
3600.08/3612.60 c formula constraints 6383
3600.08/3612.60 c learned constraints 1052353
3600.08/3612.60 c bound constraints 0
3600.08/3612.60 c core-guided constraints 0
3600.08/3612.60 c encountered formula constraints 3849288
3600.08/3612.60 c encountered learned constraints 1156658
3600.08/3612.60 c encountered bound constraints 0
3600.08/3612.60 c encountered core-guided constraints 0
3600.08/3612.60 c LP total time 0 s
3600.08/3612.60 c LP solve time 0 s
3600.08/3612.60 c LP constraints added 0
3600.08/3612.60 c LP constraints removed 0
3600.08/3612.60 c LP pivots internal 0
3600.08/3612.60 c LP pivots root 0
3600.08/3612.60 c LP calls 0
3600.08/3612.60 c LP optimalities 0
3600.08/3612.60 c LP no pivot count 0
3600.08/3612.60 c LP infeasibilities 0
3600.08/3612.60 c LP valid Farkas constraints 0
3600.08/3612.60 c LP learned Farkas constraints 0
3600.08/3612.60 c LP basis resets 0
3600.08/3612.60 c LP cycling count 0
3600.08/3612.60 c LP singular count 0
3600.08/3612.60 c LP no primal count 0
3600.08/3612.60 c LP no farkas count 0
3600.08/3612.60 c LP other issue count 0
3600.08/3612.60 c LP Gomory cuts 0
3600.08/3612.60 c LP learned cuts 0
3600.08/3612.60 c LP deleted cuts 0
3600.08/3612.60 c LP encountered Gomory constraints 0
3600.08/3612.60 c LP encountered Farkas constraints 0
3600.08/3612.60 c LP encountered learned Farkas constraints 0
3600.08/3612.60 c CG auxiliary variables introduced 0
3600.08/3612.60 c CG solutions found 0
3600.08/3612.60 c CG cores constructed 0
3600.08/3612.60 c CG core cardinality constraints returned 0
3600.08/3612.60 c CG unit cores 0
3600.08/3612.60 c CG single cores 0
3600.08/3612.60 c CG blocks removed during cardinality reduction 0
3600.08/3612.60 c CG first core best 0
3600.08/3612.60 c CG decision core best 0
3600.08/3612.60 c CG core reduction tie 0
3600.08/3612.60 c CG core degree average 0.00
3600.08/3612.60 c CG core slack average 0.00
3600.08/3612.60 c CG exhausted 0
3600.08/3612.60 c CG exhaust time 0 s
3600.08/3612.60 c CG trimmed 0
3600.08/3612.60 c CG trim time 0 s
3600.08/3612.60 c CG minimized 0
3600.08/3612.60 c CG minimize time 0 s
3600.08/3612.60 c CG am1 prop time 0.000147 s
3600.08/3612.60 c CG # am1s reformulated 0
3600.08/3612.60 c CG lower bound derived from am1s 0
3600.08/3612.60 c CG # clausal cores 0
3600.08/3612.60 c CG # cardinality cores 0
3600.08/3612.60 c CG # pb cores 0
3600.08/3612.60 c CG # pb reforms 0
3600.08/3612.60 c CG # cores discarded because of pb reform 0
3600.08/3612.60 d LOWERBOUND 0
3600.08/3612.60 d NCORES 0
3600.08/3612.60 d NPBCORES 0
3600.08/3612.60 d NPBREFORM 0
3600.08/3612.60 d NTRIMMED 0
3600.08/3612.60 d NEXHAUSTED 0
3600.08/3612.60 d NAM1S 0
3600.08/3612.60 d AM1LB 0
3600.08/3612.60 c [Papilo Statistics]
3600.08/3612.60 c prepro time 0.200653s
3600.08/3612.60 c # tsx applied 3225
3600.08/3612.60 c # tsx conflicts 0
3600.08/3612.60 c # bound changes 1
3600.08/3612.60 c # side changes 2924
3600.08/3612.60 c # coef changes 420
3600.08/3612.60 c # rounds 3
3600.08/3612.60 c # deted vars 1
3600.08/3612.60 c # deted constrs 2904
3600.08/3612.60 c # consecutive rounds of only bound changes 0
3600.08/3612.60 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: 64059 MiB (62845 MiB free)
memory of node 1: 64510 MiB (60899 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454737-1721471328/watcher-4454737-1721471328 -o /tmp/evaluation-result-4454737-1721471328/solver-4454737-1721471328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064085 --watchdog 3760 mixed-bag HOME/instance-4454737-1721471328.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1066439, runsolver pid=1066436
Current StackSize limit: 8192 KiB
[startup+0.100241 s]*
/proc/loadavg: 4.14 4.12 4.06 8/247 1066440
/proc/meminfo: memFree=126689820/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=76268 memory=10476 CPUtime=0.09 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 1625 0 0 0 9 0 0 0 20 0 1 0 199289387 78098432 2619 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 19067 2619 1669 3002 0 3355 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76268 KiB
Current children cumulated memory: 10476 KiB
[startup+0.213363 s]*
/proc/loadavg: 4.14 4.12 4.06 5/245 1066440
/proc/meminfo: memFree=126944056/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=82412 memory=14184 CPUtime=0.21 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 2557 0 0 0 20 1 0 0 20 0 1 0 199289387 84389888 3546 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 20603 3546 1669 3002 0 4891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82412 KiB
Current children cumulated memory: 14184 KiB
[startup+0.313302 s]*
/proc/loadavg: 4.14 4.12 4.06 5/245 1066454
/proc/meminfo: memFree=126929404/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=101152 memory=34884 CPUtime=0.3 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) D 1066436 1066439 1064075 0 -1 1078198272 5705 0 0 0 28 2 0 0 20 0 1 0 199289387 103579648 8721 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 25288 8721 1701 3002 0 9576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101152 KiB
Current children cumulated memory: 34884 KiB
[startup+0.700324 s]
/proc/loadavg: 4.14 4.12 4.06 5/245 1066454
/proc/meminfo: memFree=126893516/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=161632 memory=90896 CPUtime=0.68 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 17199 0 0 0 62 6 0 0 20 0 1 0 199289387 165511168 22724 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 40408 22724 3858 3002 0 24157 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161632 KiB
Current children cumulated memory: 90896 KiB
[startup+1.50034 s]
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126812864/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=243840 memory=165320 CPUtime=1.47 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 34060 0 0 0 137 10 0 0 20 0 1 0 199289387 249692160 41330 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 60960 41330 4090 3002 0 44709 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 243840 KiB
Current children cumulated memory: 165320 KiB
[startup+3.11259 s]
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126557944/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=318208 memory=234924 CPUtime=3.08 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 50971 0 0 0 295 13 0 0 20 0 1 0 199289387 325844992 58731 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 79552 58731 4121 3002 0 63301 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 318208 KiB
Current children cumulated memory: 234924 KiB
[startup+6.3003 s]
/proc/loadavg: 4.13 4.12 4.05 5/247 1066487
/proc/meminfo: memFree=126487200/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=346996 memory=266056 CPUtime=6.25 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 58724 0 0 0 611 14 0 0 20 0 1 0 199289387 355323904 66514 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 86749 66514 4121 3002 0 70498 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 346996 KiB
Current children cumulated memory: 266056 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.10 4.05 5/244 1066765
/proc/meminfo: memFree=126709092/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=349024 memory=268924 CPUtime=12.64 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 61516 0 0 0 1249 15 0 0 20 0 1 0 199289387 357400576 67231 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 87256 67231 4121 3002 0 71005 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 349024 KiB
Current children cumulated memory: 268924 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.09 4.05 5/247 1066906
/proc/meminfo: memFree=126509296/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=355968 memory=275728 CPUtime=25.39 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 63268 0 0 0 2524 15 0 0 20 0 1 0 199289387 364511232 68932 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 88992 68932 4121 3002 0 72741 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 355968 KiB
Current children cumulated memory: 275728 KiB
[startup+51.1126 s]
/proc/loadavg: 4.09 4.10 4.05 5/246 1066909
/proc/meminfo: memFree=126381084/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=349824 memory=269800 CPUtime=50.92 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 74595 0 0 0 5074 18 0 0 20 0 1 0 199289387 358219776 67450 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 87456 67450 4121 3002 0 71205 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 349824 KiB
Current children cumulated memory: 269800 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/248 1067068
/proc/meminfo: memFree=126198100/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=399552 memory=320660 CPUtime=101.93 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 94216 0 0 0 10173 20 0 0 20 0 1 0 199289387 409141248 80165 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 99888 80165 4121 3002 0 83637 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 399552 KiB
Current children cumulated memory: 320660 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/248 1067078
/proc/meminfo: memFree=125814444/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=399552 memory=321184 CPUtime=161.72 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 94333 0 0 0 16151 21 0 0 20 0 1 0 199289387 409141248 80296 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 99888 80296 4121 3002 0 83637 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 399552 KiB
Current children cumulated memory: 321184 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/248 1067134
/proc/meminfo: memFree=126177428/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=424340 memory=348144 CPUtime=221.5 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 102815 0 0 0 22128 22 0 0 20 0 1 0 199289387 434524160 87036 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 106085 87036 4121 3002 0 89834 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 424340 KiB
Current children cumulated memory: 348144 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/248 1067189
/proc/meminfo: memFree=126109548/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=424340 memory=357372 CPUtime=281.27 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 102898 0 0 0 28105 22 0 0 20 0 1 0 199289387 434524160 89343 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 106085 89343 4121 3002 0 89834 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 424340 KiB
Current children cumulated memory: 357372 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.06 5/246 1067752
/proc/meminfo: memFree=125315648/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=408172 memory=344992 CPUtime=341.08 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 103772 0 0 0 34028 80 0 0 20 0 1 0 199289387 417968128 86248 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 102043 86248 4233 3002 0 85792 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 408172 KiB
Current children cumulated memory: 344992 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/242 1067854
/proc/meminfo: memFree=123054928/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=408172 memory=349952 CPUtime=400.87 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 104157 0 0 0 39957 130 0 0 20 0 1 0 199289387 417968128 87488 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 102043 87488 4233 3002 0 85792 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 408172 KiB
Current children cumulated memory: 349952 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/242 1067865
/proc/meminfo: memFree=122647864/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=412592 memory=350732 CPUtime=460.67 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 104449 0 0 0 45889 178 0 0 20 0 1 0 199289387 422494208 87683 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 103148 87683 4233 3002 0 86897 0
################
# More data... #
################
Current children cumulated memory: 380132 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.25 4.26 5/242 1068914
/proc/meminfo: memFree=120113912/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=380132 CPUtime=2852.34 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 109472 0 0 0 284065 1169 0 0 20 0 1 0 199289387 461225984 95033 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95033 4233 3002 0 96353 0
Current children cumulated CPU time: 2852.34 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 380132 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.22 4.24 5/242 1068924
/proc/meminfo: memFree=120107288/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=2912.13 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 109550 0 0 0 290035 1178 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 2912.13 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.22 4.24 5/242 1068934
/proc/meminfo: memFree=120054652/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=2971.93 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 109631 0 0 0 296006 1187 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 2971.93 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.19 4.23 5/242 1068945
/proc/meminfo: memFree=119910484/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3031.73 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 109702 0 0 0 301975 1198 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3031.73 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.19 4.23 5/246 1068961
/proc/meminfo: memFree=119895776/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3091.52 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 109772 0 0 0 307944 1208 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3091.52 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.22 5/246 1068971
/proc/meminfo: memFree=119883716/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3151.31 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 109846 0 0 0 313912 1219 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3151.31 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.21 6/246 1068982
/proc/meminfo: memFree=119870788/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3211.11 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 109914 0 0 0 319876 1235 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3211.11 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.20 5/246 1068992
/proc/meminfo: memFree=119850132/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3270.91 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 110006 0 0 0 325840 1251 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3270.91 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.19 5/246 1069002
/proc/meminfo: memFree=119846972/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3330.7 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 110074 0 0 0 331801 1269 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3330.7 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.19 5/247 1069396
/proc/meminfo: memFree=119846216/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3390.49 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 110146 0 0 0 337758 1291 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3390.49 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/243 1069407
/proc/meminfo: memFree=119335652/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3450.29 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 110217 0 0 0 343714 1315 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3450.29 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/243 1069417
/proc/meminfo: memFree=119332912/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3510.09 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 110286 0 0 0 349672 1337 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3510.09 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/245 1069597
/proc/meminfo: memFree=119324828/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3569.88 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 110354 0 0 0 355632 1356 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3569.88 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.16 4.14 4.17 5/245 1069741
/proc/meminfo: memFree=126208660/131655788 swapFree=131071996/131071996
[pid=1066439] ppid=1066436 vsize=450416 memory=382180 CPUtime=3600.08 cores=0,2
/proc/1066439/stat : 1066439 (mixed-bag) R 1066436 1066439 1064075 0 -1 4194304 110363 0 0 0 358644 1364 0 0 20 0 1 0 199289387 461225984 95545 134679101440 4194304 16488053 140728982633488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30064640 140728982639637 140728982639714 140728982639714 140728982646731 0
/proc/1066439/statm: 112604 95545 4233 3002 0 96353 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 450416 KiB
Current children cumulated memory: 382180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.6 s]
# the end of solver process 1066439 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.45 s, system=13.646 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.6
CPU time (s): 3600.09
CPU user time (s): 3586.45
CPU system time (s): 13.646
CPU usage (%): 99.6537
Max. virtual memory (cumulated for all children) (KiB): 450416
Max. memory (cumulated for all children) (KiB): 382180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.45
system time used= 13.646
maximum resident set size= 383012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110399
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= 25192
# summary of solver processes directly reported to runsolver:
# pid: 1066439
# total CPU time (s): 3600.09
# total CPU user time (s): 3586.45
# total CPU system time (s): 13.646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8001 second user time and 33.9989 second system time
The end
Begin job on nodeC007 at 2024-07-20 12:29:00
IDJOB=4454737
IDBENCH=147690
IDSOLVER=3083
FILE ID=nodeC007/4454737-1721471328
RUNJOBID= nodeC007-1721467725-1064085
SLURM_JOB_ID= 7545722
Free space on /tmp= 723728 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454737-1721471328/watcher-4454737-1721471328 -o /tmp/evaluation-result-4454737-1721471328/solver-4454737-1721471328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064085 --watchdog 3760 mixed-bag HOME/instance-4454737-1721471328.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=252445233
nodeC007.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 : 0xb00001f
cpu MHz : 1285.879
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3670.348
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.133
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.374
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 2876.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3666.110
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.297
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.284
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126718828 kB
MemAvailable: 129400800 kB
Buffers: 556764 kB
Cached: 2965264 kB
SwapCached: 0 kB
Active: 1159468 kB
Inactive: 3209784 kB
Active(anon): 1460 kB
Inactive(anon): 891676 kB
Active(file): 1158008 kB
Inactive(file): 2318108 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 72720 kB
Writeback: 0 kB
AnonPages: 847388 kB
Mapped: 141176 kB
Shmem: 45896 kB
KReclaimable: 91776 kB
Slab: 194872 kB
SReclaimable: 91776 kB
SUnreclaim: 103096 kB
KernelStack: 3968 kB
PageTables: 11284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1194660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 301056 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723692 MiB
End job on nodeC007 at 2024-07-20 13:29:13