(1,4) (2,15) (3,12) (5,19) (6,28) (7,17) (8,14) (9,23) (10,13) (16,29) (20,24) (21,27) (22,26) (25,30) 
nodes: 12316  conflicts: 66  modelTime: 940  solveTime: 37796  totalTime: 38747  modelSize: 72262  readTime: 11 size: 14