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