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