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