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