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