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