0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c Papilo could not simplify the problem
0.00/0.02 c [STEP] solving with SCIP
299.06/300.07 c [STEP] preprocessing done, loading into solver
299.06/300.08 c [STEP] solving
299.06/300.08 c #variables 541 #constraints 4626
299.06/300.08 c SMALL=int, LARGE=long long
299.06/300.08 d SCIPUB 26960
299.06/300.08 c bounds - >= 0 @ 298.986
299.06/300.08 c stratification level: 1090
299.06/300.10 c bounds - >= 1090 @ 298.997
299.06/300.10 c finalizing WCE round: reformulating cores
299.76/300.71 c bounds 26816 >= 1090 @ 299.025
299.76/300.71 c #Conflicts: 1000 | #Constraints: 5631
299.76/300.71 c #Conflicts: 2000 | #Constraints: 6631
299.76/300.71 c INPROCESSING
299.76/300.71 c GARBAGE COLLECT
299.76/300.71 c #Conflicts: 3000 | #Constraints: 6637
299.76/300.71 c #Conflicts: 4000 | #Constraints: 7637
299.76/300.71 c INPROCESSING
299.76/300.71 c GARBAGE COLLECT
299.76/300.71 c #Conflicts: 5000 | #Constraints: 7053
299.76/300.71 c #Conflicts: 6000 | #Constraints: 8053
299.76/300.71 c INPROCESSING
299.76/300.71 c GARBAGE COLLECT
299.76/300.71 c #Conflicts: 7000 | #Constraints: 7059
299.76/300.71 c bounds 26810 >= 1090 @ 299.592
299.76/300.71 c stratification level: 1020
299.95/300.95 c #Conflicts: 8000 | #Constraints: 8060
299.95/300.95 c #Conflicts: 9000 | #Constraints: 9060
299.95/300.95 c INPROCESSING
299.95/300.95 c GARBAGE COLLECT
299.95/300.95 c bounds 25923 >= 1090 @ 299.826
299.95/300.95 c stratification level: 1010
304.05/305.07 c bounds 25923 >= 2100 @ 299.827
304.05/305.07 c bounds 25923 >= 3110 @ 299.827
304.05/305.07 c bounds 25923 >= 4120 @ 299.83
304.05/305.07 c #Conflicts: 10000 | #Constraints: 7766
304.05/305.07 c #Conflicts: 11000 | #Constraints: 8766
304.05/305.07 c #Conflicts: 12000 | #Constraints: 9766
304.05/305.07 c INPROCESSING
304.05/305.07 c GARBAGE COLLECT
304.05/305.07 c #Conflicts: 13000 | #Constraints: 8213
304.05/305.07 c #Conflicts: 14000 | #Constraints: 9213
304.05/305.07 c #Conflicts: 15000 | #Constraints: 10213
304.05/305.07 c INPROCESSING
304.05/305.07 c GARBAGE COLLECT
304.05/305.07 c #Conflicts: 16000 | #Constraints: 8439
304.05/305.07 c #Conflicts: 17000 | #Constraints: 9439
304.05/305.07 c #Conflicts: 18000 | #Constraints: 10439
304.05/305.07 c INPROCESSING
304.05/305.07 c GARBAGE COLLECT
304.05/305.07 c #Conflicts: 19000 | #Constraints: 8456
304.05/305.07 c #Conflicts: 20000 | #Constraints: 9456
304.05/305.07 c #Conflicts: 21000 | #Constraints: 10456
304.05/305.07 c INPROCESSING
304.05/305.07 c GARBAGE COLLECT
304.05/305.07 c #Conflicts: 22000 | #Constraints: 8267
304.05/305.07 c #Conflicts: 23000 | #Constraints: 9267
304.05/305.07 c #Conflicts: 24000 | #Constraints: 10267
304.05/305.07 c #Conflicts: 25000 | #Constraints: 11267
304.05/305.08 c INPROCESSING
304.05/305.08 c GARBAGE COLLECT
304.05/305.08 c #Conflicts: 26000 | #Constraints: 8868
304.05/305.08 c #Conflicts: 27000 | #Constraints: 9868
304.05/305.08 c #Conflicts: 28000 | #Constraints: 10868
304.05/305.08 c #Conflicts: 29000 | #Constraints: 11868
304.05/305.08 c INPROCESSING
304.05/305.08 c GARBAGE COLLECT
304.05/305.08 c #Conflicts: 30000 | #Constraints: 9267
304.05/305.08 c #Conflicts: 31000 | #Constraints: 10267
304.05/305.08 c #Conflicts: 32000 | #Constraints: 11267
304.05/305.08 c #Conflicts: 33000 | #Constraints: 12267
304.05/305.08 c INPROCESSING
304.05/305.08 c GARBAGE COLLECT
304.05/305.08 c #Conflicts: 34000 | #Constraints: 9478
304.05/305.08 c #Conflicts: 35000 | #Constraints: 10478
304.05/305.08 c #Conflicts: 36000 | #Constraints: 11478
304.05/305.08 c #Conflicts: 37000 | #Constraints: 12478
304.05/305.08 c INPROCESSING
304.05/305.08 c GARBAGE COLLECT
304.05/305.08 c #Conflicts: 38000 | #Constraints: 9480
304.05/305.08 c #Conflicts: 39000 | #Constraints: 10480
304.05/305.08 c #Conflicts: 40000 | #Constraints: 11480
304.05/305.08 c #Conflicts: 41000 | #Constraints: 12480
304.05/305.08 c INPROCESSING
304.05/305.08 c GARBAGE COLLECT
304.05/305.08 c #Conflicts: 42000 | #Constraints: 9281
304.05/305.08 c #Conflicts: 43000 | #Constraints: 10281
304.05/305.08 c finalizing WCE round: reformulating cores
313.91/314.90 c #Conflicts: 44000 | #Constraints: 11284
313.91/314.90 c #Conflicts: 45000 | #Constraints: 12286
313.91/314.90 c #Conflicts: 46000 | #Constraints: 13288
313.91/314.90 c bounds 25527 >= 4120 @ 304.108
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 47000 | #Constraints: 9885
313.91/314.90 c #Conflicts: 48000 | #Constraints: 10885
313.91/314.90 c #Conflicts: 49000 | #Constraints: 11885
313.91/314.90 c #Conflicts: 50000 | #Constraints: 12885
313.91/314.90 c #Conflicts: 51000 | #Constraints: 13885
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 52000 | #Constraints: 10288
313.91/314.90 c #Conflicts: 53000 | #Constraints: 11288
313.91/314.90 c #Conflicts: 54000 | #Constraints: 12288
313.91/314.90 c #Conflicts: 55000 | #Constraints: 13288
313.91/314.90 c #Conflicts: 56000 | #Constraints: 14288
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 57000 | #Constraints: 10485
313.91/314.90 c #Conflicts: 58000 | #Constraints: 11485
313.91/314.90 c #Conflicts: 59000 | #Constraints: 12485
313.91/314.90 c #Conflicts: 60000 | #Constraints: 13485
313.91/314.90 c #Conflicts: 61000 | #Constraints: 14485
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 62000 | #Constraints: 10485
313.91/314.90 c #Conflicts: 63000 | #Constraints: 11485
313.91/314.90 c #Conflicts: 64000 | #Constraints: 12485
313.91/314.90 c #Conflicts: 65000 | #Constraints: 13485
313.91/314.90 c #Conflicts: 66000 | #Constraints: 14485
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 67000 | #Constraints: 10289
313.91/314.90 c #Conflicts: 68000 | #Constraints: 11289
313.91/314.90 c #Conflicts: 69000 | #Constraints: 12289
313.91/314.90 c #Conflicts: 70000 | #Constraints: 13289
313.91/314.90 c #Conflicts: 71000 | #Constraints: 14289
313.91/314.90 c #Conflicts: 72000 | #Constraints: 15289
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 73000 | #Constraints: 10899
313.91/314.90 c #Conflicts: 74000 | #Constraints: 11899
313.91/314.90 c #Conflicts: 75000 | #Constraints: 12899
313.91/314.90 c #Conflicts: 76000 | #Constraints: 13899
313.91/314.90 c #Conflicts: 77000 | #Constraints: 14899
313.91/314.90 c #Conflicts: 78000 | #Constraints: 15899
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 79000 | #Constraints: 11300
313.91/314.90 c #Conflicts: 80000 | #Constraints: 12300
313.91/314.90 c #Conflicts: 81000 | #Constraints: 13300
313.91/314.90 c #Conflicts: 82000 | #Constraints: 14300
313.91/314.90 c #Conflicts: 83000 | #Constraints: 15300
313.91/314.90 c #Conflicts: 84000 | #Constraints: 16300
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 85000 | #Constraints: 11502
313.91/314.90 c #Conflicts: 86000 | #Constraints: 12502
313.91/314.90 c #Conflicts: 87000 | #Constraints: 13502
313.91/314.90 c #Conflicts: 88000 | #Constraints: 14502
313.91/314.90 c #Conflicts: 89000 | #Constraints: 15502
313.91/314.90 c #Conflicts: 90000 | #Constraints: 16502
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 91000 | #Constraints: 11505
313.91/314.90 c #Conflicts: 92000 | #Constraints: 12505
313.91/314.90 c #Conflicts: 93000 | #Constraints: 13505
313.91/314.90 c #Conflicts: 94000 | #Constraints: 14505
313.91/314.90 c #Conflicts: 95000 | #Constraints: 15505
313.91/314.90 c #Conflicts: 96000 | #Constraints: 16505
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 97000 | #Constraints: 11300
313.91/314.90 c #Conflicts: 98000 | #Constraints: 12300
313.91/314.90 c #Conflicts: 99000 | #Constraints: 13300
313.91/314.90 c #Conflicts: 100000 | #Constraints: 14300
313.91/314.90 c #Conflicts: 101000 | #Constraints: 15300
313.91/314.90 c #Conflicts: 102000 | #Constraints: 16300
313.91/314.90 c #Conflicts: 103000 | #Constraints: 17300
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 104000 | #Constraints: 11894
313.91/314.90 c #Conflicts: 105000 | #Constraints: 12894
313.91/314.90 c #Conflicts: 106000 | #Constraints: 13894
313.91/314.90 c #Conflicts: 107000 | #Constraints: 14894
313.91/314.90 c #Conflicts: 108000 | #Constraints: 15894
313.91/314.90 c #Conflicts: 109000 | #Constraints: 16894
313.91/314.90 c #Conflicts: 110000 | #Constraints: 17894
313.91/314.90 c INPROCESSING
313.91/314.90 c GARBAGE COLLECT
313.91/314.90 c #Conflicts: 111000 | #Constraints: 12291
313.91/314.90 c #Conflicts: 112000 | #Constraints: 13291
313.91/314.90 c #Conflicts: 113000 | #Constraints: 14291
313.91/314.90 c #Conflicts: 114000 | #Constraints: 15291
324.29/325.34 c #Conflicts: 115000 | #Constraints: 16291
324.29/325.34 c #Conflicts: 116000 | #Constraints: 17291
324.29/325.34 c #Conflicts: 117000 | #Constraints: 18291
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 118000 | #Constraints: 12500
324.29/325.34 c #Conflicts: 119000 | #Constraints: 13500
324.29/325.34 c #Conflicts: 120000 | #Constraints: 14500
324.29/325.34 c #Conflicts: 121000 | #Constraints: 15500
324.29/325.34 c #Conflicts: 122000 | #Constraints: 16500
324.29/325.34 c #Conflicts: 123000 | #Constraints: 17500
324.29/325.34 c #Conflicts: 124000 | #Constraints: 18500
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 125000 | #Constraints: 12501
324.29/325.34 c #Conflicts: 126000 | #Constraints: 13501
324.29/325.34 c #Conflicts: 127000 | #Constraints: 14501
324.29/325.34 c #Conflicts: 128000 | #Constraints: 15501
324.29/325.34 c #Conflicts: 129000 | #Constraints: 16501
324.29/325.34 c #Conflicts: 130000 | #Constraints: 17501
324.29/325.34 c #Conflicts: 131000 | #Constraints: 18501
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 132000 | #Constraints: 12301
324.29/325.34 c #Conflicts: 133000 | #Constraints: 13301
324.29/325.34 c #Conflicts: 134000 | #Constraints: 14301
324.29/325.34 c #Conflicts: 135000 | #Constraints: 15301
324.29/325.34 c #Conflicts: 136000 | #Constraints: 16301
324.29/325.34 c #Conflicts: 137000 | #Constraints: 17301
324.29/325.34 c #Conflicts: 138000 | #Constraints: 18301
324.29/325.34 c #Conflicts: 139000 | #Constraints: 19301
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 140000 | #Constraints: 12909
324.29/325.34 c #Conflicts: 141000 | #Constraints: 13909
324.29/325.34 c #Conflicts: 142000 | #Constraints: 14909
324.29/325.34 c #Conflicts: 143000 | #Constraints: 15909
324.29/325.34 c #Conflicts: 144000 | #Constraints: 16909
324.29/325.34 c #Conflicts: 145000 | #Constraints: 17909
324.29/325.34 c #Conflicts: 146000 | #Constraints: 18909
324.29/325.34 c #Conflicts: 147000 | #Constraints: 19909
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 148000 | #Constraints: 13322
324.29/325.34 c #Conflicts: 149000 | #Constraints: 14322
324.29/325.34 c #Conflicts: 150000 | #Constraints: 15322
324.29/325.34 c #Conflicts: 151000 | #Constraints: 16322
324.29/325.34 c #Conflicts: 152000 | #Constraints: 17322
324.29/325.34 c #Conflicts: 153000 | #Constraints: 18322
324.29/325.34 c #Conflicts: 154000 | #Constraints: 19322
324.29/325.34 c #Conflicts: 155000 | #Constraints: 20322
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 156000 | #Constraints: 13531
324.29/325.34 c #Conflicts: 157000 | #Constraints: 14531
324.29/325.34 c #Conflicts: 158000 | #Constraints: 15531
324.29/325.34 c #Conflicts: 159000 | #Constraints: 16531
324.29/325.34 c #Conflicts: 160000 | #Constraints: 17531
324.29/325.34 c #Conflicts: 161000 | #Constraints: 18531
324.29/325.34 c #Conflicts: 162000 | #Constraints: 19531
324.29/325.34 c #Conflicts: 163000 | #Constraints: 20531
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 164000 | #Constraints: 13528
324.29/325.34 c #Conflicts: 165000 | #Constraints: 14528
324.29/325.34 c #Conflicts: 166000 | #Constraints: 15528
324.29/325.34 c #Conflicts: 167000 | #Constraints: 16528
324.29/325.34 c #Conflicts: 168000 | #Constraints: 17528
324.29/325.34 c #Conflicts: 169000 | #Constraints: 18528
324.29/325.34 c #Conflicts: 170000 | #Constraints: 19528
324.29/325.34 c #Conflicts: 171000 | #Constraints: 20528
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 172000 | #Constraints: 13313
324.29/325.34 c #Conflicts: 173000 | #Constraints: 14313
324.29/325.34 c #Conflicts: 174000 | #Constraints: 15313
324.29/325.34 c #Conflicts: 175000 | #Constraints: 16313
324.29/325.34 c #Conflicts: 176000 | #Constraints: 17313
324.29/325.34 c #Conflicts: 177000 | #Constraints: 18313
324.29/325.34 c #Conflicts: 178000 | #Constraints: 19313
324.29/325.34 c #Conflicts: 179000 | #Constraints: 20313
324.29/325.34 c #Conflicts: 180000 | #Constraints: 21313
324.29/325.34 c INPROCESSING
324.29/325.34 c GARBAGE COLLECT
324.29/325.34 c #Conflicts: 181000 | #Constraints: 13923
324.29/325.34 c #Conflicts: 182000 | #Constraints: 14923
324.29/325.34 c #Conflicts: 183000 | #Constraints: 15923
324.29/325.34 c #Conflicts: 184000 | #Constraints: 16923
324.29/325.34 c #Conflicts: 185000 | #Constraints: 17923
324.29/325.34 c #Conflicts: 186000 | #Constraints: 18923
324.29/325.34 c #Conflicts: 187000 | #Constraints: 19923
329.88/330.94 c #Conflicts: 188000 | #Constraints: 20923
329.88/330.94 c #Conflicts: 189000 | #Constraints: 21923
329.88/330.94 c INPROCESSING
329.88/330.94 c GARBAGE COLLECT
329.88/330.94 c #Conflicts: 190000 | #Constraints: 14338
329.88/330.94 c #Conflicts: 191000 | #Constraints: 15338
329.88/330.94 c #Conflicts: 192000 | #Constraints: 16338
329.88/330.94 c #Conflicts: 193000 | #Constraints: 17338
329.88/330.94 c #Conflicts: 194000 | #Constraints: 18338
329.88/330.94 c #Conflicts: 195000 | #Constraints: 19338
329.88/330.94 c #Conflicts: 196000 | #Constraints: 20338
329.88/330.94 c #Conflicts: 197000 | #Constraints: 21338
329.88/330.94 c #Conflicts: 198000 | #Constraints: 22338
329.88/330.94 c INPROCESSING
329.88/330.94 c GARBAGE COLLECT
329.88/330.94 c #Conflicts: 199000 | #Constraints: 14536
329.88/330.94 c #Conflicts: 200000 | #Constraints: 15536
329.88/330.94 c #Conflicts: 201000 | #Constraints: 16536
329.88/330.94 c #Conflicts: 202000 | #Constraints: 17536
329.88/330.94 c #Conflicts: 203000 | #Constraints: 18536
329.88/330.94 c #Conflicts: 204000 | #Constraints: 19536
329.88/330.94 c #Conflicts: 205000 | #Constraints: 20536
329.88/330.94 c #Conflicts: 206000 | #Constraints: 21536
329.88/330.94 c #Conflicts: 207000 | #Constraints: 22536
329.88/330.94 c INPROCESSING
329.88/330.94 c GARBAGE COLLECT
329.88/330.94 c #Conflicts: 208000 | #Constraints: 14527
329.88/330.94 c #Conflicts: 209000 | #Constraints: 15527
329.88/330.94 c #Conflicts: 210000 | #Constraints: 16527
329.88/330.94 c #Conflicts: 211000 | #Constraints: 17527
329.88/330.94 c #Conflicts: 212000 | #Constraints: 18527
329.88/330.94 c #Conflicts: 213000 | #Constraints: 19527
329.88/330.94 c #Conflicts: 214000 | #Constraints: 20527
329.88/330.94 c #Conflicts: 215000 | #Constraints: 21527
329.88/330.94 c #Conflicts: 216000 | #Constraints: 22527
329.88/330.94 c INPROCESSING
329.88/330.94 c GARBAGE COLLECT
329.88/330.94 c #Conflicts: 217000 | #Constraints: 14331
329.88/330.94 c #Conflicts: 218000 | #Constraints: 15331
329.88/330.94 c #Conflicts: 219000 | #Constraints: 16331
329.88/330.94 c #Conflicts: 220000 | #Constraints: 17331
329.88/330.94 c bounds 25383 >= 4120 @ 329.116
329.88/330.94 c stratification level: 929
329.99/331.01 c bounds 25300 >= 4120 @ 329.187
329.99/331.01 c stratification level: 745
330.38/331.41 c bounds 25300 >= 4865 @ 329.189
330.38/331.41 c #Conflicts: 221000 | #Constraints: 18334
330.38/331.41 c #Conflicts: 222000 | #Constraints: 19334
330.38/331.41 c finalizing WCE round: reformulating cores
338.15/339.21 c #Conflicts: 223000 | #Constraints: 20337
338.15/339.21 c bounds 25214 >= 4865 @ 329.69
338.15/339.21 c #Conflicts: 224000 | #Constraints: 21337
338.15/339.21 c #Conflicts: 225000 | #Constraints: 22337
338.15/339.21 c #Conflicts: 226000 | #Constraints: 23337
338.15/339.21 c INPROCESSING
338.15/339.21 c GARBAGE COLLECT
338.15/339.21 c #Conflicts: 227000 | #Constraints: 14934
338.15/339.21 c #Conflicts: 228000 | #Constraints: 15934
338.15/339.21 c #Conflicts: 229000 | #Constraints: 16934
338.15/339.21 c #Conflicts: 230000 | #Constraints: 17934
338.15/339.21 c #Conflicts: 231000 | #Constraints: 18934
338.15/339.21 c #Conflicts: 232000 | #Constraints: 19934
338.15/339.21 c #Conflicts: 233000 | #Constraints: 20934
338.15/339.21 c #Conflicts: 234000 | #Constraints: 21934
338.15/339.21 c #Conflicts: 235000 | #Constraints: 22934
338.15/339.21 c #Conflicts: 236000 | #Constraints: 23934
338.15/339.21 c INPROCESSING
338.15/339.21 c GARBAGE COLLECT
338.15/339.21 c #Conflicts: 237000 | #Constraints: 15328
338.15/339.21 c #Conflicts: 238000 | #Constraints: 16328
338.15/339.21 c #Conflicts: 239000 | #Constraints: 17328
338.15/339.21 c #Conflicts: 240000 | #Constraints: 18328
338.15/339.21 c #Conflicts: 241000 | #Constraints: 19328
338.15/339.21 c #Conflicts: 242000 | #Constraints: 20328
338.15/339.21 c #Conflicts: 243000 | #Constraints: 21328
338.15/339.21 c #Conflicts: 244000 | #Constraints: 22328
338.15/339.21 c #Conflicts: 245000 | #Constraints: 23328
338.15/339.21 c #Conflicts: 246000 | #Constraints: 24328
338.15/339.21 c INPROCESSING
338.15/339.21 c GARBAGE COLLECT
338.15/339.21 c #Conflicts: 247000 | #Constraints: 15522
338.15/339.21 c #Conflicts: 248000 | #Constraints: 16522
338.15/339.21 c #Conflicts: 249000 | #Constraints: 17522
338.15/339.21 c #Conflicts: 250000 | #Constraints: 18522
338.15/339.21 c #Conflicts: 251000 | #Constraints: 19522
338.15/339.21 c #Conflicts: 252000 | #Constraints: 20522
338.15/339.21 c #Conflicts: 253000 | #Constraints: 21522
338.15/339.21 c #Conflicts: 254000 | #Constraints: 22522
338.15/339.21 c #Conflicts: 255000 | #Constraints: 23522
338.15/339.21 c #Conflicts: 256000 | #Constraints: 24522
338.15/339.21 c INPROCESSING
338.15/339.21 c GARBAGE COLLECT
338.15/339.21 c #Conflicts: 257000 | #Constraints: 15526
338.15/339.21 c #Conflicts: 258000 | #Constraints: 16526
338.15/339.21 c #Conflicts: 259000 | #Constraints: 17526
338.15/339.21 c #Conflicts: 260000 | #Constraints: 18526
338.15/339.21 c #Conflicts: 261000 | #Constraints: 19526
338.15/339.21 c #Conflicts: 262000 | #Constraints: 20526
338.15/339.21 c #Conflicts: 263000 | #Constraints: 21526
338.15/339.21 c #Conflicts: 264000 | #Constraints: 22526
338.15/339.21 c #Conflicts: 265000 | #Constraints: 23526
338.15/339.21 c #Conflicts: 266000 | #Constraints: 24526
338.15/339.21 c bounds 24981 >= 4865 @ 337.197
338.15/339.21 c stratification level: 665
350.94/352.09 c INPROCESSING
350.94/352.09 c GARBAGE COLLECT
350.94/352.09 c #Conflicts: 267000 | #Constraints: 15327
350.94/352.09 c #Conflicts: 268000 | #Constraints: 16327
350.94/352.09 c #Conflicts: 269000 | #Constraints: 17327
350.94/352.09 c #Conflicts: 270000 | #Constraints: 18327
350.94/352.09 c #Conflicts: 271000 | #Constraints: 19327
350.94/352.09 c #Conflicts: 272000 | #Constraints: 20327
350.94/352.09 c #Conflicts: 273000 | #Constraints: 21327
350.94/352.09 c #Conflicts: 274000 | #Constraints: 22327
350.94/352.09 c #Conflicts: 275000 | #Constraints: 23327
350.94/352.09 c #Conflicts: 276000 | #Constraints: 24327
350.94/352.09 c bounds 24981 >= 5530 @ 338.742
350.94/352.09 c #Conflicts: 277000 | #Constraints: 25328
350.94/352.09 c INPROCESSING
350.94/352.09 c GARBAGE COLLECT
350.94/352.09 c #Conflicts: 278000 | #Constraints: 15932
350.94/352.09 c #Conflicts: 279000 | #Constraints: 16932
350.94/352.09 c #Conflicts: 280000 | #Constraints: 17932
350.94/352.09 c #Conflicts: 281000 | #Constraints: 18932
350.94/352.09 c #Conflicts: 282000 | #Constraints: 19932
350.94/352.09 c #Conflicts: 283000 | #Constraints: 20932
350.94/352.09 c #Conflicts: 284000 | #Constraints: 21932
350.94/352.09 c #Conflicts: 285000 | #Constraints: 22932
350.94/352.09 c #Conflicts: 286000 | #Constraints: 23932
350.94/352.09 c #Conflicts: 287000 | #Constraints: 24932
350.94/352.09 c #Conflicts: 288000 | #Constraints: 25932
350.94/352.09 c INPROCESSING
350.94/352.09 c GARBAGE COLLECT
350.94/352.09 c #Conflicts: 289000 | #Constraints: 16335
350.94/352.09 c #Conflicts: 290000 | #Constraints: 17335
350.94/352.09 c #Conflicts: 291000 | #Constraints: 18335
350.94/352.09 c #Conflicts: 292000 | #Constraints: 19335
350.94/352.09 c #Conflicts: 293000 | #Constraints: 20335
350.94/352.09 c #Conflicts: 294000 | #Constraints: 21335
350.94/352.09 c #Conflicts: 295000 | #Constraints: 22335
350.94/352.09 c #Conflicts: 296000 | #Constraints: 23335
350.94/352.09 c #Conflicts: 297000 | #Constraints: 24335
350.94/352.09 c #Conflicts: 298000 | #Constraints: 25335
350.94/352.09 c #Conflicts: 299000 | #Constraints: 26335
350.94/352.09 c INPROCESSING
350.94/352.09 c GARBAGE COLLECT
350.94/352.09 c #Conflicts: 300000 | #Constraints: 16545
350.94/352.09 c #Conflicts: 301000 | #Constraints: 17545
350.94/352.09 c #Conflicts: 302000 | #Constraints: 18545
350.94/352.09 c #Conflicts: 303000 | #Constraints: 19545
350.94/352.09 c #Conflicts: 304000 | #Constraints: 20545
350.94/352.09 c #Conflicts: 305000 | #Constraints: 21545
350.94/352.09 c #Conflicts: 306000 | #Constraints: 22545
350.94/352.09 c #Conflicts: 307000 | #Constraints: 23545
350.94/352.09 c #Conflicts: 308000 | #Constraints: 24545
350.94/352.09 c #Conflicts: 309000 | #Constraints: 25545
350.94/352.09 c #Conflicts: 310000 | #Constraints: 26545
350.94/352.09 c INPROCESSING
350.94/352.09 c GARBAGE COLLECT
350.94/352.09 c #Conflicts: 311000 | #Constraints: 16547
350.94/352.09 c #Conflicts: 312000 | #Constraints: 17547
350.94/352.09 c #Conflicts: 313000 | #Constraints: 18547
350.94/352.09 c #Conflicts: 314000 | #Constraints: 19547
350.94/352.09 c #Conflicts: 315000 | #Constraints: 20547
350.94/352.09 c #Conflicts: 316000 | #Constraints: 21547
350.94/352.09 c #Conflicts: 317000 | #Constraints: 22547
350.94/352.09 c #Conflicts: 318000 | #Constraints: 23547
350.94/352.09 c #Conflicts: 319000 | #Constraints: 24547
350.94/352.09 c #Conflicts: 320000 | #Constraints: 25547
350.94/352.09 c #Conflicts: 321000 | #Constraints: 26547
350.94/352.09 c INPROCESSING
350.94/352.09 c GARBAGE COLLECT
350.94/352.09 c #Conflicts: 322000 | #Constraints: 16344
350.94/352.09 c #Conflicts: 323000 | #Constraints: 17344
350.94/352.09 c #Conflicts: 324000 | #Constraints: 18344
350.94/352.09 c #Conflicts: 325000 | #Constraints: 19344
350.94/352.09 c #Conflicts: 326000 | #Constraints: 20344
350.94/352.09 c #Conflicts: 327000 | #Constraints: 21344
350.94/352.09 c #Conflicts: 328000 | #Constraints: 22344
350.94/352.09 c #Conflicts: 329000 | #Constraints: 23344
350.94/352.09 c #Conflicts: 330000 | #Constraints: 24344
350.94/352.09 c #Conflicts: 331000 | #Constraints: 25344
350.94/352.09 c #Conflicts: 332000 | #Constraints: 26344
350.94/352.09 c #Conflicts: 333000 | #Constraints: 27344
350.94/352.09 c INPROCESSING
350.94/352.09 c GARBAGE COLLECT
350.94/352.09 c #Conflicts: 334000 | #Constraints: 16946
350.94/352.09 c #Conflicts: 335000 | #Constraints: 17946
350.94/352.09 c #Conflicts: 336000 | #Constraints: 18946
350.94/352.09 c #Conflicts: 337000 | #Constraints: 19946
350.94/352.09 c #Conflicts: 338000 | #Constraints: 20946
350.94/352.09 c #Conflicts: 339000 | #Constraints: 21946
350.94/352.09 c #Conflicts: 340000 | #Constraints: 22946
364.69/365.80 c #Conflicts: 341000 | #Constraints: 23946
364.69/365.80 c #Conflicts: 342000 | #Constraints: 24946
364.69/365.80 c #Conflicts: 343000 | #Constraints: 25946
364.69/365.80 c #Conflicts: 344000 | #Constraints: 26946
364.69/365.80 c #Conflicts: 345000 | #Constraints: 27946
364.69/365.80 c INPROCESSING
364.69/365.80 c GARBAGE COLLECT
364.69/365.80 c #Conflicts: 346000 | #Constraints: 17341
364.69/365.80 c #Conflicts: 347000 | #Constraints: 18341
364.69/365.80 c #Conflicts: 348000 | #Constraints: 19341
364.69/365.80 c #Conflicts: 349000 | #Constraints: 20341
364.69/365.80 c #Conflicts: 350000 | #Constraints: 21341
364.69/365.80 c #Conflicts: 351000 | #Constraints: 22341
364.69/365.80 c #Conflicts: 352000 | #Constraints: 23341
364.69/365.80 c #Conflicts: 353000 | #Constraints: 24341
364.69/365.80 c #Conflicts: 354000 | #Constraints: 25341
364.69/365.80 c #Conflicts: 355000 | #Constraints: 26341
364.69/365.80 c #Conflicts: 356000 | #Constraints: 27341
364.69/365.80 c #Conflicts: 357000 | #Constraints: 28341
364.69/365.80 c INPROCESSING
364.69/365.80 c GARBAGE COLLECT
364.69/365.80 c #Conflicts: 358000 | #Constraints: 17544
364.69/365.80 c #Conflicts: 359000 | #Constraints: 18544
364.69/365.80 c #Conflicts: 360000 | #Constraints: 19544
364.69/365.80 c #Conflicts: 361000 | #Constraints: 20544
364.69/365.80 c #Conflicts: 362000 | #Constraints: 21544
364.69/365.80 c #Conflicts: 363000 | #Constraints: 22544
364.69/365.80 c #Conflicts: 364000 | #Constraints: 23544
364.69/365.80 c #Conflicts: 365000 | #Constraints: 24544
364.69/365.80 c #Conflicts: 366000 | #Constraints: 25544
364.69/365.80 c #Conflicts: 367000 | #Constraints: 26544
364.69/365.80 c #Conflicts: 368000 | #Constraints: 27544
364.69/365.80 c #Conflicts: 369000 | #Constraints: 28544
364.69/365.80 c INPROCESSING
364.69/365.80 c GARBAGE COLLECT
364.69/365.80 c #Conflicts: 370000 | #Constraints: 17531
364.69/365.80 c #Conflicts: 371000 | #Constraints: 18531
364.69/365.80 c #Conflicts: 372000 | #Constraints: 19531
364.69/365.80 c #Conflicts: 373000 | #Constraints: 20531
364.69/365.80 c #Conflicts: 374000 | #Constraints: 21531
364.69/365.80 c #Conflicts: 375000 | #Constraints: 22531
364.69/365.80 c #Conflicts: 376000 | #Constraints: 23531
364.69/365.80 c #Conflicts: 377000 | #Constraints: 24531
364.69/365.80 c #Conflicts: 378000 | #Constraints: 25531
364.69/365.80 c #Conflicts: 379000 | #Constraints: 26531
364.69/365.80 c #Conflicts: 380000 | #Constraints: 27531
364.69/365.80 c #Conflicts: 381000 | #Constraints: 28531
364.69/365.80 c INPROCESSING
364.69/365.80 c GARBAGE COLLECT
364.69/365.80 c #Conflicts: 382000 | #Constraints: 17342
364.69/365.80 c #Conflicts: 383000 | #Constraints: 18342
364.69/365.80 c #Conflicts: 384000 | #Constraints: 19342
364.69/365.80 c #Conflicts: 385000 | #Constraints: 20342
364.69/365.80 c #Conflicts: 386000 | #Constraints: 21342
364.69/365.80 c #Conflicts: 387000 | #Constraints: 22342
364.69/365.80 c #Conflicts: 388000 | #Constraints: 23342
364.69/365.80 c #Conflicts: 389000 | #Constraints: 24342
364.69/365.80 c #Conflicts: 390000 | #Constraints: 25342
364.69/365.80 c #Conflicts: 391000 | #Constraints: 26342
364.69/365.80 c #Conflicts: 392000 | #Constraints: 27342
364.69/365.80 c #Conflicts: 393000 | #Constraints: 28342
364.69/365.80 c #Conflicts: 394000 | #Constraints: 29342
364.69/365.80 c INPROCESSING
364.69/365.80 c GARBAGE COLLECT
364.69/365.80 c #Conflicts: 395000 | #Constraints: 17947
364.69/365.80 c #Conflicts: 396000 | #Constraints: 18947
364.69/365.80 c #Conflicts: 397000 | #Constraints: 19947
364.69/365.80 c #Conflicts: 398000 | #Constraints: 20947
364.69/365.80 c #Conflicts: 399000 | #Constraints: 21947
364.69/365.80 c #Conflicts: 400000 | #Constraints: 22947
364.69/365.80 c #Conflicts: 401000 | #Constraints: 23947
364.69/365.80 c #Conflicts: 402000 | #Constraints: 24947
364.69/365.80 c #Conflicts: 403000 | #Constraints: 25947
364.69/365.80 c #Conflicts: 404000 | #Constraints: 26947
364.69/365.80 c #Conflicts: 405000 | #Constraints: 27947
364.69/365.80 c #Conflicts: 406000 | #Constraints: 28947
364.69/365.80 c #Conflicts: 407000 | #Constraints: 29947
364.69/365.80 c INPROCESSING
364.69/365.80 c GARBAGE COLLECT
364.69/365.80 c #Conflicts: 408000 | #Constraints: 18337
364.69/365.80 c #Conflicts: 409000 | #Constraints: 19337
364.69/365.80 c #Conflicts: 410000 | #Constraints: 20337
364.69/365.80 c #Conflicts: 411000 | #Constraints: 21337
364.69/365.80 c #Conflicts: 412000 | #Constraints: 22337
364.69/365.80 c #Conflicts: 413000 | #Constraints: 23337
364.69/365.80 c #Conflicts: 414000 | #Constraints: 24337
364.69/365.80 c #Conflicts: 415000 | #Constraints: 25337
381.55/382.71 c #Conflicts: 416000 | #Constraints: 26337
381.55/382.71 c #Conflicts: 417000 | #Constraints: 27337
381.55/382.71 c #Conflicts: 418000 | #Constraints: 28337
381.55/382.71 c #Conflicts: 419000 | #Constraints: 29337
381.55/382.71 c #Conflicts: 420000 | #Constraints: 30337
381.55/382.71 c INPROCESSING
381.55/382.71 c GARBAGE COLLECT
381.55/382.71 c #Conflicts: 421000 | #Constraints: 18542
381.55/382.71 c #Conflicts: 422000 | #Constraints: 19542
381.55/382.71 c #Conflicts: 423000 | #Constraints: 20542
381.55/382.71 c #Conflicts: 424000 | #Constraints: 21542
381.55/382.71 c #Conflicts: 425000 | #Constraints: 22542
381.55/382.71 c #Conflicts: 426000 | #Constraints: 23542
381.55/382.71 c #Conflicts: 427000 | #Constraints: 24542
381.55/382.71 c #Conflicts: 428000 | #Constraints: 25542
381.55/382.71 c #Conflicts: 429000 | #Constraints: 26542
381.55/382.71 c #Conflicts: 430000 | #Constraints: 27542
381.55/382.71 c #Conflicts: 431000 | #Constraints: 28542
381.55/382.71 c #Conflicts: 432000 | #Constraints: 29542
381.55/382.71 c #Conflicts: 433000 | #Constraints: 30542
381.55/382.71 c INPROCESSING
381.55/382.71 c GARBAGE COLLECT
381.55/382.71 c #Conflicts: 434000 | #Constraints: 18555
381.55/382.71 c #Conflicts: 435000 | #Constraints: 19555
381.55/382.71 c #Conflicts: 436000 | #Constraints: 20555
381.55/382.71 c #Conflicts: 437000 | #Constraints: 21555
381.55/382.71 c #Conflicts: 438000 | #Constraints: 22555
381.55/382.71 c #Conflicts: 439000 | #Constraints: 23555
381.55/382.71 c #Conflicts: 440000 | #Constraints: 24555
381.55/382.71 c #Conflicts: 441000 | #Constraints: 25555
381.55/382.71 c #Conflicts: 442000 | #Constraints: 26555
381.55/382.71 c #Conflicts: 443000 | #Constraints: 27555
381.55/382.71 c #Conflicts: 444000 | #Constraints: 28555
381.55/382.71 c #Conflicts: 445000 | #Constraints: 29555
381.55/382.71 c #Conflicts: 446000 | #Constraints: 30555
381.55/382.71 c INPROCESSING
381.55/382.71 c GARBAGE COLLECT
381.55/382.71 c #Conflicts: 447000 | #Constraints: 18363
381.55/382.71 c #Conflicts: 448000 | #Constraints: 19363
381.55/382.71 c #Conflicts: 449000 | #Constraints: 20363
381.55/382.71 c #Conflicts: 450000 | #Constraints: 21363
381.55/382.71 c #Conflicts: 451000 | #Constraints: 22363
381.55/382.71 c #Conflicts: 452000 | #Constraints: 23363
381.55/382.71 c #Conflicts: 453000 | #Constraints: 24363
381.55/382.71 c #Conflicts: 454000 | #Constraints: 25363
381.55/382.71 c #Conflicts: 455000 | #Constraints: 26363
381.55/382.71 c #Conflicts: 456000 | #Constraints: 27363
381.55/382.71 c #Conflicts: 457000 | #Constraints: 28363
381.55/382.71 c #Conflicts: 458000 | #Constraints: 29363
381.55/382.71 c #Conflicts: 459000 | #Constraints: 30363
381.55/382.71 c #Conflicts: 460000 | #Constraints: 31363
381.55/382.71 c INPROCESSING
381.55/382.71 c GARBAGE COLLECT
381.55/382.71 c #Conflicts: 461000 | #Constraints: 18957
381.55/382.71 c #Conflicts: 462000 | #Constraints: 19957
381.55/382.71 c #Conflicts: 463000 | #Constraints: 20957
381.55/382.71 c #Conflicts: 464000 | #Constraints: 21957
381.55/382.71 c #Conflicts: 465000 | #Constraints: 22957
381.55/382.71 c #Conflicts: 466000 | #Constraints: 23957
381.55/382.71 c #Conflicts: 467000 | #Constraints: 24957
381.55/382.71 c #Conflicts: 468000 | #Constraints: 25957
381.55/382.71 c #Conflicts: 469000 | #Constraints: 26957
381.55/382.71 c #Conflicts: 470000 | #Constraints: 27957
381.55/382.71 c #Conflicts: 471000 | #Constraints: 28957
381.55/382.71 c #Conflicts: 472000 | #Constraints: 29957
381.55/382.71 c #Conflicts: 473000 | #Constraints: 30957
381.55/382.71 c #Conflicts: 474000 | #Constraints: 31957
381.55/382.71 c INPROCESSING
381.55/382.71 c GARBAGE COLLECT
381.55/382.71 c #Conflicts: 475000 | #Constraints: 19348
381.55/382.71 c #Conflicts: 476000 | #Constraints: 20348
381.55/382.71 c #Conflicts: 477000 | #Constraints: 21348
381.55/382.71 c #Conflicts: 478000 | #Constraints: 22348
381.55/382.71 c #Conflicts: 479000 | #Constraints: 23348
381.55/382.71 c #Conflicts: 480000 | #Constraints: 24348
381.55/382.71 c #Conflicts: 481000 | #Constraints: 25348
381.55/382.71 c #Conflicts: 482000 | #Constraints: 26348
381.55/382.71 c #Conflicts: 483000 | #Constraints: 27348
381.55/382.71 c #Conflicts: 484000 | #Constraints: 28348
381.55/382.71 c #Conflicts: 485000 | #Constraints: 29348
381.55/382.71 c #Conflicts: 486000 | #Constraints: 30348
381.55/382.71 c #Conflicts: 487000 | #Constraints: 31348
381.55/382.71 c #Conflicts: 488000 | #Constraints: 32348
381.55/382.71 c INPROCESSING
381.55/382.71 c GARBAGE COLLECT
381.55/382.71 c #Conflicts: 489000 | #Constraints: 19559
381.55/382.71 c #Conflicts: 490000 | #Constraints: 20559
398.41/399.60 c #Conflicts: 491000 | #Constraints: 21559
398.41/399.60 c #Conflicts: 492000 | #Constraints: 22559
398.41/399.60 c #Conflicts: 493000 | #Constraints: 23559
398.41/399.60 c #Conflicts: 494000 | #Constraints: 24559
398.41/399.60 c #Conflicts: 495000 | #Constraints: 25559
398.41/399.60 c #Conflicts: 496000 | #Constraints: 26559
398.41/399.60 c #Conflicts: 497000 | #Constraints: 27559
398.41/399.60 c #Conflicts: 498000 | #Constraints: 28559
398.41/399.60 c #Conflicts: 499000 | #Constraints: 29559
398.41/399.60 c #Conflicts: 500000 | #Constraints: 30559
398.41/399.60 c #Conflicts: 501000 | #Constraints: 31559
398.41/399.60 c #Conflicts: 502000 | #Constraints: 32559
398.41/399.60 c INPROCESSING
398.41/399.60 c GARBAGE COLLECT
398.41/399.60 c #Conflicts: 503000 | #Constraints: 19568
398.41/399.60 c #Conflicts: 504000 | #Constraints: 20568
398.41/399.60 c #Conflicts: 505000 | #Constraints: 21568
398.41/399.60 c #Conflicts: 506000 | #Constraints: 22568
398.41/399.60 c #Conflicts: 507000 | #Constraints: 23568
398.41/399.60 c #Conflicts: 508000 | #Constraints: 24568
398.41/399.60 c #Conflicts: 509000 | #Constraints: 25568
398.41/399.60 c #Conflicts: 510000 | #Constraints: 26568
398.41/399.60 c #Conflicts: 511000 | #Constraints: 27568
398.41/399.60 c #Conflicts: 512000 | #Constraints: 28568
398.41/399.60 c #Conflicts: 513000 | #Constraints: 29568
398.41/399.60 c #Conflicts: 514000 | #Constraints: 30568
398.41/399.60 c #Conflicts: 515000 | #Constraints: 31568
398.41/399.60 c #Conflicts: 516000 | #Constraints: 32568
398.41/399.60 c INPROCESSING
398.41/399.60 c GARBAGE COLLECT
398.41/399.60 c #Conflicts: 517000 | #Constraints: 19362
398.41/399.60 c #Conflicts: 518000 | #Constraints: 20362
398.41/399.60 c #Conflicts: 519000 | #Constraints: 21362
398.41/399.60 c #Conflicts: 520000 | #Constraints: 22362
398.41/399.60 c #Conflicts: 521000 | #Constraints: 23362
398.41/399.60 c #Conflicts: 522000 | #Constraints: 24362
398.41/399.60 c #Conflicts: 523000 | #Constraints: 25362
398.41/399.60 c #Conflicts: 524000 | #Constraints: 26362
398.41/399.60 c #Conflicts: 525000 | #Constraints: 27362
398.41/399.60 c #Conflicts: 526000 | #Constraints: 28362
398.41/399.60 c #Conflicts: 527000 | #Constraints: 29362
398.41/399.60 c #Conflicts: 528000 | #Constraints: 30362
398.41/399.60 c #Conflicts: 529000 | #Constraints: 31362
398.41/399.60 c #Conflicts: 530000 | #Constraints: 32362
398.41/399.60 c #Conflicts: 531000 | #Constraints: 33362
398.41/399.60 c INPROCESSING
398.41/399.60 c GARBAGE COLLECT
398.41/399.60 c #Conflicts: 532000 | #Constraints: 19963
398.41/399.60 c #Conflicts: 533000 | #Constraints: 20963
398.41/399.60 c #Conflicts: 534000 | #Constraints: 21963
398.41/399.60 c #Conflicts: 535000 | #Constraints: 22963
398.41/399.60 c #Conflicts: 536000 | #Constraints: 23963
398.41/399.60 c #Conflicts: 537000 | #Constraints: 24963
398.41/399.60 c #Conflicts: 538000 | #Constraints: 25963
398.41/399.60 c #Conflicts: 539000 | #Constraints: 26963
398.41/399.60 c #Conflicts: 540000 | #Constraints: 27963
398.41/399.60 c #Conflicts: 541000 | #Constraints: 28963
398.41/399.60 c #Conflicts: 542000 | #Constraints: 29963
398.41/399.60 c #Conflicts: 543000 | #Constraints: 30963
398.41/399.60 c #Conflicts: 544000 | #Constraints: 31963
398.41/399.60 c #Conflicts: 545000 | #Constraints: 32963
398.41/399.60 c #Conflicts: 546000 | #Constraints: 33963
398.41/399.60 c INPROCESSING
398.41/399.60 c GARBAGE COLLECT
398.41/399.60 c #Conflicts: 547000 | #Constraints: 20358
398.41/399.60 c #Conflicts: 548000 | #Constraints: 21358
398.41/399.60 c #Conflicts: 549000 | #Constraints: 22358
398.41/399.60 c #Conflicts: 550000 | #Constraints: 23358
398.41/399.60 c #Conflicts: 551000 | #Constraints: 24358
398.41/399.60 c #Conflicts: 552000 | #Constraints: 25358
398.41/399.60 c #Conflicts: 553000 | #Constraints: 26358
398.41/399.60 c #Conflicts: 554000 | #Constraints: 27358
398.41/399.60 c #Conflicts: 555000 | #Constraints: 28358
398.41/399.60 c #Conflicts: 556000 | #Constraints: 29358
398.41/399.60 c #Conflicts: 557000 | #Constraints: 30358
398.41/399.60 c #Conflicts: 558000 | #Constraints: 31358
398.41/399.60 c #Conflicts: 559000 | #Constraints: 32358
398.41/399.60 c #Conflicts: 560000 | #Constraints: 33358
398.41/399.60 c #Conflicts: 561000 | #Constraints: 34358
398.41/399.60 c INPROCESSING
398.41/399.60 c GARBAGE COLLECT
398.41/399.60 c #Conflicts: 562000 | #Constraints: 20564
398.41/399.60 c #Conflicts: 563000 | #Constraints: 21564
398.41/399.60 c #Conflicts: 564000 | #Constraints: 22564
398.41/399.60 c #Conflicts: 565000 | #Constraints: 23564
398.41/399.60 c #Conflicts: 566000 | #Constraints: 24564
400.31/401.59 c #Conflicts: 567000 | #Constraints: 25564
400.31/401.59 c #Conflicts: 568000 | #Constraints: 26564
400.31/401.59 c #Conflicts: 569000 | #Constraints: 27564
400.31/401.59 c #Conflicts: 570000 | #Constraints: 28564
400.31/401.59 c #Conflicts: 571000 | #Constraints: 29564
400.31/401.59 c #Conflicts: 572000 | #Constraints: 30564
400.31/401.59 c #Conflicts: 573000 | #Constraints: 31564
400.31/401.59 c #Conflicts: 574000 | #Constraints: 32564
400.31/401.59 c #Conflicts: 575000 | #Constraints: 33564
400.31/401.59 c finalizing WCE round: reformulating cores
401.40/402.69 c #Conflicts: 576000 | #Constraints: 34567
401.40/402.69 c bounds 24902 >= 5530 @ 398.665
401.40/402.69 c INPROCESSING
401.40/402.69 c GARBAGE COLLECT
401.40/402.69 c #Conflicts: 577000 | #Constraints: 20551
401.40/402.69 c #Conflicts: 578000 | #Constraints: 21551
401.40/402.69 c #Conflicts: 579000 | #Constraints: 22551
401.40/402.69 c #Conflicts: 580000 | #Constraints: 23551
401.40/402.69 c bounds 24789 >= 5530 @ 399.543
401.40/402.69 c stratification level: 605
402.60/403.84 c #Conflicts: 581000 | #Constraints: 24552
402.60/403.84 c bounds 24789 >= 6135 @ 399.64
402.60/403.84 c #Conflicts: 582000 | #Constraints: 25553
402.60/403.84 c #Conflicts: 583000 | #Constraints: 26553
402.60/403.84 c #Conflicts: 584000 | #Constraints: 27553
402.60/403.84 c #Conflicts: 585000 | #Constraints: 28553
402.60/403.84 c finalizing WCE round: reformulating cores
758.02/760.34 c #Conflicts: 586000 | #Constraints: 29556
758.02/760.34 c bounds 24458 >= 6135 @ 400.767
758.02/760.34 c #Conflicts: 587000 | #Constraints: 30556
758.02/760.34 c #Conflicts: 588000 | #Constraints: 31556
758.02/760.34 c #Conflicts: 589000 | #Constraints: 32556
758.02/760.34 c #Conflicts: 590000 | #Constraints: 33556
758.02/760.34 c #Conflicts: 591000 | #Constraints: 34556
758.02/760.34 c INPROCESSING
758.02/760.34 c GARBAGE COLLECT
758.02/760.34 c #Conflicts: 592000 | #Constraints: 20389
758.02/760.34 c #Conflicts: 593000 | #Constraints: 21389
758.02/760.34 c #Conflicts: 594000 | #Constraints: 22389
758.02/760.34 c #Conflicts: 595000 | #Constraints: 23389
758.02/760.34 c #Conflicts: 596000 | #Constraints: 24389
758.02/760.34 c #Conflicts: 597000 | #Constraints: 25389
758.02/760.34 c bounds 24458 >= 6740 @ 409.765
758.02/760.34 c #Conflicts: 598000 | #Constraints: 26392
758.02/760.34 c #Conflicts: 599000 | #Constraints: 27392
758.02/760.34 c #Conflicts: 600000 | #Constraints: 28392
758.02/760.34 c #Conflicts: 601000 | #Constraints: 29392
758.02/760.34 c #Conflicts: 602000 | #Constraints: 30392
758.02/760.34 c #Conflicts: 603000 | #Constraints: 31392
758.02/760.35 c #Conflicts: 604000 | #Constraints: 32392
758.02/760.35 c #Conflicts: 605000 | #Constraints: 33392
758.02/760.35 c #Conflicts: 606000 | #Constraints: 34392
758.02/760.35 c #Conflicts: 607000 | #Constraints: 35392
758.02/760.35 c INPROCESSING
758.02/760.35 c GARBAGE COLLECT
758.02/760.35 c #Conflicts: 608000 | #Constraints: 20207
758.02/760.35 c #Conflicts: 609000 | #Constraints: 21207
758.02/760.35 c #Conflicts: 610000 | #Constraints: 22207
758.02/760.35 c #Conflicts: 611000 | #Constraints: 23207
758.02/760.35 c #Conflicts: 612000 | #Constraints: 24207
758.02/760.35 c #Conflicts: 613000 | #Constraints: 25207
758.02/760.35 c #Conflicts: 614000 | #Constraints: 26207
758.02/760.35 c #Conflicts: 615000 | #Constraints: 27207
758.02/760.35 c #Conflicts: 616000 | #Constraints: 28207
758.02/760.35 c #Conflicts: 617000 | #Constraints: 29207
758.02/760.35 c #Conflicts: 618000 | #Constraints: 30207
758.02/760.35 c #Conflicts: 619000 | #Constraints: 31207
758.02/760.35 c #Conflicts: 620000 | #Constraints: 32207
758.02/760.35 c #Conflicts: 621000 | #Constraints: 33207
758.02/760.35 c #Conflicts: 622000 | #Constraints: 34207
758.02/760.35 c #Conflicts: 623000 | #Constraints: 35207
758.02/760.35 c #Conflicts: 624000 | #Constraints: 36207
758.02/760.35 c #Conflicts: 625000 | #Constraints: 37207
758.02/760.35 c #Conflicts: 626000 | #Constraints: 38207
758.02/760.35 c #Conflicts: 627000 | #Constraints: 39207
758.02/760.35 c #Conflicts: 628000 | #Constraints: 40207
758.02/760.35 c #Conflicts: 629000 | #Constraints: 41207
758.02/760.35 c #Conflicts: 630000 | #Constraints: 42207
758.02/760.35 c #Conflicts: 631000 | #Constraints: 43207
758.02/760.35 c #Conflicts: 632000 | #Constraints: 44207
758.02/760.35 c #Conflicts: 633000 | #Constraints: 45207
758.02/760.35 c #Conflicts: 634000 | #Constraints: 46207
758.02/760.35 c #Conflicts: 635000 | #Constraints: 47207
758.02/760.35 c #Conflicts: 636000 | #Constraints: 48207
758.02/760.35 c #Conflicts: 637000 | #Constraints: 49207
758.02/760.35 c #Conflicts: 638000 | #Constraints: 50207
758.02/760.35 c #Conflicts: 639000 | #Constraints: 51207
758.02/760.35 c #Conflicts: 640000 | #Constraints: 52207
758.02/760.35 c #Conflicts: 641000 | #Constraints: 53207
758.02/760.35 c #Conflicts: 642000 | #Constraints: 54207
758.02/760.35 c #Conflicts: 643000 | #Constraints: 55207
758.02/760.35 c #Conflicts: 644000 | #Constraints: 56207
758.02/760.35 c #Conflicts: 645000 | #Constraints: 57207
758.02/760.35 c #Conflicts: 646000 | #Constraints: 58207
758.02/760.35 c #Conflicts: 647000 | #Constraints: 59207
758.02/760.35 c #Conflicts: 648000 | #Constraints: 60207
758.02/760.35 c #Conflicts: 649000 | #Constraints: 61207
758.02/760.35 c #Conflicts: 650000 | #Constraints: 62207
758.02/760.35 c #Conflicts: 651000 | #Constraints: 63207
758.02/760.35 c bounds 24458 >= 7345 @ 724.493
758.02/760.35 c #Conflicts: 652000 | #Constraints: 64210
758.02/760.35 c #Conflicts: 653000 | #Constraints: 65210
758.02/760.35 c #Conflicts: 654000 | #Constraints: 66210
758.02/760.35 c #Conflicts: 655000 | #Constraints: 67210
758.02/760.35 c #Conflicts: 656000 | #Constraints: 68210
758.02/760.35 c #Conflicts: 657000 | #Constraints: 69210
758.02/760.35 c #Conflicts: 658000 | #Constraints: 70210
758.02/760.35 c #Conflicts: 659000 | #Constraints: 71210
758.02/760.35 c #Conflicts: 660000 | #Constraints: 72210
758.02/760.35 c #Conflicts: 661000 | #Constraints: 73210
1264.52/1268.40 c #Conflicts: 662000 | #Constraints: 74210
1264.52/1268.40 c #Conflicts: 663000 | #Constraints: 75210
1264.52/1268.40 c #Conflicts: 664000 | #Constraints: 76210
1264.52/1268.40 c #Conflicts: 665000 | #Constraints: 77210
1264.52/1268.40 c #Conflicts: 666000 | #Constraints: 78210
1264.52/1268.40 c #Conflicts: 667000 | #Constraints: 79210
1264.52/1268.40 c #Conflicts: 668000 | #Constraints: 80210
1264.52/1268.40 c #Conflicts: 669000 | #Constraints: 81210
1264.52/1268.40 c #Conflicts: 670000 | #Constraints: 82210
1264.52/1268.40 c #Conflicts: 671000 | #Constraints: 83210
1264.52/1268.40 c #Conflicts: 672000 | #Constraints: 84210
1264.52/1268.40 c #Conflicts: 673000 | #Constraints: 85210
1264.52/1268.40 c #Conflicts: 674000 | #Constraints: 86210
1264.52/1268.40 c #Conflicts: 675000 | #Constraints: 87210
1264.52/1268.40 c #Conflicts: 676000 | #Constraints: 88210
1264.52/1268.40 c #Conflicts: 677000 | #Constraints: 89210
1264.52/1268.40 c #Conflicts: 678000 | #Constraints: 90210
1264.52/1268.40 c #Conflicts: 679000 | #Constraints: 91210
1264.52/1268.40 c #Conflicts: 680000 | #Constraints: 92210
1264.52/1268.40 c #Conflicts: 681000 | #Constraints: 93210
1264.52/1268.40 c #Conflicts: 682000 | #Constraints: 94210
1264.52/1268.40 c #Conflicts: 683000 | #Constraints: 95210
1264.52/1268.40 c #Conflicts: 684000 | #Constraints: 96210
1264.52/1268.40 c #Conflicts: 685000 | #Constraints: 97210
1264.52/1268.40 c #Conflicts: 686000 | #Constraints: 98210
1264.52/1268.40 c INPROCESSING
1264.52/1268.40 c GARBAGE COLLECT
1264.52/1268.40 c #Conflicts: 687000 | #Constraints: 46402
1264.52/1268.40 c #Conflicts: 688000 | #Constraints: 47402
1264.52/1268.40 c #Conflicts: 689000 | #Constraints: 48402
1264.52/1268.40 c #Conflicts: 690000 | #Constraints: 49402
1264.52/1268.40 c #Conflicts: 691000 | #Constraints: 50402
1264.52/1268.40 c #Conflicts: 692000 | #Constraints: 51402
1264.52/1268.40 c #Conflicts: 693000 | #Constraints: 52402
1264.52/1268.40 c #Conflicts: 694000 | #Constraints: 53402
1264.52/1268.40 c #Conflicts: 695000 | #Constraints: 54402
1264.52/1268.40 c #Conflicts: 696000 | #Constraints: 55402
1264.52/1268.40 c #Conflicts: 697000 | #Constraints: 56402
1264.52/1268.40 c #Conflicts: 698000 | #Constraints: 57402
1264.52/1268.40 c #Conflicts: 699000 | #Constraints: 58402
1264.52/1268.40 c #Conflicts: 700000 | #Constraints: 59402
1264.52/1268.40 c #Conflicts: 701000 | #Constraints: 60402
1264.52/1268.40 c #Conflicts: 702000 | #Constraints: 61402
1264.52/1268.40 c INPROCESSING
1264.52/1268.40 c GARBAGE COLLECT
1264.52/1268.40 c #Conflicts: 703000 | #Constraints: 33669
1264.52/1268.40 c #Conflicts: 704000 | #Constraints: 34669
1264.52/1268.40 c #Conflicts: 705000 | #Constraints: 35669
1264.52/1268.40 c #Conflicts: 706000 | #Constraints: 36669
1264.52/1268.40 c #Conflicts: 707000 | #Constraints: 37669
1264.52/1268.40 c #Conflicts: 708000 | #Constraints: 38669
1264.52/1268.40 c #Conflicts: 709000 | #Constraints: 39669
1264.52/1268.40 c #Conflicts: 710000 | #Constraints: 40669
1264.52/1268.40 c #Conflicts: 711000 | #Constraints: 41669
1264.52/1268.40 c #Conflicts: 712000 | #Constraints: 42669
1264.52/1268.40 c #Conflicts: 713000 | #Constraints: 43669
1264.52/1268.40 c #Conflicts: 714000 | #Constraints: 44669
1264.52/1268.40 c #Conflicts: 715000 | #Constraints: 45669
1264.52/1268.40 c #Conflicts: 716000 | #Constraints: 46669
1264.52/1268.40 c #Conflicts: 717000 | #Constraints: 47669
1264.52/1268.40 c #Conflicts: 718000 | #Constraints: 48669
1264.52/1268.40 c #Conflicts: 719000 | #Constraints: 49669
1264.52/1268.40 c #Conflicts: 720000 | #Constraints: 50669
1264.52/1268.40 c INPROCESSING
1264.52/1268.40 c GARBAGE COLLECT
1264.52/1268.40 c #Conflicts: 721000 | #Constraints: 28749
1264.52/1268.40 c #Conflicts: 722000 | #Constraints: 29749
1264.52/1268.40 c #Conflicts: 723000 | #Constraints: 30749
1264.52/1268.40 c #Conflicts: 724000 | #Constraints: 31749
1264.52/1268.40 c #Conflicts: 725000 | #Constraints: 32749
1264.52/1268.40 c #Conflicts: 726000 | #Constraints: 33749
1264.52/1268.40 c #Conflicts: 727000 | #Constraints: 34749
1264.52/1268.40 c #Conflicts: 728000 | #Constraints: 35749
1264.52/1268.40 c #Conflicts: 729000 | #Constraints: 36749
1264.52/1268.40 c #Conflicts: 730000 | #Constraints: 37749
1264.52/1268.40 c #Conflicts: 731000 | #Constraints: 38749
1264.52/1268.40 c #Conflicts: 732000 | #Constraints: 39749
1264.52/1268.40 c #Conflicts: 733000 | #Constraints: 40749
1264.52/1268.40 c #Conflicts: 734000 | #Constraints: 41749
1264.52/1268.40 c #Conflicts: 735000 | #Constraints: 42749
1264.52/1268.40 c #Conflicts: 736000 | #Constraints: 43749
1264.52/1268.40 c #Conflicts: 737000 | #Constraints: 44749
1264.52/1268.40 c #Conflicts: 738000 | #Constraints: 45749
2102.47/2108.83 c #Conflicts: 739000 | #Constraints: 46749
2102.47/2108.83 c #Conflicts: 740000 | #Constraints: 47749
2102.47/2108.83 c #Conflicts: 741000 | #Constraints: 48749
2102.47/2108.83 c #Conflicts: 742000 | #Constraints: 49749
2102.47/2108.83 c #Conflicts: 743000 | #Constraints: 50749
2102.47/2108.83 c #Conflicts: 744000 | #Constraints: 51749
2102.47/2108.83 c #Conflicts: 745000 | #Constraints: 52749
2102.47/2108.83 c #Conflicts: 746000 | #Constraints: 53749
2102.47/2108.83 c #Conflicts: 747000 | #Constraints: 54749
2102.47/2108.83 c #Conflicts: 748000 | #Constraints: 55749
2102.47/2108.83 c #Conflicts: 749000 | #Constraints: 56749
2102.47/2108.83 c #Conflicts: 750000 | #Constraints: 57749
2102.47/2108.83 c #Conflicts: 751000 | #Constraints: 58749
2102.47/2108.83 c #Conflicts: 752000 | #Constraints: 59749
2102.47/2108.83 c #Conflicts: 753000 | #Constraints: 60749
2102.47/2108.83 c #Conflicts: 754000 | #Constraints: 61749
2102.47/2108.83 c #Conflicts: 755000 | #Constraints: 62749
2102.47/2108.83 c #Conflicts: 756000 | #Constraints: 63749
2102.47/2108.83 c #Conflicts: 757000 | #Constraints: 64749
2102.47/2108.83 c #Conflicts: 758000 | #Constraints: 65749
2102.47/2108.83 c #Conflicts: 759000 | #Constraints: 66749
2102.47/2108.83 c #Conflicts: 760000 | #Constraints: 67749
2102.47/2108.83 c #Conflicts: 761000 | #Constraints: 68749
2102.47/2108.83 c #Conflicts: 762000 | #Constraints: 69749
2102.47/2108.83 c #Conflicts: 763000 | #Constraints: 70749
2102.47/2108.83 c #Conflicts: 764000 | #Constraints: 71749
2102.47/2108.83 c #Conflicts: 765000 | #Constraints: 72749
2102.47/2108.83 c #Conflicts: 766000 | #Constraints: 73749
2102.47/2108.83 c #Conflicts: 767000 | #Constraints: 74749
2102.47/2108.83 c #Conflicts: 768000 | #Constraints: 75749
2102.47/2108.83 c #Conflicts: 769000 | #Constraints: 76749
2102.47/2108.83 c #Conflicts: 770000 | #Constraints: 77749
2102.47/2108.83 c #Conflicts: 771000 | #Constraints: 78749
2102.47/2108.83 c #Conflicts: 772000 | #Constraints: 79749
2102.47/2108.83 c #Conflicts: 773000 | #Constraints: 80749
2102.47/2108.83 c bounds 24458 >= 7950 @ 1885.49
2102.47/2108.83 c #Conflicts: 774000 | #Constraints: 81752
2102.47/2108.83 c #Conflicts: 775000 | #Constraints: 82752
2102.47/2108.83 c #Conflicts: 776000 | #Constraints: 83752
2102.47/2108.83 c #Conflicts: 777000 | #Constraints: 84752
2102.47/2108.83 c #Conflicts: 778000 | #Constraints: 85752
2102.47/2108.83 c #Conflicts: 779000 | #Constraints: 86752
2102.47/2108.83 c #Conflicts: 780000 | #Constraints: 87752
2102.47/2108.83 c #Conflicts: 781000 | #Constraints: 88752
2102.47/2108.83 c #Conflicts: 782000 | #Constraints: 89752
2102.47/2108.83 c #Conflicts: 783000 | #Constraints: 90752
2102.47/2108.83 c #Conflicts: 784000 | #Constraints: 91752
2102.47/2108.83 c #Conflicts: 785000 | #Constraints: 92752
2102.47/2108.83 c #Conflicts: 786000 | #Constraints: 93752
2102.47/2108.83 c #Conflicts: 787000 | #Constraints: 94752
2102.47/2108.83 c #Conflicts: 788000 | #Constraints: 95752
2102.47/2108.83 c #Conflicts: 789000 | #Constraints: 96752
2102.47/2108.83 c #Conflicts: 790000 | #Constraints: 97752
2102.47/2108.83 c #Conflicts: 791000 | #Constraints: 98752
2102.47/2108.83 c #Conflicts: 792000 | #Constraints: 99752
2102.47/2108.83 c #Conflicts: 793000 | #Constraints: 100752
2102.47/2108.83 c #Conflicts: 794000 | #Constraints: 101752
2102.47/2108.83 c #Conflicts: 795000 | #Constraints: 102752
2102.47/2108.83 c #Conflicts: 796000 | #Constraints: 103752
2102.47/2108.83 c #Conflicts: 797000 | #Constraints: 104752
2102.47/2108.83 c #Conflicts: 798000 | #Constraints: 105752
2102.47/2108.83 c #Conflicts: 799000 | #Constraints: 106752
2102.47/2108.83 c #Conflicts: 800000 | #Constraints: 107752
2102.47/2108.83 c #Conflicts: 801000 | #Constraints: 108752
2102.47/2108.83 c #Conflicts: 802000 | #Constraints: 109752
2102.47/2108.83 c #Conflicts: 803000 | #Constraints: 110752
2102.47/2108.83 c INPROCESSING
2102.47/2108.83 c GARBAGE COLLECT
2102.47/2108.83 c #Conflicts: 804000 | #Constraints: 53437
2102.47/2108.83 c #Conflicts: 805000 | #Constraints: 54437
2102.47/2108.83 c #Conflicts: 806000 | #Constraints: 55437
2102.47/2108.83 c #Conflicts: 807000 | #Constraints: 56437
2102.47/2108.83 c #Conflicts: 808000 | #Constraints: 57437
2102.47/2108.83 c #Conflicts: 809000 | #Constraints: 58437
2102.47/2108.83 c #Conflicts: 810000 | #Constraints: 59437
2102.47/2108.83 c #Conflicts: 811000 | #Constraints: 60437
2102.47/2108.83 c #Conflicts: 812000 | #Constraints: 61437
2102.47/2108.83 c #Conflicts: 813000 | #Constraints: 62437
2102.47/2108.83 c #Conflicts: 814000 | #Constraints: 63437
2102.47/2108.83 c #Conflicts: 815000 | #Constraints: 64437
2659.25/2666.97 c #Conflicts: 816000 | #Constraints: 65437
2659.25/2666.97 c #Conflicts: 817000 | #Constraints: 66437
2659.25/2666.97 c #Conflicts: 818000 | #Constraints: 67437
2659.25/2666.97 c #Conflicts: 819000 | #Constraints: 68437
2659.25/2666.97 c #Conflicts: 820000 | #Constraints: 69437
2659.25/2666.97 c #Conflicts: 821000 | #Constraints: 70437
2659.25/2666.97 c INPROCESSING
2659.25/2666.97 c GARBAGE COLLECT
2659.25/2666.97 c #Conflicts: 822000 | #Constraints: 38418
2659.25/2666.97 c #Conflicts: 823000 | #Constraints: 39418
2659.25/2666.97 c #Conflicts: 824000 | #Constraints: 40418
2659.25/2666.97 c #Conflicts: 825000 | #Constraints: 41418
2659.25/2666.97 c #Conflicts: 826000 | #Constraints: 42418
2659.25/2666.97 c #Conflicts: 827000 | #Constraints: 43418
2659.25/2666.97 c #Conflicts: 828000 | #Constraints: 44418
2659.25/2666.97 c #Conflicts: 829000 | #Constraints: 45418
2659.25/2666.97 c #Conflicts: 830000 | #Constraints: 46418
2659.25/2666.97 c #Conflicts: 831000 | #Constraints: 47418
2659.25/2666.97 c #Conflicts: 832000 | #Constraints: 48418
2659.25/2666.97 c #Conflicts: 833000 | #Constraints: 49418
2659.25/2666.97 c #Conflicts: 834000 | #Constraints: 50418
2659.25/2666.97 c #Conflicts: 835000 | #Constraints: 51418
2659.25/2666.97 c #Conflicts: 836000 | #Constraints: 52418
2659.25/2666.97 c #Conflicts: 837000 | #Constraints: 53418
2659.25/2666.97 c #Conflicts: 838000 | #Constraints: 54418
2659.25/2666.97 c #Conflicts: 839000 | #Constraints: 55418
2659.25/2666.97 c #Conflicts: 840000 | #Constraints: 56418
2659.25/2666.97 c INPROCESSING
2659.25/2666.97 c GARBAGE COLLECT
2659.25/2666.97 c #Conflicts: 841000 | #Constraints: 31629
2659.25/2666.97 c #Conflicts: 842000 | #Constraints: 32629
2659.25/2666.97 c #Conflicts: 843000 | #Constraints: 33629
2659.25/2666.97 c #Conflicts: 844000 | #Constraints: 34629
2659.25/2666.97 c #Conflicts: 845000 | #Constraints: 35629
2659.25/2666.97 c #Conflicts: 846000 | #Constraints: 36629
2659.25/2666.97 c #Conflicts: 847000 | #Constraints: 37629
2659.25/2666.97 c #Conflicts: 848000 | #Constraints: 38629
2659.25/2666.97 c #Conflicts: 849000 | #Constraints: 39629
2659.25/2666.97 c #Conflicts: 850000 | #Constraints: 40629
2659.25/2666.97 c #Conflicts: 851000 | #Constraints: 41629
2659.25/2666.97 c #Conflicts: 852000 | #Constraints: 42629
2659.25/2666.97 c #Conflicts: 853000 | #Constraints: 43629
2659.25/2666.97 c #Conflicts: 854000 | #Constraints: 44629
2659.25/2666.97 c #Conflicts: 855000 | #Constraints: 45629
2659.25/2666.97 c #Conflicts: 856000 | #Constraints: 46629
2659.25/2666.97 c #Conflicts: 857000 | #Constraints: 47629
2659.25/2666.97 c #Conflicts: 858000 | #Constraints: 48629
2659.25/2666.97 c #Conflicts: 859000 | #Constraints: 49629
2659.25/2666.97 c #Conflicts: 860000 | #Constraints: 50629
2659.25/2666.97 c #Conflicts: 861000 | #Constraints: 51629
2659.25/2666.97 c #Conflicts: 862000 | #Constraints: 52629
2659.25/2666.97 c #Conflicts: 863000 | #Constraints: 53629
2659.25/2666.97 c #Conflicts: 864000 | #Constraints: 54629
2659.25/2666.97 c #Conflicts: 865000 | #Constraints: 55629
2659.25/2666.97 c #Conflicts: 866000 | #Constraints: 56629
2659.25/2666.97 c #Conflicts: 867000 | #Constraints: 57629
2659.25/2666.97 c #Conflicts: 868000 | #Constraints: 58629
2659.25/2666.97 c #Conflicts: 869000 | #Constraints: 59629
2659.25/2666.97 c #Conflicts: 870000 | #Constraints: 60629
2659.25/2666.97 c #Conflicts: 871000 | #Constraints: 61629
2659.25/2666.97 c #Conflicts: 872000 | #Constraints: 62629
2659.25/2666.97 c #Conflicts: 873000 | #Constraints: 63629
2659.25/2666.97 c #Conflicts: 874000 | #Constraints: 64629
2659.25/2666.97 c #Conflicts: 875000 | #Constraints: 65629
2659.25/2666.97 c #Conflicts: 876000 | #Constraints: 66629
2659.25/2666.97 c #Conflicts: 877000 | #Constraints: 67629
2659.25/2666.97 c #Conflicts: 878000 | #Constraints: 68629
2659.25/2666.97 c #Conflicts: 879000 | #Constraints: 69629
2659.25/2666.97 c #Conflicts: 880000 | #Constraints: 70629
2659.25/2666.97 c #Conflicts: 881000 | #Constraints: 71629
2659.25/2666.97 c #Conflicts: 882000 | #Constraints: 72629
2659.25/2666.97 c #Conflicts: 883000 | #Constraints: 73629
2659.25/2666.97 c #Conflicts: 884000 | #Constraints: 74629
2659.25/2666.97 c #Conflicts: 885000 | #Constraints: 75629
2659.25/2666.97 c #Conflicts: 886000 | #Constraints: 76629
2659.25/2666.97 c #Conflicts: 887000 | #Constraints: 77629
2659.25/2666.97 c #Conflicts: 888000 | #Constraints: 78629
2659.25/2666.97 c #Conflicts: 889000 | #Constraints: 79629
2659.25/2666.97 c #Conflicts: 890000 | #Constraints: 80629
2659.25/2666.97 c #Conflicts: 891000 | #Constraints: 81629
2659.25/2666.97 c #Conflicts: 892000 | #Constraints: 82629
2659.25/2666.97 c #Conflicts: 893000 | #Constraints: 83629
3600.08/3610.11 c #Conflicts: 894000 | #Constraints: 84629
3600.08/3610.11 c #Conflicts: 895000 | #Constraints: 85629
3600.08/3610.11 c #Conflicts: 896000 | #Constraints: 86629
3600.08/3610.11 c #Conflicts: 897000 | #Constraints: 87629
3600.08/3610.11 c #Conflicts: 898000 | #Constraints: 88629
3600.08/3610.11 c #Conflicts: 899000 | #Constraints: 89629
3600.08/3610.11 c #Conflicts: 900000 | #Constraints: 90629
3600.08/3610.11 c #Conflicts: 901000 | #Constraints: 91629
3600.08/3610.11 c #Conflicts: 902000 | #Constraints: 92629
3600.08/3610.11 c #Conflicts: 903000 | #Constraints: 93629
3600.08/3610.11 c #Conflicts: 904000 | #Constraints: 94629
3600.08/3610.11 c #Conflicts: 905000 | #Constraints: 95629
3600.08/3610.11 c #Conflicts: 906000 | #Constraints: 96629
3600.08/3610.11 c #Conflicts: 907000 | #Constraints: 97629
3600.08/3610.11 c #Conflicts: 908000 | #Constraints: 98629
3600.08/3610.11 c #Conflicts: 909000 | #Constraints: 99629
3600.08/3610.11 c #Conflicts: 910000 | #Constraints: 100629
3600.08/3610.11 c #Conflicts: 911000 | #Constraints: 101629
3600.08/3610.11 c #Conflicts: 912000 | #Constraints: 102629
3600.08/3610.11 c #Conflicts: 913000 | #Constraints: 103629
3600.08/3610.11 c #Conflicts: 914000 | #Constraints: 104629
3600.08/3610.11 c #Conflicts: 915000 | #Constraints: 105629
3600.08/3610.11 c #Conflicts: 916000 | #Constraints: 106629
3600.08/3610.11 c #Conflicts: 917000 | #Constraints: 107629
3600.08/3610.11 c #Conflicts: 918000 | #Constraints: 108629
3600.08/3610.11 c #Conflicts: 919000 | #Constraints: 109629
3600.08/3610.11 c #Conflicts: 920000 | #Constraints: 110629
3600.08/3610.11 c #Conflicts: 921000 | #Constraints: 111629
3600.08/3610.11 c #Conflicts: 922000 | #Constraints: 112629
3600.08/3610.11 c #Conflicts: 923000 | #Constraints: 113629
3600.08/3610.11 c #Conflicts: 924000 | #Constraints: 114629
3600.08/3610.11 c #Conflicts: 925000 | #Constraints: 115629
3600.08/3610.11 c #Conflicts: 926000 | #Constraints: 116629
3600.08/3610.11 c #Conflicts: 927000 | #Constraints: 117629
3600.08/3610.11 c INPROCESSING
3600.08/3610.11 c GARBAGE COLLECT
3600.08/3610.11 c #Conflicts: 928000 | #Constraints: 62115
3600.08/3610.11 c #Conflicts: 929000 | #Constraints: 63115
3600.08/3610.11 c #Conflicts: 930000 | #Constraints: 64115
3600.08/3610.11 c #Conflicts: 931000 | #Constraints: 65115
3600.08/3610.11 c #Conflicts: 932000 | #Constraints: 66115
3600.08/3610.11 c #Conflicts: 933000 | #Constraints: 67115
3600.08/3610.11 c #Conflicts: 934000 | #Constraints: 68115
3600.08/3610.11 c #Conflicts: 935000 | #Constraints: 69115
3600.08/3610.11 c #Conflicts: 936000 | #Constraints: 70115
3600.08/3610.11 c #Conflicts: 937000 | #Constraints: 71115
3600.08/3610.11 c Program interrupted by user.
3600.08/3610.11 c cpu time 3592.76 s
3600.08/3610.11 c deterministic time 325933632935 3.26e+11
3600.08/3610.11 c optimization time 145.134 s
3600.08/3610.11 c total solve time 3148.64 s
3600.08/3610.11 c core-guided solve time 3148.64 s
3600.08/3610.11 c propagation time 3035.12 s
3600.08/3610.11 c conflict analysis time 246.342 s
3600.08/3610.11 c propagations 77015195
3600.08/3610.11 c resolve steps 15612938
3600.08/3610.11 c decisions 3503486
3600.08/3610.11 c conflicts 937502
3600.08/3610.11 c restarts 2043
3600.08/3610.11 c inprocessing phases 76
3600.08/3610.11 c input clauses 2682
3600.08/3610.11 c input cardinalities 268
3600.08/3610.11 c input general constraints 1719
3600.08/3610.11 c input average constraint length 5.64
3600.08/3610.11 c input average constraint degree 278.58
3600.08/3610.11 c learned clauses 567632
3600.08/3610.11 c learned cardinalities 9365
3600.08/3610.11 c learned general constraints 360505
3600.08/3610.11 c learned average constraint length 100.10
3600.08/3610.11 c learned average constraint degree 1129111.73
3600.08/3610.11 c watched constraints 305515
3600.08/3610.11 c counting constraints 56709
3600.08/3610.11 c gcd simplifications 51818
3600.08/3610.11 c detected cardinalities 28
3600.08/3610.11 c weakened non-implied lits 21543582
3600.08/3610.11 c weakened non-implying lits 161330
3600.08/3610.11 c original variables 540
3600.08/3610.11 c clausal propagations 28585626
3600.08/3610.11 c cardinality propagations 28133892
3600.08/3610.11 c watched propagations 7091539
3600.08/3610.11 c counting propagations 12504950
3600.08/3610.11 c watch lookups 48477019532
3600.08/3610.11 c watch backjump lookups 42180187668
3600.08/3610.11 c watch checks 221203973917
3600.08/3610.11 c propagation checks 13530881847
3600.08/3610.11 c constraint additions 379595209
3600.08/3610.11 c trail pops 81456080
3600.08/3610.11 c formula constraints 4626
3600.08/3610.11 c learned constraints 937502
3600.08/3610.11 c bound constraints 23
3600.08/3610.11 c core-guided constraints 20
3600.08/3610.11 c encountered formula constraints 8959811
3600.08/3610.11 c encountered learned constraints 7556528
3600.08/3610.11 c encountered bound constraints 10786
3600.08/3610.11 c encountered core-guided constraints 23315
3600.08/3610.11 c LP total time 0 s
3600.08/3610.11 c LP solve time 0 s
3600.08/3610.11 c LP constraints added 0
3600.08/3610.11 c LP constraints removed 0
3600.08/3610.11 c LP pivots internal 0
3600.08/3610.11 c LP pivots root 0
3600.08/3610.11 c LP calls 0
3600.08/3610.11 c LP optimalities 0
3600.08/3610.11 c LP no pivot count 0
3600.08/3610.11 c LP infeasibilities 0
3600.08/3610.11 c LP valid Farkas constraints 0
3600.08/3610.11 c LP learned Farkas constraints 0
3600.08/3610.11 c LP basis resets 0
3600.08/3610.11 c LP cycling count 0
3600.08/3610.11 c LP singular count 0
3600.08/3610.11 c LP no primal count 0
3600.08/3610.11 c LP no farkas count 0
3600.08/3610.11 c LP other issue count 0
3600.08/3610.11 c LP Gomory cuts 0
3600.08/3610.11 c LP learned cuts 0
3600.08/3610.11 c LP deleted cuts 0
3600.08/3610.11 c LP encountered Gomory constraints 0
3600.08/3610.11 c LP encountered Farkas constraints 0
3600.08/3610.11 c LP encountered learned Farkas constraints 0
3600.08/3610.11 c CG auxiliary variables introduced 10
3600.08/3610.11 c CG solutions found 11
3600.08/3610.11 c CG cores constructed 10
3600.08/3610.11 c CG core cardinality constraints returned 0
3600.08/3610.11 c CG unit cores 3
3600.08/3610.11 c CG single cores 7
3600.08/3610.11 c CG blocks removed during cardinality reduction 0
3600.08/3610.11 c CG first core best 0
3600.08/3610.11 c CG decision core best 0
3600.08/3610.11 c CG core reduction tie 0
3600.08/3610.11 c CG core degree average 1.00
3600.08/3610.11 c CG core slack average 12.71
3600.08/3610.11 c CG exhausted 0
3600.08/3610.11 c CG exhaust time 0.708627 s
3600.08/3610.11 c CG trimmed 0
3600.08/3610.11 c CG trim time 0.000263 s
3600.08/3610.11 c CG minimized 0
3600.08/3610.11 c CG minimize time 0 s
3600.08/3610.11 c CG am1 prop time 0.000329 s
3600.08/3610.11 c CG # am1s reformulated 0
3600.08/3610.11 c CG lower bound derived from am1s 0
3600.08/3610.11 c CG # clausal cores 7
3600.08/3610.11 c CG # cardinality cores 0
3600.08/3610.11 c CG # pb cores 0
3600.08/3610.11 c CG # pb reforms 6
3600.08/3610.11 c CG # cores discarded because of pb reform 0
3600.08/3610.11 d LOWERBOUND 7950
3600.08/3610.11 d NCORES 10
3600.08/3610.11 d NPBCORES 0
3600.08/3610.11 d NPBREFORM 6
3600.08/3610.11 d NTRIMMED 0
3600.08/3610.11 d NEXHAUSTED 0
3600.08/3610.11 d NAM1S 0
3600.08/3610.11 d AM1LB 0
3600.08/3610.11 c [Papilo Statistics]
3600.08/3610.11 c prepro time 0.00535893s
3600.08/3610.11 c # tsx applied 0
3600.08/3610.11 c # tsx conflicts 0
3600.08/3610.11 c # bound changes 0
3600.08/3610.11 c # side changes 0
3600.08/3610.11 c # coef changes 0
3600.08/3610.11 c # rounds 1
3600.08/3610.11 c # deted vars 0
3600.08/3610.11 c # deted constrs 0
3600.08/3610.11 c # consecutive rounds of only bound changes 0
3600.08/3610.11 c [STEP] postprocessing with Papilo
3600.08/3610.11 o 24458
3600.08/3610.11 s SATISFIABLE
3600.08/3610.11 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: 64059 MiB (61126 MiB free)
memory of node 1: 64510 MiB (60047 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454697-1721452070/watcher-4454697-1721452070 -o /tmp/evaluation-result-4454697-1721452070/solver-4454697-1721452070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032728 --watchdog 3760 mixed-bag HOME/instance-4454697-1721452070.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1037086, runsolver pid=1037083
[startup+0.100095 s]*
/proc/loadavg: 4.15 4.16 4.17 5/236 1037091
/proc/meminfo: memFree=124059892/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=102364 memory=35256 CPUtime=0.1 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 5988 0 0 0 9 1 0 0 20 0 1 0 197366223 104820736 8814 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 25591 8814 3884 3002 0 9340 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 102364 KiB
Current children cumulated memory: 35256 KiB
[startup+0.212959 s]*
/proc/loadavg: 4.15 4.16 4.17 5/239 1037097
/proc/meminfo: memFree=124044104/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=113348 memory=46104 CPUtime=0.21 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 8558 0 0 0 20 1 0 0 20 0 1 0 197366223 116068352 11526 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 28337 11526 4076 3002 0 12086 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 113348 KiB
Current children cumulated memory: 46104 KiB
[startup+0.312867 s]*
/proc/loadavg: 4.15 4.16 4.17 5/239 1037097
/proc/meminfo: memFree=124037588/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=113624 memory=46364 CPUtime=0.31 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 8615 0 0 0 30 1 0 0 20 0 1 0 197366223 116350976 11591 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 28406 11591 4076 3002 0 12155 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 113624 KiB
Current children cumulated memory: 46364 KiB
[startup+0.700323 s]
/proc/loadavg: 4.15 4.16 4.17 4/237 1037100
/proc/meminfo: memFree=124033616/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=113784 memory=46628 CPUtime=0.68 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 8651 0 0 0 67 1 0 0 20 0 1 0 197366223 116514816 11657 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 28446 11657 4076 3002 0 12195 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 46628 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.16 4.17 5/241 1037129
/proc/meminfo: memFree=124018968/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=118468 memory=51380 CPUtime=1.48 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 9845 0 0 0 147 1 0 0 20 0 1 0 197366223 121311232 12845 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 29617 12845 4076 3002 0 13366 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118468 KiB
Current children cumulated memory: 51380 KiB
[startup+3.11279 s]
/proc/loadavg: 4.13 4.16 4.17 5/241 1037175
/proc/meminfo: memFree=123593072/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=170684 memory=97024 CPUtime=3.09 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 22517 0 0 0 306 3 0 0 20 0 1 0 197366223 174780416 24256 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 42671 24256 4108 3002 0 26420 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 170684 KiB
Current children cumulated memory: 97024 KiB
[startup+6.3003 s]
/proc/loadavg: 4.13 4.16 4.17 5/241 1037175
/proc/meminfo: memFree=123429460/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=183268 memory=108640 CPUtime=6.27 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 25437 0 0 0 623 4 0 0 20 0 1 0 197366223 187666432 27160 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 45817 27160 4108 3002 0 29566 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 183268 KiB
Current children cumulated memory: 108640 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.15 4.17 5/241 1037177
/proc/meminfo: memFree=123379300/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=188596 memory=114184 CPUtime=12.65 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 26843 0 0 0 1261 4 0 0 20 0 1 0 197366223 193122304 28546 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 47149 28546 4108 3002 0 30898 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 188596 KiB
Current children cumulated memory: 114184 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 1037178
/proc/meminfo: memFree=123309236/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=247132 memory=164316 CPUtime=25.41 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 39359 0 0 0 2535 6 0 0 20 0 1 0 197366223 253063168 41079 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 61783 41079 4108 3002 0 45532 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 247132 KiB
Current children cumulated memory: 164316 KiB
[startup+51.1127 s]
/proc/loadavg: 4.13 4.15 4.17 5/241 1037183
/proc/meminfo: memFree=123236584/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=262424 memory=179616 CPUtime=50.95 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 43190 0 0 0 5085 10 0 0 20 0 1 0 197366223 268722176 44904 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 65606 44904 4108 3002 0 49355 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 262424 KiB
Current children cumulated memory: 179616 KiB
[startup+102.301 s]
/proc/loadavg: 4.12 4.14 4.16 5/241 1037238
/proc/meminfo: memFree=123361524/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=262992 memory=182320 CPUtime=101.89 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 43340 0 0 0 10176 13 0 0 20 0 1 0 197366223 269303808 45580 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 65748 45580 4108 3002 0 49497 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 262992 KiB
Current children cumulated memory: 182320 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/244 1037253
/proc/meminfo: memFree=123158404/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=277536 memory=205788 CPUtime=161.7 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 46484 0 0 0 16156 14 0 0 20 0 1 0 197366223 284196864 51447 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 69384 51447 4251 3002 0 53133 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 277536 KiB
Current children cumulated memory: 205788 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/244 1037263
/proc/meminfo: memFree=123049076/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=303280 memory=239200 CPUtime=221.54 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 51692 0 0 0 22140 14 0 0 20 0 1 0 197366223 310558720 59800 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 75820 59800 4251 3002 0 59569 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 303280 KiB
Current children cumulated memory: 239200 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/244 1037274
/proc/meminfo: memFree=122901620/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=326732 memory=253508 CPUtime=281.4 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 55457 0 0 0 28125 15 0 0 20 0 1 0 197366223 334573568 63377 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 81683 63377 4251 3002 0 65432 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 326732 KiB
Current children cumulated memory: 253508 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/244 1037284
/proc/meminfo: memFree=122981868/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=298332 memory=237716 CPUtime=341.25 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 55837 0 0 0 34021 104 0 0 20 0 1 0 197366223 305491968 59429 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 74583 59429 4378 3002 0 58332 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 298332 KiB
Current children cumulated memory: 237716 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/244 1037295
/proc/meminfo: memFree=122963964/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=302752 memory=240956 CPUtime=401.11 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 56191 0 0 0 39916 195 0 0 20 0 1 0 197366223 310018048 60239 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 75688 60239 4378 3002 0 59437 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 302752 KiB
Current children cumulated memory: 240956 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/241 1037305
/proc/meminfo: memFree=122926188/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=309932 memory=249464 CPUtime=460.95 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 56803 0 0 0 45852 243 0 0 20 0 1 0 197366223 317370368 62366 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 77483 62366 4378 3002 0 61232 0
################
# More data... #
################
Current children cumulated memory: 312500 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/241 1038748
/proc/meminfo: memFree=122103720/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=371396 memory=312500 CPUtime=2914.05 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 60537 0 0 0 290738 667 0 0 20 0 1 0 197366223 380309504 78125 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 92849 78125 4378 3002 0 76598 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 371396 KiB
Current children cumulated memory: 312500 KiB
[startup+2982.3 s]
/proc/loadavg: 5.40 4.51 4.29 5/241 1038758
/proc/meminfo: memFree=122101368/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=371396 memory=314548 CPUtime=2973.91 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 60632 0 0 0 296719 672 0 0 20 0 1 0 197366223 380309504 78637 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 92849 78637 4378 3002 0 76598 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 371396 KiB
Current children cumulated memory: 314548 KiB
[startup+3042.3 s]
/proc/loadavg: 4.90 4.55 4.32 5/243 1038938
/proc/meminfo: memFree=122099240/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=371396 memory=315684 CPUtime=3033.76 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 61067 0 0 0 302700 676 0 0 20 0 1 0 197366223 380309504 78921 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 92849 78921 4378 3002 0 76598 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 371396 KiB
Current children cumulated memory: 315684 KiB
[startup+3102.3 s]
/proc/loadavg: 4.44 4.48 4.31 5/243 1038949
/proc/meminfo: memFree=122089120/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=319848 CPUtime=3093.61 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 61615 0 0 0 308679 682 0 0 20 0 1 0 197366223 431599616 79962 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 79962 4378 3002 0 89120 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 319848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.42 4.30 5/247 1038965
/proc/meminfo: memFree=122088788/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=319848 CPUtime=3153.45 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 61675 0 0 0 314658 687 0 0 20 0 1 0 197366223 431599616 79962 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 79962 4378 3002 0 89120 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 319848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.37 4.28 5/247 1038986
/proc/meminfo: memFree=122074124/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=321896 CPUtime=3213.29 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 61738 0 0 0 320635 694 0 0 20 0 1 0 197366223 431599616 80474 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 80474 4378 3002 0 89120 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 321896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.32 4.27 5/247 1038998
/proc/meminfo: memFree=122061340/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=323944 CPUtime=3273.15 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 61802 0 0 0 326615 700 0 0 20 0 1 0 197366223 431599616 80986 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 80986 4378 3002 0 89120 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 323944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.27 4.26 5/245 1039008
/proc/meminfo: memFree=122058996/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=325992 CPUtime=3332.99 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 61867 0 0 0 332595 704 0 0 20 0 1 0 197366223 431599616 81498 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 81498 4378 3002 0 89120 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 325992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.25 4.25 5/245 1039020
/proc/meminfo: memFree=122056644/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=328040 CPUtime=3392.83 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 61934 0 0 0 338574 709 0 0 20 0 1 0 197366223 431599616 82010 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 82010 4378 3002 0 89120 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 328040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.22 4.24 5/245 1039030
/proc/meminfo: memFree=122054344/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=330088 CPUtime=3452.68 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 62004 0 0 0 344553 715 0 0 20 0 1 0 197366223 431599616 82522 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 82522 4378 3002 0 89120 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 330088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.22 4.24 5/241 1039041
/proc/meminfo: memFree=122051940/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=330088 CPUtime=3512.52 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 62067 0 0 0 350529 723 0 0 20 0 1 0 197366223 431599616 82522 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 82522 4378 3002 0 89120 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 330088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.21 4.23 5/241 1039051
/proc/meminfo: memFree=122047620/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=330088 CPUtime=3572.34 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 62220 0 0 0 356503 731 0 0 20 0 1 0 197366223 431599616 82522 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 82522 4378 3002 0 89120 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 330088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.19 4.22 4/236 1039064
/proc/meminfo: memFree=122522200/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=330088 CPUtime=3600.08 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 62221 0 0 0 359275 733 0 0 20 0 1 0 197366223 431599616 82522 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 82522 4378 3002 0 89120 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 330088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 1037086 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.76 s, system=7.3369 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.10 4.19 4.22 4/236 1039064
/proc/meminfo: memFree=122522200/131655788 swapFree=131071996/131071996
[pid=1037086] ppid=1037083 vsize=421484 memory=330088 CPUtime=3600.08 cores=4,6
/proc/1037086/stat : 1037086 (mixed-bag) R 1037083 1037086 1032717 0 -1 4194304 62221 0 0 0 359275 733 0 0 20 0 1 0 197366223 431599616 82522 134679101440 4194304 16488053 140728607448208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 49430528 140728607454229 140728607454306 140728607454306 140728607461323 0
/proc/1037086/statm: 105371 82522 4378 3002 0 89120 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 421484 KiB
Current children cumulated memory: 330088 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.1
CPU user time (s): 3592.76
CPU system time (s): 7.3369
CPU usage (%): 99.7225
Max. virtual memory (cumulated for all children) (KiB): 421484
Max. memory (cumulated for all children) (KiB): 330088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.76
system time used= 7.3369
maximum resident set size= 330624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62238
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= 82
involuntary context switches= 2067
# summary of solver processes directly reported to runsolver:
# pid: 1037086
# total CPU time (s): 3600.1
# total CPU user time (s): 3592.76
# total CPU system time (s): 7.3369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6368 second user time and 33.7797 second system time
The end
Begin job on nodeC010 at 2024-07-20 07:08:01
IDJOB=4454697
IDBENCH=147022
IDSOLVER=3083
FILE ID=nodeC010/4454697-1721452070
RUNJOBID= nodeC010-1721444855-1032728
SLURM_JOB_ID= 7545660
Free space on /tmp= 723732 MiB
SOLVER NAME= mixed-bag 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454697-1721452070/watcher-4454697-1721452070 -o /tmp/evaluation-result-4454697-1721452070/solver-4454697-1721452070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032728 --watchdog 3760 mixed-bag HOME/instance-4454697-1721452070.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=1606304112
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3549.701
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3592.910
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.776
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3386.944
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.173
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.173
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124088452 kB
MemAvailable: 129452236 kB
Buffers: 542356 kB
Cached: 5608280 kB
SwapCached: 0 kB
Active: 1084856 kB
Inactive: 5795900 kB
Active(anon): 1416 kB
Inactive(anon): 774632 kB
Active(file): 1083440 kB
Inactive(file): 5021268 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32688 kB
Writeback: 20 kB
AnonPages: 728992 kB
Mapped: 129952 kB
Shmem: 45896 kB
KReclaimable: 198212 kB
Slab: 314240 kB
SReclaimable: 198212 kB
SUnreclaim: 116028 kB
KernelStack: 3792 kB
PageTables: 11096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1141796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 739328 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC010 at 2024-07-20 08:08:11