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