(1,6) (2,11) (3,16) (4,30) (5,9) (7,22) (8,29) (10,28) (12,25) (13,21) (15,26) (17,23) (18,24) (19,27) 
nodes: 182065  conflicts: 33  modelTime: 1182  solveTime: 791649  totalTime: 792850  modelSize: 72268  readTime: 19 size: 14