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