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