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