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