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