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