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