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