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