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