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