(1,22) (2,30) (3,26) (4,23) (5,20) (6,27) (7,28) (8,16) (9,17) (10,25) (11,21) (12,24) (13,29) (14,19) (15,18) 
nodes: 1124  conflicts: 0  modelTime: 1149  solveTime: 1319  totalTime: 2475  modelSize: 41293  readTime: 7 size: 15