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