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