(1,3) (2,7) (4,10) (5,28) (6,12) (8,14) (9,22) (11,29) (13,15) (16,21) (17,19) (18,30) (20,24) (23,26) (25,27) 
nodes: 13413  conflicts: 5  modelTime: 940  solveTime: 61043  totalTime: 61992  modelSize: 72264  readTime: 9 size: 15