(1,21) (2,13) (3,20) (4,24) (5,30) (6,10) (7,23) (8,17) (9,28) (11,18) (12,27) (14,29) (15,22) (16,26) (19,25) 
nodes: 601457  conflicts: 33  modelTime: 942  solveTime: 2804551  totalTime: 2805504  modelSize: 72275  readTime: 11 size: 15