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