(1,16) (2,5) (3,11) (4,14) (6,15) (7,30) (9,13) (10,29) (12,21) (17,24) (18,25) (23,28) (26,27) 
nodes: 1682  conflicts: 64  modelTime: 1107  solveTime: 7112  totalTime: 8239  modelSize: 72262  readTime: 20 size: 13