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