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