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