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