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