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