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