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