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