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