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