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