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