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