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