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