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