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