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