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.21/300.07 c [STEP] preprocessing done, loading into solver
299.21/300.08 c [STEP] solving
299.21/300.08 c #variables 541 #constraints 4626
299.21/300.08 c SMALL=int, LARGE=long long
299.21/300.08 c bounds - >= 0 @ 299.189
299.21/300.08 c stratification level: 1090
299.21/300.10 c bounds - >= 1090 @ 299.199
299.21/300.10 c finalizing WCE round: reformulating cores
299.90/300.71 c bounds 26816 >= 1090 @ 299.228
299.90/300.71 c #Conflicts: 1000 | #Constraints: 5631
299.90/300.71 c #Conflicts: 2000 | #Constraints: 6631
299.90/300.71 c INPROCESSING
299.90/300.71 c GARBAGE COLLECT
299.90/300.71 c #Conflicts: 3000 | #Constraints: 6637
299.90/300.71 c #Conflicts: 4000 | #Constraints: 7637
299.90/300.71 c INPROCESSING
299.90/300.71 c GARBAGE COLLECT
299.90/300.71 c #Conflicts: 5000 | #Constraints: 7053
299.90/300.71 c #Conflicts: 6000 | #Constraints: 8053
299.90/300.71 c INPROCESSING
299.90/300.71 c GARBAGE COLLECT
299.90/300.71 c #Conflicts: 7000 | #Constraints: 7059
299.90/300.71 c bounds 26810 >= 1090 @ 299.799
299.90/300.71 c stratification level: 1020
300.10/300.95 c #Conflicts: 8000 | #Constraints: 8060
300.10/300.95 c #Conflicts: 9000 | #Constraints: 9060
300.10/300.95 c INPROCESSING
300.10/300.95 c GARBAGE COLLECT
300.10/300.95 c bounds 25923 >= 1090 @ 300.03
300.10/300.95 c stratification level: 1010
304.09/305.00 c bounds 25923 >= 2100 @ 300.03
304.09/305.00 c bounds 25923 >= 3110 @ 300.03
304.09/305.00 c bounds 25923 >= 4120 @ 300.033
304.09/305.00 c #Conflicts: 10000 | #Constraints: 7766
304.09/305.00 c #Conflicts: 11000 | #Constraints: 8766
304.09/305.00 c #Conflicts: 12000 | #Constraints: 9766
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 13000 | #Constraints: 8213
304.09/305.00 c #Conflicts: 14000 | #Constraints: 9213
304.09/305.00 c #Conflicts: 15000 | #Constraints: 10213
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 16000 | #Constraints: 8439
304.09/305.00 c #Conflicts: 17000 | #Constraints: 9439
304.09/305.00 c #Conflicts: 18000 | #Constraints: 10439
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 19000 | #Constraints: 8456
304.09/305.00 c #Conflicts: 20000 | #Constraints: 9456
304.09/305.00 c #Conflicts: 21000 | #Constraints: 10456
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 22000 | #Constraints: 8267
304.09/305.00 c #Conflicts: 23000 | #Constraints: 9267
304.09/305.00 c #Conflicts: 24000 | #Constraints: 10267
304.09/305.00 c #Conflicts: 25000 | #Constraints: 11267
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 26000 | #Constraints: 8868
304.09/305.00 c #Conflicts: 27000 | #Constraints: 9868
304.09/305.00 c #Conflicts: 28000 | #Constraints: 10868
304.09/305.00 c #Conflicts: 29000 | #Constraints: 11868
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 30000 | #Constraints: 9267
304.09/305.00 c #Conflicts: 31000 | #Constraints: 10267
304.09/305.00 c #Conflicts: 32000 | #Constraints: 11267
304.09/305.00 c #Conflicts: 33000 | #Constraints: 12267
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 34000 | #Constraints: 9478
304.09/305.00 c #Conflicts: 35000 | #Constraints: 10478
304.09/305.00 c #Conflicts: 36000 | #Constraints: 11478
304.09/305.00 c #Conflicts: 37000 | #Constraints: 12478
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 38000 | #Constraints: 9480
304.09/305.00 c #Conflicts: 39000 | #Constraints: 10480
304.09/305.00 c #Conflicts: 40000 | #Constraints: 11480
304.09/305.00 c #Conflicts: 41000 | #Constraints: 12480
304.09/305.00 c INPROCESSING
304.09/305.00 c GARBAGE COLLECT
304.09/305.00 c #Conflicts: 42000 | #Constraints: 9281
304.09/305.00 c #Conflicts: 43000 | #Constraints: 10281
304.09/305.00 c finalizing WCE round: reformulating cores
313.67/314.57 c #Conflicts: 44000 | #Constraints: 11284
313.67/314.57 c #Conflicts: 45000 | #Constraints: 12286
313.67/314.57 c #Conflicts: 46000 | #Constraints: 13288
313.67/314.57 c bounds 25527 >= 4120 @ 304.235
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 47000 | #Constraints: 9885
313.67/314.57 c #Conflicts: 48000 | #Constraints: 10885
313.67/314.57 c #Conflicts: 49000 | #Constraints: 11885
313.67/314.57 c #Conflicts: 50000 | #Constraints: 12885
313.67/314.57 c #Conflicts: 51000 | #Constraints: 13885
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 52000 | #Constraints: 10288
313.67/314.57 c #Conflicts: 53000 | #Constraints: 11288
313.67/314.57 c #Conflicts: 54000 | #Constraints: 12288
313.67/314.57 c #Conflicts: 55000 | #Constraints: 13288
313.67/314.57 c #Conflicts: 56000 | #Constraints: 14288
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 57000 | #Constraints: 10485
313.67/314.57 c #Conflicts: 58000 | #Constraints: 11485
313.67/314.57 c #Conflicts: 59000 | #Constraints: 12485
313.67/314.57 c #Conflicts: 60000 | #Constraints: 13485
313.67/314.57 c #Conflicts: 61000 | #Constraints: 14485
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 62000 | #Constraints: 10485
313.67/314.57 c #Conflicts: 63000 | #Constraints: 11485
313.67/314.57 c #Conflicts: 64000 | #Constraints: 12485
313.67/314.57 c #Conflicts: 65000 | #Constraints: 13485
313.67/314.57 c #Conflicts: 66000 | #Constraints: 14485
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 67000 | #Constraints: 10289
313.67/314.57 c #Conflicts: 68000 | #Constraints: 11289
313.67/314.57 c #Conflicts: 69000 | #Constraints: 12289
313.67/314.57 c #Conflicts: 70000 | #Constraints: 13289
313.67/314.57 c #Conflicts: 71000 | #Constraints: 14289
313.67/314.57 c #Conflicts: 72000 | #Constraints: 15289
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 73000 | #Constraints: 10899
313.67/314.57 c #Conflicts: 74000 | #Constraints: 11899
313.67/314.57 c #Conflicts: 75000 | #Constraints: 12899
313.67/314.57 c #Conflicts: 76000 | #Constraints: 13899
313.67/314.57 c #Conflicts: 77000 | #Constraints: 14899
313.67/314.57 c #Conflicts: 78000 | #Constraints: 15899
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 79000 | #Constraints: 11300
313.67/314.57 c #Conflicts: 80000 | #Constraints: 12300
313.67/314.57 c #Conflicts: 81000 | #Constraints: 13300
313.67/314.57 c #Conflicts: 82000 | #Constraints: 14300
313.67/314.57 c #Conflicts: 83000 | #Constraints: 15300
313.67/314.57 c #Conflicts: 84000 | #Constraints: 16300
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 85000 | #Constraints: 11502
313.67/314.57 c #Conflicts: 86000 | #Constraints: 12502
313.67/314.57 c #Conflicts: 87000 | #Constraints: 13502
313.67/314.57 c #Conflicts: 88000 | #Constraints: 14502
313.67/314.57 c #Conflicts: 89000 | #Constraints: 15502
313.67/314.57 c #Conflicts: 90000 | #Constraints: 16502
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 91000 | #Constraints: 11505
313.67/314.57 c #Conflicts: 92000 | #Constraints: 12505
313.67/314.57 c #Conflicts: 93000 | #Constraints: 13505
313.67/314.57 c #Conflicts: 94000 | #Constraints: 14505
313.67/314.57 c #Conflicts: 95000 | #Constraints: 15505
313.67/314.57 c #Conflicts: 96000 | #Constraints: 16505
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 97000 | #Constraints: 11300
313.67/314.57 c #Conflicts: 98000 | #Constraints: 12300
313.67/314.57 c #Conflicts: 99000 | #Constraints: 13300
313.67/314.57 c #Conflicts: 100000 | #Constraints: 14300
313.67/314.57 c #Conflicts: 101000 | #Constraints: 15300
313.67/314.57 c #Conflicts: 102000 | #Constraints: 16300
313.67/314.57 c #Conflicts: 103000 | #Constraints: 17300
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 104000 | #Constraints: 11894
313.67/314.57 c #Conflicts: 105000 | #Constraints: 12894
313.67/314.57 c #Conflicts: 106000 | #Constraints: 13894
313.67/314.57 c #Conflicts: 107000 | #Constraints: 14894
313.67/314.57 c #Conflicts: 108000 | #Constraints: 15894
313.67/314.57 c #Conflicts: 109000 | #Constraints: 16894
313.67/314.57 c #Conflicts: 110000 | #Constraints: 17894
313.67/314.57 c INPROCESSING
313.67/314.57 c GARBAGE COLLECT
313.67/314.57 c #Conflicts: 111000 | #Constraints: 12291
313.67/314.57 c #Conflicts: 112000 | #Constraints: 13291
313.67/314.57 c #Conflicts: 113000 | #Constraints: 14291
313.67/314.57 c #Conflicts: 114000 | #Constraints: 15291
323.95/324.84 c #Conflicts: 115000 | #Constraints: 16291
323.95/324.84 c #Conflicts: 116000 | #Constraints: 17291
323.95/324.84 c #Conflicts: 117000 | #Constraints: 18291
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 118000 | #Constraints: 12500
323.95/324.84 c #Conflicts: 119000 | #Constraints: 13500
323.95/324.84 c #Conflicts: 120000 | #Constraints: 14500
323.95/324.84 c #Conflicts: 121000 | #Constraints: 15500
323.95/324.84 c #Conflicts: 122000 | #Constraints: 16500
323.95/324.84 c #Conflicts: 123000 | #Constraints: 17500
323.95/324.84 c #Conflicts: 124000 | #Constraints: 18500
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 125000 | #Constraints: 12501
323.95/324.84 c #Conflicts: 126000 | #Constraints: 13501
323.95/324.84 c #Conflicts: 127000 | #Constraints: 14501
323.95/324.84 c #Conflicts: 128000 | #Constraints: 15501
323.95/324.84 c #Conflicts: 129000 | #Constraints: 16501
323.95/324.84 c #Conflicts: 130000 | #Constraints: 17501
323.95/324.84 c #Conflicts: 131000 | #Constraints: 18501
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 132000 | #Constraints: 12301
323.95/324.84 c #Conflicts: 133000 | #Constraints: 13301
323.95/324.84 c #Conflicts: 134000 | #Constraints: 14301
323.95/324.84 c #Conflicts: 135000 | #Constraints: 15301
323.95/324.84 c #Conflicts: 136000 | #Constraints: 16301
323.95/324.84 c #Conflicts: 137000 | #Constraints: 17301
323.95/324.84 c #Conflicts: 138000 | #Constraints: 18301
323.95/324.84 c #Conflicts: 139000 | #Constraints: 19301
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 140000 | #Constraints: 12909
323.95/324.84 c #Conflicts: 141000 | #Constraints: 13909
323.95/324.84 c #Conflicts: 142000 | #Constraints: 14909
323.95/324.84 c #Conflicts: 143000 | #Constraints: 15909
323.95/324.84 c #Conflicts: 144000 | #Constraints: 16909
323.95/324.84 c #Conflicts: 145000 | #Constraints: 17909
323.95/324.84 c #Conflicts: 146000 | #Constraints: 18909
323.95/324.84 c #Conflicts: 147000 | #Constraints: 19909
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 148000 | #Constraints: 13322
323.95/324.84 c #Conflicts: 149000 | #Constraints: 14322
323.95/324.84 c #Conflicts: 150000 | #Constraints: 15322
323.95/324.84 c #Conflicts: 151000 | #Constraints: 16322
323.95/324.84 c #Conflicts: 152000 | #Constraints: 17322
323.95/324.84 c #Conflicts: 153000 | #Constraints: 18322
323.95/324.84 c #Conflicts: 154000 | #Constraints: 19322
323.95/324.84 c #Conflicts: 155000 | #Constraints: 20322
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 156000 | #Constraints: 13531
323.95/324.84 c #Conflicts: 157000 | #Constraints: 14531
323.95/324.84 c #Conflicts: 158000 | #Constraints: 15531
323.95/324.84 c #Conflicts: 159000 | #Constraints: 16531
323.95/324.84 c #Conflicts: 160000 | #Constraints: 17531
323.95/324.84 c #Conflicts: 161000 | #Constraints: 18531
323.95/324.84 c #Conflicts: 162000 | #Constraints: 19531
323.95/324.84 c #Conflicts: 163000 | #Constraints: 20531
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 164000 | #Constraints: 13528
323.95/324.84 c #Conflicts: 165000 | #Constraints: 14528
323.95/324.84 c #Conflicts: 166000 | #Constraints: 15528
323.95/324.84 c #Conflicts: 167000 | #Constraints: 16528
323.95/324.84 c #Conflicts: 168000 | #Constraints: 17528
323.95/324.84 c #Conflicts: 169000 | #Constraints: 18528
323.95/324.84 c #Conflicts: 170000 | #Constraints: 19528
323.95/324.84 c #Conflicts: 171000 | #Constraints: 20528
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 172000 | #Constraints: 13313
323.95/324.84 c #Conflicts: 173000 | #Constraints: 14313
323.95/324.84 c #Conflicts: 174000 | #Constraints: 15313
323.95/324.84 c #Conflicts: 175000 | #Constraints: 16313
323.95/324.84 c #Conflicts: 176000 | #Constraints: 17313
323.95/324.84 c #Conflicts: 177000 | #Constraints: 18313
323.95/324.84 c #Conflicts: 178000 | #Constraints: 19313
323.95/324.84 c #Conflicts: 179000 | #Constraints: 20313
323.95/324.84 c #Conflicts: 180000 | #Constraints: 21313
323.95/324.84 c INPROCESSING
323.95/324.84 c GARBAGE COLLECT
323.95/324.84 c #Conflicts: 181000 | #Constraints: 13923
323.95/324.84 c #Conflicts: 182000 | #Constraints: 14923
323.95/324.84 c #Conflicts: 183000 | #Constraints: 15923
323.95/324.84 c #Conflicts: 184000 | #Constraints: 16923
323.95/324.84 c #Conflicts: 185000 | #Constraints: 17923
323.95/324.84 c #Conflicts: 186000 | #Constraints: 18923
323.95/324.84 c #Conflicts: 187000 | #Constraints: 19923
329.43/330.34 c #Conflicts: 188000 | #Constraints: 20923
329.43/330.34 c #Conflicts: 189000 | #Constraints: 21923
329.43/330.34 c INPROCESSING
329.43/330.34 c GARBAGE COLLECT
329.43/330.34 c #Conflicts: 190000 | #Constraints: 14338
329.43/330.34 c #Conflicts: 191000 | #Constraints: 15338
329.43/330.34 c #Conflicts: 192000 | #Constraints: 16338
329.43/330.34 c #Conflicts: 193000 | #Constraints: 17338
329.43/330.34 c #Conflicts: 194000 | #Constraints: 18338
329.43/330.34 c #Conflicts: 195000 | #Constraints: 19338
329.43/330.34 c #Conflicts: 196000 | #Constraints: 20338
329.43/330.34 c #Conflicts: 197000 | #Constraints: 21338
329.43/330.34 c #Conflicts: 198000 | #Constraints: 22338
329.43/330.34 c INPROCESSING
329.43/330.34 c GARBAGE COLLECT
329.43/330.34 c #Conflicts: 199000 | #Constraints: 14536
329.43/330.34 c #Conflicts: 200000 | #Constraints: 15536
329.43/330.34 c #Conflicts: 201000 | #Constraints: 16536
329.43/330.34 c #Conflicts: 202000 | #Constraints: 17536
329.43/330.34 c #Conflicts: 203000 | #Constraints: 18536
329.43/330.34 c #Conflicts: 204000 | #Constraints: 19536
329.43/330.34 c #Conflicts: 205000 | #Constraints: 20536
329.43/330.34 c #Conflicts: 206000 | #Constraints: 21536
329.43/330.34 c #Conflicts: 207000 | #Constraints: 22536
329.43/330.34 c INPROCESSING
329.43/330.34 c GARBAGE COLLECT
329.43/330.34 c #Conflicts: 208000 | #Constraints: 14527
329.43/330.34 c #Conflicts: 209000 | #Constraints: 15527
329.43/330.34 c #Conflicts: 210000 | #Constraints: 16527
329.43/330.34 c #Conflicts: 211000 | #Constraints: 17527
329.43/330.34 c #Conflicts: 212000 | #Constraints: 18527
329.43/330.34 c #Conflicts: 213000 | #Constraints: 19527
329.43/330.34 c #Conflicts: 214000 | #Constraints: 20527
329.43/330.34 c #Conflicts: 215000 | #Constraints: 21527
329.43/330.34 c #Conflicts: 216000 | #Constraints: 22527
329.43/330.34 c INPROCESSING
329.43/330.34 c GARBAGE COLLECT
329.43/330.34 c #Conflicts: 217000 | #Constraints: 14331
329.43/330.34 c #Conflicts: 218000 | #Constraints: 15331
329.43/330.34 c #Conflicts: 219000 | #Constraints: 16331
329.43/330.34 c #Conflicts: 220000 | #Constraints: 17331
329.43/330.34 c bounds 25383 >= 4120 @ 328.729
329.43/330.34 c stratification level: 929
329.53/330.41 c bounds 25300 >= 4120 @ 328.797
329.53/330.41 c stratification level: 745
329.84/330.79 c bounds 25300 >= 4865 @ 328.8
329.84/330.79 c #Conflicts: 221000 | #Constraints: 18334
329.84/330.79 c #Conflicts: 222000 | #Constraints: 19334
329.84/330.79 c finalizing WCE round: reformulating cores
337.52/338.47 c #Conflicts: 223000 | #Constraints: 20337
337.52/338.47 c bounds 25214 >= 4865 @ 329.295
337.52/338.47 c #Conflicts: 224000 | #Constraints: 21337
337.52/338.47 c #Conflicts: 225000 | #Constraints: 22337
337.52/338.47 c #Conflicts: 226000 | #Constraints: 23337
337.52/338.47 c INPROCESSING
337.52/338.47 c GARBAGE COLLECT
337.52/338.47 c #Conflicts: 227000 | #Constraints: 14934
337.52/338.47 c #Conflicts: 228000 | #Constraints: 15934
337.52/338.47 c #Conflicts: 229000 | #Constraints: 16934
337.52/338.47 c #Conflicts: 230000 | #Constraints: 17934
337.52/338.47 c #Conflicts: 231000 | #Constraints: 18934
337.52/338.47 c #Conflicts: 232000 | #Constraints: 19934
337.52/338.47 c #Conflicts: 233000 | #Constraints: 20934
337.52/338.47 c #Conflicts: 234000 | #Constraints: 21934
337.52/338.47 c #Conflicts: 235000 | #Constraints: 22934
337.52/338.47 c #Conflicts: 236000 | #Constraints: 23934
337.52/338.47 c INPROCESSING
337.52/338.47 c GARBAGE COLLECT
337.52/338.47 c #Conflicts: 237000 | #Constraints: 15328
337.52/338.47 c #Conflicts: 238000 | #Constraints: 16328
337.52/338.47 c #Conflicts: 239000 | #Constraints: 17328
337.52/338.47 c #Conflicts: 240000 | #Constraints: 18328
337.52/338.47 c #Conflicts: 241000 | #Constraints: 19328
337.52/338.47 c #Conflicts: 242000 | #Constraints: 20328
337.52/338.47 c #Conflicts: 243000 | #Constraints: 21328
337.52/338.47 c #Conflicts: 244000 | #Constraints: 22328
337.52/338.47 c #Conflicts: 245000 | #Constraints: 23328
337.52/338.47 c #Conflicts: 246000 | #Constraints: 24328
337.52/338.47 c INPROCESSING
337.52/338.47 c GARBAGE COLLECT
337.52/338.47 c #Conflicts: 247000 | #Constraints: 15522
337.52/338.47 c #Conflicts: 248000 | #Constraints: 16522
337.52/338.47 c #Conflicts: 249000 | #Constraints: 17522
337.52/338.47 c #Conflicts: 250000 | #Constraints: 18522
337.52/338.47 c #Conflicts: 251000 | #Constraints: 19522
337.52/338.47 c #Conflicts: 252000 | #Constraints: 20522
337.52/338.47 c #Conflicts: 253000 | #Constraints: 21522
337.52/338.47 c #Conflicts: 254000 | #Constraints: 22522
337.52/338.47 c #Conflicts: 255000 | #Constraints: 23522
337.52/338.47 c #Conflicts: 256000 | #Constraints: 24522
337.52/338.47 c INPROCESSING
337.52/338.47 c GARBAGE COLLECT
337.52/338.47 c #Conflicts: 257000 | #Constraints: 15526
337.52/338.47 c #Conflicts: 258000 | #Constraints: 16526
337.52/338.47 c #Conflicts: 259000 | #Constraints: 17526
337.52/338.47 c #Conflicts: 260000 | #Constraints: 18526
337.52/338.47 c #Conflicts: 261000 | #Constraints: 19526
337.52/338.47 c #Conflicts: 262000 | #Constraints: 20526
337.52/338.47 c #Conflicts: 263000 | #Constraints: 21526
337.52/338.47 c #Conflicts: 264000 | #Constraints: 22526
337.52/338.47 c #Conflicts: 265000 | #Constraints: 23526
337.52/338.47 c #Conflicts: 266000 | #Constraints: 24526
337.52/338.47 c bounds 24981 >= 4865 @ 336.683
337.52/338.47 c stratification level: 665
350.29/351.20 c INPROCESSING
350.29/351.20 c GARBAGE COLLECT
350.29/351.20 c #Conflicts: 267000 | #Constraints: 15327
350.29/351.20 c #Conflicts: 268000 | #Constraints: 16327
350.29/351.20 c #Conflicts: 269000 | #Constraints: 17327
350.29/351.20 c #Conflicts: 270000 | #Constraints: 18327
350.29/351.20 c #Conflicts: 271000 | #Constraints: 19327
350.29/351.20 c #Conflicts: 272000 | #Constraints: 20327
350.29/351.20 c #Conflicts: 273000 | #Constraints: 21327
350.29/351.20 c #Conflicts: 274000 | #Constraints: 22327
350.29/351.20 c #Conflicts: 275000 | #Constraints: 23327
350.29/351.20 c #Conflicts: 276000 | #Constraints: 24327
350.29/351.20 c bounds 24981 >= 5530 @ 338.202
350.29/351.20 c #Conflicts: 277000 | #Constraints: 25328
350.29/351.20 c INPROCESSING
350.29/351.20 c GARBAGE COLLECT
350.29/351.20 c #Conflicts: 278000 | #Constraints: 15932
350.29/351.20 c #Conflicts: 279000 | #Constraints: 16932
350.29/351.20 c #Conflicts: 280000 | #Constraints: 17932
350.29/351.20 c #Conflicts: 281000 | #Constraints: 18932
350.29/351.20 c #Conflicts: 282000 | #Constraints: 19932
350.29/351.20 c #Conflicts: 283000 | #Constraints: 20932
350.29/351.20 c #Conflicts: 284000 | #Constraints: 21932
350.29/351.20 c #Conflicts: 285000 | #Constraints: 22932
350.29/351.20 c #Conflicts: 286000 | #Constraints: 23932
350.29/351.20 c #Conflicts: 287000 | #Constraints: 24932
350.29/351.20 c #Conflicts: 288000 | #Constraints: 25932
350.29/351.20 c INPROCESSING
350.29/351.20 c GARBAGE COLLECT
350.29/351.20 c #Conflicts: 289000 | #Constraints: 16335
350.29/351.20 c #Conflicts: 290000 | #Constraints: 17335
350.29/351.20 c #Conflicts: 291000 | #Constraints: 18335
350.29/351.20 c #Conflicts: 292000 | #Constraints: 19335
350.29/351.20 c #Conflicts: 293000 | #Constraints: 20335
350.29/351.20 c #Conflicts: 294000 | #Constraints: 21335
350.29/351.20 c #Conflicts: 295000 | #Constraints: 22335
350.29/351.20 c #Conflicts: 296000 | #Constraints: 23335
350.29/351.20 c #Conflicts: 297000 | #Constraints: 24335
350.29/351.20 c #Conflicts: 298000 | #Constraints: 25335
350.29/351.20 c #Conflicts: 299000 | #Constraints: 26335
350.29/351.20 c INPROCESSING
350.29/351.20 c GARBAGE COLLECT
350.29/351.20 c #Conflicts: 300000 | #Constraints: 16545
350.29/351.20 c #Conflicts: 301000 | #Constraints: 17545
350.29/351.20 c #Conflicts: 302000 | #Constraints: 18545
350.29/351.20 c #Conflicts: 303000 | #Constraints: 19545
350.29/351.20 c #Conflicts: 304000 | #Constraints: 20545
350.29/351.20 c #Conflicts: 305000 | #Constraints: 21545
350.29/351.20 c #Conflicts: 306000 | #Constraints: 22545
350.29/351.20 c #Conflicts: 307000 | #Constraints: 23545
350.29/351.20 c #Conflicts: 308000 | #Constraints: 24545
350.29/351.20 c #Conflicts: 309000 | #Constraints: 25545
350.29/351.20 c #Conflicts: 310000 | #Constraints: 26545
350.29/351.20 c INPROCESSING
350.29/351.20 c GARBAGE COLLECT
350.29/351.20 c #Conflicts: 311000 | #Constraints: 16547
350.29/351.20 c #Conflicts: 312000 | #Constraints: 17547
350.29/351.20 c #Conflicts: 313000 | #Constraints: 18547
350.29/351.20 c #Conflicts: 314000 | #Constraints: 19547
350.29/351.20 c #Conflicts: 315000 | #Constraints: 20547
350.29/351.20 c #Conflicts: 316000 | #Constraints: 21547
350.29/351.20 c #Conflicts: 317000 | #Constraints: 22547
350.29/351.20 c #Conflicts: 318000 | #Constraints: 23547
350.29/351.20 c #Conflicts: 319000 | #Constraints: 24547
350.29/351.20 c #Conflicts: 320000 | #Constraints: 25547
350.29/351.20 c #Conflicts: 321000 | #Constraints: 26547
350.29/351.20 c INPROCESSING
350.29/351.21 c GARBAGE COLLECT
350.29/351.21 c #Conflicts: 322000 | #Constraints: 16344
350.29/351.21 c #Conflicts: 323000 | #Constraints: 17344
350.29/351.21 c #Conflicts: 324000 | #Constraints: 18344
350.29/351.21 c #Conflicts: 325000 | #Constraints: 19344
350.29/351.21 c #Conflicts: 326000 | #Constraints: 20344
350.29/351.21 c #Conflicts: 327000 | #Constraints: 21344
350.29/351.21 c #Conflicts: 328000 | #Constraints: 22344
350.29/351.21 c #Conflicts: 329000 | #Constraints: 23344
350.29/351.21 c #Conflicts: 330000 | #Constraints: 24344
350.29/351.21 c #Conflicts: 331000 | #Constraints: 25344
350.29/351.21 c #Conflicts: 332000 | #Constraints: 26344
350.29/351.21 c #Conflicts: 333000 | #Constraints: 27344
350.29/351.21 c INPROCESSING
350.29/351.21 c GARBAGE COLLECT
350.29/351.21 c #Conflicts: 334000 | #Constraints: 16946
350.29/351.21 c #Conflicts: 335000 | #Constraints: 17946
350.29/351.21 c #Conflicts: 336000 | #Constraints: 18946
350.29/351.21 c #Conflicts: 337000 | #Constraints: 19946
350.29/351.21 c #Conflicts: 338000 | #Constraints: 20946
350.29/351.21 c #Conflicts: 339000 | #Constraints: 21946
350.29/351.21 c #Conflicts: 340000 | #Constraints: 22946
363.85/364.81 c #Conflicts: 341000 | #Constraints: 23946
363.85/364.81 c #Conflicts: 342000 | #Constraints: 24946
363.85/364.81 c #Conflicts: 343000 | #Constraints: 25946
363.85/364.81 c #Conflicts: 344000 | #Constraints: 26946
363.85/364.81 c #Conflicts: 345000 | #Constraints: 27946
363.85/364.81 c INPROCESSING
363.85/364.81 c GARBAGE COLLECT
363.85/364.81 c #Conflicts: 346000 | #Constraints: 17341
363.85/364.81 c #Conflicts: 347000 | #Constraints: 18341
363.85/364.81 c #Conflicts: 348000 | #Constraints: 19341
363.85/364.81 c #Conflicts: 349000 | #Constraints: 20341
363.85/364.81 c #Conflicts: 350000 | #Constraints: 21341
363.85/364.81 c #Conflicts: 351000 | #Constraints: 22341
363.85/364.81 c #Conflicts: 352000 | #Constraints: 23341
363.85/364.81 c #Conflicts: 353000 | #Constraints: 24341
363.85/364.81 c #Conflicts: 354000 | #Constraints: 25341
363.85/364.81 c #Conflicts: 355000 | #Constraints: 26341
363.85/364.81 c #Conflicts: 356000 | #Constraints: 27341
363.85/364.81 c #Conflicts: 357000 | #Constraints: 28341
363.85/364.81 c INPROCESSING
363.85/364.81 c GARBAGE COLLECT
363.85/364.81 c #Conflicts: 358000 | #Constraints: 17544
363.85/364.81 c #Conflicts: 359000 | #Constraints: 18544
363.85/364.81 c #Conflicts: 360000 | #Constraints: 19544
363.85/364.81 c #Conflicts: 361000 | #Constraints: 20544
363.85/364.81 c #Conflicts: 362000 | #Constraints: 21544
363.85/364.81 c #Conflicts: 363000 | #Constraints: 22544
363.85/364.81 c #Conflicts: 364000 | #Constraints: 23544
363.85/364.81 c #Conflicts: 365000 | #Constraints: 24544
363.85/364.81 c #Conflicts: 366000 | #Constraints: 25544
363.85/364.81 c #Conflicts: 367000 | #Constraints: 26544
363.85/364.81 c #Conflicts: 368000 | #Constraints: 27544
363.85/364.81 c #Conflicts: 369000 | #Constraints: 28544
363.85/364.81 c INPROCESSING
363.85/364.81 c GARBAGE COLLECT
363.85/364.81 c #Conflicts: 370000 | #Constraints: 17531
363.85/364.81 c #Conflicts: 371000 | #Constraints: 18531
363.85/364.81 c #Conflicts: 372000 | #Constraints: 19531
363.85/364.81 c #Conflicts: 373000 | #Constraints: 20531
363.85/364.81 c #Conflicts: 374000 | #Constraints: 21531
363.85/364.81 c #Conflicts: 375000 | #Constraints: 22531
363.85/364.81 c #Conflicts: 376000 | #Constraints: 23531
363.85/364.81 c #Conflicts: 377000 | #Constraints: 24531
363.85/364.81 c #Conflicts: 378000 | #Constraints: 25531
363.85/364.81 c #Conflicts: 379000 | #Constraints: 26531
363.85/364.81 c #Conflicts: 380000 | #Constraints: 27531
363.85/364.81 c #Conflicts: 381000 | #Constraints: 28531
363.85/364.81 c INPROCESSING
363.85/364.81 c GARBAGE COLLECT
363.85/364.81 c #Conflicts: 382000 | #Constraints: 17342
363.85/364.81 c #Conflicts: 383000 | #Constraints: 18342
363.85/364.81 c #Conflicts: 384000 | #Constraints: 19342
363.85/364.81 c #Conflicts: 385000 | #Constraints: 20342
363.85/364.81 c #Conflicts: 386000 | #Constraints: 21342
363.85/364.81 c #Conflicts: 387000 | #Constraints: 22342
363.85/364.81 c #Conflicts: 388000 | #Constraints: 23342
363.85/364.81 c #Conflicts: 389000 | #Constraints: 24342
363.85/364.81 c #Conflicts: 390000 | #Constraints: 25342
363.85/364.81 c #Conflicts: 391000 | #Constraints: 26342
363.85/364.81 c #Conflicts: 392000 | #Constraints: 27342
363.85/364.81 c #Conflicts: 393000 | #Constraints: 28342
363.85/364.81 c #Conflicts: 394000 | #Constraints: 29342
363.85/364.81 c INPROCESSING
363.85/364.81 c GARBAGE COLLECT
363.85/364.81 c #Conflicts: 395000 | #Constraints: 17947
363.85/364.81 c #Conflicts: 396000 | #Constraints: 18947
363.85/364.81 c #Conflicts: 397000 | #Constraints: 19947
363.85/364.81 c #Conflicts: 398000 | #Constraints: 20947
363.85/364.81 c #Conflicts: 399000 | #Constraints: 21947
363.85/364.81 c #Conflicts: 400000 | #Constraints: 22947
363.85/364.81 c #Conflicts: 401000 | #Constraints: 23947
363.85/364.81 c #Conflicts: 402000 | #Constraints: 24947
363.85/364.81 c #Conflicts: 403000 | #Constraints: 25947
363.85/364.81 c #Conflicts: 404000 | #Constraints: 26947
363.85/364.81 c #Conflicts: 405000 | #Constraints: 27947
363.85/364.81 c #Conflicts: 406000 | #Constraints: 28947
363.85/364.81 c #Conflicts: 407000 | #Constraints: 29947
363.85/364.81 c INPROCESSING
363.85/364.81 c GARBAGE COLLECT
363.85/364.81 c #Conflicts: 408000 | #Constraints: 18337
363.85/364.81 c #Conflicts: 409000 | #Constraints: 19337
363.85/364.81 c #Conflicts: 410000 | #Constraints: 20337
363.85/364.81 c #Conflicts: 411000 | #Constraints: 21337
363.85/364.81 c #Conflicts: 412000 | #Constraints: 22337
363.85/364.81 c #Conflicts: 413000 | #Constraints: 23337
363.85/364.81 c #Conflicts: 414000 | #Constraints: 24337
363.85/364.81 c #Conflicts: 415000 | #Constraints: 25337
380.72/381.77 c #Conflicts: 416000 | #Constraints: 26337
380.72/381.77 c #Conflicts: 417000 | #Constraints: 27337
380.72/381.77 c #Conflicts: 418000 | #Constraints: 28337
380.72/381.77 c #Conflicts: 419000 | #Constraints: 29337
380.72/381.77 c #Conflicts: 420000 | #Constraints: 30337
380.72/381.77 c INPROCESSING
380.72/381.77 c GARBAGE COLLECT
380.72/381.77 c #Conflicts: 421000 | #Constraints: 18542
380.72/381.77 c #Conflicts: 422000 | #Constraints: 19542
380.72/381.77 c #Conflicts: 423000 | #Constraints: 20542
380.72/381.77 c #Conflicts: 424000 | #Constraints: 21542
380.72/381.77 c #Conflicts: 425000 | #Constraints: 22542
380.72/381.77 c #Conflicts: 426000 | #Constraints: 23542
380.72/381.77 c #Conflicts: 427000 | #Constraints: 24542
380.72/381.77 c #Conflicts: 428000 | #Constraints: 25542
380.72/381.77 c #Conflicts: 429000 | #Constraints: 26542
380.72/381.77 c #Conflicts: 430000 | #Constraints: 27542
380.72/381.77 c #Conflicts: 431000 | #Constraints: 28542
380.72/381.77 c #Conflicts: 432000 | #Constraints: 29542
380.72/381.77 c #Conflicts: 433000 | #Constraints: 30542
380.72/381.77 c INPROCESSING
380.72/381.77 c GARBAGE COLLECT
380.72/381.77 c #Conflicts: 434000 | #Constraints: 18555
380.72/381.77 c #Conflicts: 435000 | #Constraints: 19555
380.72/381.77 c #Conflicts: 436000 | #Constraints: 20555
380.72/381.77 c #Conflicts: 437000 | #Constraints: 21555
380.72/381.77 c #Conflicts: 438000 | #Constraints: 22555
380.72/381.77 c #Conflicts: 439000 | #Constraints: 23555
380.72/381.77 c #Conflicts: 440000 | #Constraints: 24555
380.72/381.77 c #Conflicts: 441000 | #Constraints: 25555
380.72/381.77 c #Conflicts: 442000 | #Constraints: 26555
380.72/381.77 c #Conflicts: 443000 | #Constraints: 27555
380.72/381.77 c #Conflicts: 444000 | #Constraints: 28555
380.72/381.77 c #Conflicts: 445000 | #Constraints: 29555
380.72/381.77 c #Conflicts: 446000 | #Constraints: 30555
380.72/381.77 c INPROCESSING
380.72/381.77 c GARBAGE COLLECT
380.72/381.77 c #Conflicts: 447000 | #Constraints: 18363
380.72/381.77 c #Conflicts: 448000 | #Constraints: 19363
380.72/381.77 c #Conflicts: 449000 | #Constraints: 20363
380.72/381.77 c #Conflicts: 450000 | #Constraints: 21363
380.72/381.77 c #Conflicts: 451000 | #Constraints: 22363
380.72/381.77 c #Conflicts: 452000 | #Constraints: 23363
380.72/381.77 c #Conflicts: 453000 | #Constraints: 24363
380.72/381.77 c #Conflicts: 454000 | #Constraints: 25363
380.72/381.77 c #Conflicts: 455000 | #Constraints: 26363
380.72/381.77 c #Conflicts: 456000 | #Constraints: 27363
380.72/381.77 c #Conflicts: 457000 | #Constraints: 28363
380.72/381.77 c #Conflicts: 458000 | #Constraints: 29363
380.72/381.77 c #Conflicts: 459000 | #Constraints: 30363
380.72/381.77 c #Conflicts: 460000 | #Constraints: 31363
380.72/381.77 c INPROCESSING
380.72/381.77 c GARBAGE COLLECT
380.72/381.77 c #Conflicts: 461000 | #Constraints: 18957
380.72/381.77 c #Conflicts: 462000 | #Constraints: 19957
380.72/381.77 c #Conflicts: 463000 | #Constraints: 20957
380.72/381.77 c #Conflicts: 464000 | #Constraints: 21957
380.72/381.77 c #Conflicts: 465000 | #Constraints: 22957
380.72/381.77 c #Conflicts: 466000 | #Constraints: 23957
380.72/381.77 c #Conflicts: 467000 | #Constraints: 24957
380.72/381.77 c #Conflicts: 468000 | #Constraints: 25957
380.72/381.77 c #Conflicts: 469000 | #Constraints: 26957
380.72/381.77 c #Conflicts: 470000 | #Constraints: 27957
380.72/381.77 c #Conflicts: 471000 | #Constraints: 28957
380.72/381.77 c #Conflicts: 472000 | #Constraints: 29957
380.72/381.77 c #Conflicts: 473000 | #Constraints: 30957
380.72/381.77 c #Conflicts: 474000 | #Constraints: 31957
380.72/381.77 c INPROCESSING
380.72/381.77 c GARBAGE COLLECT
380.72/381.77 c #Conflicts: 475000 | #Constraints: 19348
380.72/381.77 c #Conflicts: 476000 | #Constraints: 20348
380.72/381.77 c #Conflicts: 477000 | #Constraints: 21348
380.72/381.77 c #Conflicts: 478000 | #Constraints: 22348
380.72/381.77 c #Conflicts: 479000 | #Constraints: 23348
380.72/381.77 c #Conflicts: 480000 | #Constraints: 24348
380.72/381.77 c #Conflicts: 481000 | #Constraints: 25348
380.72/381.77 c #Conflicts: 482000 | #Constraints: 26348
380.72/381.77 c #Conflicts: 483000 | #Constraints: 27348
380.72/381.77 c #Conflicts: 484000 | #Constraints: 28348
380.72/381.77 c #Conflicts: 485000 | #Constraints: 29348
380.72/381.77 c #Conflicts: 486000 | #Constraints: 30348
380.72/381.77 c #Conflicts: 487000 | #Constraints: 31348
380.72/381.77 c #Conflicts: 488000 | #Constraints: 32348
380.72/381.77 c INPROCESSING
380.72/381.77 c GARBAGE COLLECT
380.72/381.77 c #Conflicts: 489000 | #Constraints: 19559
380.72/381.77 c #Conflicts: 490000 | #Constraints: 20559
397.68/398.77 c #Conflicts: 491000 | #Constraints: 21559
397.68/398.77 c #Conflicts: 492000 | #Constraints: 22559
397.68/398.77 c #Conflicts: 493000 | #Constraints: 23559
397.68/398.77 c #Conflicts: 494000 | #Constraints: 24559
397.68/398.77 c #Conflicts: 495000 | #Constraints: 25559
397.68/398.77 c #Conflicts: 496000 | #Constraints: 26559
397.68/398.77 c #Conflicts: 497000 | #Constraints: 27559
397.68/398.77 c #Conflicts: 498000 | #Constraints: 28559
397.68/398.77 c #Conflicts: 499000 | #Constraints: 29559
397.68/398.77 c #Conflicts: 500000 | #Constraints: 30559
397.68/398.77 c #Conflicts: 501000 | #Constraints: 31559
397.68/398.77 c #Conflicts: 502000 | #Constraints: 32559
397.68/398.77 c INPROCESSING
397.68/398.77 c GARBAGE COLLECT
397.68/398.77 c #Conflicts: 503000 | #Constraints: 19568
397.68/398.77 c #Conflicts: 504000 | #Constraints: 20568
397.68/398.77 c #Conflicts: 505000 | #Constraints: 21568
397.68/398.77 c #Conflicts: 506000 | #Constraints: 22568
397.68/398.77 c #Conflicts: 507000 | #Constraints: 23568
397.68/398.77 c #Conflicts: 508000 | #Constraints: 24568
397.68/398.77 c #Conflicts: 509000 | #Constraints: 25568
397.68/398.77 c #Conflicts: 510000 | #Constraints: 26568
397.68/398.77 c #Conflicts: 511000 | #Constraints: 27568
397.68/398.77 c #Conflicts: 512000 | #Constraints: 28568
397.68/398.77 c #Conflicts: 513000 | #Constraints: 29568
397.68/398.77 c #Conflicts: 514000 | #Constraints: 30568
397.68/398.77 c #Conflicts: 515000 | #Constraints: 31568
397.68/398.77 c #Conflicts: 516000 | #Constraints: 32568
397.68/398.77 c INPROCESSING
397.68/398.77 c GARBAGE COLLECT
397.68/398.77 c #Conflicts: 517000 | #Constraints: 19362
397.68/398.77 c #Conflicts: 518000 | #Constraints: 20362
397.68/398.77 c #Conflicts: 519000 | #Constraints: 21362
397.68/398.77 c #Conflicts: 520000 | #Constraints: 22362
397.68/398.77 c #Conflicts: 521000 | #Constraints: 23362
397.68/398.77 c #Conflicts: 522000 | #Constraints: 24362
397.68/398.77 c #Conflicts: 523000 | #Constraints: 25362
397.68/398.77 c #Conflicts: 524000 | #Constraints: 26362
397.68/398.77 c #Conflicts: 525000 | #Constraints: 27362
397.68/398.77 c #Conflicts: 526000 | #Constraints: 28362
397.68/398.77 c #Conflicts: 527000 | #Constraints: 29362
397.68/398.77 c #Conflicts: 528000 | #Constraints: 30362
397.68/398.77 c #Conflicts: 529000 | #Constraints: 31362
397.68/398.77 c #Conflicts: 530000 | #Constraints: 32362
397.68/398.77 c #Conflicts: 531000 | #Constraints: 33362
397.68/398.77 c INPROCESSING
397.68/398.77 c GARBAGE COLLECT
397.68/398.77 c #Conflicts: 532000 | #Constraints: 19963
397.68/398.77 c #Conflicts: 533000 | #Constraints: 20963
397.68/398.77 c #Conflicts: 534000 | #Constraints: 21963
397.68/398.77 c #Conflicts: 535000 | #Constraints: 22963
397.68/398.77 c #Conflicts: 536000 | #Constraints: 23963
397.68/398.77 c #Conflicts: 537000 | #Constraints: 24963
397.68/398.77 c #Conflicts: 538000 | #Constraints: 25963
397.68/398.77 c #Conflicts: 539000 | #Constraints: 26963
397.68/398.77 c #Conflicts: 540000 | #Constraints: 27963
397.68/398.77 c #Conflicts: 541000 | #Constraints: 28963
397.68/398.77 c #Conflicts: 542000 | #Constraints: 29963
397.68/398.77 c #Conflicts: 543000 | #Constraints: 30963
397.68/398.77 c #Conflicts: 544000 | #Constraints: 31963
397.68/398.77 c #Conflicts: 545000 | #Constraints: 32963
397.68/398.77 c #Conflicts: 546000 | #Constraints: 33963
397.68/398.77 c INPROCESSING
397.68/398.77 c GARBAGE COLLECT
397.68/398.77 c #Conflicts: 547000 | #Constraints: 20358
397.68/398.77 c #Conflicts: 548000 | #Constraints: 21358
397.68/398.77 c #Conflicts: 549000 | #Constraints: 22358
397.68/398.77 c #Conflicts: 550000 | #Constraints: 23358
397.68/398.77 c #Conflicts: 551000 | #Constraints: 24358
397.68/398.77 c #Conflicts: 552000 | #Constraints: 25358
397.68/398.77 c #Conflicts: 553000 | #Constraints: 26358
397.68/398.77 c #Conflicts: 554000 | #Constraints: 27358
397.68/398.77 c #Conflicts: 555000 | #Constraints: 28358
397.68/398.77 c #Conflicts: 556000 | #Constraints: 29358
397.68/398.77 c #Conflicts: 557000 | #Constraints: 30358
397.68/398.77 c #Conflicts: 558000 | #Constraints: 31358
397.68/398.77 c #Conflicts: 559000 | #Constraints: 32358
397.68/398.77 c #Conflicts: 560000 | #Constraints: 33358
397.68/398.77 c #Conflicts: 561000 | #Constraints: 34358
397.68/398.77 c INPROCESSING
397.68/398.77 c GARBAGE COLLECT
397.68/398.77 c #Conflicts: 562000 | #Constraints: 20564
397.68/398.77 c #Conflicts: 563000 | #Constraints: 21564
397.68/398.77 c #Conflicts: 564000 | #Constraints: 22564
397.68/398.77 c #Conflicts: 565000 | #Constraints: 23564
397.68/398.77 c #Conflicts: 566000 | #Constraints: 24564
399.68/400.78 c #Conflicts: 567000 | #Constraints: 25564
399.68/400.78 c #Conflicts: 568000 | #Constraints: 26564
399.68/400.78 c #Conflicts: 569000 | #Constraints: 27564
399.68/400.78 c #Conflicts: 570000 | #Constraints: 28564
399.68/400.78 c #Conflicts: 571000 | #Constraints: 29564
399.68/400.78 c #Conflicts: 572000 | #Constraints: 30564
399.68/400.78 c #Conflicts: 573000 | #Constraints: 31564
399.68/400.78 c #Conflicts: 574000 | #Constraints: 32564
399.68/400.78 c #Conflicts: 575000 | #Constraints: 33564
399.68/400.78 c finalizing WCE round: reformulating cores
400.77/401.89 c #Conflicts: 576000 | #Constraints: 34567
400.77/401.89 c bounds 24902 >= 5530 @ 398.087
400.77/401.89 c INPROCESSING
400.77/401.89 c GARBAGE COLLECT
400.77/401.89 c #Conflicts: 577000 | #Constraints: 20551
400.77/401.89 c #Conflicts: 578000 | #Constraints: 21551
400.77/401.89 c #Conflicts: 579000 | #Constraints: 22551
400.77/401.89 c #Conflicts: 580000 | #Constraints: 23551
400.77/401.89 c bounds 24789 >= 5530 @ 398.966
400.77/401.89 c stratification level: 605
401.98/403.05 c #Conflicts: 581000 | #Constraints: 24552
401.98/403.05 c bounds 24789 >= 6135 @ 399.061
401.98/403.05 c #Conflicts: 582000 | #Constraints: 25553
401.98/403.05 c #Conflicts: 583000 | #Constraints: 26553
401.98/403.05 c #Conflicts: 584000 | #Constraints: 27553
401.98/403.05 c #Conflicts: 585000 | #Constraints: 28553
401.98/403.05 c finalizing WCE round: reformulating cores
760.97/762.97 c #Conflicts: 586000 | #Constraints: 29556
760.97/762.97 c bounds 24458 >= 6135 @ 400.216
760.97/762.97 c #Conflicts: 587000 | #Constraints: 30556
760.97/762.97 c #Conflicts: 588000 | #Constraints: 31556
760.97/762.97 c #Conflicts: 589000 | #Constraints: 32556
760.97/762.97 c #Conflicts: 590000 | #Constraints: 33556
760.97/762.97 c #Conflicts: 591000 | #Constraints: 34556
760.97/762.97 c INPROCESSING
760.97/762.97 c GARBAGE COLLECT
760.97/762.97 c #Conflicts: 592000 | #Constraints: 20389
760.97/762.97 c #Conflicts: 593000 | #Constraints: 21389
760.97/762.97 c #Conflicts: 594000 | #Constraints: 22389
760.97/762.97 c #Conflicts: 595000 | #Constraints: 23389
760.97/762.97 c #Conflicts: 596000 | #Constraints: 24389
760.97/762.97 c #Conflicts: 597000 | #Constraints: 25389
760.97/762.97 c bounds 24458 >= 6740 @ 409.226
760.97/762.97 c #Conflicts: 598000 | #Constraints: 26392
760.97/762.97 c #Conflicts: 599000 | #Constraints: 27392
760.97/762.97 c #Conflicts: 600000 | #Constraints: 28392
760.97/762.97 c #Conflicts: 601000 | #Constraints: 29392
760.97/762.97 c #Conflicts: 602000 | #Constraints: 30392
760.97/762.97 c #Conflicts: 603000 | #Constraints: 31392
760.97/762.97 c #Conflicts: 604000 | #Constraints: 32392
760.97/762.97 c #Conflicts: 605000 | #Constraints: 33392
760.97/762.97 c #Conflicts: 606000 | #Constraints: 34392
760.97/762.97 c #Conflicts: 607000 | #Constraints: 35392
760.97/762.97 c INPROCESSING
760.97/762.97 c GARBAGE COLLECT
760.97/762.97 c #Conflicts: 608000 | #Constraints: 20207
760.97/762.97 c #Conflicts: 609000 | #Constraints: 21207
760.97/762.97 c #Conflicts: 610000 | #Constraints: 22207
760.97/762.97 c #Conflicts: 611000 | #Constraints: 23207
760.97/762.97 c #Conflicts: 612000 | #Constraints: 24207
760.97/762.97 c #Conflicts: 613000 | #Constraints: 25207
760.97/762.97 c #Conflicts: 614000 | #Constraints: 26207
760.97/762.97 c #Conflicts: 615000 | #Constraints: 27207
760.97/762.97 c #Conflicts: 616000 | #Constraints: 28207
760.97/762.97 c #Conflicts: 617000 | #Constraints: 29207
760.97/762.97 c #Conflicts: 618000 | #Constraints: 30207
760.97/762.97 c #Conflicts: 619000 | #Constraints: 31207
760.97/762.97 c #Conflicts: 620000 | #Constraints: 32207
760.97/762.97 c #Conflicts: 621000 | #Constraints: 33207
760.97/762.97 c #Conflicts: 622000 | #Constraints: 34207
760.97/762.97 c #Conflicts: 623000 | #Constraints: 35207
760.97/762.97 c #Conflicts: 624000 | #Constraints: 36207
760.97/762.97 c #Conflicts: 625000 | #Constraints: 37207
760.97/762.97 c #Conflicts: 626000 | #Constraints: 38207
760.97/762.97 c #Conflicts: 627000 | #Constraints: 39207
760.97/762.97 c #Conflicts: 628000 | #Constraints: 40207
760.97/762.97 c #Conflicts: 629000 | #Constraints: 41207
760.97/762.97 c #Conflicts: 630000 | #Constraints: 42207
760.97/762.97 c #Conflicts: 631000 | #Constraints: 43207
760.97/762.97 c #Conflicts: 632000 | #Constraints: 44207
760.97/762.97 c #Conflicts: 633000 | #Constraints: 45207
760.97/762.97 c #Conflicts: 634000 | #Constraints: 46207
760.97/762.97 c #Conflicts: 635000 | #Constraints: 47207
760.97/762.97 c #Conflicts: 636000 | #Constraints: 48207
760.97/762.97 c #Conflicts: 637000 | #Constraints: 49207
760.97/762.97 c #Conflicts: 638000 | #Constraints: 50207
760.97/762.97 c #Conflicts: 639000 | #Constraints: 51207
760.97/762.97 c #Conflicts: 640000 | #Constraints: 52207
760.97/762.97 c #Conflicts: 641000 | #Constraints: 53207
760.97/762.97 c #Conflicts: 642000 | #Constraints: 54207
760.97/762.97 c #Conflicts: 643000 | #Constraints: 55207
760.97/762.97 c #Conflicts: 644000 | #Constraints: 56207
760.97/762.97 c #Conflicts: 645000 | #Constraints: 57207
760.97/762.97 c #Conflicts: 646000 | #Constraints: 58207
760.97/762.97 c #Conflicts: 647000 | #Constraints: 59207
760.97/762.97 c #Conflicts: 648000 | #Constraints: 60207
760.97/762.97 c #Conflicts: 649000 | #Constraints: 61207
760.97/762.97 c #Conflicts: 650000 | #Constraints: 62207
760.97/762.97 c #Conflicts: 651000 | #Constraints: 63207
760.97/762.97 c bounds 24458 >= 7345 @ 728.18
760.97/762.97 c #Conflicts: 652000 | #Constraints: 64210
760.97/762.97 c #Conflicts: 653000 | #Constraints: 65210
760.97/762.97 c #Conflicts: 654000 | #Constraints: 66210
760.97/762.97 c #Conflicts: 655000 | #Constraints: 67210
760.97/762.97 c #Conflicts: 656000 | #Constraints: 68210
760.97/762.97 c #Conflicts: 657000 | #Constraints: 69210
760.97/762.97 c #Conflicts: 658000 | #Constraints: 70210
760.97/762.97 c #Conflicts: 659000 | #Constraints: 71210
760.97/762.97 c #Conflicts: 660000 | #Constraints: 72210
760.97/762.97 c #Conflicts: 661000 | #Constraints: 73210
1267.11/1270.36 c #Conflicts: 662000 | #Constraints: 74210
1267.11/1270.36 c #Conflicts: 663000 | #Constraints: 75210
1267.11/1270.36 c #Conflicts: 664000 | #Constraints: 76210
1267.11/1270.36 c #Conflicts: 665000 | #Constraints: 77210
1267.11/1270.36 c #Conflicts: 666000 | #Constraints: 78210
1267.11/1270.36 c #Conflicts: 667000 | #Constraints: 79210
1267.11/1270.36 c #Conflicts: 668000 | #Constraints: 80210
1267.11/1270.36 c #Conflicts: 669000 | #Constraints: 81210
1267.11/1270.36 c #Conflicts: 670000 | #Constraints: 82210
1267.11/1270.36 c #Conflicts: 671000 | #Constraints: 83210
1267.11/1270.36 c #Conflicts: 672000 | #Constraints: 84210
1267.11/1270.36 c #Conflicts: 673000 | #Constraints: 85210
1267.11/1270.36 c #Conflicts: 674000 | #Constraints: 86210
1267.11/1270.36 c #Conflicts: 675000 | #Constraints: 87210
1267.11/1270.36 c #Conflicts: 676000 | #Constraints: 88210
1267.11/1270.36 c #Conflicts: 677000 | #Constraints: 89210
1267.11/1270.36 c #Conflicts: 678000 | #Constraints: 90210
1267.11/1270.36 c #Conflicts: 679000 | #Constraints: 91210
1267.11/1270.36 c #Conflicts: 680000 | #Constraints: 92210
1267.11/1270.36 c #Conflicts: 681000 | #Constraints: 93210
1267.11/1270.36 c #Conflicts: 682000 | #Constraints: 94210
1267.11/1270.36 c #Conflicts: 683000 | #Constraints: 95210
1267.11/1270.36 c #Conflicts: 684000 | #Constraints: 96210
1267.11/1270.36 c #Conflicts: 685000 | #Constraints: 97210
1267.11/1270.36 c #Conflicts: 686000 | #Constraints: 98210
1267.11/1270.36 c INPROCESSING
1267.11/1270.36 c GARBAGE COLLECT
1267.11/1270.36 c #Conflicts: 687000 | #Constraints: 46402
1267.11/1270.36 c #Conflicts: 688000 | #Constraints: 47402
1267.11/1270.36 c #Conflicts: 689000 | #Constraints: 48402
1267.11/1270.36 c #Conflicts: 690000 | #Constraints: 49402
1267.11/1270.36 c #Conflicts: 691000 | #Constraints: 50402
1267.11/1270.36 c #Conflicts: 692000 | #Constraints: 51402
1267.11/1270.36 c #Conflicts: 693000 | #Constraints: 52402
1267.11/1270.36 c #Conflicts: 694000 | #Constraints: 53402
1267.11/1270.36 c #Conflicts: 695000 | #Constraints: 54402
1267.11/1270.36 c #Conflicts: 696000 | #Constraints: 55402
1267.11/1270.36 c #Conflicts: 697000 | #Constraints: 56402
1267.11/1270.36 c #Conflicts: 698000 | #Constraints: 57402
1267.11/1270.36 c #Conflicts: 699000 | #Constraints: 58402
1267.11/1270.36 c #Conflicts: 700000 | #Constraints: 59402
1267.11/1270.36 c #Conflicts: 701000 | #Constraints: 60402
1267.11/1270.36 c #Conflicts: 702000 | #Constraints: 61402
1267.11/1270.36 c INPROCESSING
1267.11/1270.36 c GARBAGE COLLECT
1267.11/1270.36 c #Conflicts: 703000 | #Constraints: 33669
1267.11/1270.36 c #Conflicts: 704000 | #Constraints: 34669
1267.11/1270.36 c #Conflicts: 705000 | #Constraints: 35669
1267.11/1270.36 c #Conflicts: 706000 | #Constraints: 36669
1267.11/1270.36 c #Conflicts: 707000 | #Constraints: 37669
1267.11/1270.36 c #Conflicts: 708000 | #Constraints: 38669
1267.11/1270.36 c #Conflicts: 709000 | #Constraints: 39669
1267.11/1270.36 c #Conflicts: 710000 | #Constraints: 40669
1267.11/1270.36 c #Conflicts: 711000 | #Constraints: 41669
1267.11/1270.36 c #Conflicts: 712000 | #Constraints: 42669
1267.11/1270.36 c #Conflicts: 713000 | #Constraints: 43669
1267.11/1270.36 c #Conflicts: 714000 | #Constraints: 44669
1267.11/1270.36 c #Conflicts: 715000 | #Constraints: 45669
1267.11/1270.36 c #Conflicts: 716000 | #Constraints: 46669
1267.11/1270.36 c #Conflicts: 717000 | #Constraints: 47669
1267.11/1270.36 c #Conflicts: 718000 | #Constraints: 48669
1267.11/1270.36 c #Conflicts: 719000 | #Constraints: 49669
1267.11/1270.36 c #Conflicts: 720000 | #Constraints: 50669
1267.11/1270.36 c INPROCESSING
1267.11/1270.36 c GARBAGE COLLECT
1267.11/1270.36 c #Conflicts: 721000 | #Constraints: 28749
1267.11/1270.36 c #Conflicts: 722000 | #Constraints: 29749
1267.11/1270.36 c #Conflicts: 723000 | #Constraints: 30749
1267.11/1270.36 c #Conflicts: 724000 | #Constraints: 31749
1267.11/1270.36 c #Conflicts: 725000 | #Constraints: 32749
1267.11/1270.36 c #Conflicts: 726000 | #Constraints: 33749
1267.11/1270.36 c #Conflicts: 727000 | #Constraints: 34749
1267.11/1270.36 c #Conflicts: 728000 | #Constraints: 35749
1267.11/1270.36 c #Conflicts: 729000 | #Constraints: 36749
1267.11/1270.36 c #Conflicts: 730000 | #Constraints: 37749
1267.11/1270.36 c #Conflicts: 731000 | #Constraints: 38749
1267.11/1270.36 c #Conflicts: 732000 | #Constraints: 39749
1267.11/1270.36 c #Conflicts: 733000 | #Constraints: 40749
1267.11/1270.36 c #Conflicts: 734000 | #Constraints: 41749
1267.11/1270.36 c #Conflicts: 735000 | #Constraints: 42749
1267.11/1270.36 c #Conflicts: 736000 | #Constraints: 43749
1267.11/1270.36 c #Conflicts: 737000 | #Constraints: 44749
1267.11/1270.36 c #Conflicts: 738000 | #Constraints: 45749
2092.99/2098.29 c #Conflicts: 739000 | #Constraints: 46749
2092.99/2098.29 c #Conflicts: 740000 | #Constraints: 47749
2092.99/2098.29 c #Conflicts: 741000 | #Constraints: 48749
2092.99/2098.29 c #Conflicts: 742000 | #Constraints: 49749
2092.99/2098.29 c #Conflicts: 743000 | #Constraints: 50749
2092.99/2098.29 c #Conflicts: 744000 | #Constraints: 51749
2092.99/2098.29 c #Conflicts: 745000 | #Constraints: 52749
2092.99/2098.29 c #Conflicts: 746000 | #Constraints: 53749
2092.99/2098.29 c #Conflicts: 747000 | #Constraints: 54749
2092.99/2098.29 c #Conflicts: 748000 | #Constraints: 55749
2092.99/2098.29 c #Conflicts: 749000 | #Constraints: 56749
2092.99/2098.29 c #Conflicts: 750000 | #Constraints: 57749
2092.99/2098.29 c #Conflicts: 751000 | #Constraints: 58749
2092.99/2098.29 c #Conflicts: 752000 | #Constraints: 59749
2092.99/2098.29 c #Conflicts: 753000 | #Constraints: 60749
2092.99/2098.29 c #Conflicts: 754000 | #Constraints: 61749
2092.99/2098.29 c #Conflicts: 755000 | #Constraints: 62749
2092.99/2098.29 c #Conflicts: 756000 | #Constraints: 63749
2092.99/2098.29 c #Conflicts: 757000 | #Constraints: 64749
2092.99/2098.29 c #Conflicts: 758000 | #Constraints: 65749
2092.99/2098.29 c #Conflicts: 759000 | #Constraints: 66749
2092.99/2098.29 c #Conflicts: 760000 | #Constraints: 67749
2092.99/2098.29 c #Conflicts: 761000 | #Constraints: 68749
2092.99/2098.29 c #Conflicts: 762000 | #Constraints: 69749
2092.99/2098.29 c #Conflicts: 763000 | #Constraints: 70749
2092.99/2098.29 c #Conflicts: 764000 | #Constraints: 71749
2092.99/2098.29 c #Conflicts: 765000 | #Constraints: 72749
2092.99/2098.29 c #Conflicts: 766000 | #Constraints: 73749
2092.99/2098.29 c #Conflicts: 767000 | #Constraints: 74749
2092.99/2098.29 c #Conflicts: 768000 | #Constraints: 75749
2092.99/2098.29 c #Conflicts: 769000 | #Constraints: 76749
2092.99/2098.29 c #Conflicts: 770000 | #Constraints: 77749
2092.99/2098.29 c #Conflicts: 771000 | #Constraints: 78749
2092.99/2098.29 c #Conflicts: 772000 | #Constraints: 79749
2092.99/2098.29 c #Conflicts: 773000 | #Constraints: 80749
2092.99/2098.29 c bounds 24458 >= 7950 @ 1876.03
2092.99/2098.29 c #Conflicts: 774000 | #Constraints: 81752
2092.99/2098.29 c #Conflicts: 775000 | #Constraints: 82752
2092.99/2098.29 c #Conflicts: 776000 | #Constraints: 83752
2092.99/2098.29 c #Conflicts: 777000 | #Constraints: 84752
2092.99/2098.29 c #Conflicts: 778000 | #Constraints: 85752
2092.99/2098.29 c #Conflicts: 779000 | #Constraints: 86752
2092.99/2098.29 c #Conflicts: 780000 | #Constraints: 87752
2092.99/2098.29 c #Conflicts: 781000 | #Constraints: 88752
2092.99/2098.29 c #Conflicts: 782000 | #Constraints: 89752
2092.99/2098.29 c #Conflicts: 783000 | #Constraints: 90752
2092.99/2098.29 c #Conflicts: 784000 | #Constraints: 91752
2092.99/2098.29 c #Conflicts: 785000 | #Constraints: 92752
2092.99/2098.29 c #Conflicts: 786000 | #Constraints: 93752
2092.99/2098.29 c #Conflicts: 787000 | #Constraints: 94752
2092.99/2098.29 c #Conflicts: 788000 | #Constraints: 95752
2092.99/2098.29 c #Conflicts: 789000 | #Constraints: 96752
2092.99/2098.29 c #Conflicts: 790000 | #Constraints: 97752
2092.99/2098.29 c #Conflicts: 791000 | #Constraints: 98752
2092.99/2098.29 c #Conflicts: 792000 | #Constraints: 99752
2092.99/2098.29 c #Conflicts: 793000 | #Constraints: 100752
2092.99/2098.29 c #Conflicts: 794000 | #Constraints: 101752
2092.99/2098.29 c #Conflicts: 795000 | #Constraints: 102752
2092.99/2098.29 c #Conflicts: 796000 | #Constraints: 103752
2092.99/2098.29 c #Conflicts: 797000 | #Constraints: 104752
2092.99/2098.29 c #Conflicts: 798000 | #Constraints: 105752
2092.99/2098.29 c #Conflicts: 799000 | #Constraints: 106752
2092.99/2098.29 c #Conflicts: 800000 | #Constraints: 107752
2092.99/2098.29 c #Conflicts: 801000 | #Constraints: 108752
2092.99/2098.29 c #Conflicts: 802000 | #Constraints: 109752
2092.99/2098.29 c #Conflicts: 803000 | #Constraints: 110752
2092.99/2098.29 c INPROCESSING
2092.99/2098.29 c GARBAGE COLLECT
2092.99/2098.29 c #Conflicts: 804000 | #Constraints: 53437
2092.99/2098.29 c #Conflicts: 805000 | #Constraints: 54437
2092.99/2098.29 c #Conflicts: 806000 | #Constraints: 55437
2092.99/2098.29 c #Conflicts: 807000 | #Constraints: 56437
2092.99/2098.29 c #Conflicts: 808000 | #Constraints: 57437
2092.99/2098.29 c #Conflicts: 809000 | #Constraints: 58437
2092.99/2098.29 c #Conflicts: 810000 | #Constraints: 59437
2092.99/2098.29 c #Conflicts: 811000 | #Constraints: 60437
2092.99/2098.29 c #Conflicts: 812000 | #Constraints: 61437
2092.99/2098.29 c #Conflicts: 813000 | #Constraints: 62437
2092.99/2098.29 c #Conflicts: 814000 | #Constraints: 63437
2092.99/2098.29 c #Conflicts: 815000 | #Constraints: 64437
2646.07/2652.60 c #Conflicts: 816000 | #Constraints: 65437
2646.07/2652.60 c #Conflicts: 817000 | #Constraints: 66437
2646.07/2652.60 c #Conflicts: 818000 | #Constraints: 67437
2646.07/2652.60 c #Conflicts: 819000 | #Constraints: 68437
2646.07/2652.60 c #Conflicts: 820000 | #Constraints: 69437
2646.07/2652.60 c #Conflicts: 821000 | #Constraints: 70437
2646.07/2652.60 c INPROCESSING
2646.07/2652.60 c GARBAGE COLLECT
2646.07/2652.60 c #Conflicts: 822000 | #Constraints: 38418
2646.07/2652.60 c #Conflicts: 823000 | #Constraints: 39418
2646.07/2652.60 c #Conflicts: 824000 | #Constraints: 40418
2646.07/2652.60 c #Conflicts: 825000 | #Constraints: 41418
2646.07/2652.60 c #Conflicts: 826000 | #Constraints: 42418
2646.07/2652.60 c #Conflicts: 827000 | #Constraints: 43418
2646.07/2652.60 c #Conflicts: 828000 | #Constraints: 44418
2646.07/2652.60 c #Conflicts: 829000 | #Constraints: 45418
2646.07/2652.60 c #Conflicts: 830000 | #Constraints: 46418
2646.07/2652.60 c #Conflicts: 831000 | #Constraints: 47418
2646.07/2652.60 c #Conflicts: 832000 | #Constraints: 48418
2646.07/2652.60 c #Conflicts: 833000 | #Constraints: 49418
2646.07/2652.60 c #Conflicts: 834000 | #Constraints: 50418
2646.07/2652.60 c #Conflicts: 835000 | #Constraints: 51418
2646.07/2652.60 c #Conflicts: 836000 | #Constraints: 52418
2646.07/2652.60 c #Conflicts: 837000 | #Constraints: 53418
2646.07/2652.60 c #Conflicts: 838000 | #Constraints: 54418
2646.07/2652.60 c #Conflicts: 839000 | #Constraints: 55418
2646.07/2652.60 c #Conflicts: 840000 | #Constraints: 56418
2646.07/2652.60 c INPROCESSING
2646.07/2652.60 c GARBAGE COLLECT
2646.07/2652.60 c #Conflicts: 841000 | #Constraints: 31629
2646.07/2652.60 c #Conflicts: 842000 | #Constraints: 32629
2646.07/2652.60 c #Conflicts: 843000 | #Constraints: 33629
2646.07/2652.60 c #Conflicts: 844000 | #Constraints: 34629
2646.07/2652.60 c #Conflicts: 845000 | #Constraints: 35629
2646.07/2652.60 c #Conflicts: 846000 | #Constraints: 36629
2646.07/2652.60 c #Conflicts: 847000 | #Constraints: 37629
2646.07/2652.60 c #Conflicts: 848000 | #Constraints: 38629
2646.07/2652.60 c #Conflicts: 849000 | #Constraints: 39629
2646.07/2652.60 c #Conflicts: 850000 | #Constraints: 40629
2646.07/2652.60 c #Conflicts: 851000 | #Constraints: 41629
2646.07/2652.60 c #Conflicts: 852000 | #Constraints: 42629
2646.07/2652.60 c #Conflicts: 853000 | #Constraints: 43629
2646.07/2652.60 c #Conflicts: 854000 | #Constraints: 44629
2646.07/2652.60 c #Conflicts: 855000 | #Constraints: 45629
2646.07/2652.60 c #Conflicts: 856000 | #Constraints: 46629
2646.07/2652.60 c #Conflicts: 857000 | #Constraints: 47629
2646.07/2652.60 c #Conflicts: 858000 | #Constraints: 48629
2646.07/2652.60 c #Conflicts: 859000 | #Constraints: 49629
2646.07/2652.60 c #Conflicts: 860000 | #Constraints: 50629
2646.07/2652.60 c #Conflicts: 861000 | #Constraints: 51629
2646.07/2652.60 c #Conflicts: 862000 | #Constraints: 52629
2646.07/2652.60 c #Conflicts: 863000 | #Constraints: 53629
2646.07/2652.60 c #Conflicts: 864000 | #Constraints: 54629
2646.07/2652.60 c #Conflicts: 865000 | #Constraints: 55629
2646.07/2652.60 c #Conflicts: 866000 | #Constraints: 56629
2646.07/2652.60 c #Conflicts: 867000 | #Constraints: 57629
2646.07/2652.60 c #Conflicts: 868000 | #Constraints: 58629
2646.07/2652.60 c #Conflicts: 869000 | #Constraints: 59629
2646.07/2652.60 c #Conflicts: 870000 | #Constraints: 60629
2646.07/2652.60 c #Conflicts: 871000 | #Constraints: 61629
2646.07/2652.60 c #Conflicts: 872000 | #Constraints: 62629
2646.07/2652.60 c #Conflicts: 873000 | #Constraints: 63629
2646.07/2652.60 c #Conflicts: 874000 | #Constraints: 64629
2646.07/2652.60 c #Conflicts: 875000 | #Constraints: 65629
2646.07/2652.60 c #Conflicts: 876000 | #Constraints: 66629
2646.07/2652.60 c #Conflicts: 877000 | #Constraints: 67629
2646.07/2652.60 c #Conflicts: 878000 | #Constraints: 68629
2646.07/2652.60 c #Conflicts: 879000 | #Constraints: 69629
2646.07/2652.60 c #Conflicts: 880000 | #Constraints: 70629
2646.07/2652.60 c #Conflicts: 881000 | #Constraints: 71629
2646.07/2652.60 c #Conflicts: 882000 | #Constraints: 72629
2646.07/2652.60 c #Conflicts: 883000 | #Constraints: 73629
2646.07/2652.60 c #Conflicts: 884000 | #Constraints: 74629
2646.07/2652.60 c #Conflicts: 885000 | #Constraints: 75629
2646.07/2652.60 c #Conflicts: 886000 | #Constraints: 76629
2646.07/2652.60 c #Conflicts: 887000 | #Constraints: 77629
2646.07/2652.60 c #Conflicts: 888000 | #Constraints: 78629
2646.07/2652.60 c #Conflicts: 889000 | #Constraints: 79629
2646.07/2652.60 c #Conflicts: 890000 | #Constraints: 80629
2646.07/2652.60 c #Conflicts: 891000 | #Constraints: 81629
2646.07/2652.60 c #Conflicts: 892000 | #Constraints: 82629
2646.07/2652.60 c #Conflicts: 893000 | #Constraints: 83629
3600.03/3609.30 c #Conflicts: 894000 | #Constraints: 84629
3600.03/3609.30 c #Conflicts: 895000 | #Constraints: 85629
3600.03/3609.30 c #Conflicts: 896000 | #Constraints: 86629
3600.03/3609.30 c #Conflicts: 897000 | #Constraints: 87629
3600.03/3609.30 c #Conflicts: 898000 | #Constraints: 88629
3600.03/3609.30 c #Conflicts: 899000 | #Constraints: 89629
3600.03/3609.30 c #Conflicts: 900000 | #Constraints: 90629
3600.03/3609.30 c #Conflicts: 901000 | #Constraints: 91629
3600.03/3609.30 c #Conflicts: 902000 | #Constraints: 92629
3600.03/3609.30 c #Conflicts: 903000 | #Constraints: 93629
3600.03/3609.30 c #Conflicts: 904000 | #Constraints: 94629
3600.03/3609.30 c #Conflicts: 905000 | #Constraints: 95629
3600.03/3609.30 c #Conflicts: 906000 | #Constraints: 96629
3600.03/3609.30 c #Conflicts: 907000 | #Constraints: 97629
3600.03/3609.30 c #Conflicts: 908000 | #Constraints: 98629
3600.03/3609.30 c #Conflicts: 909000 | #Constraints: 99629
3600.03/3609.30 c #Conflicts: 910000 | #Constraints: 100629
3600.03/3609.30 c #Conflicts: 911000 | #Constraints: 101629
3600.03/3609.30 c #Conflicts: 912000 | #Constraints: 102629
3600.03/3609.30 c #Conflicts: 913000 | #Constraints: 103629
3600.03/3609.30 c #Conflicts: 914000 | #Constraints: 104629
3600.03/3609.30 c #Conflicts: 915000 | #Constraints: 105629
3600.03/3609.30 c #Conflicts: 916000 | #Constraints: 106629
3600.03/3609.30 c #Conflicts: 917000 | #Constraints: 107629
3600.03/3609.30 c #Conflicts: 918000 | #Constraints: 108629
3600.03/3609.30 c #Conflicts: 919000 | #Constraints: 109629
3600.03/3609.30 c #Conflicts: 920000 | #Constraints: 110629
3600.03/3609.30 c #Conflicts: 921000 | #Constraints: 111629
3600.03/3609.30 c #Conflicts: 922000 | #Constraints: 112629
3600.03/3609.30 c #Conflicts: 923000 | #Constraints: 113629
3600.03/3609.30 c #Conflicts: 924000 | #Constraints: 114629
3600.03/3609.30 c #Conflicts: 925000 | #Constraints: 115629
3600.03/3609.30 c #Conflicts: 926000 | #Constraints: 116629
3600.03/3609.30 c #Conflicts: 927000 | #Constraints: 117629
3600.03/3609.30 c INPROCESSING
3600.03/3609.30 c GARBAGE COLLECT
3600.03/3609.30 c #Conflicts: 928000 | #Constraints: 62115
3600.03/3609.30 c #Conflicts: 929000 | #Constraints: 63115
3600.03/3609.30 c #Conflicts: 930000 | #Constraints: 64115
3600.03/3609.30 c #Conflicts: 931000 | #Constraints: 65115
3600.03/3609.30 c #Conflicts: 932000 | #Constraints: 66115
3600.03/3609.30 c #Conflicts: 933000 | #Constraints: 67115
3600.03/3609.30 c #Conflicts: 934000 | #Constraints: 68115
3600.03/3609.30 c #Conflicts: 935000 | #Constraints: 69115
3600.03/3609.30 c #Conflicts: 936000 | #Constraints: 70115
3600.03/3609.30 c #Conflicts: 937000 | #Constraints: 71115
3600.03/3609.30 c #Conflicts: 938000 | #Constraints: 72115
3600.03/3609.30 c Program interrupted by user.
3600.03/3609.30 c cpu time 3593.23 s
3600.03/3609.30 c deterministic time 326874262259 3.27e+11
3600.03/3609.30 c optimization time 160.739 s
3600.03/3609.30 c total solve time 3133.3 s
3600.03/3609.30 c core-guided solve time 3133.3 s
3600.03/3609.30 c propagation time 3036.35 s
3600.03/3609.30 c conflict analysis time 245.553 s
3600.03/3609.30 c propagations 77049525
3600.03/3609.30 c resolve steps 15617310
3600.03/3609.30 c decisions 3508086
3600.03/3609.30 c conflicts 938025
3600.03/3609.30 c restarts 2043
3600.03/3609.30 c inprocessing phases 76
3600.03/3609.30 c input clauses 2682
3600.03/3609.30 c input cardinalities 268
3600.03/3609.30 c input general constraints 1719
3600.03/3609.30 c input average constraint length 5.64
3600.03/3609.30 c input average constraint degree 278.58
3600.03/3609.30 c learned clauses 567713
3600.03/3609.30 c learned cardinalities 9365
3600.03/3609.30 c learned general constraints 360947
3600.03/3609.30 c learned average constraint length 100.11
3600.03/3609.30 c learned average constraint degree 1128741.93
3600.03/3609.30 c watched constraints 305906
3600.03/3609.30 c counting constraints 56760
3600.03/3609.30 c gcd simplifications 51850
3600.03/3609.30 c detected cardinalities 28
3600.03/3609.30 c weakened non-implied lits 21547845
3600.03/3609.30 c weakened non-implying lits 161357
3600.03/3609.30 c original variables 540
3600.03/3609.30 c clausal propagations 28597667
3600.03/3609.30 c cardinality propagations 28141109
3600.03/3609.30 c watched propagations 7097793
3600.03/3609.30 c counting propagations 12513665
3600.03/3609.30 c watch lookups 48604140842
3600.03/3609.30 c watch backjump lookups 42297989636
3600.03/3609.30 c watch checks 221867403121
3600.03/3609.30 c propagation checks 13562780888
3600.03/3609.30 c constraint additions 379894581
3600.03/3609.30 c trail pops 81495579
3600.03/3609.30 c formula constraints 4626
3600.03/3609.30 c learned constraints 938025
3600.03/3609.30 c bound constraints 23
3600.03/3609.30 c core-guided constraints 20
3600.03/3609.30 c encountered formula constraints 8961619
3600.03/3609.30 c encountered learned constraints 7559600
3600.03/3609.30 c encountered bound constraints 10787
3600.03/3609.30 c encountered core-guided constraints 23329
3600.03/3609.30 c LP total time 0 s
3600.03/3609.30 c LP solve time 0 s
3600.03/3609.30 c LP constraints added 0
3600.03/3609.30 c LP constraints removed 0
3600.03/3609.30 c LP pivots internal 0
3600.03/3609.30 c LP pivots root 0
3600.03/3609.30 c LP calls 0
3600.03/3609.30 c LP optimalities 0
3600.03/3609.30 c LP no pivot count 0
3600.03/3609.30 c LP infeasibilities 0
3600.03/3609.30 c LP valid Farkas constraints 0
3600.03/3609.30 c LP learned Farkas constraints 0
3600.03/3609.30 c LP basis resets 0
3600.03/3609.30 c LP cycling count 0
3600.03/3609.30 c LP singular count 0
3600.03/3609.30 c LP no primal count 0
3600.03/3609.30 c LP no farkas count 0
3600.03/3609.30 c LP other issue count 0
3600.03/3609.30 c LP Gomory cuts 0
3600.03/3609.30 c LP learned cuts 0
3600.03/3609.30 c LP deleted cuts 0
3600.03/3609.30 c LP encountered Gomory constraints 0
3600.03/3609.30 c LP encountered Farkas constraints 0
3600.03/3609.30 c LP encountered learned Farkas constraints 0
3600.03/3609.30 c CG auxiliary variables introduced 10
3600.03/3609.30 c CG solutions found 11
3600.03/3609.30 c CG cores constructed 10
3600.03/3609.30 c CG core cardinality constraints returned 0
3600.03/3609.30 c CG unit cores 3
3600.03/3609.30 c CG single cores 7
3600.03/3609.30 c CG blocks removed during cardinality reduction 0
3600.03/3609.30 c CG first core best 0
3600.03/3609.30 c CG decision core best 0
3600.03/3609.30 c CG core reduction tie 0
3600.03/3609.30 c CG core degree average 1.00
3600.03/3609.30 c CG core slack average 12.71
3600.03/3609.30 c CG exhausted 0
3600.03/3609.30 c CG exhaust time 0.712886 s
3600.03/3609.30 c CG trimmed 0
3600.03/3609.30 c CG trim time 0.000227 s
3600.03/3609.30 c CG minimized 0
3600.03/3609.30 c CG minimize time 0 s
3600.03/3609.30 c CG am1 prop time 0.000281 s
3600.03/3609.30 c CG # am1s reformulated 0
3600.03/3609.30 c CG lower bound derived from am1s 0
3600.03/3609.30 c CG # clausal cores 7
3600.03/3609.30 c CG # cardinality cores 0
3600.03/3609.30 c CG # pb cores 0
3600.03/3609.30 c CG # pb reforms 6
3600.03/3609.30 c CG # cores discarded because of pb reform 0
3600.03/3609.30 d LOWERBOUND 7950
3600.03/3609.30 d NCORES 10
3600.03/3609.30 d NPBCORES 0
3600.03/3609.30 d NPBREFORM 6
3600.03/3609.30 d NTRIMMED 0
3600.03/3609.30 d NEXHAUSTED 0
3600.03/3609.30 d NAM1S 0
3600.03/3609.30 d AM1LB 0
3600.03/3609.30 c [STEP] postprocessing with Papilo
3600.03/3609.30 o 24458
3600.03/3609.30 s SATISFIABLE
3600.03/3609.30 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 (61539 MiB free)
memory of node 1: 64510 MiB (63591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435439-1721075675/watcher-4435439-1721075675 -o /tmp/evaluation-result-4435439-1721075675/solver-4435439-1721075675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807106 --watchdog 3760 mixed-bag HOME/instance-4435439-1721075675.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=809167, runsolver pid=809163
[startup+0.100094 s]*
/proc/loadavg: 4.17 4.10 4.09 5/239 809171
/proc/meminfo: memFree=128094360/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=102488 memory=35148 CPUtime=0.1 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 6012 0 0 0 9 1 0 0 20 0 1 0 159727095 104947712 8787 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 25622 8787 3794 3002 0 9373 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 102488 KiB
Current children cumulated memory: 35148 KiB
[startup+0.214 s]*
/proc/loadavg: 4.17 4.10 4.09 4/243 809181
/proc/meminfo: memFree=128402944/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=113616 memory=46056 CPUtime=0.21 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 8593 0 0 0 20 1 0 0 20 0 1 0 159727095 116342784 11514 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 28404 11514 4000 3002 0 12155 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 113616 KiB
Current children cumulated memory: 46056 KiB
[startup+0.31382 s]*
/proc/loadavg: 4.17 4.10 4.09 4/242 809195
/proc/meminfo: memFree=128400224/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=113776 memory=46320 CPUtime=0.31 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 8641 0 0 0 30 1 0 0 20 0 1 0 159727095 116506624 11580 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 28444 11580 4000 3002 0 12195 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 113776 KiB
Current children cumulated memory: 46320 KiB
[startup+0.700328 s]
/proc/loadavg: 4.17 4.10 4.09 3/236 809227
/proc/meminfo: memFree=128438048/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=113776 memory=46320 CPUtime=0.68 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 8644 0 0 0 67 1 0 0 20 0 1 0 159727095 116506624 11580 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 28444 11580 4000 3002 0 12195 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113776 KiB
Current children cumulated memory: 46320 KiB
[startup+1.50029 s]
/proc/loadavg: 4.17 4.10 4.09 5/245 809274
/proc/meminfo: memFree=128193128/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=136944 memory=67776 CPUtime=1.49 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 14631 0 0 0 146 3 0 0 20 0 1 0 159727095 140230656 16944 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 34236 16944 4011 3002 0 17987 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 136944 KiB
Current children cumulated memory: 67776 KiB
[startup+3.11448 s]
/proc/loadavg: 4.17 4.10 4.09 5/245 809274
/proc/meminfo: memFree=127776440/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=170676 memory=96636 CPUtime=3.09 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 22513 0 0 0 305 4 0 0 20 0 1 0 159727095 174772224 24159 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 42669 24159 4011 3002 0 26420 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 170676 KiB
Current children cumulated memory: 96636 KiB
[startup+6.30031 s]
/proc/loadavg: 4.16 4.10 4.09 5/245 809274
/proc/meminfo: memFree=127638512/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=183260 memory=109304 CPUtime=6.26 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 25431 0 0 0 622 4 0 0 20 0 1 0 159727095 187658240 27326 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 45815 27326 4011 3002 0 29566 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 183260 KiB
Current children cumulated memory: 109304 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.12 4.10 5/245 809276
/proc/meminfo: memFree=127570700/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=188588 memory=115052 CPUtime=12.65 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 26855 0 0 0 1260 5 0 0 20 0 1 0 159727095 193114112 28763 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 47147 28763 4011 3002 0 30898 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 188588 KiB
Current children cumulated memory: 115052 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.11 4.10 5/245 809278
/proc/meminfo: memFree=127477092/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=247548 memory=166072 CPUtime=25.41 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 39404 0 0 0 2534 7 0 0 20 0 1 0 159727095 253489152 41518 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 61887 41518 4011 3002 0 45638 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 247548 KiB
Current children cumulated memory: 166072 KiB
[startup+51.1142 s]
/proc/loadavg: 4.19 4.12 4.10 5/242 809283
/proc/meminfo: memFree=127375720/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=262416 memory=185636 CPUtime=50.94 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 43294 0 0 0 5087 7 0 0 20 0 1 0 159727095 268713984 46409 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 65604 46409 4011 3002 0 49355 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 262416 KiB
Current children cumulated memory: 185636 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/242 809293
/proc/meminfo: memFree=127210348/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=262984 memory=197632 CPUtime=102 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 43568 0 0 0 10193 7 0 0 20 0 1 0 159727095 269295616 49408 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 65746 49408 4011 3002 0 49497 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 262984 KiB
Current children cumulated memory: 197632 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 809303
/proc/meminfo: memFree=127087248/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=277528 memory=214720 CPUtime=161.85 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 46737 0 0 0 16177 8 0 0 20 0 1 0 159727095 284188672 53680 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 69382 53680 4143 3002 0 53133 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 277528 KiB
Current children cumulated memory: 214720 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 809313
/proc/meminfo: memFree=126979072/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=303272 memory=235812 CPUtime=221.7 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 52097 0 0 0 22161 9 0 0 20 0 1 0 159727095 310550528 58953 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 75818 58953 4143 3002 0 59569 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 303272 KiB
Current children cumulated memory: 235812 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 809324
/proc/meminfo: memFree=126880732/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=326724 memory=250120 CPUtime=281.54 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 55780 0 0 0 28145 9 0 0 20 0 1 0 159727095 334565376 62530 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 81681 62530 4143 3002 0 65432 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 326724 KiB
Current children cumulated memory: 250120 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 809334
/proc/meminfo: memFree=126971620/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=298324 memory=235604 CPUtime=341.41 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 56421 0 0 0 34042 99 0 0 20 0 1 0 159727095 305483776 58901 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 74581 58901 4302 3002 0 58332 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 298324 KiB
Current children cumulated memory: 235604 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/244 809348
/proc/meminfo: memFree=126927896/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=302744 memory=240388 CPUtime=401.27 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 57094 0 0 0 39936 191 0 0 20 0 1 0 159727095 310009856 60097 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 75686 60097 4302 3002 0 59437 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 302744 KiB
Current children cumulated memory: 240388 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/244 809359
/proc/meminfo: memFree=126900472/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=309924 memory=246820 CPUtime=461.13 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 57747 0 0 0 45879 234 0 0 20 0 1 0 159727095 317362176 61705 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 77481 61705 4302 3002 0 61232 0
################
# More data... #
################
Current children cumulated memory: 313428 KiB
[startup+2922.3 s]
/proc/loadavg: 4.49 4.29 4.21 5/244 810371
/proc/meminfo: memFree=125983504/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=371388 memory=313428 CPUtime=2915.03 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 61873 0 0 0 290877 626 0 0 20 0 1 0 159727095 380301312 78357 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 92847 78357 4302 3002 0 76598 0
Current children cumulated CPU time: 2915.03 s
Current children cumulated vsize: 371388 KiB
Current children cumulated memory: 313428 KiB
[startup+2982.3 s]
/proc/loadavg: 4.29 4.27 4.20 5/243 810382
/proc/meminfo: memFree=125979220/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=371388 memory=315476 CPUtime=2974.86 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 61968 0 0 0 296856 630 0 0 20 0 1 0 159727095 380301312 78869 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 92847 78869 4302 3002 0 76598 0
Current children cumulated CPU time: 2974.86 s
Current children cumulated vsize: 371388 KiB
Current children cumulated memory: 315476 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.22 4.19 5/243 810392
/proc/meminfo: memFree=125963012/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=316764 CPUtime=3034.7 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 62414 0 0 0 302836 634 0 0 20 0 1 0 159727095 431591424 79191 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 79191 4302 3002 0 89120 0
Current children cumulated CPU time: 3034.7 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 316764 KiB
[startup+3102.3 s]
/proc/loadavg: 4.26 4.24 4.19 5/242 810786
/proc/meminfo: memFree=125944540/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=320688 CPUtime=3094.52 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 62934 0 0 0 308813 639 0 0 20 0 1 0 159727095 431591424 80172 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 80172 4302 3002 0 89120 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 320688 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/242 810796
/proc/meminfo: memFree=125944336/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=320776 CPUtime=3154.35 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 62993 0 0 0 314791 644 0 0 20 0 1 0 159727095 431591424 80194 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 80194 4302 3002 0 89120 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 320776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/242 810806
/proc/meminfo: memFree=125943636/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=322824 CPUtime=3214.18 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63055 0 0 0 320769 649 0 0 20 0 1 0 159727095 431591424 80706 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 80706 4302 3002 0 89120 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 322824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/244 810987
/proc/meminfo: memFree=125941276/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=324872 CPUtime=3274 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63119 0 0 0 326747 653 0 0 20 0 1 0 159727095 431591424 81218 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 81218 4302 3002 0 89120 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 324872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/247 811056
/proc/meminfo: memFree=125938280/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=326920 CPUtime=3333.83 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63184 0 0 0 332726 657 0 0 20 0 1 0 159727095 431591424 81730 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 81730 4302 3002 0 89120 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 326920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/247 811066
/proc/meminfo: memFree=125936540/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=328968 CPUtime=3393.65 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63251 0 0 0 338704 661 0 0 20 0 1 0 159727095 431591424 82242 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 82242 4302 3002 0 89120 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 328968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/249 811081
/proc/meminfo: memFree=125934024/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=331016 CPUtime=3453.47 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63321 0 0 0 344682 665 0 0 20 0 1 0 159727095 431591424 82754 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 82754 4302 3002 0 89120 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 331016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/249 811091
/proc/meminfo: memFree=125933820/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=331016 CPUtime=3513.29 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63383 0 0 0 350656 673 0 0 20 0 1 0 159727095 431591424 82754 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 82754 4302 3002 0 89120 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 331016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.62 4.30 4.22 5/247 811102
/proc/meminfo: memFree=125927364/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=331016 CPUtime=3573.11 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63507 0 0 0 356633 678 0 0 20 0 1 0 159727095 431591424 82754 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 82754 4302 3002 0 89120 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 331016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.75 4.36 4.24 5/247 811106
/proc/meminfo: memFree=125923252/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=331016 CPUtime=3600.03 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63569 0 0 0 359322 681 0 0 20 0 1 0 159727095 431591424 82754 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 82754 4302 3002 0 89120 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 331016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 809167 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.23 s, system=6.81386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.75 4.36 4.24 5/247 811106
/proc/meminfo: memFree=125923252/131655788 swapFree=131071996/131071996
[pid=809167] ppid=809163 vsize=421476 memory=331016 CPUtime=3600.03 cores=4,6
/proc/809167/stat : 809167 (mixed-bag) R 809163 809167 807095 0 -1 4194304 63569 0 0 0 359322 681 0 0 20 0 1 0 159727095 431591424 82754 134679101440 4194304 16487941 140729081326848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37900288 140729081332759 140729081332836 140729081332836 140729081339851 0
/proc/809167/statm: 105369 82754 4302 3002 0 89120 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 421476 KiB
Current children cumulated memory: 331016 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.05
CPU user time (s): 3593.23
CPU system time (s): 6.81386
CPU usage (%): 99.7434
Max. virtual memory (cumulated for all children) (KiB): 421476
Max. memory (cumulated for all children) (KiB): 331016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.23
system time used= 6.81386
maximum resident set size= 331544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63586
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= 61
involuntary context switches= 1424
# summary of solver processes directly reported to runsolver:
# pid: 809167
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.23
# total CPU system time (s): 6.81386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6737 second user time and 35.5245 second system time
The end
Begin job on nodeC009 at 2024-07-15 22:34:47
IDJOB=4435439
IDBENCH=147022
IDSOLVER=3066
FILE ID=nodeC009/4435439-1721075675
RUNJOBID= nodeC009-1721072075-807106
SLURM_JOB_ID= 7505538
Free space on /tmp= 723716 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435439-1721075675/watcher-4435439-1721075675 -o /tmp/evaluation-result-4435439-1721075675/solver-4435439-1721075675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807106 --watchdog 3760 mixed-bag HOME/instance-4435439-1721075675.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=940295985
nodeC009.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 : 3507.595
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 : 6984.34
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 : 3292.619
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.27
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.502
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 : 6984.34
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.323
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.27
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 : 3493.422
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 : 6984.34
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 : 3492.473
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.27
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.316
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 : 6984.34
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.608
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128134664 kB
MemAvailable: 129571768 kB
Buffers: 377592 kB
Cached: 1887964 kB
SwapCached: 0 kB
Active: 621772 kB
Inactive: 2347040 kB
Active(anon): 1428 kB
Inactive(anon): 739540 kB
Active(file): 620344 kB
Inactive(file): 1607500 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32656 kB
Writeback: 0 kB
AnonPages: 703328 kB
Mapped: 126936 kB
Shmem: 37700 kB
KReclaimable: 98580 kB
Slab: 195508 kB
SReclaimable: 98580 kB
SUnreclaim: 96928 kB
KernelStack: 3824 kB
PageTables: 10428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1227972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 466944 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723700 MiB
End job on nodeC009 at 2024-07-15 23:34:56