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