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