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