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