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