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