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