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