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