(1,9) (2,17) (3,10) (4,20) (6,13) (7,19) (8,22) (11,21) (12,18) (14,30) (15,25) (16,23) (24,26) (27,29) 
nodes: 14114  conflicts: 33  modelTime: 926  solveTime: 33510  totalTime: 34447  modelSize: 72264  readTime: 11 size: 14