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