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