(1,17) (2,20) (3,22) (4,7) (5,27) (6,15) (8,21) (9,16) (10,19) (11,23) (12,25) (13,14) (18,26) (24,30) (28,29) 
nodes: 11594  conflicts: 42  modelTime: 1717  solveTime: 49070  totalTime: 50806  modelSize: 72266  readTime: 19 size: 15