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