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