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