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