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