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