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