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