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