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