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