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