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