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