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