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