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