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