(1,18) (2,12) (3,16) (4,7) (5,21) (6,26) (8,9) (10,22) (11,30) (13,27) (14,28) (15,20) (17,25) (19,24) (23,29) 
nodes: 115483  conflicts: 20  modelTime: 1701  solveTime: 515099  totalTime: 516818  modelSize: 72264  readTime: 18 size: 15