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