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