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