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