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