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