(1,30) (2,25) (3,5) (4,13) (6,20) (7,12) (8,19) (9,17) (10,27) (11,18) (14,29) (15,22) (16,24) (21,23) (26,28) 
nodes: 5644  conflicts: 68  modelTime: 1136  solveTime: 18074  totalTime: 19222  modelSize: 72263  readTime: 12 size: 15