(1,17) (2,14) (3,27) (4,13) (5,22) (6,19) (7,23) (8,20) (9,11) (10,18) (12,25) (15,29) (16,26) (21,24) (28,30) 
nodes: 18774  conflicts: 39  modelTime: 1724  solveTime: 84991  totalTime: 86734  modelSize: 72268  readTime: 19 size: 15