(1,26) (3,28) (4,24) (5,30) (6,16) (7,20) (8,21) (9,29) (10,18) (11,23) (12,27) (13,19) (14,22) (15,17) 
nodes: 5460  conflicts: 26  modelTime: 661  solveTime: 9992  totalTime: 10659  modelSize: 41293  readTime: 6 size: 14