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