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