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