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