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