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