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