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