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