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