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