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