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