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