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