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