(1,25) (2,18) (3,13) (4,14) (5,9) (6,30) (7,10) (8,17) (11,12) (16,21) (19,28) (20,22) (23,26) (24,29) 
nodes: 118308  conflicts: 48  modelTime: 1228  solveTime: 464368  totalTime: 465615  modelSize: 72264  readTime: 19 size: 14