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