(1,21) (2,6) (3,23) (4,15) (5,11) (7,27) (8,30) (9,25) (10,19) (12,17) (13,18) (14,29) (20,26) (22,28) 
nodes: 14708  conflicts: 52  modelTime: 982  solveTime: 66709  totalTime: 67704  modelSize: 72264  readTime: 13 size: 14