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