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