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