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