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