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