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