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