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