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