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