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