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