(1,24) (2,16) (3,29) (4,23) (5,17) (6,30) (7,21) (8,19) (10,20) (11,28) (12,26) (13,18) (14,27) (15,22) 
nodes: 5004  conflicts: 36  modelTime: 658  solveTime: 8183  totalTime: 8848  modelSize: 41293  readTime: 7 size: 14