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