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