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