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