0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c Papilo could not simplify the problem
0.00/0.03 c [STEP] solving with SCIP
299.29/300.11 c [STEP] preprocessing done, loading into solver
299.29/300.12 c [STEP] solving
299.29/300.12 c #variables 541 #constraints 4626
299.29/300.12 c SMALL=int, LARGE=long long
299.29/300.12 d SCIPUB 26960
299.29/300.12 c bounds - >= 0 @ 299.196
299.29/300.12 c stratification level: 1090
299.29/300.14 c bounds - >= 1090 @ 299.206
299.29/300.14 c finalizing WCE round: reformulating cores
299.88/300.78 c bounds 26816 >= 1090 @ 299.236
299.88/300.78 c #Conflicts: 1000 | #Constraints: 5631
299.88/300.78 c #Conflicts: 2000 | #Constraints: 6631
299.88/300.78 c INPROCESSING
299.88/300.78 c GARBAGE COLLECT
299.88/300.78 c #Conflicts: 3000 | #Constraints: 6637
299.88/300.78 c #Conflicts: 4000 | #Constraints: 7637
299.88/300.78 c INPROCESSING
299.88/300.78 c GARBAGE COLLECT
299.88/300.78 c #Conflicts: 5000 | #Constraints: 7053
299.88/300.78 c #Conflicts: 6000 | #Constraints: 8053
299.88/300.78 c INPROCESSING
299.88/300.78 c GARBAGE COLLECT
299.88/300.78 c #Conflicts: 7000 | #Constraints: 7059
299.88/300.78 c bounds 26810 >= 1090 @ 299.833
299.88/300.78 c stratification level: 1020
300.18/301.03 c #Conflicts: 8000 | #Constraints: 8060
300.18/301.03 c #Conflicts: 9000 | #Constraints: 9060
300.18/301.03 c INPROCESSING
300.18/301.03 c GARBAGE COLLECT
300.18/301.03 c bounds 25923 >= 1090 @ 300.076
300.18/301.03 c stratification level: 1010
304.37/305.28 c bounds 25923 >= 2100 @ 300.077
304.37/305.28 c bounds 25923 >= 3110 @ 300.078
304.37/305.28 c bounds 25923 >= 4120 @ 300.082
304.37/305.28 c #Conflicts: 10000 | #Constraints: 7766
304.37/305.28 c #Conflicts: 11000 | #Constraints: 8766
304.37/305.28 c #Conflicts: 12000 | #Constraints: 9766
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 13000 | #Constraints: 8213
304.37/305.28 c #Conflicts: 14000 | #Constraints: 9213
304.37/305.28 c #Conflicts: 15000 | #Constraints: 10213
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 16000 | #Constraints: 8439
304.37/305.28 c #Conflicts: 17000 | #Constraints: 9439
304.37/305.28 c #Conflicts: 18000 | #Constraints: 10439
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 19000 | #Constraints: 8456
304.37/305.28 c #Conflicts: 20000 | #Constraints: 9456
304.37/305.28 c #Conflicts: 21000 | #Constraints: 10456
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 22000 | #Constraints: 8267
304.37/305.28 c #Conflicts: 23000 | #Constraints: 9267
304.37/305.28 c #Conflicts: 24000 | #Constraints: 10267
304.37/305.28 c #Conflicts: 25000 | #Constraints: 11267
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 26000 | #Constraints: 8868
304.37/305.28 c #Conflicts: 27000 | #Constraints: 9868
304.37/305.28 c #Conflicts: 28000 | #Constraints: 10868
304.37/305.28 c #Conflicts: 29000 | #Constraints: 11868
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 30000 | #Constraints: 9267
304.37/305.28 c #Conflicts: 31000 | #Constraints: 10267
304.37/305.28 c #Conflicts: 32000 | #Constraints: 11267
304.37/305.28 c #Conflicts: 33000 | #Constraints: 12267
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 34000 | #Constraints: 9478
304.37/305.28 c #Conflicts: 35000 | #Constraints: 10478
304.37/305.28 c #Conflicts: 36000 | #Constraints: 11478
304.37/305.28 c #Conflicts: 37000 | #Constraints: 12478
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 38000 | #Constraints: 9480
304.37/305.28 c #Conflicts: 39000 | #Constraints: 10480
304.37/305.28 c #Conflicts: 40000 | #Constraints: 11480
304.37/305.28 c #Conflicts: 41000 | #Constraints: 12480
304.37/305.28 c INPROCESSING
304.37/305.28 c GARBAGE COLLECT
304.37/305.28 c #Conflicts: 42000 | #Constraints: 9281
304.37/305.28 c #Conflicts: 43000 | #Constraints: 10281
304.37/305.28 c finalizing WCE round: reformulating cores
314.45/315.31 c #Conflicts: 44000 | #Constraints: 11284
314.45/315.31 c #Conflicts: 45000 | #Constraints: 12286
314.45/315.31 c #Conflicts: 46000 | #Constraints: 13288
314.45/315.31 c bounds 25527 >= 4120 @ 304.504
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 47000 | #Constraints: 9885
314.45/315.31 c #Conflicts: 48000 | #Constraints: 10885
314.45/315.31 c #Conflicts: 49000 | #Constraints: 11885
314.45/315.31 c #Conflicts: 50000 | #Constraints: 12885
314.45/315.31 c #Conflicts: 51000 | #Constraints: 13885
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 52000 | #Constraints: 10288
314.45/315.31 c #Conflicts: 53000 | #Constraints: 11288
314.45/315.31 c #Conflicts: 54000 | #Constraints: 12288
314.45/315.31 c #Conflicts: 55000 | #Constraints: 13288
314.45/315.31 c #Conflicts: 56000 | #Constraints: 14288
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 57000 | #Constraints: 10485
314.45/315.31 c #Conflicts: 58000 | #Constraints: 11485
314.45/315.31 c #Conflicts: 59000 | #Constraints: 12485
314.45/315.31 c #Conflicts: 60000 | #Constraints: 13485
314.45/315.31 c #Conflicts: 61000 | #Constraints: 14485
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 62000 | #Constraints: 10485
314.45/315.31 c #Conflicts: 63000 | #Constraints: 11485
314.45/315.31 c #Conflicts: 64000 | #Constraints: 12485
314.45/315.31 c #Conflicts: 65000 | #Constraints: 13485
314.45/315.31 c #Conflicts: 66000 | #Constraints: 14485
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 67000 | #Constraints: 10289
314.45/315.31 c #Conflicts: 68000 | #Constraints: 11289
314.45/315.31 c #Conflicts: 69000 | #Constraints: 12289
314.45/315.31 c #Conflicts: 70000 | #Constraints: 13289
314.45/315.31 c #Conflicts: 71000 | #Constraints: 14289
314.45/315.31 c #Conflicts: 72000 | #Constraints: 15289
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 73000 | #Constraints: 10899
314.45/315.31 c #Conflicts: 74000 | #Constraints: 11899
314.45/315.31 c #Conflicts: 75000 | #Constraints: 12899
314.45/315.31 c #Conflicts: 76000 | #Constraints: 13899
314.45/315.31 c #Conflicts: 77000 | #Constraints: 14899
314.45/315.31 c #Conflicts: 78000 | #Constraints: 15899
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 79000 | #Constraints: 11300
314.45/315.31 c #Conflicts: 80000 | #Constraints: 12300
314.45/315.31 c #Conflicts: 81000 | #Constraints: 13300
314.45/315.31 c #Conflicts: 82000 | #Constraints: 14300
314.45/315.31 c #Conflicts: 83000 | #Constraints: 15300
314.45/315.31 c #Conflicts: 84000 | #Constraints: 16300
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 85000 | #Constraints: 11502
314.45/315.31 c #Conflicts: 86000 | #Constraints: 12502
314.45/315.31 c #Conflicts: 87000 | #Constraints: 13502
314.45/315.31 c #Conflicts: 88000 | #Constraints: 14502
314.45/315.31 c #Conflicts: 89000 | #Constraints: 15502
314.45/315.31 c #Conflicts: 90000 | #Constraints: 16502
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 91000 | #Constraints: 11505
314.45/315.31 c #Conflicts: 92000 | #Constraints: 12505
314.45/315.31 c #Conflicts: 93000 | #Constraints: 13505
314.45/315.31 c #Conflicts: 94000 | #Constraints: 14505
314.45/315.31 c #Conflicts: 95000 | #Constraints: 15505
314.45/315.31 c #Conflicts: 96000 | #Constraints: 16505
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 97000 | #Constraints: 11300
314.45/315.31 c #Conflicts: 98000 | #Constraints: 12300
314.45/315.31 c #Conflicts: 99000 | #Constraints: 13300
314.45/315.31 c #Conflicts: 100000 | #Constraints: 14300
314.45/315.31 c #Conflicts: 101000 | #Constraints: 15300
314.45/315.31 c #Conflicts: 102000 | #Constraints: 16300
314.45/315.31 c #Conflicts: 103000 | #Constraints: 17300
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 104000 | #Constraints: 11894
314.45/315.31 c #Conflicts: 105000 | #Constraints: 12894
314.45/315.31 c #Conflicts: 106000 | #Constraints: 13894
314.45/315.31 c #Conflicts: 107000 | #Constraints: 14894
314.45/315.31 c #Conflicts: 108000 | #Constraints: 15894
314.45/315.31 c #Conflicts: 109000 | #Constraints: 16894
314.45/315.31 c #Conflicts: 110000 | #Constraints: 17894
314.45/315.31 c INPROCESSING
314.45/315.31 c GARBAGE COLLECT
314.45/315.31 c #Conflicts: 111000 | #Constraints: 12291
314.45/315.31 c #Conflicts: 112000 | #Constraints: 13291
314.45/315.31 c #Conflicts: 113000 | #Constraints: 14291
314.45/315.31 c #Conflicts: 114000 | #Constraints: 15291
325.01/325.95 c #Conflicts: 115000 | #Constraints: 16291
325.01/325.95 c #Conflicts: 116000 | #Constraints: 17291
325.01/325.95 c #Conflicts: 117000 | #Constraints: 18291
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 118000 | #Constraints: 12500
325.01/325.95 c #Conflicts: 119000 | #Constraints: 13500
325.01/325.95 c #Conflicts: 120000 | #Constraints: 14500
325.01/325.95 c #Conflicts: 121000 | #Constraints: 15500
325.01/325.95 c #Conflicts: 122000 | #Constraints: 16500
325.01/325.95 c #Conflicts: 123000 | #Constraints: 17500
325.01/325.95 c #Conflicts: 124000 | #Constraints: 18500
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 125000 | #Constraints: 12501
325.01/325.95 c #Conflicts: 126000 | #Constraints: 13501
325.01/325.95 c #Conflicts: 127000 | #Constraints: 14501
325.01/325.95 c #Conflicts: 128000 | #Constraints: 15501
325.01/325.95 c #Conflicts: 129000 | #Constraints: 16501
325.01/325.95 c #Conflicts: 130000 | #Constraints: 17501
325.01/325.95 c #Conflicts: 131000 | #Constraints: 18501
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 132000 | #Constraints: 12301
325.01/325.95 c #Conflicts: 133000 | #Constraints: 13301
325.01/325.95 c #Conflicts: 134000 | #Constraints: 14301
325.01/325.95 c #Conflicts: 135000 | #Constraints: 15301
325.01/325.95 c #Conflicts: 136000 | #Constraints: 16301
325.01/325.95 c #Conflicts: 137000 | #Constraints: 17301
325.01/325.95 c #Conflicts: 138000 | #Constraints: 18301
325.01/325.95 c #Conflicts: 139000 | #Constraints: 19301
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 140000 | #Constraints: 12909
325.01/325.95 c #Conflicts: 141000 | #Constraints: 13909
325.01/325.95 c #Conflicts: 142000 | #Constraints: 14909
325.01/325.95 c #Conflicts: 143000 | #Constraints: 15909
325.01/325.95 c #Conflicts: 144000 | #Constraints: 16909
325.01/325.95 c #Conflicts: 145000 | #Constraints: 17909
325.01/325.95 c #Conflicts: 146000 | #Constraints: 18909
325.01/325.95 c #Conflicts: 147000 | #Constraints: 19909
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 148000 | #Constraints: 13322
325.01/325.95 c #Conflicts: 149000 | #Constraints: 14322
325.01/325.95 c #Conflicts: 150000 | #Constraints: 15322
325.01/325.95 c #Conflicts: 151000 | #Constraints: 16322
325.01/325.95 c #Conflicts: 152000 | #Constraints: 17322
325.01/325.95 c #Conflicts: 153000 | #Constraints: 18322
325.01/325.95 c #Conflicts: 154000 | #Constraints: 19322
325.01/325.95 c #Conflicts: 155000 | #Constraints: 20322
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 156000 | #Constraints: 13531
325.01/325.95 c #Conflicts: 157000 | #Constraints: 14531
325.01/325.95 c #Conflicts: 158000 | #Constraints: 15531
325.01/325.95 c #Conflicts: 159000 | #Constraints: 16531
325.01/325.95 c #Conflicts: 160000 | #Constraints: 17531
325.01/325.95 c #Conflicts: 161000 | #Constraints: 18531
325.01/325.95 c #Conflicts: 162000 | #Constraints: 19531
325.01/325.95 c #Conflicts: 163000 | #Constraints: 20531
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 164000 | #Constraints: 13528
325.01/325.95 c #Conflicts: 165000 | #Constraints: 14528
325.01/325.95 c #Conflicts: 166000 | #Constraints: 15528
325.01/325.95 c #Conflicts: 167000 | #Constraints: 16528
325.01/325.95 c #Conflicts: 168000 | #Constraints: 17528
325.01/325.95 c #Conflicts: 169000 | #Constraints: 18528
325.01/325.95 c #Conflicts: 170000 | #Constraints: 19528
325.01/325.95 c #Conflicts: 171000 | #Constraints: 20528
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 172000 | #Constraints: 13313
325.01/325.95 c #Conflicts: 173000 | #Constraints: 14313
325.01/325.95 c #Conflicts: 174000 | #Constraints: 15313
325.01/325.95 c #Conflicts: 175000 | #Constraints: 16313
325.01/325.95 c #Conflicts: 176000 | #Constraints: 17313
325.01/325.95 c #Conflicts: 177000 | #Constraints: 18313
325.01/325.95 c #Conflicts: 178000 | #Constraints: 19313
325.01/325.95 c #Conflicts: 179000 | #Constraints: 20313
325.01/325.95 c #Conflicts: 180000 | #Constraints: 21313
325.01/325.95 c INPROCESSING
325.01/325.95 c GARBAGE COLLECT
325.01/325.95 c #Conflicts: 181000 | #Constraints: 13923
325.01/325.95 c #Conflicts: 182000 | #Constraints: 14923
325.01/325.95 c #Conflicts: 183000 | #Constraints: 15923
325.01/325.95 c #Conflicts: 184000 | #Constraints: 16923
325.01/325.95 c #Conflicts: 185000 | #Constraints: 17923
325.01/325.95 c #Conflicts: 186000 | #Constraints: 18923
325.01/325.95 c #Conflicts: 187000 | #Constraints: 19923
330.71/331.65 c #Conflicts: 188000 | #Constraints: 20923
330.71/331.65 c #Conflicts: 189000 | #Constraints: 21923
330.71/331.65 c INPROCESSING
330.71/331.65 c GARBAGE COLLECT
330.71/331.65 c #Conflicts: 190000 | #Constraints: 14338
330.71/331.65 c #Conflicts: 191000 | #Constraints: 15338
330.71/331.65 c #Conflicts: 192000 | #Constraints: 16338
330.71/331.65 c #Conflicts: 193000 | #Constraints: 17338
330.71/331.65 c #Conflicts: 194000 | #Constraints: 18338
330.71/331.65 c #Conflicts: 195000 | #Constraints: 19338
330.71/331.65 c #Conflicts: 196000 | #Constraints: 20338
330.71/331.65 c #Conflicts: 197000 | #Constraints: 21338
330.71/331.65 c #Conflicts: 198000 | #Constraints: 22338
330.71/331.65 c INPROCESSING
330.71/331.65 c GARBAGE COLLECT
330.71/331.65 c #Conflicts: 199000 | #Constraints: 14536
330.71/331.65 c #Conflicts: 200000 | #Constraints: 15536
330.71/331.65 c #Conflicts: 201000 | #Constraints: 16536
330.71/331.65 c #Conflicts: 202000 | #Constraints: 17536
330.71/331.65 c #Conflicts: 203000 | #Constraints: 18536
330.71/331.65 c #Conflicts: 204000 | #Constraints: 19536
330.71/331.65 c #Conflicts: 205000 | #Constraints: 20536
330.71/331.65 c #Conflicts: 206000 | #Constraints: 21536
330.71/331.65 c #Conflicts: 207000 | #Constraints: 22536
330.71/331.65 c INPROCESSING
330.71/331.65 c GARBAGE COLLECT
330.71/331.65 c #Conflicts: 208000 | #Constraints: 14527
330.71/331.65 c #Conflicts: 209000 | #Constraints: 15527
330.71/331.65 c #Conflicts: 210000 | #Constraints: 16527
330.71/331.65 c #Conflicts: 211000 | #Constraints: 17527
330.71/331.65 c #Conflicts: 212000 | #Constraints: 18527
330.71/331.65 c #Conflicts: 213000 | #Constraints: 19527
330.71/331.65 c #Conflicts: 214000 | #Constraints: 20527
330.71/331.65 c #Conflicts: 215000 | #Constraints: 21527
330.71/331.65 c #Conflicts: 216000 | #Constraints: 22527
330.71/331.65 c INPROCESSING
330.71/331.65 c GARBAGE COLLECT
330.71/331.65 c #Conflicts: 217000 | #Constraints: 14331
330.71/331.65 c #Conflicts: 218000 | #Constraints: 15331
330.71/331.65 c #Conflicts: 219000 | #Constraints: 16331
330.71/331.65 c #Conflicts: 220000 | #Constraints: 17331
330.71/331.65 c bounds 25383 >= 4120 @ 330.043
330.71/331.65 c stratification level: 929
330.81/331.72 c bounds 25300 >= 4120 @ 330.112
330.81/331.72 c stratification level: 745
331.21/332.11 c bounds 25300 >= 4865 @ 330.114
331.21/332.11 c #Conflicts: 221000 | #Constraints: 18334
331.21/332.11 c #Conflicts: 222000 | #Constraints: 19334
331.21/332.11 c finalizing WCE round: reformulating cores
339.08/340.05 c #Conflicts: 223000 | #Constraints: 20337
339.08/340.05 c bounds 25214 >= 4865 @ 330.622
339.08/340.05 c #Conflicts: 224000 | #Constraints: 21337
339.08/340.05 c #Conflicts: 225000 | #Constraints: 22337
339.08/340.05 c #Conflicts: 226000 | #Constraints: 23337
339.08/340.05 c INPROCESSING
339.08/340.05 c GARBAGE COLLECT
339.08/340.05 c #Conflicts: 227000 | #Constraints: 14934
339.08/340.05 c #Conflicts: 228000 | #Constraints: 15934
339.08/340.05 c #Conflicts: 229000 | #Constraints: 16934
339.08/340.05 c #Conflicts: 230000 | #Constraints: 17934
339.08/340.05 c #Conflicts: 231000 | #Constraints: 18934
339.08/340.05 c #Conflicts: 232000 | #Constraints: 19934
339.08/340.05 c #Conflicts: 233000 | #Constraints: 20934
339.08/340.05 c #Conflicts: 234000 | #Constraints: 21934
339.08/340.05 c #Conflicts: 235000 | #Constraints: 22934
339.08/340.05 c #Conflicts: 236000 | #Constraints: 23934
339.08/340.05 c INPROCESSING
339.08/340.05 c GARBAGE COLLECT
339.08/340.05 c #Conflicts: 237000 | #Constraints: 15328
339.08/340.05 c #Conflicts: 238000 | #Constraints: 16328
339.08/340.05 c #Conflicts: 239000 | #Constraints: 17328
339.08/340.05 c #Conflicts: 240000 | #Constraints: 18328
339.08/340.05 c #Conflicts: 241000 | #Constraints: 19328
339.08/340.05 c #Conflicts: 242000 | #Constraints: 20328
339.08/340.05 c #Conflicts: 243000 | #Constraints: 21328
339.08/340.05 c #Conflicts: 244000 | #Constraints: 22328
339.08/340.05 c #Conflicts: 245000 | #Constraints: 23328
339.08/340.05 c #Conflicts: 246000 | #Constraints: 24328
339.08/340.05 c INPROCESSING
339.08/340.05 c GARBAGE COLLECT
339.08/340.05 c #Conflicts: 247000 | #Constraints: 15522
339.08/340.05 c #Conflicts: 248000 | #Constraints: 16522
339.08/340.05 c #Conflicts: 249000 | #Constraints: 17522
339.08/340.05 c #Conflicts: 250000 | #Constraints: 18522
339.08/340.05 c #Conflicts: 251000 | #Constraints: 19522
339.08/340.05 c #Conflicts: 252000 | #Constraints: 20522
339.08/340.05 c #Conflicts: 253000 | #Constraints: 21522
339.08/340.05 c #Conflicts: 254000 | #Constraints: 22522
339.08/340.05 c #Conflicts: 255000 | #Constraints: 23522
339.08/340.05 c #Conflicts: 256000 | #Constraints: 24522
339.08/340.05 c INPROCESSING
339.08/340.05 c GARBAGE COLLECT
339.08/340.05 c #Conflicts: 257000 | #Constraints: 15526
339.08/340.05 c #Conflicts: 258000 | #Constraints: 16526
339.08/340.05 c #Conflicts: 259000 | #Constraints: 17526
339.08/340.05 c #Conflicts: 260000 | #Constraints: 18526
339.08/340.05 c #Conflicts: 261000 | #Constraints: 19526
339.08/340.05 c #Conflicts: 262000 | #Constraints: 20526
339.08/340.05 c #Conflicts: 263000 | #Constraints: 21526
339.08/340.05 c #Conflicts: 264000 | #Constraints: 22526
339.08/340.05 c #Conflicts: 265000 | #Constraints: 23526
339.08/340.05 c #Conflicts: 266000 | #Constraints: 24526
339.08/340.05 c bounds 24981 >= 4865 @ 338.298
339.08/340.05 c stratification level: 665
352.06/353.09 c INPROCESSING
352.06/353.09 c GARBAGE COLLECT
352.06/353.09 c #Conflicts: 267000 | #Constraints: 15327
352.06/353.09 c #Conflicts: 268000 | #Constraints: 16327
352.06/353.09 c #Conflicts: 269000 | #Constraints: 17327
352.06/353.09 c #Conflicts: 270000 | #Constraints: 18327
352.06/353.09 c #Conflicts: 271000 | #Constraints: 19327
352.06/353.09 c #Conflicts: 272000 | #Constraints: 20327
352.06/353.09 c #Conflicts: 273000 | #Constraints: 21327
352.06/353.09 c #Conflicts: 274000 | #Constraints: 22327
352.06/353.09 c #Conflicts: 275000 | #Constraints: 23327
352.06/353.09 c #Conflicts: 276000 | #Constraints: 24327
352.06/353.09 c bounds 24981 >= 5530 @ 339.855
352.06/353.09 c #Conflicts: 277000 | #Constraints: 25328
352.06/353.09 c INPROCESSING
352.06/353.09 c GARBAGE COLLECT
352.06/353.09 c #Conflicts: 278000 | #Constraints: 15932
352.06/353.09 c #Conflicts: 279000 | #Constraints: 16932
352.06/353.09 c #Conflicts: 280000 | #Constraints: 17932
352.06/353.09 c #Conflicts: 281000 | #Constraints: 18932
352.06/353.09 c #Conflicts: 282000 | #Constraints: 19932
352.06/353.09 c #Conflicts: 283000 | #Constraints: 20932
352.06/353.09 c #Conflicts: 284000 | #Constraints: 21932
352.06/353.09 c #Conflicts: 285000 | #Constraints: 22932
352.06/353.09 c #Conflicts: 286000 | #Constraints: 23932
352.06/353.09 c #Conflicts: 287000 | #Constraints: 24932
352.06/353.09 c #Conflicts: 288000 | #Constraints: 25932
352.06/353.09 c INPROCESSING
352.06/353.09 c GARBAGE COLLECT
352.06/353.09 c #Conflicts: 289000 | #Constraints: 16335
352.06/353.09 c #Conflicts: 290000 | #Constraints: 17335
352.06/353.09 c #Conflicts: 291000 | #Constraints: 18335
352.06/353.09 c #Conflicts: 292000 | #Constraints: 19335
352.06/353.09 c #Conflicts: 293000 | #Constraints: 20335
352.06/353.09 c #Conflicts: 294000 | #Constraints: 21335
352.06/353.09 c #Conflicts: 295000 | #Constraints: 22335
352.06/353.09 c #Conflicts: 296000 | #Constraints: 23335
352.06/353.09 c #Conflicts: 297000 | #Constraints: 24335
352.06/353.09 c #Conflicts: 298000 | #Constraints: 25335
352.06/353.09 c #Conflicts: 299000 | #Constraints: 26335
352.06/353.09 c INPROCESSING
352.06/353.09 c GARBAGE COLLECT
352.06/353.09 c #Conflicts: 300000 | #Constraints: 16545
352.06/353.09 c #Conflicts: 301000 | #Constraints: 17545
352.06/353.09 c #Conflicts: 302000 | #Constraints: 18545
352.06/353.09 c #Conflicts: 303000 | #Constraints: 19545
352.06/353.09 c #Conflicts: 304000 | #Constraints: 20545
352.06/353.09 c #Conflicts: 305000 | #Constraints: 21545
352.06/353.09 c #Conflicts: 306000 | #Constraints: 22545
352.06/353.09 c #Conflicts: 307000 | #Constraints: 23545
352.06/353.09 c #Conflicts: 308000 | #Constraints: 24545
352.06/353.09 c #Conflicts: 309000 | #Constraints: 25545
352.06/353.09 c #Conflicts: 310000 | #Constraints: 26545
352.06/353.09 c INPROCESSING
352.06/353.09 c GARBAGE COLLECT
352.06/353.09 c #Conflicts: 311000 | #Constraints: 16547
352.06/353.09 c #Conflicts: 312000 | #Constraints: 17547
352.06/353.09 c #Conflicts: 313000 | #Constraints: 18547
352.06/353.09 c #Conflicts: 314000 | #Constraints: 19547
352.06/353.09 c #Conflicts: 315000 | #Constraints: 20547
352.06/353.09 c #Conflicts: 316000 | #Constraints: 21547
352.06/353.09 c #Conflicts: 317000 | #Constraints: 22547
352.06/353.09 c #Conflicts: 318000 | #Constraints: 23547
352.06/353.09 c #Conflicts: 319000 | #Constraints: 24547
352.06/353.09 c #Conflicts: 320000 | #Constraints: 25547
352.06/353.09 c #Conflicts: 321000 | #Constraints: 26547
352.06/353.09 c INPROCESSING
352.06/353.09 c GARBAGE COLLECT
352.06/353.09 c #Conflicts: 322000 | #Constraints: 16344
352.06/353.09 c #Conflicts: 323000 | #Constraints: 17344
352.06/353.09 c #Conflicts: 324000 | #Constraints: 18344
352.06/353.09 c #Conflicts: 325000 | #Constraints: 19344
352.06/353.09 c #Conflicts: 326000 | #Constraints: 20344
352.06/353.09 c #Conflicts: 327000 | #Constraints: 21344
352.06/353.09 c #Conflicts: 328000 | #Constraints: 22344
352.06/353.09 c #Conflicts: 329000 | #Constraints: 23344
352.06/353.09 c #Conflicts: 330000 | #Constraints: 24344
352.06/353.09 c #Conflicts: 331000 | #Constraints: 25344
352.06/353.09 c #Conflicts: 332000 | #Constraints: 26344
352.06/353.09 c #Conflicts: 333000 | #Constraints: 27344
352.06/353.09 c INPROCESSING
352.06/353.09 c GARBAGE COLLECT
352.06/353.09 c #Conflicts: 334000 | #Constraints: 16946
352.06/353.09 c #Conflicts: 335000 | #Constraints: 17946
352.06/353.09 c #Conflicts: 336000 | #Constraints: 18946
352.06/353.09 c #Conflicts: 337000 | #Constraints: 19946
352.06/353.09 c #Conflicts: 338000 | #Constraints: 20946
352.06/353.09 c #Conflicts: 339000 | #Constraints: 21946
352.06/353.09 c #Conflicts: 340000 | #Constraints: 22946
366.02/367.01 c #Conflicts: 341000 | #Constraints: 23946
366.02/367.01 c #Conflicts: 342000 | #Constraints: 24946
366.02/367.01 c #Conflicts: 343000 | #Constraints: 25946
366.02/367.01 c #Conflicts: 344000 | #Constraints: 26946
366.02/367.01 c #Conflicts: 345000 | #Constraints: 27946
366.02/367.01 c INPROCESSING
366.02/367.01 c GARBAGE COLLECT
366.02/367.01 c #Conflicts: 346000 | #Constraints: 17341
366.02/367.01 c #Conflicts: 347000 | #Constraints: 18341
366.02/367.01 c #Conflicts: 348000 | #Constraints: 19341
366.02/367.01 c #Conflicts: 349000 | #Constraints: 20341
366.02/367.01 c #Conflicts: 350000 | #Constraints: 21341
366.02/367.01 c #Conflicts: 351000 | #Constraints: 22341
366.02/367.01 c #Conflicts: 352000 | #Constraints: 23341
366.02/367.01 c #Conflicts: 353000 | #Constraints: 24341
366.02/367.01 c #Conflicts: 354000 | #Constraints: 25341
366.02/367.01 c #Conflicts: 355000 | #Constraints: 26341
366.02/367.01 c #Conflicts: 356000 | #Constraints: 27341
366.02/367.01 c #Conflicts: 357000 | #Constraints: 28341
366.02/367.01 c INPROCESSING
366.02/367.01 c GARBAGE COLLECT
366.02/367.01 c #Conflicts: 358000 | #Constraints: 17544
366.02/367.01 c #Conflicts: 359000 | #Constraints: 18544
366.02/367.01 c #Conflicts: 360000 | #Constraints: 19544
366.02/367.01 c #Conflicts: 361000 | #Constraints: 20544
366.02/367.01 c #Conflicts: 362000 | #Constraints: 21544
366.02/367.01 c #Conflicts: 363000 | #Constraints: 22544
366.02/367.01 c #Conflicts: 364000 | #Constraints: 23544
366.02/367.01 c #Conflicts: 365000 | #Constraints: 24544
366.02/367.01 c #Conflicts: 366000 | #Constraints: 25544
366.02/367.01 c #Conflicts: 367000 | #Constraints: 26544
366.02/367.01 c #Conflicts: 368000 | #Constraints: 27544
366.02/367.01 c #Conflicts: 369000 | #Constraints: 28544
366.02/367.01 c INPROCESSING
366.02/367.01 c GARBAGE COLLECT
366.02/367.01 c #Conflicts: 370000 | #Constraints: 17531
366.02/367.01 c #Conflicts: 371000 | #Constraints: 18531
366.02/367.01 c #Conflicts: 372000 | #Constraints: 19531
366.02/367.01 c #Conflicts: 373000 | #Constraints: 20531
366.02/367.01 c #Conflicts: 374000 | #Constraints: 21531
366.02/367.01 c #Conflicts: 375000 | #Constraints: 22531
366.02/367.01 c #Conflicts: 376000 | #Constraints: 23531
366.02/367.01 c #Conflicts: 377000 | #Constraints: 24531
366.02/367.01 c #Conflicts: 378000 | #Constraints: 25531
366.02/367.01 c #Conflicts: 379000 | #Constraints: 26531
366.02/367.01 c #Conflicts: 380000 | #Constraints: 27531
366.02/367.01 c #Conflicts: 381000 | #Constraints: 28531
366.02/367.01 c INPROCESSING
366.02/367.01 c GARBAGE COLLECT
366.02/367.01 c #Conflicts: 382000 | #Constraints: 17342
366.02/367.01 c #Conflicts: 383000 | #Constraints: 18342
366.02/367.01 c #Conflicts: 384000 | #Constraints: 19342
366.02/367.01 c #Conflicts: 385000 | #Constraints: 20342
366.02/367.01 c #Conflicts: 386000 | #Constraints: 21342
366.02/367.01 c #Conflicts: 387000 | #Constraints: 22342
366.02/367.01 c #Conflicts: 388000 | #Constraints: 23342
366.02/367.01 c #Conflicts: 389000 | #Constraints: 24342
366.02/367.01 c #Conflicts: 390000 | #Constraints: 25342
366.02/367.01 c #Conflicts: 391000 | #Constraints: 26342
366.02/367.01 c #Conflicts: 392000 | #Constraints: 27342
366.02/367.01 c #Conflicts: 393000 | #Constraints: 28342
366.02/367.01 c #Conflicts: 394000 | #Constraints: 29342
366.02/367.01 c INPROCESSING
366.02/367.01 c GARBAGE COLLECT
366.02/367.01 c #Conflicts: 395000 | #Constraints: 17947
366.02/367.01 c #Conflicts: 396000 | #Constraints: 18947
366.02/367.01 c #Conflicts: 397000 | #Constraints: 19947
366.02/367.01 c #Conflicts: 398000 | #Constraints: 20947
366.02/367.01 c #Conflicts: 399000 | #Constraints: 21947
366.02/367.01 c #Conflicts: 400000 | #Constraints: 22947
366.02/367.01 c #Conflicts: 401000 | #Constraints: 23947
366.02/367.01 c #Conflicts: 402000 | #Constraints: 24947
366.02/367.01 c #Conflicts: 403000 | #Constraints: 25947
366.02/367.01 c #Conflicts: 404000 | #Constraints: 26947
366.02/367.01 c #Conflicts: 405000 | #Constraints: 27947
366.02/367.01 c #Conflicts: 406000 | #Constraints: 28947
366.02/367.01 c #Conflicts: 407000 | #Constraints: 29947
366.02/367.01 c INPROCESSING
366.02/367.01 c GARBAGE COLLECT
366.02/367.01 c #Conflicts: 408000 | #Constraints: 18337
366.02/367.01 c #Conflicts: 409000 | #Constraints: 19337
366.02/367.01 c #Conflicts: 410000 | #Constraints: 20337
366.02/367.01 c #Conflicts: 411000 | #Constraints: 21337
366.02/367.01 c #Conflicts: 412000 | #Constraints: 22337
366.02/367.01 c #Conflicts: 413000 | #Constraints: 23337
366.02/367.01 c #Conflicts: 414000 | #Constraints: 24337
366.02/367.01 c #Conflicts: 415000 | #Constraints: 25337
383.27/384.35 c #Conflicts: 416000 | #Constraints: 26337
383.27/384.35 c #Conflicts: 417000 | #Constraints: 27337
383.27/384.35 c #Conflicts: 418000 | #Constraints: 28337
383.27/384.35 c #Conflicts: 419000 | #Constraints: 29337
383.27/384.35 c #Conflicts: 420000 | #Constraints: 30337
383.27/384.35 c INPROCESSING
383.27/384.35 c GARBAGE COLLECT
383.27/384.35 c #Conflicts: 421000 | #Constraints: 18542
383.27/384.35 c #Conflicts: 422000 | #Constraints: 19542
383.27/384.35 c #Conflicts: 423000 | #Constraints: 20542
383.27/384.35 c #Conflicts: 424000 | #Constraints: 21542
383.27/384.35 c #Conflicts: 425000 | #Constraints: 22542
383.27/384.35 c #Conflicts: 426000 | #Constraints: 23542
383.27/384.35 c #Conflicts: 427000 | #Constraints: 24542
383.27/384.35 c #Conflicts: 428000 | #Constraints: 25542
383.27/384.35 c #Conflicts: 429000 | #Constraints: 26542
383.27/384.35 c #Conflicts: 430000 | #Constraints: 27542
383.27/384.35 c #Conflicts: 431000 | #Constraints: 28542
383.27/384.35 c #Conflicts: 432000 | #Constraints: 29542
383.27/384.35 c #Conflicts: 433000 | #Constraints: 30542
383.27/384.35 c INPROCESSING
383.27/384.35 c GARBAGE COLLECT
383.27/384.35 c #Conflicts: 434000 | #Constraints: 18555
383.27/384.35 c #Conflicts: 435000 | #Constraints: 19555
383.27/384.35 c #Conflicts: 436000 | #Constraints: 20555
383.27/384.35 c #Conflicts: 437000 | #Constraints: 21555
383.27/384.35 c #Conflicts: 438000 | #Constraints: 22555
383.27/384.35 c #Conflicts: 439000 | #Constraints: 23555
383.27/384.35 c #Conflicts: 440000 | #Constraints: 24555
383.27/384.35 c #Conflicts: 441000 | #Constraints: 25555
383.27/384.35 c #Conflicts: 442000 | #Constraints: 26555
383.27/384.35 c #Conflicts: 443000 | #Constraints: 27555
383.27/384.35 c #Conflicts: 444000 | #Constraints: 28555
383.27/384.35 c #Conflicts: 445000 | #Constraints: 29555
383.27/384.35 c #Conflicts: 446000 | #Constraints: 30555
383.27/384.35 c INPROCESSING
383.27/384.35 c GARBAGE COLLECT
383.27/384.35 c #Conflicts: 447000 | #Constraints: 18363
383.27/384.35 c #Conflicts: 448000 | #Constraints: 19363
383.27/384.35 c #Conflicts: 449000 | #Constraints: 20363
383.27/384.35 c #Conflicts: 450000 | #Constraints: 21363
383.27/384.35 c #Conflicts: 451000 | #Constraints: 22363
383.27/384.35 c #Conflicts: 452000 | #Constraints: 23363
383.27/384.35 c #Conflicts: 453000 | #Constraints: 24363
383.27/384.35 c #Conflicts: 454000 | #Constraints: 25363
383.27/384.35 c #Conflicts: 455000 | #Constraints: 26363
383.27/384.35 c #Conflicts: 456000 | #Constraints: 27363
383.27/384.35 c #Conflicts: 457000 | #Constraints: 28363
383.27/384.35 c #Conflicts: 458000 | #Constraints: 29363
383.27/384.35 c #Conflicts: 459000 | #Constraints: 30363
383.27/384.35 c #Conflicts: 460000 | #Constraints: 31363
383.27/384.35 c INPROCESSING
383.27/384.35 c GARBAGE COLLECT
383.27/384.35 c #Conflicts: 461000 | #Constraints: 18957
383.27/384.35 c #Conflicts: 462000 | #Constraints: 19957
383.27/384.35 c #Conflicts: 463000 | #Constraints: 20957
383.27/384.35 c #Conflicts: 464000 | #Constraints: 21957
383.27/384.35 c #Conflicts: 465000 | #Constraints: 22957
383.27/384.35 c #Conflicts: 466000 | #Constraints: 23957
383.27/384.35 c #Conflicts: 467000 | #Constraints: 24957
383.27/384.35 c #Conflicts: 468000 | #Constraints: 25957
383.27/384.35 c #Conflicts: 469000 | #Constraints: 26957
383.27/384.35 c #Conflicts: 470000 | #Constraints: 27957
383.27/384.35 c #Conflicts: 471000 | #Constraints: 28957
383.27/384.35 c #Conflicts: 472000 | #Constraints: 29957
383.27/384.35 c #Conflicts: 473000 | #Constraints: 30957
383.27/384.35 c #Conflicts: 474000 | #Constraints: 31957
383.27/384.35 c INPROCESSING
383.27/384.35 c GARBAGE COLLECT
383.27/384.35 c #Conflicts: 475000 | #Constraints: 19348
383.27/384.35 c #Conflicts: 476000 | #Constraints: 20348
383.27/384.35 c #Conflicts: 477000 | #Constraints: 21348
383.27/384.35 c #Conflicts: 478000 | #Constraints: 22348
383.27/384.35 c #Conflicts: 479000 | #Constraints: 23348
383.27/384.35 c #Conflicts: 480000 | #Constraints: 24348
383.27/384.35 c #Conflicts: 481000 | #Constraints: 25348
383.27/384.35 c #Conflicts: 482000 | #Constraints: 26348
383.27/384.35 c #Conflicts: 483000 | #Constraints: 27348
383.27/384.35 c #Conflicts: 484000 | #Constraints: 28348
383.27/384.35 c #Conflicts: 485000 | #Constraints: 29348
383.27/384.35 c #Conflicts: 486000 | #Constraints: 30348
383.27/384.35 c #Conflicts: 487000 | #Constraints: 31348
383.27/384.35 c #Conflicts: 488000 | #Constraints: 32348
383.27/384.35 c INPROCESSING
383.27/384.35 c GARBAGE COLLECT
383.27/384.35 c #Conflicts: 489000 | #Constraints: 19559
383.27/384.35 c #Conflicts: 490000 | #Constraints: 20559
400.43/401.59 c #Conflicts: 491000 | #Constraints: 21559
400.43/401.59 c #Conflicts: 492000 | #Constraints: 22559
400.43/401.59 c #Conflicts: 493000 | #Constraints: 23559
400.43/401.59 c #Conflicts: 494000 | #Constraints: 24559
400.43/401.59 c #Conflicts: 495000 | #Constraints: 25559
400.43/401.59 c #Conflicts: 496000 | #Constraints: 26559
400.43/401.59 c #Conflicts: 497000 | #Constraints: 27559
400.43/401.59 c #Conflicts: 498000 | #Constraints: 28559
400.43/401.59 c #Conflicts: 499000 | #Constraints: 29559
400.43/401.59 c #Conflicts: 500000 | #Constraints: 30559
400.43/401.59 c #Conflicts: 501000 | #Constraints: 31559
400.43/401.59 c #Conflicts: 502000 | #Constraints: 32559
400.43/401.59 c INPROCESSING
400.43/401.59 c GARBAGE COLLECT
400.43/401.59 c #Conflicts: 503000 | #Constraints: 19568
400.43/401.59 c #Conflicts: 504000 | #Constraints: 20568
400.43/401.59 c #Conflicts: 505000 | #Constraints: 21568
400.43/401.59 c #Conflicts: 506000 | #Constraints: 22568
400.43/401.59 c #Conflicts: 507000 | #Constraints: 23568
400.43/401.59 c #Conflicts: 508000 | #Constraints: 24568
400.43/401.59 c #Conflicts: 509000 | #Constraints: 25568
400.43/401.59 c #Conflicts: 510000 | #Constraints: 26568
400.43/401.59 c #Conflicts: 511000 | #Constraints: 27568
400.43/401.59 c #Conflicts: 512000 | #Constraints: 28568
400.43/401.59 c #Conflicts: 513000 | #Constraints: 29568
400.43/401.59 c #Conflicts: 514000 | #Constraints: 30568
400.43/401.59 c #Conflicts: 515000 | #Constraints: 31568
400.43/401.59 c #Conflicts: 516000 | #Constraints: 32568
400.43/401.59 c INPROCESSING
400.43/401.59 c GARBAGE COLLECT
400.43/401.59 c #Conflicts: 517000 | #Constraints: 19362
400.43/401.59 c #Conflicts: 518000 | #Constraints: 20362
400.43/401.59 c #Conflicts: 519000 | #Constraints: 21362
400.43/401.59 c #Conflicts: 520000 | #Constraints: 22362
400.43/401.59 c #Conflicts: 521000 | #Constraints: 23362
400.43/401.59 c #Conflicts: 522000 | #Constraints: 24362
400.43/401.59 c #Conflicts: 523000 | #Constraints: 25362
400.43/401.59 c #Conflicts: 524000 | #Constraints: 26362
400.43/401.59 c #Conflicts: 525000 | #Constraints: 27362
400.43/401.59 c #Conflicts: 526000 | #Constraints: 28362
400.43/401.59 c #Conflicts: 527000 | #Constraints: 29362
400.43/401.59 c #Conflicts: 528000 | #Constraints: 30362
400.43/401.59 c #Conflicts: 529000 | #Constraints: 31362
400.43/401.59 c #Conflicts: 530000 | #Constraints: 32362
400.43/401.59 c #Conflicts: 531000 | #Constraints: 33362
400.43/401.59 c INPROCESSING
400.43/401.59 c GARBAGE COLLECT
400.43/401.59 c #Conflicts: 532000 | #Constraints: 19963
400.43/401.59 c #Conflicts: 533000 | #Constraints: 20963
400.43/401.59 c #Conflicts: 534000 | #Constraints: 21963
400.43/401.59 c #Conflicts: 535000 | #Constraints: 22963
400.43/401.59 c #Conflicts: 536000 | #Constraints: 23963
400.43/401.59 c #Conflicts: 537000 | #Constraints: 24963
400.43/401.59 c #Conflicts: 538000 | #Constraints: 25963
400.43/401.59 c #Conflicts: 539000 | #Constraints: 26963
400.43/401.59 c #Conflicts: 540000 | #Constraints: 27963
400.43/401.59 c #Conflicts: 541000 | #Constraints: 28963
400.43/401.59 c #Conflicts: 542000 | #Constraints: 29963
400.43/401.59 c #Conflicts: 543000 | #Constraints: 30963
400.43/401.59 c #Conflicts: 544000 | #Constraints: 31963
400.43/401.59 c #Conflicts: 545000 | #Constraints: 32963
400.43/401.59 c #Conflicts: 546000 | #Constraints: 33963
400.43/401.59 c INPROCESSING
400.43/401.59 c GARBAGE COLLECT
400.43/401.59 c #Conflicts: 547000 | #Constraints: 20358
400.43/401.59 c #Conflicts: 548000 | #Constraints: 21358
400.43/401.59 c #Conflicts: 549000 | #Constraints: 22358
400.43/401.59 c #Conflicts: 550000 | #Constraints: 23358
400.43/401.59 c #Conflicts: 551000 | #Constraints: 24358
400.43/401.59 c #Conflicts: 552000 | #Constraints: 25358
400.43/401.59 c #Conflicts: 553000 | #Constraints: 26358
400.43/401.59 c #Conflicts: 554000 | #Constraints: 27358
400.43/401.59 c #Conflicts: 555000 | #Constraints: 28358
400.43/401.59 c #Conflicts: 556000 | #Constraints: 29358
400.43/401.59 c #Conflicts: 557000 | #Constraints: 30358
400.43/401.59 c #Conflicts: 558000 | #Constraints: 31358
400.43/401.59 c #Conflicts: 559000 | #Constraints: 32358
400.43/401.59 c #Conflicts: 560000 | #Constraints: 33358
400.43/401.59 c #Conflicts: 561000 | #Constraints: 34358
400.43/401.59 c INPROCESSING
400.43/401.59 c GARBAGE COLLECT
400.43/401.59 c #Conflicts: 562000 | #Constraints: 20564
400.43/401.59 c #Conflicts: 563000 | #Constraints: 21564
400.43/401.59 c #Conflicts: 564000 | #Constraints: 22564
400.43/401.59 c #Conflicts: 565000 | #Constraints: 23564
400.43/401.59 c #Conflicts: 566000 | #Constraints: 24564
402.51/403.61 c #Conflicts: 567000 | #Constraints: 25564
402.51/403.61 c #Conflicts: 568000 | #Constraints: 26564
402.51/403.61 c #Conflicts: 569000 | #Constraints: 27564
402.51/403.61 c #Conflicts: 570000 | #Constraints: 28564
402.51/403.61 c #Conflicts: 571000 | #Constraints: 29564
402.51/403.61 c #Conflicts: 572000 | #Constraints: 30564
402.51/403.61 c #Conflicts: 573000 | #Constraints: 31564
402.51/403.61 c #Conflicts: 574000 | #Constraints: 32564
402.51/403.61 c #Conflicts: 575000 | #Constraints: 33564
402.51/403.61 c finalizing WCE round: reformulating cores
403.61/404.73 c #Conflicts: 576000 | #Constraints: 34567
403.61/404.73 c bounds 24902 >= 5530 @ 400.903
403.61/404.73 c INPROCESSING
403.61/404.73 c GARBAGE COLLECT
403.61/404.73 c #Conflicts: 577000 | #Constraints: 20551
403.61/404.73 c #Conflicts: 578000 | #Constraints: 21551
403.61/404.73 c #Conflicts: 579000 | #Constraints: 22551
403.61/404.73 c #Conflicts: 580000 | #Constraints: 23551
403.61/404.73 c bounds 24789 >= 5530 @ 401.806
403.61/404.73 c stratification level: 605
404.81/405.91 c #Conflicts: 581000 | #Constraints: 24552
404.81/405.91 c bounds 24789 >= 6135 @ 401.903
404.81/405.91 c #Conflicts: 582000 | #Constraints: 25553
404.81/405.91 c #Conflicts: 583000 | #Constraints: 26553
404.81/405.91 c #Conflicts: 584000 | #Constraints: 27553
404.81/405.91 c #Conflicts: 585000 | #Constraints: 28553
404.81/405.91 c finalizing WCE round: reformulating cores
735.22/737.26 c #Conflicts: 586000 | #Constraints: 29556
735.22/737.26 c bounds 24458 >= 6135 @ 403.062
735.22/737.26 c #Conflicts: 587000 | #Constraints: 30556
735.22/737.26 c #Conflicts: 588000 | #Constraints: 31556
735.22/737.26 c #Conflicts: 589000 | #Constraints: 32556
735.22/737.26 c #Conflicts: 590000 | #Constraints: 33556
735.22/737.26 c #Conflicts: 591000 | #Constraints: 34556
735.22/737.26 c INPROCESSING
735.22/737.26 c GARBAGE COLLECT
735.22/737.26 c #Conflicts: 592000 | #Constraints: 20389
735.22/737.26 c #Conflicts: 593000 | #Constraints: 21389
735.22/737.26 c #Conflicts: 594000 | #Constraints: 22389
735.22/737.26 c #Conflicts: 595000 | #Constraints: 23389
735.22/737.26 c #Conflicts: 596000 | #Constraints: 24389
735.22/737.26 c #Conflicts: 597000 | #Constraints: 25389
735.22/737.26 c bounds 24458 >= 6740 @ 411.843
735.22/737.26 c #Conflicts: 598000 | #Constraints: 26392
735.22/737.26 c #Conflicts: 599000 | #Constraints: 27392
735.22/737.26 c #Conflicts: 600000 | #Constraints: 28392
735.22/737.26 c #Conflicts: 601000 | #Constraints: 29392
735.22/737.26 c #Conflicts: 602000 | #Constraints: 30392
735.22/737.26 c #Conflicts: 603000 | #Constraints: 31392
735.22/737.26 c #Conflicts: 604000 | #Constraints: 32392
735.22/737.26 c #Conflicts: 605000 | #Constraints: 33392
735.22/737.26 c #Conflicts: 606000 | #Constraints: 34392
735.22/737.26 c #Conflicts: 607000 | #Constraints: 35392
735.22/737.26 c INPROCESSING
735.22/737.26 c GARBAGE COLLECT
735.22/737.26 c #Conflicts: 608000 | #Constraints: 20207
735.22/737.26 c #Conflicts: 609000 | #Constraints: 21207
735.22/737.26 c #Conflicts: 610000 | #Constraints: 22207
735.22/737.26 c #Conflicts: 611000 | #Constraints: 23207
735.22/737.26 c #Conflicts: 612000 | #Constraints: 24207
735.22/737.26 c #Conflicts: 613000 | #Constraints: 25207
735.22/737.26 c #Conflicts: 614000 | #Constraints: 26207
735.22/737.26 c #Conflicts: 615000 | #Constraints: 27207
735.22/737.26 c #Conflicts: 616000 | #Constraints: 28207
735.22/737.26 c #Conflicts: 617000 | #Constraints: 29207
735.22/737.26 c #Conflicts: 618000 | #Constraints: 30207
735.22/737.26 c #Conflicts: 619000 | #Constraints: 31207
735.22/737.26 c #Conflicts: 620000 | #Constraints: 32207
735.22/737.26 c #Conflicts: 621000 | #Constraints: 33207
735.22/737.26 c #Conflicts: 622000 | #Constraints: 34207
735.22/737.26 c #Conflicts: 623000 | #Constraints: 35207
735.22/737.26 c #Conflicts: 624000 | #Constraints: 36207
735.22/737.26 c #Conflicts: 625000 | #Constraints: 37207
735.22/737.26 c #Conflicts: 626000 | #Constraints: 38207
735.22/737.26 c #Conflicts: 627000 | #Constraints: 39207
735.22/737.26 c #Conflicts: 628000 | #Constraints: 40207
735.22/737.26 c #Conflicts: 629000 | #Constraints: 41207
735.22/737.26 c #Conflicts: 630000 | #Constraints: 42207
735.22/737.26 c #Conflicts: 631000 | #Constraints: 43207
735.22/737.26 c #Conflicts: 632000 | #Constraints: 44207
735.22/737.26 c #Conflicts: 633000 | #Constraints: 45207
735.22/737.26 c #Conflicts: 634000 | #Constraints: 46207
735.22/737.26 c #Conflicts: 635000 | #Constraints: 47207
735.22/737.26 c #Conflicts: 636000 | #Constraints: 48207
735.22/737.26 c #Conflicts: 637000 | #Constraints: 49207
735.22/737.26 c #Conflicts: 638000 | #Constraints: 50207
735.22/737.26 c #Conflicts: 639000 | #Constraints: 51207
735.22/737.26 c #Conflicts: 640000 | #Constraints: 52207
735.22/737.26 c #Conflicts: 641000 | #Constraints: 53207
735.22/737.26 c #Conflicts: 642000 | #Constraints: 54207
735.22/737.26 c #Conflicts: 643000 | #Constraints: 55207
735.22/737.26 c #Conflicts: 644000 | #Constraints: 56207
735.22/737.26 c #Conflicts: 645000 | #Constraints: 57207
735.22/737.26 c #Conflicts: 646000 | #Constraints: 58207
735.22/737.26 c #Conflicts: 647000 | #Constraints: 59207
735.22/737.26 c #Conflicts: 648000 | #Constraints: 60207
735.22/737.26 c #Conflicts: 649000 | #Constraints: 61207
735.22/737.26 c #Conflicts: 650000 | #Constraints: 62207
735.22/737.26 c #Conflicts: 651000 | #Constraints: 63207
735.22/737.26 c bounds 24458 >= 7345 @ 702.774
735.22/737.26 c #Conflicts: 652000 | #Constraints: 64210
735.22/737.26 c #Conflicts: 653000 | #Constraints: 65210
735.22/737.26 c #Conflicts: 654000 | #Constraints: 66210
735.22/737.26 c #Conflicts: 655000 | #Constraints: 67210
735.22/737.26 c #Conflicts: 656000 | #Constraints: 68210
735.22/737.26 c #Conflicts: 657000 | #Constraints: 69210
735.22/737.26 c #Conflicts: 658000 | #Constraints: 70210
735.22/737.26 c #Conflicts: 659000 | #Constraints: 71210
735.22/737.26 c #Conflicts: 660000 | #Constraints: 72210
735.22/737.26 c #Conflicts: 661000 | #Constraints: 73210
1206.78/1210.08 c #Conflicts: 662000 | #Constraints: 74210
1206.78/1210.08 c #Conflicts: 663000 | #Constraints: 75210
1206.78/1210.08 c #Conflicts: 664000 | #Constraints: 76210
1206.78/1210.08 c #Conflicts: 665000 | #Constraints: 77210
1206.78/1210.08 c #Conflicts: 666000 | #Constraints: 78210
1206.78/1210.08 c #Conflicts: 667000 | #Constraints: 79210
1206.78/1210.08 c #Conflicts: 668000 | #Constraints: 80210
1206.78/1210.08 c #Conflicts: 669000 | #Constraints: 81210
1206.78/1210.08 c #Conflicts: 670000 | #Constraints: 82210
1206.78/1210.08 c #Conflicts: 671000 | #Constraints: 83210
1206.78/1210.08 c #Conflicts: 672000 | #Constraints: 84210
1206.78/1210.08 c #Conflicts: 673000 | #Constraints: 85210
1206.78/1210.08 c #Conflicts: 674000 | #Constraints: 86210
1206.78/1210.08 c #Conflicts: 675000 | #Constraints: 87210
1206.78/1210.08 c #Conflicts: 676000 | #Constraints: 88210
1206.78/1210.08 c #Conflicts: 677000 | #Constraints: 89210
1206.78/1210.08 c #Conflicts: 678000 | #Constraints: 90210
1206.78/1210.08 c #Conflicts: 679000 | #Constraints: 91210
1206.78/1210.08 c #Conflicts: 680000 | #Constraints: 92210
1206.78/1210.08 c #Conflicts: 681000 | #Constraints: 93210
1206.78/1210.08 c #Conflicts: 682000 | #Constraints: 94210
1206.78/1210.08 c #Conflicts: 683000 | #Constraints: 95210
1206.78/1210.08 c #Conflicts: 684000 | #Constraints: 96210
1206.78/1210.08 c #Conflicts: 685000 | #Constraints: 97210
1206.78/1210.08 c #Conflicts: 686000 | #Constraints: 98210
1206.78/1210.08 c INPROCESSING
1206.78/1210.08 c GARBAGE COLLECT
1206.78/1210.08 c #Conflicts: 687000 | #Constraints: 46402
1206.78/1210.08 c #Conflicts: 688000 | #Constraints: 47402
1206.78/1210.08 c #Conflicts: 689000 | #Constraints: 48402
1206.78/1210.08 c #Conflicts: 690000 | #Constraints: 49402
1206.78/1210.08 c #Conflicts: 691000 | #Constraints: 50402
1206.78/1210.08 c #Conflicts: 692000 | #Constraints: 51402
1206.78/1210.08 c #Conflicts: 693000 | #Constraints: 52402
1206.78/1210.08 c #Conflicts: 694000 | #Constraints: 53402
1206.78/1210.08 c #Conflicts: 695000 | #Constraints: 54402
1206.78/1210.08 c #Conflicts: 696000 | #Constraints: 55402
1206.78/1210.08 c #Conflicts: 697000 | #Constraints: 56402
1206.78/1210.08 c #Conflicts: 698000 | #Constraints: 57402
1206.78/1210.08 c #Conflicts: 699000 | #Constraints: 58402
1206.78/1210.08 c #Conflicts: 700000 | #Constraints: 59402
1206.78/1210.08 c #Conflicts: 701000 | #Constraints: 60402
1206.78/1210.08 c #Conflicts: 702000 | #Constraints: 61402
1206.78/1210.08 c INPROCESSING
1206.78/1210.08 c GARBAGE COLLECT
1206.78/1210.08 c #Conflicts: 703000 | #Constraints: 33669
1206.78/1210.08 c #Conflicts: 704000 | #Constraints: 34669
1206.78/1210.08 c #Conflicts: 705000 | #Constraints: 35669
1206.78/1210.08 c #Conflicts: 706000 | #Constraints: 36669
1206.78/1210.08 c #Conflicts: 707000 | #Constraints: 37669
1206.78/1210.08 c #Conflicts: 708000 | #Constraints: 38669
1206.78/1210.08 c #Conflicts: 709000 | #Constraints: 39669
1206.78/1210.08 c #Conflicts: 710000 | #Constraints: 40669
1206.78/1210.08 c #Conflicts: 711000 | #Constraints: 41669
1206.78/1210.08 c #Conflicts: 712000 | #Constraints: 42669
1206.78/1210.08 c #Conflicts: 713000 | #Constraints: 43669
1206.78/1210.08 c #Conflicts: 714000 | #Constraints: 44669
1206.78/1210.08 c #Conflicts: 715000 | #Constraints: 45669
1206.78/1210.08 c #Conflicts: 716000 | #Constraints: 46669
1206.78/1210.08 c #Conflicts: 717000 | #Constraints: 47669
1206.78/1210.08 c #Conflicts: 718000 | #Constraints: 48669
1206.78/1210.08 c #Conflicts: 719000 | #Constraints: 49669
1206.78/1210.08 c #Conflicts: 720000 | #Constraints: 50669
1206.78/1210.08 c INPROCESSING
1206.78/1210.08 c GARBAGE COLLECT
1206.78/1210.08 c #Conflicts: 721000 | #Constraints: 28749
1206.78/1210.08 c #Conflicts: 722000 | #Constraints: 29749
1206.78/1210.08 c #Conflicts: 723000 | #Constraints: 30749
1206.78/1210.08 c #Conflicts: 724000 | #Constraints: 31749
1206.78/1210.08 c #Conflicts: 725000 | #Constraints: 32749
1206.78/1210.08 c #Conflicts: 726000 | #Constraints: 33749
1206.78/1210.08 c #Conflicts: 727000 | #Constraints: 34749
1206.78/1210.08 c #Conflicts: 728000 | #Constraints: 35749
1206.78/1210.08 c #Conflicts: 729000 | #Constraints: 36749
1206.78/1210.08 c #Conflicts: 730000 | #Constraints: 37749
1206.78/1210.08 c #Conflicts: 731000 | #Constraints: 38749
1206.78/1210.08 c #Conflicts: 732000 | #Constraints: 39749
1206.78/1210.08 c #Conflicts: 733000 | #Constraints: 40749
1206.78/1210.08 c #Conflicts: 734000 | #Constraints: 41749
1206.78/1210.08 c #Conflicts: 735000 | #Constraints: 42749
1206.78/1210.08 c #Conflicts: 736000 | #Constraints: 43749
1206.78/1210.08 c #Conflicts: 737000 | #Constraints: 44749
1206.78/1210.08 c #Conflicts: 738000 | #Constraints: 45749
1960.81/1966.06 c #Conflicts: 739000 | #Constraints: 46749
1960.81/1966.06 c #Conflicts: 740000 | #Constraints: 47749
1960.81/1966.06 c #Conflicts: 741000 | #Constraints: 48749
1960.81/1966.06 c #Conflicts: 742000 | #Constraints: 49749
1960.81/1966.06 c #Conflicts: 743000 | #Constraints: 50749
1960.81/1966.06 c #Conflicts: 744000 | #Constraints: 51749
1960.81/1966.06 c #Conflicts: 745000 | #Constraints: 52749
1960.81/1966.06 c #Conflicts: 746000 | #Constraints: 53749
1960.81/1966.06 c #Conflicts: 747000 | #Constraints: 54749
1960.81/1966.06 c #Conflicts: 748000 | #Constraints: 55749
1960.81/1966.06 c #Conflicts: 749000 | #Constraints: 56749
1960.81/1966.06 c #Conflicts: 750000 | #Constraints: 57749
1960.81/1966.06 c #Conflicts: 751000 | #Constraints: 58749
1960.81/1966.06 c #Conflicts: 752000 | #Constraints: 59749
1960.81/1966.06 c #Conflicts: 753000 | #Constraints: 60749
1960.81/1966.06 c #Conflicts: 754000 | #Constraints: 61749
1960.81/1966.06 c #Conflicts: 755000 | #Constraints: 62749
1960.81/1966.06 c #Conflicts: 756000 | #Constraints: 63749
1960.81/1966.06 c #Conflicts: 757000 | #Constraints: 64749
1960.81/1966.06 c #Conflicts: 758000 | #Constraints: 65749
1960.81/1966.06 c #Conflicts: 759000 | #Constraints: 66749
1960.81/1966.06 c #Conflicts: 760000 | #Constraints: 67749
1960.81/1966.06 c #Conflicts: 761000 | #Constraints: 68749
1960.81/1966.06 c #Conflicts: 762000 | #Constraints: 69749
1960.81/1966.06 c #Conflicts: 763000 | #Constraints: 70749
1960.81/1966.06 c #Conflicts: 764000 | #Constraints: 71749
1960.81/1966.06 c #Conflicts: 765000 | #Constraints: 72749
1960.81/1966.06 c #Conflicts: 766000 | #Constraints: 73749
1960.81/1966.06 c #Conflicts: 767000 | #Constraints: 74749
1960.81/1966.06 c #Conflicts: 768000 | #Constraints: 75749
1960.81/1966.06 c #Conflicts: 769000 | #Constraints: 76749
1960.81/1966.06 c #Conflicts: 770000 | #Constraints: 77749
1960.81/1966.06 c #Conflicts: 771000 | #Constraints: 78749
1960.81/1966.06 c #Conflicts: 772000 | #Constraints: 79749
1960.81/1966.06 c #Conflicts: 773000 | #Constraints: 80749
1960.81/1966.06 c bounds 24458 >= 7950 @ 1751.87
1960.81/1966.06 c #Conflicts: 774000 | #Constraints: 81752
1960.81/1966.06 c #Conflicts: 775000 | #Constraints: 82752
1960.81/1966.06 c #Conflicts: 776000 | #Constraints: 83752
1960.81/1966.06 c #Conflicts: 777000 | #Constraints: 84752
1960.81/1966.06 c #Conflicts: 778000 | #Constraints: 85752
1960.81/1966.06 c #Conflicts: 779000 | #Constraints: 86752
1960.81/1966.06 c #Conflicts: 780000 | #Constraints: 87752
1960.81/1966.06 c #Conflicts: 781000 | #Constraints: 88752
1960.81/1966.06 c #Conflicts: 782000 | #Constraints: 89752
1960.81/1966.06 c #Conflicts: 783000 | #Constraints: 90752
1960.81/1966.06 c #Conflicts: 784000 | #Constraints: 91752
1960.81/1966.06 c #Conflicts: 785000 | #Constraints: 92752
1960.81/1966.06 c #Conflicts: 786000 | #Constraints: 93752
1960.81/1966.06 c #Conflicts: 787000 | #Constraints: 94752
1960.81/1966.06 c #Conflicts: 788000 | #Constraints: 95752
1960.81/1966.06 c #Conflicts: 789000 | #Constraints: 96752
1960.81/1966.06 c #Conflicts: 790000 | #Constraints: 97752
1960.81/1966.06 c #Conflicts: 791000 | #Constraints: 98752
1960.81/1966.06 c #Conflicts: 792000 | #Constraints: 99752
1960.81/1966.06 c #Conflicts: 793000 | #Constraints: 100752
1960.81/1966.06 c #Conflicts: 794000 | #Constraints: 101752
1960.81/1966.06 c #Conflicts: 795000 | #Constraints: 102752
1960.81/1966.06 c #Conflicts: 796000 | #Constraints: 103752
1960.81/1966.06 c #Conflicts: 797000 | #Constraints: 104752
1960.81/1966.06 c #Conflicts: 798000 | #Constraints: 105752
1960.81/1966.06 c #Conflicts: 799000 | #Constraints: 106752
1960.81/1966.06 c #Conflicts: 800000 | #Constraints: 107752
1960.81/1966.06 c #Conflicts: 801000 | #Constraints: 108752
1960.81/1966.06 c #Conflicts: 802000 | #Constraints: 109752
1960.81/1966.06 c #Conflicts: 803000 | #Constraints: 110752
1960.81/1966.06 c INPROCESSING
1960.81/1966.06 c GARBAGE COLLECT
1960.81/1966.06 c #Conflicts: 804000 | #Constraints: 53437
1960.81/1966.06 c #Conflicts: 805000 | #Constraints: 54437
1960.81/1966.06 c #Conflicts: 806000 | #Constraints: 55437
1960.81/1966.06 c #Conflicts: 807000 | #Constraints: 56437
1960.81/1966.06 c #Conflicts: 808000 | #Constraints: 57437
1960.81/1966.06 c #Conflicts: 809000 | #Constraints: 58437
1960.81/1966.06 c #Conflicts: 810000 | #Constraints: 59437
1960.81/1966.06 c #Conflicts: 811000 | #Constraints: 60437
1960.81/1966.06 c #Conflicts: 812000 | #Constraints: 61437
1960.81/1966.06 c #Conflicts: 813000 | #Constraints: 62437
1960.81/1966.06 c #Conflicts: 814000 | #Constraints: 63437
1960.81/1966.06 c #Conflicts: 815000 | #Constraints: 64437
2479.26/2485.96 c #Conflicts: 816000 | #Constraints: 65437
2479.26/2485.96 c #Conflicts: 817000 | #Constraints: 66437
2479.26/2485.96 c #Conflicts: 818000 | #Constraints: 67437
2479.26/2485.96 c #Conflicts: 819000 | #Constraints: 68437
2479.26/2485.96 c #Conflicts: 820000 | #Constraints: 69437
2479.26/2485.96 c #Conflicts: 821000 | #Constraints: 70437
2479.26/2485.96 c INPROCESSING
2479.26/2485.96 c GARBAGE COLLECT
2479.26/2485.96 c #Conflicts: 822000 | #Constraints: 38418
2479.26/2485.96 c #Conflicts: 823000 | #Constraints: 39418
2479.26/2485.96 c #Conflicts: 824000 | #Constraints: 40418
2479.26/2485.96 c #Conflicts: 825000 | #Constraints: 41418
2479.26/2485.96 c #Conflicts: 826000 | #Constraints: 42418
2479.26/2485.96 c #Conflicts: 827000 | #Constraints: 43418
2479.26/2485.96 c #Conflicts: 828000 | #Constraints: 44418
2479.26/2485.96 c #Conflicts: 829000 | #Constraints: 45418
2479.26/2485.96 c #Conflicts: 830000 | #Constraints: 46418
2479.26/2485.96 c #Conflicts: 831000 | #Constraints: 47418
2479.26/2485.96 c #Conflicts: 832000 | #Constraints: 48418
2479.26/2485.96 c #Conflicts: 833000 | #Constraints: 49418
2479.26/2485.96 c #Conflicts: 834000 | #Constraints: 50418
2479.26/2485.96 c #Conflicts: 835000 | #Constraints: 51418
2479.26/2485.96 c #Conflicts: 836000 | #Constraints: 52418
2479.26/2485.96 c #Conflicts: 837000 | #Constraints: 53418
2479.26/2485.96 c #Conflicts: 838000 | #Constraints: 54418
2479.26/2485.96 c #Conflicts: 839000 | #Constraints: 55418
2479.26/2485.96 c #Conflicts: 840000 | #Constraints: 56418
2479.26/2485.96 c INPROCESSING
2479.26/2485.96 c GARBAGE COLLECT
2479.26/2485.96 c #Conflicts: 841000 | #Constraints: 31629
2479.26/2485.96 c #Conflicts: 842000 | #Constraints: 32629
2479.26/2485.96 c #Conflicts: 843000 | #Constraints: 33629
2479.26/2485.96 c #Conflicts: 844000 | #Constraints: 34629
2479.26/2485.96 c #Conflicts: 845000 | #Constraints: 35629
2479.26/2485.96 c #Conflicts: 846000 | #Constraints: 36629
2479.26/2485.96 c #Conflicts: 847000 | #Constraints: 37629
2479.26/2485.96 c #Conflicts: 848000 | #Constraints: 38629
2479.26/2485.96 c #Conflicts: 849000 | #Constraints: 39629
2479.26/2485.96 c #Conflicts: 850000 | #Constraints: 40629
2479.26/2485.96 c #Conflicts: 851000 | #Constraints: 41629
2479.26/2485.96 c #Conflicts: 852000 | #Constraints: 42629
2479.26/2485.96 c #Conflicts: 853000 | #Constraints: 43629
2479.26/2485.96 c #Conflicts: 854000 | #Constraints: 44629
2479.26/2485.96 c #Conflicts: 855000 | #Constraints: 45629
2479.26/2485.96 c #Conflicts: 856000 | #Constraints: 46629
2479.26/2485.96 c #Conflicts: 857000 | #Constraints: 47629
2479.26/2485.96 c #Conflicts: 858000 | #Constraints: 48629
2479.26/2485.96 c #Conflicts: 859000 | #Constraints: 49629
2479.26/2485.96 c #Conflicts: 860000 | #Constraints: 50629
2479.26/2485.96 c #Conflicts: 861000 | #Constraints: 51629
2479.26/2485.96 c #Conflicts: 862000 | #Constraints: 52629
2479.26/2485.96 c #Conflicts: 863000 | #Constraints: 53629
2479.26/2485.96 c #Conflicts: 864000 | #Constraints: 54629
2479.26/2485.96 c #Conflicts: 865000 | #Constraints: 55629
2479.26/2485.96 c #Conflicts: 866000 | #Constraints: 56629
2479.26/2485.96 c #Conflicts: 867000 | #Constraints: 57629
2479.26/2485.96 c #Conflicts: 868000 | #Constraints: 58629
2479.26/2485.96 c #Conflicts: 869000 | #Constraints: 59629
2479.26/2485.96 c #Conflicts: 870000 | #Constraints: 60629
2479.26/2485.96 c #Conflicts: 871000 | #Constraints: 61629
2479.26/2485.96 c #Conflicts: 872000 | #Constraints: 62629
2479.26/2485.96 c #Conflicts: 873000 | #Constraints: 63629
2479.26/2485.96 c #Conflicts: 874000 | #Constraints: 64629
2479.26/2485.96 c #Conflicts: 875000 | #Constraints: 65629
2479.26/2485.96 c #Conflicts: 876000 | #Constraints: 66629
2479.26/2485.96 c #Conflicts: 877000 | #Constraints: 67629
2479.26/2485.96 c #Conflicts: 878000 | #Constraints: 68629
2479.26/2485.96 c #Conflicts: 879000 | #Constraints: 69629
2479.26/2485.96 c #Conflicts: 880000 | #Constraints: 70629
2479.26/2485.96 c #Conflicts: 881000 | #Constraints: 71629
2479.26/2485.96 c #Conflicts: 882000 | #Constraints: 72629
2479.26/2485.96 c #Conflicts: 883000 | #Constraints: 73629
2479.26/2485.96 c #Conflicts: 884000 | #Constraints: 74629
2479.26/2485.96 c #Conflicts: 885000 | #Constraints: 75629
2479.26/2485.96 c #Conflicts: 886000 | #Constraints: 76629
2479.26/2485.96 c #Conflicts: 887000 | #Constraints: 77629
2479.26/2485.96 c #Conflicts: 888000 | #Constraints: 78629
2479.26/2485.96 c #Conflicts: 889000 | #Constraints: 79629
2479.26/2485.96 c #Conflicts: 890000 | #Constraints: 80629
2479.26/2485.96 c #Conflicts: 891000 | #Constraints: 81629
2479.26/2485.96 c #Conflicts: 892000 | #Constraints: 82629
2479.26/2485.96 c #Conflicts: 893000 | #Constraints: 83629
3600.05/3610.20 c #Conflicts: 894000 | #Constraints: 84629
3600.05/3610.20 c #Conflicts: 895000 | #Constraints: 85629
3600.05/3610.20 c #Conflicts: 896000 | #Constraints: 86629
3600.05/3610.20 c #Conflicts: 897000 | #Constraints: 87629
3600.05/3610.20 c #Conflicts: 898000 | #Constraints: 88629
3600.05/3610.20 c #Conflicts: 899000 | #Constraints: 89629
3600.05/3610.20 c #Conflicts: 900000 | #Constraints: 90629
3600.05/3610.20 c #Conflicts: 901000 | #Constraints: 91629
3600.05/3610.20 c #Conflicts: 902000 | #Constraints: 92629
3600.05/3610.20 c #Conflicts: 903000 | #Constraints: 93629
3600.05/3610.20 c #Conflicts: 904000 | #Constraints: 94629
3600.05/3610.20 c #Conflicts: 905000 | #Constraints: 95629
3600.05/3610.20 c #Conflicts: 906000 | #Constraints: 96629
3600.05/3610.20 c #Conflicts: 907000 | #Constraints: 97629
3600.05/3610.20 c #Conflicts: 908000 | #Constraints: 98629
3600.05/3610.20 c #Conflicts: 909000 | #Constraints: 99629
3600.05/3610.20 c #Conflicts: 910000 | #Constraints: 100629
3600.05/3610.20 c #Conflicts: 911000 | #Constraints: 101629
3600.05/3610.20 c #Conflicts: 912000 | #Constraints: 102629
3600.05/3610.20 c #Conflicts: 913000 | #Constraints: 103629
3600.05/3610.20 c #Conflicts: 914000 | #Constraints: 104629
3600.05/3610.20 c #Conflicts: 915000 | #Constraints: 105629
3600.05/3610.20 c #Conflicts: 916000 | #Constraints: 106629
3600.05/3610.20 c #Conflicts: 917000 | #Constraints: 107629
3600.05/3610.20 c #Conflicts: 918000 | #Constraints: 108629
3600.05/3610.20 c #Conflicts: 919000 | #Constraints: 109629
3600.05/3610.20 c #Conflicts: 920000 | #Constraints: 110629
3600.05/3610.20 c #Conflicts: 921000 | #Constraints: 111629
3600.05/3610.20 c #Conflicts: 922000 | #Constraints: 112629
3600.05/3610.20 c #Conflicts: 923000 | #Constraints: 113629
3600.05/3610.20 c #Conflicts: 924000 | #Constraints: 114629
3600.05/3610.20 c #Conflicts: 925000 | #Constraints: 115629
3600.05/3610.20 c #Conflicts: 926000 | #Constraints: 116629
3600.05/3610.20 c #Conflicts: 927000 | #Constraints: 117629
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 928000 | #Constraints: 62115
3600.05/3610.20 c #Conflicts: 929000 | #Constraints: 63115
3600.05/3610.20 c #Conflicts: 930000 | #Constraints: 64115
3600.05/3610.20 c #Conflicts: 931000 | #Constraints: 65115
3600.05/3610.20 c #Conflicts: 932000 | #Constraints: 66115
3600.05/3610.20 c #Conflicts: 933000 | #Constraints: 67115
3600.05/3610.20 c #Conflicts: 934000 | #Constraints: 68115
3600.05/3610.20 c #Conflicts: 935000 | #Constraints: 69115
3600.05/3610.20 c #Conflicts: 936000 | #Constraints: 70115
3600.05/3610.20 c #Conflicts: 937000 | #Constraints: 71115
3600.05/3610.20 c #Conflicts: 938000 | #Constraints: 72115
3600.05/3610.20 c #Conflicts: 939000 | #Constraints: 73115
3600.05/3610.20 c #Conflicts: 940000 | #Constraints: 74115
3600.05/3610.20 c #Conflicts: 941000 | #Constraints: 75115
3600.05/3610.20 c #Conflicts: 942000 | #Constraints: 76115
3600.05/3610.20 c #Conflicts: 943000 | #Constraints: 77115
3600.05/3610.20 c #Conflicts: 944000 | #Constraints: 78115
3600.05/3610.20 c #Conflicts: 945000 | #Constraints: 79115
3600.05/3610.20 c #Conflicts: 946000 | #Constraints: 80115
3600.05/3610.20 c #Conflicts: 947000 | #Constraints: 81115
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 948000 | #Constraints: 43901
3600.05/3610.20 c #Conflicts: 949000 | #Constraints: 44901
3600.05/3610.20 c #Conflicts: 950000 | #Constraints: 45901
3600.05/3610.20 c #Conflicts: 951000 | #Constraints: 46901
3600.05/3610.20 c #Conflicts: 952000 | #Constraints: 47901
3600.05/3610.20 c #Conflicts: 953000 | #Constraints: 48901
3600.05/3610.20 c #Conflicts: 954000 | #Constraints: 49901
3600.05/3610.20 c #Conflicts: 955000 | #Constraints: 50901
3600.05/3610.20 c #Conflicts: 956000 | #Constraints: 51901
3600.05/3610.20 c #Conflicts: 957000 | #Constraints: 52901
3600.05/3610.20 c #Conflicts: 958000 | #Constraints: 53901
3600.05/3610.20 c Program interrupted by user.
3600.05/3610.20 c cpu time 3593.18 s
3600.05/3610.20 c deterministic time 347400554674 3.47e+11
3600.05/3610.20 c optimization time 72.311 s
3600.05/3610.20 c total solve time 3221.67 s
3600.05/3610.20 c core-guided solve time 3221.67 s
3600.05/3610.20 c propagation time 3022.84 s
3600.05/3610.20 c conflict analysis time 259.015 s
3600.05/3610.20 c propagations 78523940
3600.05/3610.20 c resolve steps 15829338
3600.05/3610.20 c decisions 3665575
3600.05/3610.20 c conflicts 958307
3600.05/3610.20 c restarts 2044
3600.05/3610.20 c inprocessing phases 77
3600.05/3610.20 c input clauses 2682
3600.05/3610.20 c input cardinalities 268
3600.05/3610.20 c input general constraints 1719
3600.05/3610.20 c input average constraint length 5.64
3600.05/3610.20 c input average constraint degree 278.58
3600.05/3610.20 c learned clauses 572634
3600.05/3610.20 c learned cardinalities 9382
3600.05/3610.20 c learned general constraints 376290
3600.05/3610.20 c learned average constraint length 100.51
3600.05/3610.20 c learned average constraint degree 1143738.92
3600.05/3610.20 c watched constraints 319910
3600.05/3610.20 c counting constraints 58099
3600.05/3610.20 c gcd simplifications 52507
3600.05/3610.20 c detected cardinalities 28
3600.05/3610.20 c weakened non-implied lits 21730006
3600.05/3610.20 c weakened non-implying lits 162541
3600.05/3610.20 c original variables 540
3600.05/3610.20 c clausal propagations 29177663
3600.05/3610.20 c cardinality propagations 28514658
3600.05/3610.20 c watched propagations 7371156
3600.05/3610.20 c counting propagations 12755013
3600.05/3610.20 c watch lookups 51816935728
3600.05/3610.20 c watch backjump lookups 45274034265
3600.05/3610.20 c watch checks 235251550464
3600.05/3610.20 c propagation checks 14502053584
3600.05/3610.20 c constraint additions 390643498
3600.05/3610.20 c trail pops 83147619
3600.05/3610.20 c formula constraints 4626
3600.05/3610.20 c learned constraints 958306
3600.05/3610.20 c bound constraints 23
3600.05/3610.20 c core-guided constraints 20
3600.05/3610.20 c encountered formula constraints 9059443
3600.05/3610.20 c encountered learned constraints 7693200
3600.05/3610.20 c encountered bound constraints 10924
3600.05/3610.20 c encountered core-guided constraints 24078
3600.05/3610.20 c LP total time 0 s
3600.05/3610.20 c LP solve time 0 s
3600.05/3610.20 c LP constraints added 0
3600.05/3610.20 c LP constraints removed 0
3600.05/3610.20 c LP pivots internal 0
3600.05/3610.20 c LP pivots root 0
3600.05/3610.20 c LP calls 0
3600.05/3610.20 c LP optimalities 0
3600.05/3610.20 c LP no pivot count 0
3600.05/3610.20 c LP infeasibilities 0
3600.05/3610.20 c LP valid Farkas constraints 0
3600.05/3610.20 c LP learned Farkas constraints 0
3600.05/3610.20 c LP basis resets 0
3600.05/3610.20 c LP cycling count 0
3600.05/3610.20 c LP singular count 0
3600.05/3610.20 c LP no primal count 0
3600.05/3610.20 c LP no farkas count 0
3600.05/3610.20 c LP other issue count 0
3600.05/3610.20 c LP Gomory cuts 0
3600.05/3610.20 c LP learned cuts 0
3600.05/3610.20 c LP deleted cuts 0
3600.05/3610.20 c LP encountered Gomory constraints 0
3600.05/3610.20 c LP encountered Farkas constraints 0
3600.05/3610.20 c LP encountered learned Farkas constraints 0
3600.05/3610.20 c CG auxiliary variables introduced 10
3600.05/3610.20 c CG solutions found 11
3600.05/3610.20 c CG cores constructed 10
3600.05/3610.20 c CG core cardinality constraints returned 0
3600.05/3610.20 c CG unit cores 3
3600.05/3610.20 c CG single cores 7
3600.05/3610.20 c CG blocks removed during cardinality reduction 0
3600.05/3610.20 c CG first core best 0
3600.05/3610.20 c CG decision core best 0
3600.05/3610.20 c CG core reduction tie 0
3600.05/3610.20 c CG core degree average 1.00
3600.05/3610.20 c CG core slack average 12.71
3600.05/3610.20 c CG exhausted 0
3600.05/3610.20 c CG exhaust time 0.73266 s
3600.05/3610.20 c CG trimmed 0
3600.05/3610.20 c CG trim time 0.000282 s
3600.05/3610.20 c CG minimized 0
3600.05/3610.20 c CG minimize time 0 s
3600.05/3610.20 c CG am1 prop time 0.000328 s
3600.05/3610.20 c CG # am1s reformulated 0
3600.05/3610.20 c CG lower bound derived from am1s 0
3600.05/3610.20 c CG # clausal cores 7
3600.05/3610.20 c CG # cardinality cores 0
3600.05/3610.20 c CG # pb cores 0
3600.05/3610.20 c CG # pb reforms 6
3600.05/3610.20 c CG # cores discarded because of pb reform 0
3600.05/3610.20 d LOWERBOUND 7950
3600.05/3610.20 d NCORES 10
3600.05/3610.20 d NPBCORES 0
3600.05/3610.20 d NPBREFORM 6
3600.05/3610.20 d NTRIMMED 0
3600.05/3610.20 d NEXHAUSTED 0
3600.05/3610.20 d NAM1S 0
3600.05/3610.20 d AM1LB 0
3600.05/3610.20 c [Papilo Statistics]
3600.05/3610.20 c prepro time 0.00476736s
3600.05/3610.20 c # tsx applied 0
3600.05/3610.20 c # tsx conflicts 0
3600.05/3610.20 c # bound changes 0
3600.05/3610.20 c # side changes 0
3600.05/3610.20 c # coef changes 0
3600.05/3610.20 c # rounds 1
3600.05/3610.20 c # deted vars 0
3600.05/3610.20 c # deted constrs 0
3600.05/3610.20 c # consecutive rounds of only bound changes 0
3600.05/3610.20 c [STEP] postprocessing with Papilo
3600.05/3610.20 o 24458
3600.05/3610.20 s SATISFIABLE
3600.05/3610.20 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 x363 x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 x503 x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 x539 -x540
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62790 MiB free)
memory of node 1: 64465 MiB (63062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486507-1751321360/watcher-4486507-1751321360 -o /tmp/evaluation-result-4486507-1751321360/solver-4486507-1751321360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751314135-43527 --watchdog 3760 mixed-bag HOME/instance-4486507-1751321360.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44698, runsolver pid=44692
[startup+0.10006 s]*
/proc/loadavg: 4.14 4.17 4.13 4/261 44705
/proc/meminfo: memFree=128847960/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=110636 memory=36592 CPUtime=0.09 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 6074 0 0 0 8 1 0 0 20 0 1 0 47814596 113291264 9148 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 27659 9148 4128 2842 0 9353 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110636 KiB
Current children cumulated memory: 36592 KiB
[startup+0.205475 s]*
/proc/loadavg: 4.14 4.17 4.13 4/259 44712
/proc/meminfo: memFree=128844180/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=121720 memory=47600 CPUtime=0.18 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 8683 0 0 0 17 1 0 0 20 0 1 0 47814596 124641280 11900 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 30430 11900 4320 2842 0 12124 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 121720 KiB
Current children cumulated memory: 47600 KiB
[startup+0.305137 s]*
/proc/loadavg: 4.14 4.17 4.13 4/258 44722
/proc/meminfo: memFree=128861028/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=122048 memory=47728 CPUtime=0.29 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 8744 0 0 0 27 2 0 0 20 0 1 0 47814596 124977152 11932 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 30512 11932 4320 2842 0 12206 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 122048 KiB
Current children cumulated memory: 47728 KiB
[startup+0.700128 s]
/proc/loadavg: 4.14 4.17 4.13 4/261 44736
/proc/meminfo: memFree=129209736/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=122048 memory=47856 CPUtime=0.67 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 8746 0 0 0 65 2 0 0 20 0 1 0 47814596 124977152 11964 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 30512 11964 4320 2842 0 12206 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122048 KiB
Current children cumulated memory: 47856 KiB
[startup+1.50018 s]
/proc/loadavg: 4.14 4.17 4.13 5/260 44756
/proc/meminfo: memFree=129077752/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=142456 memory=66636 CPUtime=1.46 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 14738 0 0 0 143 3 0 0 20 0 1 0 47814596 145874944 16659 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 35614 16659 4320 2842 0 17308 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 142456 KiB
Current children cumulated memory: 66636 KiB
[startup+3.10532 s]
/proc/loadavg: 4.14 4.17 4.13 5/264 44783
/proc/meminfo: memFree=128737380/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=179256 memory=98508 CPUtime=3.06 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 22718 0 0 0 301 5 0 0 20 0 1 0 47814596 183558144 24627 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 44814 24627 4320 2842 0 26508 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 179256 KiB
Current children cumulated memory: 98508 KiB
[startup+6.30013 s]
/proc/loadavg: 4.12 4.16 4.12 5/264 44783
/proc/meminfo: memFree=128719192/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=191536 memory=109772 CPUtime=6.25 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 25523 0 0 0 620 5 0 0 20 0 1 0 47814596 196132864 27443 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 47884 27443 4320 2842 0 29578 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 191536 KiB
Current children cumulated memory: 109772 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.16 4.12 5/264 44783
/proc/meminfo: memFree=128719696/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=196884 memory=115404 CPUtime=12.63 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 26924 0 0 0 1258 5 0 0 20 0 1 0 47814596 201609216 28851 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 49221 28851 4320 2842 0 30915 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 196884 KiB
Current children cumulated memory: 115404 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.15 4.12 5/264 44783
/proc/meminfo: memFree=128670052/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=255236 memory=165580 CPUtime=25.4 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 39470 0 0 0 2533 7 0 0 20 0 1 0 47814596 261361664 41395 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 63809 41395 4320 2842 0 45503 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 255236 KiB
Current children cumulated memory: 165580 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.14 4.12 5/264 44783
/proc/meminfo: memFree=128602272/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=270660 memory=181068 CPUtime=50.94 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 43358 0 0 0 5086 8 0 0 20 0 1 0 47814596 277155840 45267 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 67665 45267 4320 2842 0 49359 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 270660 KiB
Current children cumulated memory: 181068 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/263 44785
/proc/meminfo: memFree=128579588/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=271284 memory=181580 CPUtime=102 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 43482 0 0 0 10192 8 0 0 20 0 1 0 47814596 277794816 45395 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 67821 45395 4320 2842 0 49515 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 271284 KiB
Current children cumulated memory: 181580 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/263 44787
/proc/meminfo: memFree=128565780/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=285804 memory=195404 CPUtime=161.84 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 46840 0 0 0 16176 8 0 0 20 0 1 0 47814596 292663296 48851 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 71451 48851 4448 2842 0 53145 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 285804 KiB
Current children cumulated memory: 195404 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/264 44790
/proc/meminfo: memFree=128536668/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=311548 memory=218956 CPUtime=221.69 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 52726 0 0 0 22159 10 0 0 20 0 1 0 47814596 319025152 54739 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 77887 54739 4448 2842 0 59581 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 311548 KiB
Current children cumulated memory: 218956 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 44792
/proc/meminfo: memFree=128511616/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=334836 memory=234060 CPUtime=281.53 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 56497 0 0 0 28142 11 0 0 20 0 1 0 47814596 342872064 58515 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 83709 58515 4448 2842 0 65403 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 334836 KiB
Current children cumulated memory: 234060 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 44980
/proc/meminfo: memFree=128802252/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=306040 memory=226088 CPUtime=341.38 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 56685 0 0 0 34048 90 0 0 20 0 1 0 47814596 313384960 56522 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 76510 56522 4608 2842 0 58204 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 306040 KiB
Current children cumulated memory: 226088 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 45076
/proc/meminfo: memFree=128287572/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=310460 memory=241424 CPUtime=401.22 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 57007 0 0 0 39941 181 0 0 20 0 1 0 47814596 317911040 60356 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 77615 60356 4608 2842 0 59309 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 310460 KiB
Current children cumulated memory: 241424 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 45078
/proc/meminfo: memFree=128203880/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=317640 memory=254852 CPUtime=461.06 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 57587 0 0 0 45878 228 0 0 20 0 1 0 47814596 325263360 63713 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 79410 63713 4608 2842 0 61104 0
################
# More data... #
################
Current children cumulated memory: 316468 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 45188
/proc/meminfo: memFree=128011052/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=317108 CPUtime=2854.56 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59795 0 0 0 284853 603 0 0 20 0 1 0 47814596 439492608 79277 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 79277 4608 2842 0 88992 0
Current children cumulated CPU time: 2854.56 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 317108 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 45190
/proc/meminfo: memFree=128007004/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=319720 CPUtime=2914.36 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59910 0 0 0 290828 608 0 0 20 0 1 0 47814596 439492608 79930 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 79930 4608 2842 0 88992 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 319720 KiB
[startup+2982.3 s]
/proc/loadavg: 4.39 4.19 4.12 5/263 45192
/proc/meminfo: memFree=128006876/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=321768 CPUtime=2974.17 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59911 0 0 0 296804 613 0 0 20 0 1 0 47814596 439492608 80442 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 80442 4608 2842 0 88992 0
Current children cumulated CPU time: 2974.17 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 321768 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/264 45195
/proc/meminfo: memFree=128002872/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=323816 CPUtime=3033.98 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59914 0 0 0 302778 620 0 0 20 0 1 0 47814596 439492608 80954 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 80954 4608 2842 0 88992 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 323816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 45212
/proc/meminfo: memFree=128001784/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=325864 CPUtime=3093.78 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59915 0 0 0 308754 624 0 0 20 0 1 0 47814596 439492608 81466 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 81466 4608 2842 0 88992 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 325864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 45214
/proc/meminfo: memFree=127990328/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=327912 CPUtime=3153.57 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59916 0 0 0 314727 630 0 0 20 0 1 0 47814596 439492608 81978 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 81978 4608 2842 0 88992 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 327912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/264 45216
/proc/meminfo: memFree=127990368/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3213.38 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59923 0 0 0 320703 635 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/264 45218
/proc/meminfo: memFree=127990232/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3273.18 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59925 0 0 0 326677 641 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 45222
/proc/meminfo: memFree=127990224/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3333 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59925 0 0 0 332652 648 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 45229
/proc/meminfo: memFree=127990740/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3392.81 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59925 0 0 0 338626 655 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 45231
/proc/meminfo: memFree=127990520/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3452.62 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59925 0 0 0 344602 660 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 45233
/proc/meminfo: memFree=127990640/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3512.42 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59925 0 0 0 350576 666 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 45235
/proc/meminfo: memFree=127984400/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3572.23 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59925 0 0 0 356542 681 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 45235
/proc/meminfo: memFree=127986480/131249988 swapFree=33010684/33010684
[pid=44698] ppid=44692 vsize=429192 memory=329960 CPUtime=3600.05 cores=0,2
/proc/44698/stat : 44698 (mixed-bag) R 44692 44698 43517 0 -1 4194304 59925 0 0 0 359318 687 0 0 20 0 1 0 47814596 439492608 82490 18446744073709551615 4235264 15874749 140723177772304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 28020736 140723177781660 140723177781737 140723177781737 140723177787339 0
/proc/44698/statm: 107298 82490 4608 2842 0 88992 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 429192 KiB
Current children cumulated memory: 329960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 44698 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.18 s, system=6.87662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.06
CPU user time (s): 3593.18
CPU system time (s): 6.87662
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 429192
Max. memory (cumulated for all children) (KiB): 329960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.18
system time used= 6.87662
maximum resident set size= 330216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59950
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= 164
involuntary context switches= 7878
# summary of solver processes directly reported to runsolver:
# pid: 44698
# total CPU time (s): 3600.06
# total CPU user time (s): 3593.18
# total CPU system time (s): 6.87662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55801 second user time and 15.8021 second system time
The end
Begin job on nodeC031 at 2025-07-01 00:09:20
IDJOB=4486507
IDBENCH=147022
IDSOLVER=3340
FILE ID=nodeC031/4486507-1751321360
RUNJOBID= nodeC031-1751314135-43527
SLURM_JOB_ID= 9594324
Free space on /tmp= 433012 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486507-1751321360/watcher-4486507-1751321360 -o /tmp/evaluation-result-4486507-1751321360/solver-4486507-1751321360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751314135-43527 --watchdog 3760 mixed-bag HOME/instance-4486507-1751321360.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=721717937
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.420
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.878
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.917
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3652.897
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.075
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.931
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128874680 kB
MemAvailable: 128985144 kB
Buffers: 3280 kB
Cached: 917568 kB
SwapCached: 0 kB
Active: 1115764 kB
Inactive: 650512 kB
Active(anon): 863492 kB
Inactive(anon): 0 kB
Active(file): 252272 kB
Inactive(file): 650512 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31444 kB
Writeback: 12 kB
AnonPages: 846864 kB
Mapped: 128412 kB
Shmem: 18064 kB
KReclaimable: 93840 kB
Slab: 181236 kB
SReclaimable: 93840 kB
SUnreclaim: 87396 kB
KernelStack: 4224 kB
PageTables: 4736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1228916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 702464 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC031 at 2025-07-01 01:09:31