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