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