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