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