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