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