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