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