(1,11) (2,15) (3,8) (4,7) (5,14) (6,12) (9,13) (10,16) (17,21) (18,20) (19,27) (22,23) (24,29) (25,28) (26,30) 
nodes: 1854209  conflicts: 33  modelTime: 1721  solveTime: 9819784  totalTime: 9821522  modelSize: 72285  readTime: 17 size: 15