(1,14) (2,15) (3,25) (4,21) (5,8) (6,26) (7,20) (9,29) (10,13) (11,19) (12,27) (16,24) (17,22) (18,23) (28,30) 
nodes: 86335  conflicts: 35  modelTime: 1707  solveTime: 443192  totalTime: 444918  modelSize: 72264  readTime: 19 size: 15