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