(1,27) (2,28) (3,25) (4,24) (6,23) (7,19) (8,29) (9,26) (10,17) (11,22) (12,30) (13,20) (14,16) (15,18) 
nodes: 3605  conflicts: 7  modelTime: 1092  solveTime: 9071  totalTime: 10172  modelSize: 41293  readTime: 9 size: 14