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