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