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