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