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