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