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