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