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