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