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