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