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