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