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