(1,5) (2,13) (3,24) (4,20) (7,23) (9,15) (10,28) (11,14) (16,18) (19,30) (21,27) (22,29) (25,26) 
nodes: 2391  conflicts: 108  modelTime: 968  solveTime: 6573  totalTime: 7552  modelSize: 72262  readTime: 11 size: 13