(1,22) (2,27) (3,16) (4,23) (5,21) (6,19) (7,26) (8,25) (10,28) (11,24) (12,29) (13,30) (14,20) (15,18) 
nodes: 10068  conflicts: 15  modelTime: 1210  solveTime: 34200  totalTime: 35420  modelSize: 41293  readTime: 10 size: 14