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