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