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