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