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