(1,28) (2,20) (3,19) (4,17) (5,24) (6,18) (7,26) (8,29) (9,25) (10,21) (13,30) (14,23) (15,16) 
nodes: 1688  conflicts: 26  modelTime: 657  solveTime: 3133  totalTime: 3797  modelSize: 41298  readTime: 7 size: 13