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