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