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