(1,22) (3,16) (4,25) (5,20) (6,17) (7,26) (8,24) (9,23) (10,19) (11,27) (12,28) (13,30) (14,29) (15,21) 
nodes: 1468  conflicts: 39  modelTime: 660  solveTime: 2154  totalTime: 2820  modelSize: 41299  readTime: 6 size: 14