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