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