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