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