(1,5) (2,26) (3,12) (4,13) (6,11) (7,19) (8,15) (9,24) (10,29) (14,17) (16,18) (20,21) (22,28) (23,27) (25,30) 
nodes: 58645  conflicts: 6  modelTime: 943  solveTime: 300433  totalTime: 301421  modelSize: 72267  readTime: 45 size: 15