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