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