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