(1,23) (2,12) (3,17) (4,22) (5,24) (6,29) (7,21) (8,30) (9,19) (10,13) (11,15) (14,18) (16,27) (20,26) (25,28) 
nodes: 574269  conflicts: 30  modelTime: 1116  solveTime: 2883038  totalTime: 2884186  modelSize: 72285  readTime: 32 size: 15