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