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