(1,14) (2,28) (3,18) (4,11) (5,26) (6,19) (8,17) (9,27) (10,15) (12,29) (13,23) (16,24) (20,21) (22,25) 
nodes: 590481  conflicts: 43  modelTime: 927  solveTime: 1473280  totalTime: 1474218  modelSize: 72264  readTime: 11 size: 14