(1,30) (2,14) (3,29) (4,16) (5,8) (6,9) (7,21) (10,25) (11,12) (13,20) (15,17) (18,23) (19,26) (22,28) (24,27) 
nodes: 376035  conflicts: 31  modelTime: 1287  solveTime: 2028549  totalTime: 2029855  modelSize: 72275  readTime: 19 size: 15