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