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