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