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