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