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