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