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