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