(1,29) (2,15) (4,30) (5,13) (6,26) (7,27) (8,11) (9,20) (10,24) (12,21) (14,23) (16,22) (17,19) (18,25) 
nodes: 13166  conflicts: 56  modelTime: 949  solveTime: 64524  totalTime: 65485  modelSize: 72266  readTime: 12 size: 14