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