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