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