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