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