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