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