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